1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt %s -passes='function(scalarizer)' -S -o - | FileCheck %s 3 4; This input caused the scalarizer to insert non-PHI nodes 5; in between PHI nodes (%1 and %2). 6 7define <3 x float> @func(i32 %inval) { 8; CHECK-LABEL: @func( 9; CHECK-NEXT: .entry: 10; CHECK-NEXT: br label [[TMP0:%.*]] 11; CHECK: 0: 12; CHECK-NEXT: [[DOTI01:%.*]] = phi float [ 0.000000e+00, [[DOTENTRY:%.*]] ], [ [[DOTI01]], [[TMP3:%.*]] ] 13; CHECK-NEXT: [[DOTI12:%.*]] = phi float [ 0.000000e+00, [[DOTENTRY]] ], [ [[DOTI12]], [[TMP3]] ] 14; CHECK-NEXT: [[DOTI23:%.*]] = phi float [ 0.000000e+00, [[DOTENTRY]] ], [ [[DOTI23]], [[TMP3]] ] 15; CHECK-NEXT: [[TMP1:%.*]] = phi float [ 1.000000e+00, [[DOTENTRY]] ], [ 2.000000e+00, [[TMP3]] ] 16; CHECK-NEXT: [[DOTUPTO0:%.*]] = insertelement <3 x float> poison, float [[DOTI01]], i64 0 17; CHECK-NEXT: [[DOTUPTO1:%.*]] = insertelement <3 x float> [[DOTUPTO0]], float [[DOTI12]], i64 1 18; CHECK-NEXT: [[TMP2:%.*]] = insertelement <3 x float> [[DOTUPTO1]], float [[DOTI23]], i64 2 19; CHECK-NEXT: br label [[TMP3]] 20; CHECK: 3: 21; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[INVAL:%.*]], 0 22; CHECK-NEXT: br i1 [[COND]], label [[TMP0]], label [[EXIT:%.*]] 23; CHECK: exit: 24; CHECK-NEXT: ret <3 x float> [[TMP2]] 25; 26.entry: 27 br label %0 28 290: ; preds = %3, %.entry 30 %1 = phi <3 x float> [ <float 0.0, float 0.0, float 0.0>, %.entry], [ %1, %3 ] 31 %2 = phi float [ 1.0, %.entry], [ 2.0, %3 ] 32 br label %3 33 343: ; preds = %0 35 %cond = icmp eq i32 %inval, 0 36 br i1 %cond, label %0, label %exit 37 38exit: 39 ret <3 x float> %1 40} 41 42