diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/switch_create.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/switch_create.ll | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/switch_create.ll b/test/Transforms/SimplifyCFG/switch_create.ll new file mode 100644 index 0000000..2d72291 --- /dev/null +++ b/test/Transforms/SimplifyCFG/switch_create.ll @@ -0,0 +1,48 @@ +; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep br + +declare void %foo1() +declare void %foo2() + +void %test1(uint %V) { + %C1 = seteq uint %V, 4 + %C2 = seteq uint %V, 17 + %CN = or bool %C1, %C2 + br bool %CN, label %T, label %F +T: + call void %foo1() + ret void +F: + call void %foo2() + ret void +} + + +void %test2(int %V) { + %C1 = setne int %V, 4 + %C2 = setne int %V, 17 + %CN = and bool %C1, %C2 + br bool %CN, label %T, label %F +T: + call void %foo1() + ret void +F: + call void %foo2() + ret void +} + + +void %test3(int %V) { + %C1 = seteq int %V, 4 + br bool %C1, label %T, label %N +N: + %C2 = seteq int %V, 17 + br bool %C2, label %T, label %F +T: + call void %foo1() + ret void +F: + call void %foo2() + ret void +} + + |