[llvm] r299846 - [InstCombine] add test for PR32524; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Apr 10 09:28:09 PDT 2017
Author: spatel
Date: Mon Apr 10 11:28:08 2017
New Revision: 299846
URL: http://llvm.org/viewvc/llvm-project?rev=299846&view=rev
Log:
[InstCombine] add test for PR32524; NFC
Modified:
llvm/trunk/test/Transforms/InstCombine/or.ll
Modified: llvm/trunk/test/Transforms/InstCombine/or.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/or.ll?rev=299846&r1=299845&r2=299846&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/or.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/or.ll Mon Apr 10 11:28:08 2017
@@ -215,11 +215,25 @@ define i1 @test19(i32 %A) {
;
%B = icmp eq i32 %A, 50
%C = icmp eq i32 %A, 51
- ;; (A&-2) == 50
%D = or i1 %B, %C
ret i1 %D
}
+; PR32524: https://bugs.llvm.org/show_bug.cgi?id=32524
+
+define i1 @or_icmps_eq_diff1(i32 %x) {
+; CHECK-LABEL: @or_icmps_eq_diff1(
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 %x, -1
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 %x, 0
+; CHECK-NEXT: [[LOGIC:%.*]] = or i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[LOGIC]]
+;
+ %cmp1 = icmp eq i32 %x, -1
+ %cmp2 = icmp eq i32 %x, 0
+ %logic = or i1 %cmp1, %cmp2
+ ret i1 %logic
+}
+
define i32 @test20(i32 %x) {
; CHECK-LABEL: @test20(
; CHECK-NEXT: ret i32 %x
More information about the llvm-commits
mailing list