91 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes='function(scalarizer)' -S -o - | FileCheck %s3 4define i16 @f1(i1 %arg) {5; CHECK-LABEL: @f1(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[FOR_END:%.*]]8; CHECK: for.body:9; CHECK-NEXT: [[INSERT:%.*]] = insertelement <4 x i16> [[INSERT]], i16 ptrtoint (ptr @f1 to i16), i32 010; CHECK-NEXT: br label [[FOR_COND:%.*]]11; CHECK: for.cond:12; CHECK-NEXT: br i1 %arg, label [[FOR_BODY:%.*]], label [[FOR_END]]13; CHECK: for.end:14; CHECK-NEXT: [[PHI_I0:%.*]] = phi i16 [ 1, [[ENTRY:%.*]] ], [ poison, [[FOR_COND]] ]15; CHECK-NEXT: ret i16 [[PHI_I0]]16;17entry:18 br label %for.end19 20for.body:21 %insert = insertelement <4 x i16> %insert, i16 ptrtoint (ptr @f1 to i16), i32 022 br label %for.cond23 24for.cond:25 br i1 %arg, label %for.body, label %for.end26 27for.end:28 ; opt used to hang when scalarizing this code. When scattering %insert we29 ; need to analyze the insertelement in the unreachable-from-entry block30 ; for.body. Note that the insertelement instruction depends on itself, and31 ; this kind of IR is not allowed in reachable-from-entry blocks.32 %phi = phi <4 x i16> [ <i16 1, i16 1, i16 1, i16 1>, %entry ], [ %insert, %for.cond ]33 %extract = extractelement <4 x i16> %phi, i32 034 ret i16 %extract35}36 37define void @f2(i1 %arg) {38; CHECK-LABEL: @f2(39; CHECK-NEXT: entry:40; CHECK-NEXT: br label [[FOR_BODY:%.*]]41; CHECK: for.body:42; CHECK-NEXT: br i1 %arg, label [[IF_THEN:%.*]], label [[IF_END8:%.*]]43; CHECK: if.then:44; CHECK-NEXT: br label [[IF_END8]]45; CHECK: for.body2:46; CHECK-NEXT: br i1 %arg, label [[FOR_END:%.*]], label [[FOR_INC:%.*]]47; CHECK: for.end:48; CHECK-NEXT: br label [[FOR_INC]]49; CHECK: for.inc:50; CHECK-NEXT: [[E_SROA_3_2:%.*]] = phi <2 x i64> [ splat (i64 1), [[FOR_END]] ], [ [[E_SROA_3_2]], [[FOR_BODY2:%.*]] ]51; CHECK-NEXT: [[TMP0:%.*]] = phi i32 [ 6, [[FOR_END]] ], [ [[TMP0]], [[FOR_BODY2]] ]52; CHECK-NEXT: br i1 %arg, label [[FOR_BODY2]], label [[FOR_COND1_FOR_END7_CRIT_EDGE:%.*]]53; CHECK: for.cond1.for.end7_crit_edge:54; CHECK-NEXT: br label [[IF_END8]]55; CHECK: if.end8:56; CHECK-NEXT: [[E_SROA_3_4_I0:%.*]] = phi i64 [ undef, [[FOR_BODY]] ], [ poison, [[FOR_COND1_FOR_END7_CRIT_EDGE]] ], [ undef, [[IF_THEN]] ]57; CHECK-NEXT: [[E_SROA_3_4_I1:%.*]] = phi i64 [ undef, [[FOR_BODY]] ], [ poison, [[FOR_COND1_FOR_END7_CRIT_EDGE]] ], [ undef, [[IF_THEN]] ]58; CHECK-NEXT: br label [[FOR_BODY]]59;60entry:61 br label %for.body62 63for.body: ; preds = %if.end8, %entry64 br i1 %arg, label %if.then, label %if.end865 66if.then: ; preds = %for.body67 br label %if.end868 69for.body2: ; preds = %for.inc70 br i1 %arg, label %for.end, label %for.inc71 72for.end: ; preds = %for.body273 br label %for.inc74 75for.inc: ; preds = %for.end, %for.body276 %e.sroa.3.2 = phi <2 x i64> [ <i64 1, i64 1>, %for.end ], [ %e.sroa.3.2, %for.body2 ]77 %0 = phi i32 [ 6, %for.end ], [ %0, %for.body2 ]78 br i1 %arg, label %for.body2, label %for.cond1.for.end7_crit_edge79 80for.cond1.for.end7_crit_edge: ; preds = %for.inc81 br label %if.end882 83if.end8: ; preds = %for.cond1.for.end7_crit_edge, %if.then, %for.body84 ; This used to lead to inserted extractelement instructions between the phis85 ; in %for.inc.86 ; %e.sroa.3.2 is defined in a block that is unreachable from entry so we can87 ; safely replace it with undef in the phi defining e.sroa.3.4.88 %e.sroa.3.4 = phi <2 x i64> [ undef, %for.body ], [ %e.sroa.3.2, %for.cond1.for.end7_crit_edge ], [ undef, %if.then ]89 br label %for.body90}91