50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=slp-vectorizer -S -slp-threshold=-99999 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define double @test() {5; CHECK-LABEL: define double @test() {6; CHECK-NEXT: [[BB:.*]]:7; CHECK-NEXT: br label %[[BB1:.*]]8; CHECK: [[BB1]]:9; CHECK-NEXT: [[TMP0:%.*]] = phi <4 x i32> [ zeroinitializer, %[[BB]] ], [ [[TMP3:%.*]], %[[BB4:.*]] ]10; CHECK-NEXT: br label %[[BB4]]11; CHECK: [[BB4]]:12; CHECK-NEXT: [[MUL:%.*]] = mul i32 0, 113; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 1>, i32 [[MUL]], i32 014; CHECK-NEXT: [[TMP5:%.*]] = or <4 x i32> [[TMP0]], [[TMP4]]15; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x i32> [[TMP0]], <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, <4 x i32> <i32 0, i32 5, i32 6, i32 7>16; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 [[MUL]], i32 017; CHECK-NEXT: [[TMP3]] = or <4 x i32> [[TMP1]], [[TMP2]]18; CHECK-NEXT: [[TMP6:%.*]] = extractelement <4 x i32> [[TMP5]], i32 219; CHECK-NEXT: [[AND:%.*]] = and i32 [[TMP6]], 020; CHECK-NEXT: br i1 false, label %[[BB7:.*]], label %[[BB1]]21; CHECK: [[BB7]]:22; CHECK-NEXT: [[TMP7:%.*]] = phi <4 x i32> [ [[TMP5]], %[[BB4]] ]23; CHECK-NEXT: ret double 0.000000e+0024;25bb:26 br label %bb127 28bb1:29 %phi = phi i32 [ 0, %bb ], [ 0, %bb4 ]30 %phi2 = phi i32 [ 0, %bb ], [ 0, %bb4 ]31 %phi3 = phi i32 [ 0, %bb ], [ %or5, %bb4 ]32 br label %bb433 34bb4:35 %or = or i32 %phi2, 036 %mul = mul i32 0, 137 %or5 = or i32 %phi3, %mul38 %and = and i32 %or, 039 %or6 = or i32 %phi2, 140 br i1 false, label %bb7, label %bb141 42bb7:43 %phi8 = phi i32 [ %phi, %bb4 ]44 %phi9 = phi i32 [ %or, %bb4 ]45 %phi10 = phi i32 [ %or5, %bb4 ]46 %phi11 = phi i32 [ %or6, %bb4 ]47 ret double 0.000000e+0048}49 50