diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-11-01 21:04:54 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2019-11-02 00:49:29 -0500 |
| commit | 3cbe3314b4a02026e24fbc065fbbfc887bbc7392 (patch) | |
| tree | a58f0d711aa465d5e60e698cfcd229d9242cd8af /llvm/test/Transforms/FunctionAttrs | |
| parent | 1b6041a9e8c537894dfda998fdd3d284b1111bd2 (diff) | |
| download | bcm5719-llvm-3cbe3314b4a02026e24fbc065fbbfc887bbc7392.tar.gz bcm5719-llvm-3cbe3314b4a02026e24fbc065fbbfc887bbc7392.zip | |
[Attributor][FIX] Make "known" and "assumed" liveness explicit
We did merge "known" and "assumed" liveness information into a single
set which caused various kinds of problems, especially because we did
not properly record when something was actually known. With this patch
we properly track the "known" bit and distinguish dead ends we know from
the ones we still need to explore in future updates.
Diffstat (limited to 'llvm/test/Transforms/FunctionAttrs')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/liveness.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/liveness.ll b/llvm/test/Transforms/FunctionAttrs/liveness.ll index 2526d65bbf5..e16677dc158 100644 --- a/llvm/test/Transforms/FunctionAttrs/liveness.ll +++ b/llvm/test/Transforms/FunctionAttrs/liveness.ll @@ -689,12 +689,12 @@ define void @live_with_dead_entry_lp() personality i8* bitcast (i32 (...)* @__gx ; CHECK: define void @live_with_dead_entry_lp( ; CHECK-NEXT: entry: ; CHECK-NEXT: invoke void @blowup() -; CHECK-NEXT: to label %live_with_dead_entry.dead1 unwind label %lp1 +; CHECK-NEXT: to label %live_with_dead_entry.dead unwind label %lp1 ; CHECK: lp1: ; preds = %entry ; CHECK-NEXT: %lp = landingpad { i8*, i32 } ; CHECK-NEXT: catch i8* null ; CHECK-NEXT: invoke void @blowup() -; CHECK-NEXT: to label %live_with_dead_entry.dead unwind label %lp2 +; CHECK-NEXT: to label %live_with_dead_entry.dead1 unwind label %lp2 ; CHECK: lp2: ; preds = %lp1 ; CHECK-NEXT: %0 = landingpad { i8*, i32 } ; CHECK-NEXT: catch i8* null |
