diff options
| author | Johannes Doerfert <jdoerfert@anl.gov> | 2019-07-15 03:24:35 +0000 |
|---|---|---|
| committer | Johannes Doerfert <jdoerfert@anl.gov> | 2019-07-15 03:24:35 +0000 |
| commit | 2d63fbb7b1f7bbbd91f9f862946663a813e1780c (patch) | |
| tree | 370a97cbd411250b7e21cbecac99ee44b2989062 /llvm/test | |
| parent | 635d103e0be69342b65c251b7aa0e07bed418010 (diff) | |
| download | bcm5719-llvm-2d63fbb7b1f7bbbd91f9f862946663a813e1780c.tar.gz bcm5719-llvm-2d63fbb7b1f7bbbd91f9f862946663a813e1780c.zip | |
[ValueTracking] Look through constant Int2Ptr/Ptr2Int expressions
Summary:
This is analogous to the int2ptr/ptr2int instruction handling introduced
in D54956.
Reviewers: fhahn, efriedma, spatel, nlopes, sanjoy, lebedev.ri
Subscribers: hiraditya, bollu, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D64708
llvm-svn: 366036
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/nonnull.ll | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/nonnull.ll b/llvm/test/Transforms/FunctionAttrs/nonnull.ll index 7029be9691d..6c04e4907d8 100644 --- a/llvm/test/Transforms/FunctionAttrs/nonnull.ll +++ b/llvm/test/Transforms/FunctionAttrs/nonnull.ll @@ -237,4 +237,14 @@ define i32 addrspace(3)* @gep2(i32 addrspace(3)* %p) { ret i32 addrspace(3)* %q } +; CHECK: define internal nonnull i32* @f2() +define internal i32* @f2() { + ret i32* inttoptr (i64 4 to i32*) +} + +define i32* @f1() { + %c = call i32* @f2() + ret i32* %c +} + attributes #0 = { "null-pointer-is-valid"="true" } |
