| ; 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 | |
| } | |