; RUN: opt < %s -simplifycfg -S | \ | |
; RUN: not grep {icmp eq} | |
; Check that simplifycfg deletes a dead 'seteq' instruction when it | |
; folds a conditional branch into a switch instruction. | |
declare void @foo() | |
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 | |
] | |
L1: ; preds = %Sw, %0 | |
call void @foo( ) | |
ret void | |
L2: ; preds = %Sw, %Sw | |
call void @bar( ) | |
ret void | |
} | |