clang/test/CodeGenHLSL/builtins/InterlockedMax.hlsl

// RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -triple \
// RUN:   dxil-pc-shadermodel6.6-library %s -emit-llvm -disable-llvm-passes -o - | \
// RUN:   FileCheck %s

// RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -triple \
// RUN:   spirv-pc-vulkan-library %s -emit-llvm -disable-llvm-passes -o - | \
// RUN:   FileCheck %s

// Test signed and unsigned lowering of HLSL InterlockedMax.

groupshared int gs_i32;
groupshared uint gs_u32;
groupshared int64_t gs_i64;
groupshared uint64_t gs_u64;

// CHECK-LABEL: define {{.*}}void @{{.*}}test_int_2arg
// CHECK:     %[[R:.*]] = atomicrmw max ptr addrspace(3) {{.*}}@gs_i32{{.*}}, i32 %{{.*}} syncscope("workgroup") monotonic
// CHECK-NOT: store i32 %[[R]]
export void test_int_2arg(int v) {
  InterlockedMax(gs_i32, v);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_uint_2arg
// CHECK:     %[[R:.*]] = atomicrmw umax ptr addrspace(3) {{.*}}@gs_u32{{.*}}, i32 %{{.*}} syncscope("workgroup") monotonic
// CHECK-NOT: store i32 %[[R]]
export void test_uint_2arg(uint v) {
  InterlockedMax(gs_u32, v);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_int_3arg
// CHECK: %[[R:.*]] = atomicrmw max ptr addrspace(3) {{.*}}@gs_i32{{.*}}, i32 %{{.*}} syncscope("workgroup") monotonic
// CHECK: store i32 %[[R]], ptr {{.*}}
export void test_int_3arg(int v, out int orig) {
  InterlockedMax(gs_i32, v, orig);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_uint_3arg
// CHECK: %[[R:.*]] = atomicrmw umax ptr addrspace(3) {{.*}}@gs_u32{{.*}}, i32 %{{.*}} syncscope("workgroup") monotonic
// CHECK: store i32 %[[R]], ptr {{.*}}
export void test_uint_3arg(uint v, out uint orig) {
  InterlockedMax(gs_u32, v, orig);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_int64_2arg
// CHECK:     %[[R:.*]] = atomicrmw max ptr addrspace(3) {{.*}}@gs_i64{{.*}}, i64 %{{.*}} syncscope("workgroup") monotonic
// CHECK-NOT: store i64 %[[R]]
export void test_int64_2arg(int64_t v) {
  InterlockedMax(gs_i64, v);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_uint64_2arg
// CHECK:     %[[R:.*]] = atomicrmw umax ptr addrspace(3) {{.*}}@gs_u64{{.*}}, i64 %{{.*}} syncscope("workgroup") monotonic
// CHECK-NOT: store i64 %[[R]]
export void test_uint64_2arg(uint64_t v) {
  InterlockedMax(gs_u64, v);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_int64_3arg
// CHECK: %[[R:.*]] = atomicrmw max ptr addrspace(3) {{.*}}@gs_i64{{.*}}, i64 %{{.*}} syncscope("workgroup") monotonic
// CHECK: store i64 %[[R]], ptr {{.*}}
export void test_int64_3arg(int64_t v, out int64_t orig) {
  InterlockedMax(gs_i64, v, orig);
}

// CHECK-LABEL: define {{.*}}void @{{.*}}test_uint64_3arg
// CHECK: %[[R:.*]] = atomicrmw umax ptr addrspace(3) {{.*}}@gs_u64{{.*}}, i64 %{{.*}} syncscope("workgroup") monotonic
// CHECK: store i64 %[[R]], ptr {{.*}}
export void test_uint64_3arg(uint64_t v, out uint64_t orig) {
  InterlockedMax(gs_u64, v, orig);
}