40 lines
1.1 KiB
LLVM
40 lines
1.1 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
|
|
|
|
; 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) {
|
|
; CHECK-LABEL: @testcfg(
|
|
; CHECK-NEXT: [[V_OFF:%.*]] = add i32 [[V:%.*]], -15
|
|
; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[V_OFF]], 2
|
|
; CHECK-NEXT: br i1 [[SWITCH]], label [[L2:%.*]], label [[L1:%.*]]
|
|
; CHECK: L1:
|
|
; CHECK-NEXT: call void @foo()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK: L2:
|
|
; CHECK-NEXT: call void @bar()
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%C = icmp eq i32 %V, 18
|
|
%D = icmp eq i32 %V, 180
|
|
%E = or i1 %C, %D
|
|
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
|
|
}
|
|
|