reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28

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