search for: pr30773

...Alive now available online Hi Nuno, This is great. I just stumbled onto a problem that's similar to the one that Bryant solved in: https://reviews.llvm.org/rL285729 define i1 @foo(i32 %x) { %shl = shl nsw i32 %x, 4 %cmp = icmp sgt i32 %shl, 1 ret i1 %cmp } (For more background, see PR30773 - https://llvm.org/bugs/show_bug.cgi?id=30773 ) So I'm staring at that wondering why instcombine can't see that it's really just: define i1 @foo(i32 %x) { %cmp = icmp sgt i32 %x, 0 ret i1 %cmp } As a first hack, I did this: http://rise4fun.com/Alive/qG Name: sgt Pre: C0 >...

Hi, Just a short email to announce that Alive is now available online: http://rise4fun.com/Alive The site includes a few examples (both correct and buggy). You can also create a "permalink" to send the proof to someone else. The execution time is limited to 30 seconds for now. You may want to constrain the operand's types if the tool times out, for example. The service is

...hat's similar to the one >> that Bryant solved in: >> https://reviews.llvm.org/rL285729 >> >> define i1 @foo(i32 %x) { >> %shl = shl nsw i32 %x, 4 >> %cmp = icmp sgt i32 %shl, 1 >> ret i1 %cmp >> } >> >> (For more background, see PR30773 - https://llvm.org/bugs/show_bug >> .cgi?id=30773 ) >> >> >> >> So I'm staring at that wondering why instcombine can't see that it's >> really just: >> define i1 @foo(i32 %x) { >> %cmp = icmp sgt i32 %x, 0 >> ret i1 %cmp >>...