104 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S --passes=slp-vectorizer -slp-threshold=-9999 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define i32 @test(i64 %l.549) {5; CHECK-LABEL: define i32 @test(6; CHECK-SAME: i64 [[L_549:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*]]:8; CHECK-NEXT: [[CONV3:%.*]] = sext i32 0 to i649; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x i64> poison, i64 [[CONV3]], i32 310; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x i64> poison, i64 0, i32 011; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x i64> [[TMP3]], i64 0, i32 112; CHECK-NEXT: [[TMP8:%.*]] = insertelement <4 x i64> poison, i64 [[L_549]], i32 013; CHECK-NEXT: [[TMP9:%.*]] = shufflevector <4 x i64> [[TMP8]], <4 x i64> poison, <4 x i32> <i32 poison, i32 0, i32 poison, i32 poison>14; CHECK-NEXT: [[TMP6:%.*]] = shufflevector <2 x i64> [[TMP2]], <2 x i64> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>15; CHECK-NEXT: br label %[[IF_THEN19:.*]]16; CHECK: [[P:.*]]:17; CHECK-NEXT: [[TMP5:%.*]] = phi <2 x i64> [ zeroinitializer, %[[IF_END29:.*]] ], [ [[TMP13:%.*]], %[[IF_END25:.*]] ]18; CHECK-NEXT: [[TMP17:%.*]] = shufflevector <2 x i64> [[TMP5]], <2 x i64> poison, <4 x i32> <i32 1, i32 0, i32 0, i32 1>19; CHECK-NEXT: br i1 false, label %[[S:.*]], label %[[Q:.*]]20; CHECK: [[Q]]:21; CHECK-NEXT: [[XOR39:%.*]] = phi i64 [ 0, %[[P]] ], [ 0, %[[LAND_LHS_TRUE:.*]] ]22; CHECK-NEXT: [[TMP16:%.*]] = phi <2 x i64> [ zeroinitializer, %[[P]] ], [ zeroinitializer, %[[LAND_LHS_TRUE]] ]23; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i64> [[TMP0]], i64 [[XOR39]], i32 224; CHECK-NEXT: [[TMP18:%.*]] = shufflevector <2 x i64> [[TMP16]], <2 x i64> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>25; CHECK-NEXT: [[TMP19:%.*]] = shufflevector <4 x i64> [[TMP4]], <4 x i64> [[TMP18]], <4 x i32> <i32 4, i32 5, i32 2, i32 3>26; CHECK-NEXT: br i1 false, label %[[LOR_LHS_FALSE:.*]], label %[[R:.*]]27; CHECK: [[LOR_LHS_FALSE]]:28; CHECK-NEXT: br i1 false, label %[[LAND_LHS_TRUE]], label %[[S]]29; CHECK: [[R]]:30; CHECK-NEXT: [[TMP21:%.*]] = phi <4 x i64> [ [[TMP19]], %[[Q]] ], [ [[TMP20:%.*]], %[[IF_THEN19]] ]31; CHECK-NEXT: br i1 false, label %[[S]], label %[[LAND_LHS_TRUE]]32; CHECK: [[LAND_LHS_TRUE]]:33; CHECK-NEXT: [[TMP22:%.*]] = phi <4 x i64> [ [[TMP21]], %[[R]] ], [ zeroinitializer, %[[LOR_LHS_FALSE]] ]34; CHECK-NEXT: br i1 false, label %[[Q]], label %[[S]]35; CHECK: [[S]]:36; CHECK-NEXT: [[TMP10:%.*]] = phi <4 x i64> [ [[TMP22]], %[[LAND_LHS_TRUE]] ], [ [[TMP21]], %[[R]] ], [ [[TMP19]], %[[LOR_LHS_FALSE]] ], [ [[TMP17]], %[[P]] ]37; CHECK-NEXT: [[TMP11:%.*]] = shufflevector <4 x i64> [[TMP10]], <4 x i64> poison, <2 x i32> <i32 0, i32 1>38; CHECK-NEXT: br label %[[IF_THEN19]]39; CHECK: [[IF_THEN19]]:40; CHECK-NEXT: [[TMP12:%.*]] = phi <2 x i64> [ zeroinitializer, %[[ENTRY]] ], [ [[TMP11]], %[[S]] ]41; CHECK-NEXT: [[TMP13]] = shufflevector <2 x i64> [[TMP12]], <2 x i64> poison, <2 x i32> <i32 1, i32 0>42; CHECK-NEXT: [[TMP14:%.*]] = shufflevector <2 x i64> [[TMP12]], <2 x i64> poison, <4 x i32> <i32 0, i32 poison, i32 poison, i32 poison>43; CHECK-NEXT: [[TMP15:%.*]] = shufflevector <4 x i64> [[TMP14]], <4 x i64> [[TMP9]], <4 x i32> <i32 0, i32 5, i32 poison, i32 poison>44; CHECK-NEXT: [[TMP20]] = shufflevector <4 x i64> [[TMP15]], <4 x i64> [[TMP6]], <4 x i32> <i32 0, i32 1, i32 4, i32 5>45; CHECK-NEXT: br i1 false, label %[[R]], label %[[IF_END25]]46; CHECK: [[IF_END25]]:47; CHECK-NEXT: br i1 false, label %[[IF_END29]], label %[[P]]48; CHECK: [[IF_END29]]:49; CHECK-NEXT: br label %[[P]]50;51entry:52 %conv3 = sext i32 0 to i6453 br label %if.then1954 55p:56 %l.0 = phi i64 [ %xor, %if.end29 ], [ %l.5493, %if.end25 ]57 %m.0 = phi i64 [ %not21, %if.end29 ], [ %m.550, %if.end25 ]58 br i1 false, label %s, label %q59 60q:61 %xor39 = phi i64 [ 0, %p ], [ 0, %land.lhs.true ]62 %l.1 = phi i64 [ 0, %p ], [ 0, %land.lhs.true ]63 %m.1 = phi i64 [ 0, %p ], [ 0, %land.lhs.true ]64 br i1 false, label %lor.lhs.false, label %r65 66lor.lhs.false:67 br i1 false, label %land.lhs.true, label %s68 69r:70 %xor38 = phi i64 [ %xor39, %q ], [ %xor, %if.then19 ]71 %j.0 = phi i64 [ %conv3, %q ], [ %not21, %if.then19 ]72 %l.2 = phi i64 [ %l.1, %q ], [ %l.549, %if.then19 ]73 %m.2 = phi i64 [ %m.1, %q ], [ %m.550, %if.then19 ]74 br i1 false, label %s, label %land.lhs.true75 76land.lhs.true:77 %xor37 = phi i64 [ %xor38, %r ], [ 0, %lor.lhs.false ]78 %j.1 = phi i64 [ %j.0, %r ], [ 0, %lor.lhs.false ]79 %l.3 = phi i64 [ %l.2, %r ], [ 0, %lor.lhs.false ]80 %m.3 = phi i64 [ %m.2, %r ], [ 0, %lor.lhs.false ]81 br i1 false, label %q, label %s82 83s:84 %xor36 = phi i64 [ %xor37, %land.lhs.true ], [ %xor38, %r ], [ %xor39, %lor.lhs.false ], [ %l.0, %p ]85 %j.2 = phi i64 [ %j.1, %land.lhs.true ], [ %j.0, %r ], [ %conv3, %lor.lhs.false ], [ %m.0, %p ]86 %l.4 = phi i64 [ %l.3, %land.lhs.true ], [ %l.2, %r ], [ %l.1, %lor.lhs.false ], [ %l.0, %p ]87 %m.4 = phi i64 [ %m.3, %land.lhs.true ], [ %m.2, %r ], [ %m.1, %lor.lhs.false ], [ %m.0, %p ]88 br label %if.then1989 90if.then19:91 %m.550 = phi i64 [ 0, %entry ], [ %m.4, %s ]92 %l.5493 = phi i64 [ 0, %entry ], [ %l.4, %s ]93 %xor = xor i64 0, 094 %not21 = xor i64 0, 095 br i1 false, label %r, label %if.end2596 97if.end25:98 br i1 false, label %if.end29, label %p99 100if.end29:101 br label %p102}103 104