[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AMDGPU / lower-range-metadata-intrinsic-call.ll
blob6f5f4ca13b5ed5cddbfa8cbef7a8fa9d6b186634
1 ; RUN: llc -march=amdgcn -mtriple=amdgcn-unknown-amdhsa < %s | FileCheck %s
2 ; RUN: llc -march=amdgcn -mtriple=amdgcn-unknown-unknown < %s | FileCheck %s
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
8 define amdgpu_kernel void @test_workitem_id_x_known_max_range(i32 addrspace(1)* nocapture %out) #0 {
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
16 ; CHECK-LABEL: {{^}}test_workitem_id_x_known_trunc_1_bit_range:
17 ; CHECK-NOT: v_and_b32
18 ; CHECK: {{flat|buffer}}_store_dword {{.*}}v0
19 define amdgpu_kernel void @test_workitem_id_x_known_trunc_1_bit_range(i32 addrspace(1)* nocapture %out) #0 {
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
27 ; CHECK-LABEL: {{^}}test_workitem_id_x_known_max_range_m1:
28 ; CHECK-NOT: v0
29 ; CHECK-NOT: v_and_b32
30 ; CHECK: {{flat|buffer}}_store_dword {{.*}}v0
31 define amdgpu_kernel void @test_workitem_id_x_known_max_range_m1(i32 addrspace(1)* nocapture %out) #0 {
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
40 declare i32 @llvm.amdgcn.workitem.id.x() #1
42 attributes #0 = { norecurse nounwind }
43 attributes #1 = { nounwind readnone }
45 !0 = !{i32 0, i32 1024}
46 !1 = !{i32 0, i32 1023}