RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2026-07-01 21:04:04 -04:00
Code Issues Packages Projects Releases 10 Wiki Activity

[Attributor][FIX] Avoid splitting blocks if possible

Browse Source 
Before, we eagerly split blocks even if it was not necessary, e.g., they
had a single unreachable instruction and only a single predecessor.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@374703 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Johannes Doerfert
2019-10-13 05:27:09 +00:00
parent b0bab45874
commit 40b2b61e65
4 changed files with 22 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/Transforms/FunctionAttrs/liveness.ll
+2 -2
View File
@@ -177,7 +177,7 @@ cond.true: ; preds = %entry
%call = invoke i32 @foo_noreturn() to label %continue
unwind label %cleanup
; CHECK: %call = invoke i32 @foo_noreturn()
; CHECK-NEXT: to label %continue.dead unwind label %cleanup
; CHECK-NEXT: to label %continue unwind label %cleanup
cond.false: ; preds = %entry
call void @normal_call()
@@ -189,7 +189,7 @@ cond.end: ; preds = %cond.false, %contin
ret i32 %cond
continue:
; CHECK: continue.dead:
; CHECK: continue:
; CHECK-NEXT: unreachable
br label %cond.end
test/Transforms/FunctionAttrs/noreturn_async.ll
+4 -4
View File
@@ -42,12 +42,12 @@ entry:
%retval = alloca i32, align 4
%__exception_code = alloca i32, align 4
; CHECK: invoke void @"?overflow@@YAXXZ"()
; CHECK: to label %invoke.cont.dead unwind label %catch.dispatch
; CHECK: to label %invoke.cont unwind label %catch.dispatch
invoke void @"?overflow@@YAXXZ"()
to label %invoke.cont unwind label %catch.dispatch
invoke.cont: ; preds = %entry
; CHECK: invoke.cont.dead:
; CHECK: invoke.cont:
; CHECK-NEXT: unreachable
br label %invoke.cont1
@@ -101,12 +101,12 @@ entry:
%retval = alloca i32, align 4
%__exception_code = alloca i32, align 4
; CHECK: invoke void @"?overflow@@YAXXZ_may_throw"()
; CHECK: to label %invoke.cont.dead unwind label %catch.dispatch
; CHECK: to label %invoke.cont unwind label %catch.dispatch
invoke void @"?overflow@@YAXXZ_may_throw"()
to label %invoke.cont unwind label %catch.dispatch
invoke.cont: ; preds = %entry
; CHECK: invoke.cont.dead:
; CHECK: invoke.cont:
; CHECK-NEXT: unreachable
br label %invoke.cont1
test/Transforms/FunctionAttrs/noreturn_sync.ll
+2 -2
View File
@@ -97,12 +97,12 @@ entry:
%retval = alloca i32, align 4
%__exception_code = alloca i32, align 4
; CHECK: invoke void @"?overflow@@YAXXZ_may_throw"()
; CHECK: to label %invoke.cont.dead unwind label %catch.dispatch
; CHECK: to label %invoke.cont unwind label %catch.dispatch
invoke void @"?overflow@@YAXXZ_may_throw"()
to label %invoke.cont unwind label %catch.dispatch
invoke.cont: ; preds = %entry
; CHECK: invoke.cont.dead:
; CHECK: invoke.cont:
; CHECK-NEXT: unreachable
br label %invoke.cont1