[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / Reg2Mem / crash.ll
blob52dfeaf0265762f086e0acbc8793587a2ddb2f72
1 ; RUN: opt -reg2mem -disable-output < %s
2 ; PR14782
4 declare void @f1()
6 declare i32 @__gxx_personality_sj0(...)
8 declare void @f2()
10 declare void @f3()
12 declare void @f4_()
14 declare void @_Z12xxxdtsP10xxxpq()
16 define hidden void @_ZN12xxxyzIi9xxxwLi29ELi0EE4f3NewES0_i() ssp align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) {
17 bb:
18   invoke void @f4_()
19           to label %bb1 unwind label %.thread
21 .thread:                                          ; preds = %bb
22   %tmp = landingpad { i8*, i32 }
23           cleanup
24   br label %bb13
26 bb1:                                              ; preds = %bb
27   invoke void @f1()
28           to label %.noexc unwind label %bb10
30 .noexc:                                           ; preds = %bb1
31   invoke void @f4_()
32           to label %bb6 unwind label %bb2
34 bb2:                                              ; preds = %.noexc
35   %tmp3 = landingpad { i8*, i32 }
36           cleanup
37   invoke void @f3()
38           to label %.body unwind label %bb4
40 bb4:                                              ; preds = %bb2
41   %tmp5 = landingpad { i8*, i32 }
42           catch i8* null
43   unreachable
45 bb6:                                              ; preds = %.noexc
46   invoke void @_Z12xxxdtsP10xxxpq()
47           to label %_ZN6xxxdIN12xxxyzIi9xxxwLi29ELi0EE4fr1jS3_.exit unwind label %bb10
49 _ZN6xxxdIN12xxxyzIi9xxxwLi29ELi0EE4fr1jS3_.exit:  ; preds = %bb6
50   invoke void @f2()
51           to label %bb7 unwind label %bb8
53 bb7:                                              ; preds = %_ZN6xxxdIN12xxxyzIi9xxxwLi29ELi0EE4fr1jS3_.exit
54   ret void
56 bb8:                                              ; preds = %_ZN6xxxdIN12xxxyzIi9xxxwLi29ELi0EE4fr1jS3_.exit
57   %tmp9 = landingpad { i8*, i32 }
58           cleanup
59   br label %_ZN10xxxpqdlev.exit
61 bb10:                                             ; preds = %bb6, %bb1
62   %.1 = phi i1 [ true, %bb1 ], [ false, %bb6 ]
63   %tmp11 = landingpad { i8*, i32 }
64           cleanup
65   br label %.body
67 .body:                                            ; preds = %bb10, %bb2
68   %.1.lpad-body = phi i1 [ %.1, %bb10 ], [ true, %bb2 ]
69   invoke void @f2()
70           to label %bb12 unwind label %bb14
72 bb12:                                             ; preds = %.body
73   br i1 %.1.lpad-body, label %bb13, label %_ZN10xxxpqdlev.exit
75 bb13:                                             ; preds = %bb12, %.thread
76   invoke void @xxx_MemFree()
77           to label %_ZN10xxxpqdlev.exit unwind label %bb14
79 _ZN10xxxpqdlev.exit:                              ; preds = %bb13, %bb12, %bb8
80   resume { i8*, i32 } undef
82 bb14:                                             ; preds = %bb13, %.body
83   %tmp15 = landingpad { i8*, i32 }
84           catch i8* null
85   unreachable
88 declare void @xxx_MemFree()