Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs< %s | FileCheck --check-prefix=SI --check-prefix=CHECK %s |
| 2 | ; RUN: llc -march=r600 -mcpu=bonaire -verify-machineinstrs< %s | FileCheck --check-prefix=CI --check-prefix=CHECK %s |
Matt Arsenault | b768912 | 2013-10-21 20:03:54 +0000 | [diff] [blame] | 3 | |
| 4 | define void @use_gep_address_space([1024 x i32] addrspace(3)* %array) nounwind { |
Benjamin Kramer | c10563d | 2014-01-11 21:06:00 +0000 | [diff] [blame] | 5 | ; CHECK-LABEL: @use_gep_address_space: |
Matt Arsenault | 99ed789 | 2014-03-19 22:19:49 +0000 | [diff] [blame] | 6 | ; CHECK: V_MOV_B32_e32 [[PTR:v[0-9]+]], s{{[0-9]+}} |
Matt Arsenault | 4d7d383 | 2014-04-15 22:32:49 +0000 | [diff] [blame] | 7 | ; CHECK: DS_WRITE_B32 [[PTR]], v{{[0-9]+}}, 0x40 |
Matt Arsenault | b768912 | 2013-10-21 20:03:54 +0000 | [diff] [blame] | 8 | %p = getelementptr [1024 x i32] addrspace(3)* %array, i16 0, i16 16 |
| 9 | store i32 99, i32 addrspace(3)* %p |
| 10 | ret void |
| 11 | } |
| 12 | |
Matt Arsenault | 99ed789 | 2014-03-19 22:19:49 +0000 | [diff] [blame] | 13 | define void @use_gep_address_space_large_offset([1024 x i32] addrspace(3)* %array) nounwind { |
| 14 | ; CHECK-LABEL: @use_gep_address_space_large_offset: |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 15 | ; The LDS offset will be 65536 bytes, which is larger than the size of LDS on |
| 16 | ; SI, which is why it is being OR'd with the base pointer. |
| 17 | ; SI: S_OR_B32 |
| 18 | ; CI: S_ADD_I32 |
Matt Arsenault | 99ed789 | 2014-03-19 22:19:49 +0000 | [diff] [blame] | 19 | ; CHECK: DS_WRITE_B32 |
| 20 | %p = getelementptr [1024 x i32] addrspace(3)* %array, i16 0, i16 16384 |
| 21 | store i32 99, i32 addrspace(3)* %p |
| 22 | ret void |
| 23 | } |
| 24 | |
Matt Arsenault | 51f9f77 | 2013-10-21 20:03:58 +0000 | [diff] [blame] | 25 | define void @gep_as_vector_v4(<4 x [1024 x i32] addrspace(3)*> %array) nounwind { |
| 26 | ; CHECK-LABEL: @gep_as_vector_v4: |
Matt Arsenault | 43b8e4e | 2013-11-18 20:09:29 +0000 | [diff] [blame] | 27 | ; CHECK: S_ADD_I32 |
| 28 | ; CHECK: S_ADD_I32 |
| 29 | ; CHECK: S_ADD_I32 |
| 30 | ; CHECK: S_ADD_I32 |
Matt Arsenault | 51f9f77 | 2013-10-21 20:03:58 +0000 | [diff] [blame] | 31 | %p = getelementptr <4 x [1024 x i32] addrspace(3)*> %array, <4 x i16> zeroinitializer, <4 x i16> <i16 16, i16 16, i16 16, i16 16> |
| 32 | %p0 = extractelement <4 x i32 addrspace(3)*> %p, i32 0 |
| 33 | %p1 = extractelement <4 x i32 addrspace(3)*> %p, i32 1 |
| 34 | %p2 = extractelement <4 x i32 addrspace(3)*> %p, i32 2 |
| 35 | %p3 = extractelement <4 x i32 addrspace(3)*> %p, i32 3 |
| 36 | store i32 99, i32 addrspace(3)* %p0 |
| 37 | store i32 99, i32 addrspace(3)* %p1 |
| 38 | store i32 99, i32 addrspace(3)* %p2 |
| 39 | store i32 99, i32 addrspace(3)* %p3 |
| 40 | ret void |
| 41 | } |
| 42 | |
| 43 | define void @gep_as_vector_v2(<2 x [1024 x i32] addrspace(3)*> %array) nounwind { |
| 44 | ; CHECK-LABEL: @gep_as_vector_v2: |
Matt Arsenault | 43b8e4e | 2013-11-18 20:09:29 +0000 | [diff] [blame] | 45 | ; CHECK: S_ADD_I32 |
| 46 | ; CHECK: S_ADD_I32 |
Matt Arsenault | 51f9f77 | 2013-10-21 20:03:58 +0000 | [diff] [blame] | 47 | %p = getelementptr <2 x [1024 x i32] addrspace(3)*> %array, <2 x i16> zeroinitializer, <2 x i16> <i16 16, i16 16> |
| 48 | %p0 = extractelement <2 x i32 addrspace(3)*> %p, i32 0 |
| 49 | %p1 = extractelement <2 x i32 addrspace(3)*> %p, i32 1 |
| 50 | store i32 99, i32 addrspace(3)* %p0 |
| 51 | store i32 99, i32 addrspace(3)* %p1 |
| 52 | ret void |
| 53 | } |
| 54 | |