diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2016-07-06 05:32:05 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2016-07-06 05:32:05 +0000 |
| commit | fc7e651bfd1d144252cb25409917e72966d35091 (patch) | |
| tree | a5828921a5d73bc1dfc62f8183c8083a0143dc82 /llvm/test | |
| parent | 5c29783bf2e115712cacac1d3247fca16d1595be (diff) | |
| download | bcm5719-llvm-fc7e651bfd1d144252cb25409917e72966d35091.tar.gz bcm5719-llvm-fc7e651bfd1d144252cb25409917e72966d35091.zip | |
Fix handling of forward unreachable but reverse-reachable blocks in MemorySSA construction
llvm-svn: 274606
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/Util/MemorySSA/forward-unreachable.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Util/MemorySSA/forward-unreachable.ll b/llvm/test/Transforms/Util/MemorySSA/forward-unreachable.ll new file mode 100644 index 00000000000..2bbf399daae --- /dev/null +++ b/llvm/test/Transforms/Util/MemorySSA/forward-unreachable.ll @@ -0,0 +1,23 @@ +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s +target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" + +define void @test() { +entry: + br i1 undef, label %split1, label %split2 + +split1: + store i16 undef, i16* undef, align 2 + br label %merge +split2: + br label %merge +forwardunreachable: + br label %merge +merge: +; The forwardunreachable block still needs an entry in the phi node, +; because it is reverse reachable, so the CFG still has it as a +; predecessor of the block +; CHECK: 3 = MemoryPhi({split1,1},{split2,liveOnEntry},{forwardunreachable,liveOnEntry}) + store i16 undef, i16* undef, align 2 + ret void +} + |
