maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[SimplifyCFG] Regenerate test checks (NFC)

This commit is contained in:
Nikita Popov 2021-01-23 21:21:59 +01:00
parent 5ad038aafa
commit 5c62d66131
1 changed files with 25 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
llvm/test/Transforms/SimplifyCFG/DeadSetCC.ll
View File

@ -1,5 +1,5 @@
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | \
; RUN: not grep "icmp eq"
; 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.
@ -9,20 +9,31 @@ 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
; 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
]
switch i32 %V, label %L1 [
i32 15, label %L2
i32 16, label %L2
]
L1: ; preds = %Sw, %0
call void @foo( )
ret void
call void @foo( )
ret void
L2: ; preds = %Sw, %Sw
call void @bar( )
ret void
call void @bar( )
ret void
}