| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071 |
- ; RUN: %opt-exe %s -scopenested -scopenestinfo -analyze -S | %FileCheck %s
- ; CHECK: ScopeNestInfo:
- ; CHECK: @TopLevel_Begin
- ; CHECK: entry
- ; CHECK: @If_Begin
- ; CHECK: if0.T
- ; CHECK: @If_Else
- ; CHECK: switch0
- ; CHECK: @Switch_Begin
- ; CHECK: @Switch_Case
- ; CHECK: switch0.default
- ; CHECK: dx.SwitchBreak
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Case
- ; CHECK: switch0.case0
- ; CHECK: dx.SwitchBreak.1
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Case
- ; CHECK: switch0.case1
- ; CHECK: dx.SwitchBreak.2
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Case
- ; CHECK: switch0.case2
- ; CHECK: dx.SwitchBreak.3
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_Break
- ; CHECK: @Switch_End
- ; CHECK: dx.EndSwitchScope
- ; CHECK: switch0.end
- ; CHECK: @If_End
- ; CHECK: @TopLevel_End
- define i32 @main(i1 %c1, i1 %c2, i1 %c3, i32 %i1, i32 %i2) {
- entry:
- %res = alloca i32
- store i32 1, i32 *%res
-
- br i1 %c1, label %if0.T, label %switch0
- if0.T:
- ret i32 %i1
- switch0:
- switch i32 %i1, label %switch0.default [ i32 0, label %switch0.case0
- i32 1, label %switch0.case1
- i32 2, label %switch0.case2 ]
- switch0.case0:
- store i32 0, i32 *%res
- br label %switch0.end
- switch0.case1:
- store i32 1, i32 *%res
- br label %switch0.end
- switch0.case2:
- store i32 2, i32 *%res
- br label %switch0.end
- switch0.default:
- store i32 -1, i32 *%res
- br label %switch0.end
- switch0.end:
- %0 = load i32, i32 *%res
- ret i32 %0
- }
|
