diff options
| author | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-11-27 14:41:12 +0000 |
|---|---|---|
| committer | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-11-27 14:45:16 +0000 |
| commit | 0f4383faa75fdeaeebe0c5156f927e9f88d61d53 (patch) | |
| tree | b66752cf40b42f831118b3117b50c85d773f5064 /llvm/test | |
| parent | cbfa237892e55b7129a1178c9b03f26683d643af (diff) | |
| download | bcm5719-llvm-0f4383faa75fdeaeebe0c5156f927e9f88d61d53.tar.gz bcm5719-llvm-0f4383faa75fdeaeebe0c5156f927e9f88d61d53.zip | |
[Attributor] Handle special case when offset equals zero in nonnull deduction
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/align.ll | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/align.ll b/llvm/test/Transforms/FunctionAttrs/align.ll index b8817a44fce..a5bf91915ba 100644 --- a/llvm/test/Transforms/FunctionAttrs/align.ll +++ b/llvm/test/Transforms/FunctionAttrs/align.ll @@ -351,8 +351,7 @@ define i64 @test12-1(i32* align 4 %p) { ret i64 %ret } -; FXIME: %p should have nonnull -; ATTRIBUTOR: define i64 @test12-2(i32* nocapture nofree readonly align 16 %p) +; ATTRIBUTOR: define i64 @test12-2(i32* nocapture nofree nonnull readonly align 16 dereferenceable(8) %p) define i64 @test12-2(i32* align 4 %p) { %p-cast = bitcast i32* %p to i64* %arrayidx0 = getelementptr i64, i64* %p-cast, i64 0 @@ -370,8 +369,7 @@ define void @test12-3(i32* align 4 %p) { ret void } -; FXIME: %p should have nonnull -; ATTRIBUTOR: define void @test12-4(i32* nocapture nofree writeonly align 16 %p) +; ATTRIBUTOR: define void @test12-4(i32* nocapture nofree nonnull writeonly align 16 dereferenceable(8) %p) define void @test12-4(i32* align 4 %p) { %p-cast = bitcast i32* %p to i64* %arrayidx0 = getelementptr i64, i64* %p-cast, i64 0 |
