diff options
| author | Ramkumar Ramachandra <artagnon@gmail.com> | 2015-02-09 21:08:03 +0000 |
|---|---|---|
| committer | Ramkumar Ramachandra <artagnon@gmail.com> | 2015-02-09 21:08:03 +0000 |
| commit | a7343d65f4eb198178c8c652768c1a52db977b69 (patch) | |
| tree | 2d89b4723781b304eb81eccfa7113b4a89bff28a /llvm/test/Analysis/ValueTracking | |
| parent | 641c24b9bf81c035dbb95a310b2d487e6b7a63bd (diff) | |
| download | bcm5719-llvm-a7343d65f4eb198178c8c652768c1a52db977b69.tar.gz bcm5719-llvm-a7343d65f4eb198178c8c652768c1a52db977b69.zip | |
isDereferenceablePointer: look through gc.relocate calls
While a theoretical GC might change dereferenceability on collection,
there is no such known collector and no need to account for the case
with a flag yet.
Differential Revision: http://reviews.llvm.org/D7454
llvm-svn: 228606
Diffstat (limited to 'llvm/test/Analysis/ValueTracking')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll b/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll index 1ec3fefc565..676d33a4e2e 100644 --- a/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll +++ b/llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll @@ -12,8 +12,7 @@ define void @test(i32 addrspace(1)* byval %dparam) { ; CHECK: %globalptr ; CHECK: %alloca ; CHECK: %dparam -; We haven't yet taught it to look through relocations -; CHECK-NOT: %relocate +; CHECK: %relocate ; CHECK-NOT: %nparam entry: %globalptr = getelementptr inbounds [6 x i8]* @globalstr, i32 0, i32 0 |
