[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / Mem2Reg / crash.ll
blobd7ed1dd13e811c88e6941247de40d6110bdb11cc
1 ; RUN: opt < %s -mem2reg -S
2 ; PR5023
4 declare i32 @test1f()
6 define i32 @test1() personality i32 (...)* @__gxx_personality_v0 {
7 entry:
8   %whichFlag = alloca i32
9   %A = invoke i32 @test1f()
10           to label %invcont2 unwind label %lpad86
12 invcont2:
13   store i32 %A, i32* %whichFlag
14   br label %bb15
16 bb15:
17   %B = load i32, i32* %whichFlag
18   ret i32 %B
20 lpad86:
21   %exn = landingpad {i8*, i32}
22            cleanup
23   br label %bb15
24   
27 declare i32 @__gxx_personality_v0(...)
30 define i32 @test2() {
31 entry:
32   %whichFlag = alloca i32
33   br label %bb15
35 bb15:
36   %B = load i32, i32* %whichFlag
37   ret i32 %B
39 invcont2:
40   %C = load i32, i32* %whichFlag
41   store i32 %C, i32* %whichFlag
42   br label %bb15