3 define i32 @test(i32 %tmp158) {
5 switch i32 %tmp158, label %bb336 [
13 i32 1024, label %bb338
27 define i32 @test2(i32 %tmp158) {
29 switch i32 %tmp158, label %bb336 [
30 i32 -2147483648, label %bb338
31 i32 -2147483647, label %bb338
32 i32 -2147483646, label %bb338
40 i32 1024, label %bb338