| Stanislav Mekhanoshin | a27b2ca | 2017-03-24 18:01:14 +0000 | [diff] [blame] | 1 | ; RUN: opt -mtriple=amdgcn-- -O3 -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s |
| Jan Vesely | 3c99441 | 2017-03-31 19:26:23 +0000 | [diff] [blame] | 2 | ; RUN: opt -mtriple=r600-- -O3 -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s |
| Stanislav Mekhanoshin | a27b2ca | 2017-03-24 18:01:14 +0000 | [diff] [blame] | 3 | |
| Yaxun Liu | 2a22c5d | 2018-02-02 16:07:16 +0000 | [diff] [blame] | 4 | ; CHECK: NoAlias: i8 addrspace(1)* %p1, i8 addrspace(5)* %p |
| Stanislav Mekhanoshin | a27b2ca | 2017-03-24 18:01:14 +0000 | [diff] [blame] | 5 | |
| Yaxun Liu | 2a22c5d | 2018-02-02 16:07:16 +0000 | [diff] [blame] | 6 | define void @test(i8 addrspace(5)* %p, i8 addrspace(1)* %p1) { |
| Stanislav Mekhanoshin | a27b2ca | 2017-03-24 18:01:14 +0000 | [diff] [blame] | 7 | ret void |
| 8 | } |
| 9 | |
| Samuel Pitoiset | d81d6f7 | 2018-08-22 16:08:43 +0000 | [diff] [blame] | 10 | ; CHECK: MayAlias: i8 addrspace(1)* %p1, i8 addrspace(4)* %p |
| 11 | |
| 12 | define void @test_constant_vs_global(i8 addrspace(4)* %p, i8 addrspace(1)* %p1) { |
| 13 | ret void |
| 14 | } |
| 15 | |
| 16 | ; CHECK: MayAlias: i8 addrspace(1)* %p, i8 addrspace(4)* %p1 |
| 17 | |
| 18 | define void @test_global_vs_constant(i8 addrspace(1)* %p, i8 addrspace(4)* %p1) { |
| 19 | ret void |
| 20 | } |
| 21 | |
| Samuel Pitoiset | 7bd9dcf | 2018-08-22 16:08:48 +0000 | [diff] [blame] | 22 | ; CHECK: MayAlias: i8 addrspace(1)* %p1, i8 addrspace(6)* %p |
| 23 | |
| 24 | define void @test_constant_32bit_vs_global(i8 addrspace(6)* %p, i8 addrspace(1)* %p1) { |
| 25 | ret void |
| 26 | } |
| 27 | |
| 28 | ; CHECK: MayAlias: i8 addrspace(4)* %p1, i8 addrspace(6)* %p |
| 29 | |
| 30 | define void @test_constant_32bit_vs_constant(i8 addrspace(6)* %p, i8 addrspace(4)* %p1) { |
| 31 | ret void |
| 32 | } |
| 33 | |