llvm-6502/test/Transforms/SimplifyCFG/switch_create.ll

49 lines
706 B
LLVM

; RUN: llvm-as < %s | 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
}