4b4ea6d84b
This marks the `bit_cast` helper as `constexpr` and allows the casts implemented with it to also be `constexpr`. This is largely not a functional change, but it enables using the casts in expressions that need to be resolved at compile time as demonstrated with the static asserts in the new tests. --------- Co-authored-by: joaosaffran <126493771+joaosaffran@users.noreply.github.com>
42 lines
1.2 KiB
HLSL
42 lines
1.2 KiB
HLSL
// RUN: %clang_cc1 -finclude-default-header -x hlsl -triple dxil-pc-shadermodel6.3-library %s -fnative-half-type -emit-llvm -O1 -o - | FileCheck %s
|
|
|
|
// CHECK: define {{.*}}test_uint{{.*}}(i32 {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK-NOT: bitcast
|
|
// CHECK: ret i32 [[VAL]]
|
|
uint test_uint(uint p0) {
|
|
return asuint(p0);
|
|
}
|
|
|
|
// CHECK: define {{.*}}test_int{{.*}}(i32 {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK-NOT: bitcast
|
|
// CHECK: ret i32 [[VAL]]
|
|
uint test_int(int p0) {
|
|
return asuint(p0);
|
|
}
|
|
|
|
// CHECK: define {{.*}}test_float{{.*}}(float {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK: bitcast float [[VAL]] to i32
|
|
uint test_float(float p0) {
|
|
return asuint(p0);
|
|
}
|
|
|
|
// CHECK: define {{.*}}test_vector_uint{{.*}}(<4 x i32> {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK-NOT: bitcast
|
|
// CHECK: ret <4 x i32> [[VAL]]
|
|
uint4 test_vector_uint(uint4 p0) {
|
|
return asuint(p0);
|
|
}
|
|
|
|
// CHECK: define {{.*}}test_vector_int{{.*}}(<4 x i32> {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK-NOT: bitcast
|
|
// CHECK: ret <4 x i32> [[VAL]]
|
|
uint4 test_vector_int(int4 p0) {
|
|
return asuint(p0);
|
|
}
|
|
|
|
// CHECK: define {{.*}}test_vector_float{{.*}}(<4 x float> {{.*}} [[VAL:%.*]]){{.*}}
|
|
// CHECK: bitcast <4 x float> [[VAL]] to <4 x i32>
|
|
uint4 test_vector_float(float4 p0) {
|
|
return asuint(p0);
|
|
}
|