search for: d29011

Cool, thanks for debugging this issue and letting us know. We have a few patches to fix this issue: - Introduce freeze in IR: https://reviews.llvm.org/D29011 - Lowering freeze: https://reviews.llvm.org/D29014 - Fix loop unswitch: https://reviews.llvm.org/D29015 Bonus patches to recover perf: - Be less conservative in loop unswitching: https://reviews.llvm.org/D29016 - Instcombine support for freeze: https://reviews.llvm.org/D29013 It would be grea...

...s I can see, there has been no public activity on that matter since mid-2017. What is the current status? Thanks, Benoit References: [1]: https://lists.llvm.org/pipermail/llvm-dev/2016-October/106182.html [2]: https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf [3]: https://reviews.llvm.org/D29011 ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.

...Wei. > > > > On Mon, Jul 17, 2017 at 1:24 AM, Nuno Lopes <nlopes at microsoft.com> wrote: > > Cool, thanks for debugging this issue and letting us know. > > > > We have a few patches to fix this issue: > > - Introduce freeze in IR: https://reviews.llvm.org/D29011 > > - Lowering freeze: https://reviews.llvm.org/D29014 > > - Fix loop unswitch: https://reviews.llvm.org/D29015 > > > > Bonus patches to recover perf: > > - Be less conservative in loop unswitching: https://reviews.llvm.org/ > D29016 > > - Instcombine supp...

...activity on that > matter since mid-2017. What is the current status? > > Thanks, Benoit > > References: > [1]: https://lists.llvm.org/pipermail/llvm-dev/2016-October/106182.html > [2]: https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf > [3]: https://reviews.llvm.org/D29011 > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

This is a bug found by internal compiler bootstrap, and possibly it is the root cause of https://bugs.llvm.org/show_bug.cgi?id=33652 and https://bugs.llvm.org/show_bug.cgi?id=33626. Here is the testcase 1.c. The original code is at MemorySSA.cpp:586 for rL307764. ------------------------- 1.c --------------------------- long a, c, d, e, f, m, cnt, i_hasval; volatile long b; void goo(long); void

Some InstCombine transforms for select-of-select were added here: https://reviews.llvm.org/rL228409 But Alive says this is more poisonous: Name: selsel %s1 = select i1 %cond1, i8 C1, i8 C2 %s2 = select i1 %cond2, i8 %s1, i8 C2 => %andcond = and i1 %cond1, %cond2 %s2 = select i1 %andcond, i8 C1, i8 C2 http://rise4fun.com/Alive/JT6 Are those transforms legal? -------------- next part