@@ -2427,10 +2427,9 @@ define i1 @icmp_and_or_lshr(i32 %x, i32 %y) {
24272427
24282428define <2 x i1 > @icmp_and_or_lshr_vec (<2 x i32 > %x , <2 x i32 > %y ) {
24292429; CHECK-LABEL: @icmp_and_or_lshr_vec(
2430- ; CHECK-NEXT: [[SHF1:%.*]] = shl nuw <2 x i32> <i32 1, i32 1>, [[Y:%.*]]
2431- ; CHECK-NEXT: [[OR2:%.*]] = or <2 x i32> [[SHF1]], <i32 1, i32 1>
2432- ; CHECK-NEXT: [[AND3:%.*]] = and <2 x i32> [[OR2]], [[X:%.*]]
2433- ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[AND3]], zeroinitializer
2430+ ; CHECK-NEXT: [[SHF:%.*]] = lshr <2 x i32> [[X:%.*]], [[Y:%.*]]
2431+ ; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[SHF]], [[X]]
2432+ ; CHECK-NEXT: [[RET:%.*]] = trunc <2 x i32> [[OR]] to <2 x i1>
24342433; CHECK-NEXT: ret <2 x i1> [[RET]]
24352434;
24362435 %shf = lshr <2 x i32 > %x , %y
@@ -2445,8 +2444,7 @@ define <2 x i1> @icmp_and_or_lshr_vec_commute(<2 x i32> %xp, <2 x i32> %y) {
24452444; CHECK-NEXT: [[X:%.*]] = srem <2 x i32> [[XP:%.*]], <i32 42, i32 42>
24462445; CHECK-NEXT: [[SHF:%.*]] = lshr <2 x i32> [[X]], [[Y:%.*]]
24472446; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[X]], [[SHF]]
2448- ; CHECK-NEXT: [[AND:%.*]] = and <2 x i32> [[OR]], <i32 1, i32 1>
2449- ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[AND]], zeroinitializer
2447+ ; CHECK-NEXT: [[RET:%.*]] = trunc <2 x i32> [[OR]] to <2 x i1>
24502448; CHECK-NEXT: ret <2 x i1> [[RET]]
24512449;
24522450 %x = srem <2 x i32 > %xp , <i32 42 , i32 -42 > ; prevent complexity-based canonicalization
@@ -2472,8 +2470,8 @@ define i1 @icmp_and_or_lshr_cst(i32 %x) {
24722470
24732471define <2 x i1 > @icmp_and_or_lshr_cst_vec (<2 x i32 > %x ) {
24742472; CHECK-LABEL: @icmp_and_or_lshr_cst_vec(
2475- ; CHECK-NEXT: [[AND1 :%.*]] = and <2 x i32> [[X:%.*]], <i32 3, i32 3>
2476- ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[AND1 ]], zeroinitializer
2473+ ; CHECK-NEXT: [[TMP1 :%.*]] = and <2 x i32> [[X:%.*]], <i32 3, i32 3>
2474+ ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[TMP1 ]], zeroinitializer
24772475; CHECK-NEXT: ret <2 x i1> [[RET]]
24782476;
24792477 %shf = lshr <2 x i32 > %x , <i32 1 , i32 1 >
@@ -2486,10 +2484,8 @@ define <2 x i1> @icmp_and_or_lshr_cst_vec(<2 x i32> %x) {
24862484define <2 x i1 > @icmp_and_or_lshr_cst_vec_commute (<2 x i32 > %xp ) {
24872485; CHECK-LABEL: @icmp_and_or_lshr_cst_vec_commute(
24882486; CHECK-NEXT: [[X:%.*]] = srem <2 x i32> [[XP:%.*]], <i32 42, i32 42>
2489- ; CHECK-NEXT: [[SHF:%.*]] = lshr <2 x i32> [[X]], <i32 1, i32 1>
2490- ; CHECK-NEXT: [[OR:%.*]] = or <2 x i32> [[X]], [[SHF]]
2491- ; CHECK-NEXT: [[AND:%.*]] = and <2 x i32> [[OR]], <i32 1, i32 1>
2492- ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[AND]], zeroinitializer
2487+ ; CHECK-NEXT: [[TMP1:%.*]] = and <2 x i32> [[X]], <i32 3, i32 3>
2488+ ; CHECK-NEXT: [[RET:%.*]] = icmp ne <2 x i32> [[TMP1]], zeroinitializer
24932489; CHECK-NEXT: ret <2 x i1> [[RET]]
24942490;
24952491 %x = srem <2 x i32 > %xp , <i32 42 , i32 -42 > ; prevent complexity-based canonicalization
0 commit comments