We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bd1d87e commit 2b252c1Copy full SHA for 2b252c1
llvm/test/Transforms/InstCombine/or.ll
@@ -37,6 +37,20 @@ define i1 @test14(i32 %A, i32 %B) {
37
ret i1 %D
38
}
39
40
+define i1 @test14_commuted(i32 %A, i32 %B) {
41
+; CHECK-LABEL: @test14_commuted(
42
+; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32 [[B:%.*]], [[A:%.*]]
43
+; CHECK-NEXT: [[C2:%.*]] = icmp ult i32 [[B]], [[A]]
44
+; CHECK-NEXT: [[D:%.*]] = or i1 [[C1]], [[C2]]
45
+; CHECK-NEXT: ret i1 [[D]]
46
+;
47
+ %C1 = icmp ult i32 %A, %B
48
+ %C2 = icmp ult i32 %B, %A
49
+ ; (A < B) | (A > B) === A != B
50
+ %D = or i1 %C1, %C2
51
+ ret i1 %D
52
+}
53
+
54
define i1 @test14_logical(i32 %A, i32 %B) {
55
; CHECK-LABEL: @test14_logical(
56
; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i32 [[A:%.*]], [[B:%.*]]
0 commit comments