1 ; RUN: llc -mtriple=aarch64-linux-gnu -o - %s 2 3 ; Regression test for a crash in the ShrinkWrap pass not handling targets 4 ; requiring a register scavenger. 5 6 %type1 = type { i32, i32, i32 } 7 8 @g1 = external unnamed_addr global i32, align 4 9 @g2 = external unnamed_addr global i1 10 @g3 = external unnamed_addr global [144 x i32], align 4 11 @g4 = external unnamed_addr constant [144 x i32], align 4 12 @g5 = external unnamed_addr constant [144 x i32], align 4 13 @g6 = external unnamed_addr constant [144 x i32], align 4 14 @g7 = external unnamed_addr constant [144 x i32], align 4 15 @g8 = external unnamed_addr constant [144 x i32], align 4 16 @g9 = external unnamed_addr constant [144 x i32], align 4 17 @g10 = external unnamed_addr constant [144 x i32], align 4 18 @g11 = external unnamed_addr global i32, align 4 19 @g12 = external unnamed_addr global [144 x [144 x i8]], align 1 20 @g13 = external unnamed_addr global %type1*, align 8 21 @g14 = external unnamed_addr global [144 x [144 x i8]], align 1 22 @g15 = external unnamed_addr global [144 x [144 x i8]], align 1 23 @g16 = external unnamed_addr global [144 x [144 x i8]], align 1 24 @g17 = external unnamed_addr global [62 x i32], align 4 25 @g18 = external unnamed_addr global i32, align 4 26 @g19 = external unnamed_addr constant [144 x i32], align 4 27 @g20 = external unnamed_addr global [144 x [144 x i8]], align 1 28 @g21 = external unnamed_addr global i32, align 4 29 30 declare fastcc i32 @foo() 31 32 declare fastcc i32 @bar() 33 34 define internal fastcc i32 @func(i32 %alpha, i32 %beta) { 35 entry: 36 %v1 = alloca [2 x [11 x i32]], align 4 37 %v2 = alloca [11 x i32], align 16 38 %v3 = alloca [11 x i32], align 16 39 switch i32 undef, label %if.end.9 [ 40 i32 4, label %if.then.6 41 i32 3, label %if.then.2 42 ] 43 44 if.then.2: 45 %call3 = tail call fastcc i32 @bar() 46 br label %cleanup 47 48 if.then.6: 49 %call7 = tail call fastcc i32 @foo() 50 unreachable 51 52 if.end.9: 53 %tmp = load i32, i32* @g1, align 4 54 %rem.i = urem i32 %tmp, 1000000 55 %idxprom.1.i = zext i32 %rem.i to i64 56 %tmp1 = load %type1*, %type1** @g13, align 8 57 %v4 = getelementptr inbounds %type1, %type1* %tmp1, i64 %idxprom.1.i, i32 0 58 %.b = load i1, i1* @g2, align 1 59 %v5 = select i1 %.b, i32 2, i32 0 60 %tmp2 = load i32, i32* @g18, align 4 61 %tmp3 = load i32, i32* @g11, align 4 62 %idxprom58 = sext i32 %tmp3 to i64 63 %tmp4 = load i32, i32* @g21, align 4 64 %idxprom69 = sext i32 %tmp4 to i64 65 br label %for.body 66 67 for.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], [62 x i32]* @g17, i64 0, i64 undef 71 %tmp5 = load i32, i32* %arrayidx, align 4 72 br i1 undef, label %for.inc, label %if.else.51 73 74 if.else.51: 75 %idxprom53 = sext i32 %tmp5 to i64 76 %arrayidx54 = getelementptr inbounds [144 x i32], [144 x i32]* @g3, i64 0, i64 %idxprom53 77 %tmp6 = load i32, i32* %arrayidx54, align 4 78 switch i32 %tmp6, label %for.inc [ 79 i32 1, label %block.bb 80 i32 10, label %block.bb.159 81 i32 7, label %block.bb.75 82 i32 8, label %block.bb.87 83 i32 9, label %block.bb.147 84 i32 12, label %block.bb.111 85 i32 3, label %block.bb.123 86 i32 4, label %block.bb.135 87 ] 88 89 block.bb: 90 %arrayidx56 = getelementptr inbounds [144 x i32], [144 x i32]* @g6, i64 0, i64 %idxprom53 91 %tmp7 = load i32, i32* %arrayidx56, align 4 92 %shr = ashr i32 %tmp7, %v5 93 %add57 = add nsw i32 %shr, 0 94 %arrayidx61 = getelementptr inbounds [144 x [144 x i8]], [144 x [144 x i8]]* @g14, i64 0, i64 %idxprom53, i64 %idxprom58 95 %tmp8 = load i8, i8* %arrayidx61, align 1 96 %conv = zext i8 %tmp8 to i32 97 %add62 = add nsw i32 %conv, %add57 98 br label %for.inc 99 100 block.bb.75: 101 %arrayidx78 = getelementptr inbounds [144 x i32], [144 x i32]* @g10, i64 0, i64 %idxprom53 102 %tmp9 = load i32, i32* %arrayidx78, align 4 103 %shr79 = ashr i32 %tmp9, %v5 104 %add80 = add nsw i32 %shr79, 0 105 %add86 = add nsw i32 0, %add80 106 br label %for.inc 107 108 block.bb.87: 109 %arrayidx90 = getelementptr inbounds [144 x i32], [144 x i32]* @g9, i64 0, i64 %idxprom53 110 %tmp10 = load i32, i32* %arrayidx90, align 4 111 %shr91 = ashr i32 %tmp10, 0 112 %sub92 = sub nsw i32 0, %shr91 113 %arrayidx96 = getelementptr inbounds [144 x [144 x i8]], [144 x [144 x i8]]* @g15, i64 0, i64 %idxprom53, i64 %idxprom69 114 %tmp11 = load i8, i8* %arrayidx96, align 1 115 %conv97 = zext i8 %tmp11 to i32 116 %sub98 = sub nsw i32 %sub92, %conv97 117 br label %for.inc 118 119 block.bb.111: 120 %arrayidx114 = getelementptr inbounds [144 x i32], [144 x i32]* @g19, i64 0, i64 %idxprom53 121 %tmp12 = load i32, i32* %arrayidx114, align 4 122 %shr115 = ashr i32 %tmp12, 0 123 %sub116 = sub nsw i32 0, %shr115 124 %arrayidx120 = getelementptr inbounds [144 x [144 x i8]], [144 x [144 x i8]]* @g12, i64 0, i64 %idxprom53, i64 %idxprom69 125 %tmp13 = load i8, i8* %arrayidx120, align 1 126 %conv121 = zext i8 %tmp13 to i32 127 %sub122 = sub nsw i32 %sub116, %conv121 128 br label %for.inc 129 130 block.bb.123: 131 %arrayidx126 = getelementptr inbounds [144 x i32], [144 x i32]* @g5, i64 0, i64 %idxprom53 132 %tmp14 = load i32, i32* %arrayidx126, align 4 133 %shr127 = ashr i32 %tmp14, %v5 134 %add128 = add nsw i32 %shr127, 0 135 %add134 = add nsw i32 0, %add128 136 br label %for.inc 137 138 block.bb.135: 139 %arrayidx138 = getelementptr inbounds [144 x i32], [144 x i32]* @g4, i64 0, i64 %idxprom53 140 %tmp15 = load i32, i32* %arrayidx138, align 4 141 %shr139 = ashr i32 %tmp15, 0 142 %sub140 = sub nsw i32 0, %shr139 143 %arrayidx144 = getelementptr inbounds [144 x [144 x i8]], [144 x [144 x i8]]* @g20, i64 0, i64 %idxprom53, i64 %idxprom69 144 %tmp16 = load i8, i8* %arrayidx144, align 1 145 %conv145 = zext i8 %tmp16 to i32 146 %sub146 = sub nsw i32 %sub140, %conv145 147 br label %for.inc 148 149 block.bb.147: 150 %arrayidx150 = getelementptr inbounds [144 x i32], [144 x i32]* @g8, i64 0, i64 %idxprom53 151 %tmp17 = load i32, i32* %arrayidx150, align 4 152 %shr151 = ashr i32 %tmp17, %v5 153 %add152 = add nsw i32 %shr151, 0 154 %arrayidx156 = getelementptr inbounds [144 x [144 x i8]], [144 x [144 x i8]]* @g16, i64 0, i64 %idxprom53, i64 %idxprom58 155 %tmp18 = load i8, i8* %arrayidx156, align 1 156 %conv157 = zext i8 %tmp18 to i32 157 %add158 = add nsw i32 %conv157, %add152 158 br label %for.inc 159 160 block.bb.159: 161 %sub160 = add nsw i32 %v6, -450 162 %arrayidx162 = getelementptr inbounds [144 x i32], [144 x i32]* @g7, i64 0, i64 %idxprom53 163 %tmp19 = load i32, i32* %arrayidx162, align 4 164 %shr163 = ashr i32 %tmp19, 0 165 %sub164 = sub nsw i32 %sub160, %shr163 166 %sub170 = sub nsw i32 %sub164, 0 167 br label %for.inc 168 169 for.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, %tmp2 173 br i1 %cmp48, label %for.end, label %for.body 174 175 for.end: 176 store i32 %tmp, i32* %v4, align 4 177 %hold_hash.i.7 = getelementptr inbounds %type1, %type1* %tmp1, i64 %idxprom.1.i, i32 1 178 store i32 0, i32* %hold_hash.i.7, align 4 179 br label %cleanup 180 181 cleanup: 182 %retval.0 = phi i32 [ %call3, %if.then.2 ], [ undef, %for.end ] 183 ret i32 %retval.0 184 } 185
