50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-99999 < %s | FileCheck %s3 4define void @wombat(i32 %arg) {5; CHECK-LABEL: define void @wombat(6; CHECK-SAME: i32 [[ARG:%.*]]) {7; CHECK-NEXT: [[BB:.*:]]8; CHECK-NEXT: br label %[[BB1:.*]]9; CHECK: [[BB1]]:10; CHECK-NEXT: br i1 false, label %[[BB2:.*]], label %[[BB5:.*]]11; CHECK: [[BB2]]:12; CHECK-NEXT: [[TMP0:%.*]] = phi <2 x i32> [ [[TMP4:%.*]], %[[BB4:.*]] ], [ zeroinitializer, %[[BB1]] ]13; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i32> <i32 poison, i32 1>, i32 [[ARG]], i32 014; CHECK-NEXT: [[TMP5:%.*]] = insertelement <2 x i32> <i32 poison, i32 0>, i32 [[ARG]], i32 015; CHECK-NEXT: [[TMP2:%.*]] = sub <2 x i32> [[TMP0]], [[TMP1]]16; CHECK-NEXT: [[TMP3:%.*]] = or <2 x i32> [[TMP0]], [[TMP1]]17; CHECK-NEXT: [[TMP4]] = shufflevector <2 x i32> [[TMP2]], <2 x i32> [[TMP3]], <2 x i32> <i32 0, i32 3>18; CHECK-NEXT: [[TMP6:%.*]] = sub <2 x i32> [[TMP0]], [[TMP5]]19; CHECK-NEXT: [[TMP7:%.*]] = and <2 x i32> [[TMP0]], [[TMP5]]20; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <2 x i32> [[TMP6]], <2 x i32> [[TMP7]], <2 x i32> <i32 0, i32 3>21; CHECK-NEXT: br label %[[BB4]]22; CHECK: [[BB4]]:23; CHECK-NEXT: br i1 false, label %[[BB2]], label %[[BB5]]24; CHECK: [[BB5]]:25; CHECK-NEXT: [[TMP9:%.*]] = phi <2 x i32> [ zeroinitializer, %[[BB1]] ], [ [[TMP8]], %[[BB4]] ]26; CHECK-NEXT: ret void27;28bb:29 br label %bb130 31bb1:32 br i1 false, label %bb2, label %bb533 34bb2:35 %phi = phi i32 [ %or, %bb4 ], [ 0, %bb1 ]36 %phi3 = phi i32 [ %sub, %bb4 ], [ 0, %bb1 ]37 %or = or i32 %phi, 138 %and = and i32 0, %phi39 %sub = sub i32 %phi3, %arg40 br label %bb441 42bb4:43 br i1 false, label %bb2, label %bb544 45bb5:46 %phi6 = phi i32 [ 0, %bb1 ], [ %and, %bb4 ]47 %phi7 = phi i32 [ 0, %bb1 ], [ %sub, %bb4 ]48 ret void49}50