Skip to content

Commit 6f13aca

Browse files
mgudimmgudim
committed
updated tests.
1 parent 3116f90 commit 6f13aca

File tree

1 file changed

+16
-24
lines changed
  • llvm/test/Transforms/InstCombine

1 file changed

+16
-24
lines changed

‎llvm/test/Transforms/InstCombine/icmp.ll

Lines changed: 16 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -3963,10 +3963,9 @@ define <8 x i1> @bitreverse_vec_ne(<8 x i16> %x, <8 x i16> %y) {
39633963
define i1 @knownbits1(i8 %a, i8 %b) {
39643964
; CHECK-LABEL: @knownbits1(
39653965
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], 1
3966-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
39673966
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
3968-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
3969-
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[A2]], [[B2]]
3967+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
3968+
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[A1]], [[TMP1]]
39703969
; CHECK-NEXT: ret i1 [[C]]
39713970
;
39723971
%a1 = and i8 %a, 5
@@ -3980,10 +3979,9 @@ define i1 @knownbits1(i8 %a, i8 %b) {
39803979
define i1 @knownbits2(i8 %a, i8 %b) {
39813980
; CHECK-LABEL: @knownbits2(
39823981
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], 1
3983-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
39843982
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
3985-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
3986-
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[A2]], [[B2]]
3983+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
3984+
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[A1]], [[TMP1]]
39873985
; CHECK-NEXT: ret i1 [[C]]
39883986
;
39893987
%a1 = and i8 %a, 5
@@ -3997,10 +3995,9 @@ define i1 @knownbits2(i8 %a, i8 %b) {
39973995
define i1 @knownbits3(i8 %a, i8 %b) {
39983996
; CHECK-LABEL: @knownbits3(
39993997
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], 1
4000-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
40013998
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
4002-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
4003-
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[B2]], [[A2]]
3999+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
4000+
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[TMP1]], [[A1]]
40044001
; CHECK-NEXT: ret i1 [[C]]
40054002
;
40064003
%a1 = and i8 %a, 5
@@ -4014,10 +4011,9 @@ define i1 @knownbits3(i8 %a, i8 %b) {
40144011
define <2 x i1> @knownbits4(<2 x i8> %a, <2 x i8> %b) {
40154012
; CHECK-LABEL: @knownbits4(
40164013
; CHECK-NEXT: [[A1:%.*]] = and <2 x i8> [[A:%.*]], <i8 1, i8 1>
4017-
; CHECK-NEXT: [[A2:%.*]] = or disjoint <2 x i8> [[A1]], <i8 4, i8 4>
40184014
; CHECK-NEXT: [[B1:%.*]] = and <2 x i8> [[B:%.*]], <i8 2, i8 2>
4019-
; CHECK-NEXT: [[B2:%.*]] = or disjoint <2 x i8> [[B1]], <i8 5, i8 5>
4020-
; CHECK-NEXT: [[C:%.*]] = icmp ne <2 x i8> [[B2]], [[A2]]
4015+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint <2 x i8> [[B1]], <i8 1, i8 1>
4016+
; CHECK-NEXT: [[C:%.*]] = icmp ne <2 x i8> [[TMP1]], [[A1]]
40214017
; CHECK-NEXT: ret <2 x i1> [[C]]
40224018
;
40234019
%a1 = and <2 x i8> %a, <i8 5, i8 5>
@@ -4033,10 +4029,9 @@ define <2 x i1> @knownbits4(<2 x i8> %a, <2 x i8> %b) {
40334029
define i1 @knownbits5(i8 %a, i8 %b) {
40344030
; CHECK-LABEL: @knownbits5(
40354031
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], -127
4036-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
40374032
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
4038-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
4039-
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[A2]], [[B2]]
4033+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
4034+
; CHECK-NEXT: [[C:%.*]] = icmp eq i8 [[A1]], [[TMP1]]
40404035
; CHECK-NEXT: ret i1 [[C]]
40414036
;
40424037
%a1 = and i8 %a, 133
@@ -4050,10 +4045,9 @@ define i1 @knownbits5(i8 %a, i8 %b) {
40504045
define i1 @knownbits6(i8 %a, i8 %b) {
40514046
; CHECK-LABEL: @knownbits6(
40524047
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], -127
4053-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
40544048
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
4055-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
4056-
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[A2]], [[B2]]
4049+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
4050+
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[A1]], [[TMP1]]
40574051
; CHECK-NEXT: ret i1 [[C]]
40584052
;
40594053
%a1 = and i8 %a, 133
@@ -4067,10 +4061,9 @@ define i1 @knownbits6(i8 %a, i8 %b) {
40674061
define <2 x i1> @knownbits7(<2 x i8> %a, <2 x i8> %b) {
40684062
; CHECK-LABEL: @knownbits7(
40694063
; CHECK-NEXT: [[A1:%.*]] = and <2 x i8> [[A:%.*]], <i8 -127, i8 -127>
4070-
; CHECK-NEXT: [[A2:%.*]] = or disjoint <2 x i8> [[A1]], <i8 4, i8 4>
40714064
; CHECK-NEXT: [[B1:%.*]] = and <2 x i8> [[B:%.*]], <i8 2, i8 2>
4072-
; CHECK-NEXT: [[B2:%.*]] = or disjoint <2 x i8> [[B1]], <i8 5, i8 5>
4073-
; CHECK-NEXT: [[C:%.*]] = icmp eq <2 x i8> [[B2]], [[A2]]
4065+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint <2 x i8> [[B1]], <i8 1, i8 1>
4066+
; CHECK-NEXT: [[C:%.*]] = icmp eq <2 x i8> [[TMP1]], [[A1]]
40744067
; CHECK-NEXT: ret <2 x i1> [[C]]
40754068
;
40764069
%a1 = and <2 x i8> %a, <i8 133, i8 133>
@@ -4084,10 +4077,9 @@ define <2 x i1> @knownbits7(<2 x i8> %a, <2 x i8> %b) {
40844077
define i1 @knownbits8(i8 %a, i8 %b) {
40854078
; CHECK-LABEL: @knownbits8(
40864079
; CHECK-NEXT: [[A1:%.*]] = and i8 [[A:%.*]], -127
4087-
; CHECK-NEXT: [[A2:%.*]] = or disjoint i8 [[A1]], 4
40884080
; CHECK-NEXT: [[B1:%.*]] = and i8 [[B:%.*]], 2
4089-
; CHECK-NEXT: [[B2:%.*]] = or disjoint i8 [[B1]], 5
4090-
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[B2]], [[A2]]
4081+
; CHECK-NEXT: [[TMP1:%.*]] = or disjoint i8 [[B1]], 1
4082+
; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[TMP1]], [[A1]]
40914083
; CHECK-NEXT: ret i1 [[C]]
40924084
;
40934085
%a1 = and i8 %a, 133

0 commit comments

Comments
 (0)