2009-09-11 20:01:28 +02:00
|
|
|
; RUN: opt < %s -simplifycfg -S | \
|
2007-04-15 11:21:47 +02:00
|
|
|
; RUN: not grep {icmp eq}
|
2005-01-01 17:00:56 +01:00
|
|
|
|
|
|
|
; Check that simplifycfg deletes a dead 'seteq' instruction when it
|
|
|
|
; folds a conditional branch into a switch instruction.
|
|
|
|
|
2008-03-18 04:45:45 +01:00
|
|
|
declare void @foo()
|
2005-01-01 17:00:56 +01:00
|
|
|
|
2008-03-18 04:45:45 +01:00
|
|
|
declare void @bar()
|
|
|
|
|
|
|
|
define void @testcfg(i32 %V) {
|
|
|
|
%C = icmp eq i32 %V, 18 ; <i1> [#uses=1]
|
|
|
|
%D = icmp eq i32 %V, 180 ; <i1> [#uses=1]
|
|
|
|
%E = or i1 %C, %D ; <i1> [#uses=1]
|
|
|
|
br i1 %E, label %L1, label %Sw
|
|
|
|
Sw: ; preds = %0
|
|
|
|
switch i32 %V, label %L1 [
|
|
|
|
i32 15, label %L2
|
|
|
|
i32 16, label %L2
|
2005-01-01 17:00:56 +01:00
|
|
|
]
|
2008-03-18 04:45:45 +01:00
|
|
|
L1: ; preds = %Sw, %0
|
|
|
|
call void @foo( )
|
|
|
|
ret void
|
|
|
|
L2: ; preds = %Sw, %Sw
|
|
|
|
call void @bar( )
|
|
|
|
ret void
|
2005-01-01 17:00:56 +01:00
|
|
|
}
|
|
|
|
|