The simplifycfg pass should be able to turn stuff like:

if (X == 4 || X == 7)
and
  if (X != 4 && X != 7)

into switch instructions.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11791 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2004-02-24 05:34:44 +00:00
parent c88c17b0f6
commit d1eaebef49

View File

@ -0,0 +1,33 @@
; 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
}