185 lines · plain
1; RUN: llc -mtriple=aarch64-linux-gnu -o - %s2 3; Regression test for a crash in the ShrinkWrap pass not handling targets4; requiring a register scavenger.5 6%type1 = type { i32, i32, i32 }7 8@g1 = external unnamed_addr global i32, align 49@g2 = external unnamed_addr global i110@g3 = external unnamed_addr global [144 x i32], align 411@g4 = external unnamed_addr constant [144 x i32], align 412@g5 = external unnamed_addr constant [144 x i32], align 413@g6 = external unnamed_addr constant [144 x i32], align 414@g7 = external unnamed_addr constant [144 x i32], align 415@g8 = external unnamed_addr constant [144 x i32], align 416@g9 = external unnamed_addr constant [144 x i32], align 417@g10 = external unnamed_addr constant [144 x i32], align 418@g11 = external unnamed_addr global i32, align 419@g12 = external unnamed_addr global [144 x [144 x i8]], align 120@g13 = external unnamed_addr global ptr, align 821@g14 = external unnamed_addr global [144 x [144 x i8]], align 122@g15 = external unnamed_addr global [144 x [144 x i8]], align 123@g16 = external unnamed_addr global [144 x [144 x i8]], align 124@g17 = external unnamed_addr global [62 x i32], align 425@g18 = external unnamed_addr global i32, align 426@g19 = external unnamed_addr constant [144 x i32], align 427@g20 = external unnamed_addr global [144 x [144 x i8]], align 128@g21 = external unnamed_addr global i32, align 429 30declare fastcc i32 @foo()31 32declare fastcc i32 @bar()33 34define internal fastcc i32 @func(i32 %alpha, i32 %beta, i1 %arg) {35entry:36 %v1 = alloca [2 x [11 x i32]], align 437 %v2 = alloca [11 x i32], align 1638 %v3 = alloca [11 x i32], align 1639 switch i32 undef, label %if.end.9 [40 i32 4, label %if.then.641 i32 3, label %if.then.242 ]43 44if.then.2:45 %call3 = tail call fastcc i32 @bar()46 br label %cleanup47 48if.then.6:49 %call7 = tail call fastcc i32 @foo()50 unreachable51 52if.end.9:53 %tmp = load i32, ptr @g1, align 454 %rem.i = urem i32 %tmp, 100000055 %idxprom.1.i = zext i32 %rem.i to i6456 %tmp1 = load ptr, ptr @g13, align 857 %v4 = getelementptr inbounds %type1, ptr %tmp1, i64 %idxprom.1.i, i32 058 %.b = load i1, ptr @g2, align 159 %v5 = select i1 %.b, i32 2, i32 060 %tmp2 = load i32, ptr @g18, align 461 %tmp3 = load i32, ptr @g11, align 462 %idxprom58 = sext i32 %tmp3 to i6463 %tmp4 = load i32, ptr @g21, align 464 %idxprom69 = sext i32 %tmp4 to i6465 br label %for.body66 67for.body:68 %v6 = phi i32 [ 0, %if.end.9 ], [ %v7, %for.inc ]69 %a.0983 = phi i32 [ 1, %if.end.9 ], [ %a.1, %for.inc ]70 %arrayidx = getelementptr inbounds [62 x i32], ptr @g17, i64 0, i64 undef71 %tmp5 = load i32, ptr %arrayidx, align 472 br i1 %arg, label %for.inc, label %if.else.5173 74if.else.51:75 %idxprom53 = sext i32 %tmp5 to i6476 %arrayidx54 = getelementptr inbounds [144 x i32], ptr @g3, i64 0, i64 %idxprom5377 %tmp6 = load i32, ptr %arrayidx54, align 478 switch i32 %tmp6, label %for.inc [79 i32 1, label %block.bb80 i32 10, label %block.bb.15981 i32 7, label %block.bb.7582 i32 8, label %block.bb.8783 i32 9, label %block.bb.14784 i32 12, label %block.bb.11185 i32 3, label %block.bb.12386 i32 4, label %block.bb.13587 ]88 89block.bb:90 %arrayidx56 = getelementptr inbounds [144 x i32], ptr @g6, i64 0, i64 %idxprom5391 %tmp7 = load i32, ptr %arrayidx56, align 492 %shr = ashr i32 %tmp7, %v593 %add57 = add nsw i32 %shr, 094 %arrayidx61 = getelementptr inbounds [144 x [144 x i8]], ptr @g14, i64 0, i64 %idxprom53, i64 %idxprom5895 %tmp8 = load i8, ptr %arrayidx61, align 196 %conv = zext i8 %tmp8 to i3297 %add62 = add nsw i32 %conv, %add5798 br label %for.inc99 100block.bb.75:101 %arrayidx78 = getelementptr inbounds [144 x i32], ptr @g10, i64 0, i64 %idxprom53102 %tmp9 = load i32, ptr %arrayidx78, align 4103 %shr79 = ashr i32 %tmp9, %v5104 %add80 = add nsw i32 %shr79, 0105 %add86 = add nsw i32 0, %add80106 br label %for.inc107 108block.bb.87:109 %arrayidx90 = getelementptr inbounds [144 x i32], ptr @g9, i64 0, i64 %idxprom53110 %tmp10 = load i32, ptr %arrayidx90, align 4111 %shr91 = ashr i32 %tmp10, 0112 %sub92 = sub nsw i32 0, %shr91113 %arrayidx96 = getelementptr inbounds [144 x [144 x i8]], ptr @g15, i64 0, i64 %idxprom53, i64 %idxprom69114 %tmp11 = load i8, ptr %arrayidx96, align 1115 %conv97 = zext i8 %tmp11 to i32116 %sub98 = sub nsw i32 %sub92, %conv97117 br label %for.inc118 119block.bb.111:120 %arrayidx114 = getelementptr inbounds [144 x i32], ptr @g19, i64 0, i64 %idxprom53121 %tmp12 = load i32, ptr %arrayidx114, align 4122 %shr115 = ashr i32 %tmp12, 0123 %sub116 = sub nsw i32 0, %shr115124 %arrayidx120 = getelementptr inbounds [144 x [144 x i8]], ptr @g12, i64 0, i64 %idxprom53, i64 %idxprom69125 %tmp13 = load i8, ptr %arrayidx120, align 1126 %conv121 = zext i8 %tmp13 to i32127 %sub122 = sub nsw i32 %sub116, %conv121128 br label %for.inc129 130block.bb.123:131 %arrayidx126 = getelementptr inbounds [144 x i32], ptr @g5, i64 0, i64 %idxprom53132 %tmp14 = load i32, ptr %arrayidx126, align 4133 %shr127 = ashr i32 %tmp14, %v5134 %add128 = add nsw i32 %shr127, 0135 %add134 = add nsw i32 0, %add128136 br label %for.inc137 138block.bb.135:139 %arrayidx138 = getelementptr inbounds [144 x i32], ptr @g4, i64 0, i64 %idxprom53140 %tmp15 = load i32, ptr %arrayidx138, align 4141 %shr139 = ashr i32 %tmp15, 0142 %sub140 = sub nsw i32 0, %shr139143 %arrayidx144 = getelementptr inbounds [144 x [144 x i8]], ptr @g20, i64 0, i64 %idxprom53, i64 %idxprom69144 %tmp16 = load i8, ptr %arrayidx144, align 1145 %conv145 = zext i8 %tmp16 to i32146 %sub146 = sub nsw i32 %sub140, %conv145147 br label %for.inc148 149block.bb.147:150 %arrayidx150 = getelementptr inbounds [144 x i32], ptr @g8, i64 0, i64 %idxprom53151 %tmp17 = load i32, ptr %arrayidx150, align 4152 %shr151 = ashr i32 %tmp17, %v5153 %add152 = add nsw i32 %shr151, 0154 %arrayidx156 = getelementptr inbounds [144 x [144 x i8]], ptr @g16, i64 0, i64 %idxprom53, i64 %idxprom58155 %tmp18 = load i8, ptr %arrayidx156, align 1156 %conv157 = zext i8 %tmp18 to i32157 %add158 = add nsw i32 %conv157, %add152158 br label %for.inc159 160block.bb.159:161 %sub160 = add nsw i32 %v6, -450162 %arrayidx162 = getelementptr inbounds [144 x i32], ptr @g7, i64 0, i64 %idxprom53163 %tmp19 = load i32, ptr %arrayidx162, align 4164 %shr163 = ashr i32 %tmp19, 0165 %sub164 = sub nsw i32 %sub160, %shr163166 %sub170 = sub nsw i32 %sub164, 0167 br label %for.inc168 169for.inc:170 %v7 = phi i32 [ %v6, %for.body ], [ %v6, %if.else.51 ], [ %sub170, %block.bb.159 ], [ %add158, %block.bb.147 ], [ %sub146, %block.bb.135 ], [ %add134, %block.bb.123 ], [ %sub122, %block.bb.111 ], [ %sub98, %block.bb.87 ], [ %add86, %block.bb.75 ], [ %add62, %block.bb ]171 %a.1 = phi i32 [ %a.0983, %for.body ], [ undef, %if.else.51 ], [ undef, %block.bb.159 ], [ undef, %block.bb.147 ], [ undef, %block.bb.135 ], [ undef, %block.bb.123 ], [ undef, %block.bb.111 ], [ undef, %block.bb.87 ], [ undef, %block.bb.75 ], [ undef, %block.bb ]172 %cmp48 = icmp sgt i32 %a.1, %tmp2173 br i1 %cmp48, label %for.end, label %for.body174 175for.end:176 store i32 %tmp, ptr %v4, align 4177 %hold_hash.i.7 = getelementptr inbounds %type1, ptr %tmp1, i64 %idxprom.1.i, i32 1178 store i32 0, ptr %hold_hash.i.7, align 4179 br label %cleanup180 181cleanup:182 %retval.0 = phi i32 [ %call3, %if.then.2 ], [ undef, %for.end ]183 ret i32 %retval.0184}185