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 7; CHECK: {{flat|buffer}}_store_dword {{.*}}v0 8define void @test_workitem_id_x_known_max_range(i32 addrspace(1)* nocapture %out) #0 { 9entry: 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: 17; CHECK: v_and_b32_e32 [[MASKED:v[0-9]+]], 0x1ff, v0 18; CHECK: {{flat|buffer}}_store_dword {{.*}}[[MASKED]] 19define void @test_workitem_id_x_known_trunc_1_bit_range(i32 addrspace(1)* nocapture %out) #0 { 20entry: 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 29; CHECK: v_and_b32_e32 [[MASKED:v[0-9]+]], 0xff, v0 30; CHECK: {{flat|buffer}}_store_dword {{.*}}[[MASKED]] 31define void @test_workitem_id_x_known_max_range_m1(i32 addrspace(1)* nocapture %out) #0 { 32entry: 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 40declare i32 @llvm.amdgcn.workitem.id.x() #1 41 42attributes #0 = { norecurse nounwind } 43attributes #1 = { nounwind readnone } 44 45!0 = !{i32 0, i32 1024} 46!1 = !{i32 0, i32 1023} 47