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

[SimplifyCFG][NFC] Show that we don't consider the cost when merging cond stores 

We count instruction count in each BB's separately, not their cost.

llvm-svn: 371297
This commit is contained in:
Roman Lebedev 2019-09-07 09:25:26 +00:00
parent 8d3e4d3a4d
commit 0ff6d7f305
1 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
llvm/test/Transforms/SimplifyCFG/merge-cond-stores.ll
View File

@ -415,3 +415,39 @@ end:
ret void
}
define void @test_costly(i32* %p, i32 %a, i32 %b, i32 %c, i32 %d) {
; CHECK-LABEL: @test_costly(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[X1:%.*]] = icmp ne i32 [[A:%.*]], 0
; CHECK-NEXT: [[X2:%.*]] = icmp eq i32 [[B:%.*]], 0
; CHECK-NEXT: [[TMP0:%.*]] = xor i1 [[X2]], true
; CHECK-NEXT: [[TMP1:%.*]] = or i1 [[X1]], [[TMP0]]
; CHECK-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
; CHECK: 2:
; CHECK-NEXT: [[VAL:%.*]] = sdiv i32 [[C:%.*]], [[D:%.*]]
; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[X2]], i32 0, i32 [[VAL]]
; CHECK-NEXT: store i32 [[SPEC_SELECT]], i32* [[P:%.*]], align 4
; CHECK-NEXT: br label [[TMP3]]
; CHECK: 3:
; CHECK-NEXT: ret void
;
entry:
%x1 = icmp eq i32 %a, 0
br i1 %x1, label %fallthrough, label %yes1
yes1:
store i32 0, i32* %p
br label %fallthrough
fallthrough:
%x2 = icmp eq i32 %b, 0
%val = sdiv i32 %c, %d
br i1 %x2, label %end, label %yes2
yes2:
store i32 %val, i32* %p
br label %end
end:
ret void
}