[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / Inline / callgraph-update.ll
blob1a1799e5cfb4ee760a728fbfda14524db23775c7
1 ; RUN: opt < %s -inline -loop-rotate -verify-dom-info -verify-loop-info -disable-output
2 ; PR3601
3 declare void @solve()
5 define internal fastcc void @read() {
6         br label %bb4
8 bb3:
9         br label %bb4
11 bb4:
12         call void @solve()
13         br i1 false, label %bb5, label %bb3
15 bb5:
16         unreachable
19 define internal fastcc void @parse() {
20         call fastcc void @read()
21         ret void
24 define void @main() personality i32 (...)* @__gxx_personality_v0 {
25         invoke fastcc void @parse()
26                         to label %invcont unwind label %lpad
28 invcont:
29         unreachable
31 lpad:
32         %exn = landingpad {i8*, i32}
33                  cleanup
34         unreachable
36 declare i32 @__gxx_personality_v0(...)