mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-10 04:33:40 +00:00
3479be91c4
xor (or (icmp, icmp), true) -> and(icmp, icmp) This is possible because of De Morgan's law. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61537 91177308-0d34-0410-b5e6-96231b3b80d8
12 lines
389 B
LLVM
12 lines
389 B
LLVM
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep {= or}
|
|
; PR3266
|
|
|
|
define i1 @foo(i32 %x, i32 %y) nounwind {
|
|
.summary:
|
|
%0 = icmp sgt i32 %x, 4 ; <i1> [#uses=1]
|
|
%1 = icmp sgt i32 %y, 0 ; <i1> [#uses=1]
|
|
%.demorgan = or i1 %1, %0 ; <i1> [#uses=1]
|
|
%2 = xor i1 %.demorgan, true ; <i1> [#uses=1]
|
|
ret i1 %2
|
|
}
|