DeadSetCC.ll   [plain text]

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