Matt Arsenault | 2bba779 | 2016-02-08 16:28:19 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -mtriple=amdgcn-unknown-amdhsa < %s | FileCheck %s |
| 2 | ; RUN: llc -march=amdgcn -mtriple=amdgcn-unknown-unknown < %s | FileCheck %s |
| 3 | |
| 4 | ; and can be eliminated |
| 5 | ; CHECK-LABEL: {{^}}test_workitem_id_x_known_max_range: |
| 6 | ; CHECK-NOT: v0 |
Tom Stellard | 46937ca | 2016-02-12 17:57:54 +0000 | [diff] [blame] | 7 | ; CHECK: {{flat|buffer}}_store_dword {{.*}}v0 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 8 | define amdgpu_kernel void @test_workitem_id_x_known_max_range(i32 addrspace(1)* nocapture %out) #0 { |
Matt Arsenault | 2bba779 | 2016-02-08 16:28:19 +0000 | [diff] [blame] | 9 | entry: |
| 10 | %id = tail call i32 @llvm.amdgcn.workitem.id.x(), !range !0 |
| 11 | %and = and i32 %id, 1023 |
| 12 | store i32 %and, i32 addrspace(1)* %out, align 4 |
| 13 | ret void |
| 14 | } |
| 15 | |
| 16 | ; CHECK-LABEL: {{^}}test_workitem_id_x_known_trunc_1_bit_range: |
Stanislav Mekhanoshin | c90347d | 2017-04-12 20:48:56 +0000 | [diff] [blame^] | 17 | ; CHECK-NOT: v_and_b32 |
| 18 | ; CHECK: {{flat|buffer}}_store_dword {{.*}}v0 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 19 | define amdgpu_kernel void @test_workitem_id_x_known_trunc_1_bit_range(i32 addrspace(1)* nocapture %out) #0 { |
Matt Arsenault | 2bba779 | 2016-02-08 16:28:19 +0000 | [diff] [blame] | 20 | entry: |
| 21 | %id = tail call i32 @llvm.amdgcn.workitem.id.x(), !range !0 |
| 22 | %and = and i32 %id, 511 |
| 23 | store i32 %and, i32 addrspace(1)* %out, align 4 |
| 24 | ret void |
| 25 | } |
| 26 | |
| 27 | ; CHECK-LABEL: {{^}}test_workitem_id_x_known_max_range_m1: |
| 28 | ; CHECK-NOT: v0 |
Stanislav Mekhanoshin | c90347d | 2017-04-12 20:48:56 +0000 | [diff] [blame^] | 29 | ; CHECK-NOT: v_and_b32 |
| 30 | ; CHECK: {{flat|buffer}}_store_dword {{.*}}v0 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 31 | define amdgpu_kernel void @test_workitem_id_x_known_max_range_m1(i32 addrspace(1)* nocapture %out) #0 { |
Matt Arsenault | 2bba779 | 2016-02-08 16:28:19 +0000 | [diff] [blame] | 32 | entry: |
| 33 | %id = tail call i32 @llvm.amdgcn.workitem.id.x(), !range !1 |
| 34 | %and = and i32 %id, 255 |
| 35 | store i32 %and, i32 addrspace(1)* %out, align 4 |
| 36 | ret void |
| 37 | } |
| 38 | |
| 39 | |
| 40 | declare i32 @llvm.amdgcn.workitem.id.x() #1 |
| 41 | |
| 42 | attributes #0 = { norecurse nounwind } |
| 43 | attributes #1 = { nounwind readnone } |
| 44 | |
| 45 | !0 = !{i32 0, i32 1024} |
| 46 | !1 = !{i32 0, i32 1023} |