test/Transforms/JumpThreading/crash.ll

   1 ; RUN: opt < %s -jump-threading -disable-output
   2 ; PR2285
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5         %struct.system__secondary_stack__mark_id = type { i64, i64 }
   6
   7 define void @_ada_c35507b() {
   8 entry:
   9         br label %bb
  10
  11 bb:             ; preds = %bb13, %entry
  12         %ch.0 = phi i8 [ 0, %entry ], [ 0, %bb13 ]              ; <i8> [#uses=1]
  13         %tmp11 = icmp ugt i8 %ch.0, 31          ; <i1> [#uses=1]
  14         %tmp120 = call %struct.system__secondary_stack__mark_id @system__secondary_stack__ss_mark( )            ; <%struct.system__secondary_stack__mark_id> [#uses=1]
  15         br i1 %tmp11, label %bb110, label %bb13
  16
  17 bb13:           ; preds = %bb
  18         br label %bb
  19
  20 bb110:          ; preds = %bb
  21         %mrv_gr124 = getresult %struct.system__secondary_stack__mark_id %tmp120, 1              ; <i64> [#uses=0]
  22         unreachable
  23 }
  24
  25 declare %struct.system__secondary_stack__mark_id @system__secondary_stack__ss_mark()
  26
  27
  28
  29 define fastcc void @findratio(double* nocapture %res1, double* nocapture %res2) nounwind ssp {
  30 entry:
  31   br label %bb12
  32
  33 bb6.us:
  34   %tmp = icmp eq i32 undef, undef
  35   %tmp1 = fsub double undef, undef
  36   %tmp2 = fcmp ult double %tmp1, 0.000000e+00
  37   br i1 %tmp, label %bb6.us, label %bb13
  38
  39
  40 bb12:
  41   %tmp3 = fcmp ult double undef, 0.000000e+00
  42   br label %bb13
  43
  44 bb13:
  45   %.lcssa31 = phi double [ undef, %bb12 ], [ %tmp1, %bb6.us ]
  46   %.lcssa30 = phi i1 [ %tmp3, %bb12 ], [ %tmp2, %bb6.us ]
  47   br i1 %.lcssa30, label %bb15, label %bb61
  48
  49 bb15:
  50   %tmp4 = fsub double -0.000000e+00, %.lcssa31
  51   ret void
  52
  53
  54 bb61:
  55   ret void
  56 }
  57
  58
  59 ; PR5258
  60 define i32 @test(i1 %cond, i1 %cond2, i32 %a) {
  61 A:
  62   br i1 %cond, label %F, label %A1
  63 F:
  64   br label %A1
  65
  66 A1:
  67   %d = phi i1 [false, %A], [true, %F]
  68   %e = add i32 %a, %a
  69   br i1 %d, label %B, label %G
  70
  71 G:
  72   br i1 %cond2, label %B, label %D
  73
  74 B:
  75   %f = phi i32 [%e, %G], [%e, %A1]
  76   %b = add i32 0, 0
  77   switch i32 %a, label %C [
  78     i32 7, label %D
  79     i32 8, label %D
  80     i32 9, label %D
  81   ]
  82
  83 C:
  84   br label %D
  85
  86 D:
  87   %c = phi i32 [%e, %B], [%e, %B], [%e, %B], [%f, %C], [%e, %G]
  88   ret i32 %c
  89 E:
  90   ret i32 412
  91 }
  92
  93
  94 define i32 @test2() nounwind {
  95 entry:
  96         br i1 true, label %decDivideOp.exit, label %bb7.i
  97
  98 bb7.i:          ; preds = %bb7.i, %entry
  99         br label %bb7.i
 100
 101 decDivideOp.exit:               ; preds = %entry
 102         ret i32 undef
 103 }
 104
 105
 106 ; PR3298
 107
 108 define i32 @test3(i32 %p_79, i32 %p_80) nounwind {
 109 entry:
 110         br label %bb7
 111
 112 bb1:            ; preds = %bb2
 113         br label %bb2
 114
 115 bb2:            ; preds = %bb7, %bb1
 116         %l_82.0 = phi i8 [ 0, %bb1 ], [ %l_82.1, %bb7 ]         ; <i8> [#uses=3]
 117         br i1 true, label %bb3, label %bb1
 118
 119 bb3:            ; preds = %bb2
 120         %0 = icmp eq i32 %p_80_addr.1, 0                ; <i1> [#uses=1]
 121         br i1 %0, label %bb7, label %bb6
 122
 123 bb5:            ; preds = %bb6
 124         %1 = icmp eq i8 %l_82.0, 0              ; <i1> [#uses=1]
 125         br i1 %1, label %bb1.i, label %bb.i
 126
 127 bb.i:           ; preds = %bb5
 128         br label %safe_div_func_char_s_s.exit
 129
 130 bb1.i:          ; preds = %bb5
 131         br label %safe_div_func_char_s_s.exit
 132
 133 safe_div_func_char_s_s.exit:            ; preds = %bb1.i, %bb.i
 134         br label %bb6
 135
 136 bb6:            ; preds = %safe_div_func_char_s_s.exit, %bb3
 137         %p_80_addr.0 = phi i32 [ %p_80_addr.1, %bb3 ], [ 1, %safe_div_func_char_s_s.exit ]              ; <i32> [#uses=2]
 138         %2 = icmp eq i32 %p_80_addr.0, 0                ; <i1> [#uses=1]
 139         br i1 %2, label %bb7, label %bb5
 140
 141 bb7:            ; preds = %bb6, %bb3, %entry
 142         %l_82.1 = phi i8 [ 1, %entry ], [ %l_82.0, %bb3 ], [ %l_82.0, %bb6 ]            ; <i8> [#uses=2]
 143         %p_80_addr.1 = phi i32 [ 0, %entry ], [ %p_80_addr.1, %bb3 ], [ %p_80_addr.0, %bb6 ]            ; <i32> [#uses=4]
 144         %3 = icmp eq i32 %p_80_addr.1, 0                ; <i1> [#uses=1]
 145         br i1 %3, label %bb8, label %bb2
 146
 147 bb8:            ; preds = %bb7
 148         %4 = sext i8 %l_82.1 to i32             ; <i32> [#uses=0]
 149         ret i32 0
 150 }
 151
 152
 153 ; PR3353
 154
 155 define i32 @test4(i8 %X) {
 156 entry:
 157         %Y = add i8 %X, 1
 158         %Z = add i8 %Y, 1
 159         br label %bb33.i
 160
 161 bb33.i:         ; preds = %bb33.i, %bb32.i
 162         switch i8 %Y, label %bb32.i [
 163                 i8 39, label %bb35.split.i
 164                 i8 13, label %bb33.i
 165         ]
 166
 167 bb35.split.i:
 168         ret i32 5
 169 bb32.i:
 170         ret i32 1
 171 }
 172
 173
 174 define fastcc void @test5(i1 %tmp, i32 %tmp1) nounwind ssp {
 175 entry:
 176   br i1 %tmp, label %bb12, label %bb13
 177
 178
 179 bb12:
 180   br label %bb13
 181
 182 bb13:
 183   %.lcssa31 = phi i32 [ undef, %bb12 ], [ %tmp1, %entry ]
 184   %A = and i1 undef, undef
 185   br i1 %A, label %bb15, label %bb61
 186
 187 bb15:
 188   ret void
 189
 190
 191 bb61:
 192   ret void
 193 }
 194
 195
 196 ; PR5640
 197 define fastcc void @test6(i1 %tmp, i1 %tmp1) nounwind ssp {
 198 entry:
 199   br i1 %tmp, label %bb12, label %bb14
 200
 201 bb12:
 202   br label %bb14
 203
 204 bb14:
 205   %A = phi i1 [ %A, %bb13 ],  [ true, %bb12 ], [%tmp1, %entry]
 206   br label %bb13
 207
 208 bb13:
 209   br i1 %A, label %bb14, label %bb61
 210
 211
 212 bb61:
 213   ret void
 214 }
 215
 216
 217 ; PR5698
 218 define void @test7(i32 %x) {
 219 tailrecurse:
 220   switch i32 %x, label %return [
 221     i32 2, label %bb2
 222     i32 3, label %bb
 223   ]
 224
 225 bb:
 226   switch i32 %x, label %return [
 227     i32 2, label %bb2
 228     i32 3, label %tailrecurse
 229   ]
 230
 231 bb2:
 232   ret void
 233
 234 return:
 235   ret void
 236 }
 237
 238 ; PR6119
 239 define i32 @test8(i32 %action) nounwind {
 240 entry:
 241   switch i32 %action, label %lor.rhs [
 242     i32 1, label %if.then
 243     i32 0, label %lor.end
 244   ]
 245
 246 if.then:                                          ; preds = %for.cond, %lor.end, %entry
 247   ret i32 undef
 248
 249 lor.rhs:                                          ; preds = %entry
 250   br label %lor.end
 251
 252 lor.end:                                          ; preds = %lor.rhs, %entry
 253   %cmp103 = xor i1 undef, undef                   ; <i1> [#uses=1]
 254   br i1 %cmp103, label %for.cond, label %if.then
 255
 256 for.cond:                                         ; preds = %for.body, %lor.end
 257   br i1 undef, label %if.then, label %for.body
 258
 259 for.body:                                         ; preds = %for.cond
 260   br label %for.cond
 261 }
 262
 263 ; PR6119
 264 define i32 @test9(i32 %action) nounwind {
 265 entry:
 266   switch i32 %action, label %lor.rhs [
 267     i32 1, label %if.then
 268     i32 0, label %lor.end
 269   ]
 270
 271 if.then:                                          ; preds = %for.cond, %lor.end, %entry
 272   ret i32 undef
 273
 274 lor.rhs:                                          ; preds = %entry
 275   br label %lor.end
 276
 277 lor.end:                                          ; preds = %lor.rhs, %entry
 278   %0 = phi i1 [ undef, %lor.rhs ], [ true, %entry ] ; <i1> [#uses=1]
 279   %cmp103 = xor i1 undef, %0                      ; <i1> [#uses=1]
 280   br i1 %cmp103, label %for.cond, label %if.then
 281
 282 for.cond:                                         ; preds = %for.body, %lor.end
 283   br i1 undef, label %if.then, label %for.body
 284
 285 for.body:                                         ; preds = %for.cond
 286   br label %for.cond
 287 }
 288
 289 ; PR6119
 290 define i32 @test10(i32 %action, i32 %type) nounwind {
 291 entry:
 292   %cmp2 = icmp eq i32 %type, 0                    ; <i1> [#uses=1]
 293   switch i32 %action, label %lor.rhs [
 294     i32 1, label %if.then
 295     i32 0, label %lor.end
 296   ]
 297
 298 if.then:                                          ; preds = %for.cond, %lor.end, %entry
 299   ret i32 undef
 300
 301 lor.rhs:                                          ; preds = %entry
 302   %cmp101 = icmp eq i32 %action, 2                ; <i1> [#uses=1]
 303   br label %lor.end
 304
 305 lor.end:                                          ; preds = %lor.rhs, %entry
 306   %0 = phi i1 [ %cmp101, %lor.rhs ], [ true, %entry ] ; <i1> [#uses=1]
 307   %cmp103 = xor i1 %cmp2, %0                      ; <i1> [#uses=1]
 308   br i1 %cmp103, label %for.cond, label %if.then
 309
 310 for.cond:                                         ; preds = %for.body, %lor.end
 311   br i1 undef, label %if.then, label %for.body
 312
 313 for.body:                                         ; preds = %for.cond
 314   br label %for.cond
 315 }