OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[NFC][SimplifyCFG] Autogenerate check lines in a test to declutter further update

This commit is contained in:
Roman Lebedev 2021-08-15 19:02:32 +03:00
parent 35a8bdc775
commit 77a06a9c33
No known key found for this signature in database
GPG Key ID: 083C3EBB4A1689E0
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest.ll
View File

@ -134,6 +134,7 @@ define void @one_pred_with_spec_call(i8 %v0, i8 %v1, i32* %p) {
; CHECK: final_right:
; CHECK-NEXT: call void @sideeffect0()
; CHECK-NEXT: br label [[COMMON_RET]]
;
pred:
%c0 = icmp ne i32* %p, null
br i1 %c0, label %dispatch, label %final_right
@ -153,10 +154,19 @@ final_right:
; Drop dereferenceable on the parameter
define void @one_pred_with_spec_call_deref(i8 %v0, i8 %v1, i32* %p) {
; CHECK-LABEL: one_pred_with_spec_call_deref
; CHECK-LABEL: pred:
; CHECK: %c0 = icmp ne i32* %p, null
; CHECK: %x = call i32 @speculate_call(i32* %p)
; CHECK-LABEL: @one_pred_with_spec_call_deref(
; CHECK-NEXT: pred:
; CHECK-NEXT: [[C0:%.*]] = icmp ne i32* [[P:%.*]], null
; CHECK-NEXT: [[X:%.*]] = call i32 @speculate_call(i32* [[P]])
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[C0]], i1 [[C1]], i1 false
; CHECK-NEXT: br i1 [[OR_COND]], label [[COMMON_RET:%.*]], label [[FINAL_RIGHT:%.*]]
; CHECK: common.ret:
; CHECK-NEXT: ret void
; CHECK: final_right:
; CHECK-NEXT: call void @sideeffect0()
; CHECK-NEXT: br label [[COMMON_RET]]
;
pred:
%c0 = icmp ne i32* %p, null
br i1 %c0, label %dispatch, label %final_right