diff options
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" } |
