[llvm-bugs] [Bug 38428] New: xor i1 (xor i1 %x, %y), true -> icmp eq i1 %x, %y

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38428

            Bug ID: 38428
           Summary: xor i1 (xor i1 %x, %y), true  ->  icmp eq i1 %x, %y
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: lebedev.ri at gmail.com
                CC: llvm-bugs at lists.llvm.org

%t = xor i1 %x, %y
%r = xor i1 %t, true
  =>
%r = icmp eq i1 %x, %y 

https://godbolt.org/g/52qJrW
https://rise4fun.com/Alive/LNo

Not sure, is this for instcombine?

Stumbled into while trying to come with the sign-change test for sanitizer.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180802/8e14f298/attachment.html>