================
@@ -0,0 +1,290 @@
+// RUN: %clang_cc1 -finclude-default-header -triple \
+// RUN: dxil-pc-shadermodel6.3-library %s -fnative-half-type \
+// RUN: -emit-llvm -o - | FileCheck %s
+// RUN: %clang_cc1 -finclude-default-header -triple \
+// RUN: spirv-unknown-vulkan-compute %s -fnative-half-type \
+// RUN: -emit-llvm -o - | FileCheck %s --check-prefix=SPVCHECK
+
+// CHECK-LABEL: define noundef nofpclass(nan inf) half
@_Z17test_refract_halfDhDhDh(
+// CHECK-SAME: half noundef nofpclass(nan inf) [[I:%.*]], half noundef
nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf) [[ETA:%.*]])
#[[ATTR0:[0-9]+]] {
+// CHECK: [[ENTRY:.*:]]
+// CHECK: [[MUL_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half %{{.*}},
%{{.*}}
+// CHECK: [[MUL1_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// CHECK: [[MUL2_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL1_I]], %{{.*}}
+// CHECK: [[MUL3_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL2_I]], %{{.*}}
+// CHECK: [[SUB_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half 0xH3C00,
[[MUL3_I]]
+// CHECK: [[MUL4_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL_I]], [[SUB_I]]
+// CHECK: [[SUB5_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
0xH3C00, [[MUL4_I]]
+// CHECK: [[MUL6_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// CHECK: [[MUL7_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// CHECK: [[MUL8_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL7_I]], %{{.*}}
+// CHECK: [[TMP2:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.sqrt.f16(half %{{.*}})
+// CHECK: [[ADD_I:%.*]] = fadd reassoc nnan ninf nsz arcp afn half
[[MUL8_I]], [[TMP2]]
+// CHECK: [[MUL9_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[ADD_I]], %{{.*}}
+// CHECK: [[SUB10_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
[[MUL6_I]], [[MUL9_I]]
+// CHECK: [[CMP_I:%.*]] = fcmp reassoc nnan ninf nsz arcp afn olt half
%{{.*}}, 0xH0000
+// CHECK: [[HLSL_SELECT_I:%.*]] = select reassoc nnan ninf nsz arcp afn i1
[[CMP_I]], half 0xH0000, half %{{.*}}
+// CHECK: ret half [[HLSL_SELECT_I]]
+//
+// SPVCHECK-LABEL: define spir_func noundef nofpclass(nan inf) half
@_Z17test_refract_halfDhDhDh(
+// SPVCHECK-SAME: half noundef nofpclass(nan inf) [[I:%.*]], half noundef
nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf) [[ETA:%.*]])
#[[ATTR0:[0-9]+]]
+// SPVCHECK: [[ENTRY:.*:]]
+// SPVCHECK: [[MUL_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// SPVCHECK: [[MUL1_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// SPVCHECK: [[MUL2_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL1_I]], %{{.*}}
+// SPVCHECK: [[MUL3_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL2_I]], %{{.*}}
+// SPVCHECK: [[SUB_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
0xH3C00, [[MUL3_I]]
+// SPVCHECK: [[MUL4_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL_I]], [[SUB_I]]
+// SPVCHECK: [[SUB5_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
0xH3C00, [[MUL4_I]]
+// SPVCHECK: [[MUL6_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// SPVCHECK: [[MUL7_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, %{{.*}}
+// SPVCHECK: [[MUL8_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL7_I]], %{{.*}}
+// SPVCHECK: [[TMP2:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.sqrt.f16(half %{{.*}})
+// SPVCHECK: [[ADD_I:%.*]] = fadd reassoc nnan ninf nsz arcp afn half
[[MUL8_I]], [[TMP2]]
+// SPVCHECK: [[MUL9_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[ADD_I]], %{{.*}}
+// SPVCHECK: [[SUB10_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
[[MUL6_I]], [[MUL9_I]]
+// SPVCHECK: [[CMP_I:%.*]] = fcmp reassoc nnan ninf nsz arcp afn olt half
%{{.*}}, 0xH0000
+// SPVCHECK: [[HLSL_SELECT_I:%.*]] = select reassoc nnan ninf nsz arcp afn
i1 [[CMP_I]], half 0xH0000, half %{{.*}}
+// SPVCHECK: ret half [[HLSL_SELECT_I]]
+//
+half test_refract_half(half I, half N, half ETA) {
+ return refract(I, N, ETA);
+}
+
+// CHECK-LABEL: define noundef nofpclass(nan inf) <2 x half>
@_Z18test_refract_half2Dv2_DhS_Dh(
+// CHECK-SAME: <2 x half> noundef nofpclass(nan inf) [[I:%.*]], <2 x half>
noundef nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf)
[[ETA:%.*]]) #[[ATTR0:[0-9]+]] {
+// CHECK: [[ENTRY:.*:]]
+// CHECK: [[MUL_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half %{{.*}},
%{{.*}}
+// CHECK: [[HLSL_DOT_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v2f16(<2 x half> %{{.*}}, <2 x half> %{{.*}})
+// CHECK: [[HLSL_DOT1_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v2f16(<2 x half> %{{.*}}, <2 x half> %{{.*}})
+// CHECK: [[MUL_2_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[HLSL_DOT_I]], [[HLSL_DOT1_I]]
+// CHECK: [[SUB_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half 0xH3C00,
[[MUL_2_I]]
+// CHECK: [[MUL_3_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL_I]], [[SUB_I]]
+// CHECK: [[SUB4_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
0xH3C00, [[MUL_3_I]]
+// CHECK: [[MUL_7_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn <2 x half>
%{{.*}}, %{{.*}}
+// CHECK: [[HLSL_DOT8_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v2f16(<2 x half> %{{.*}}, <2 x half> %{{.*}})
+// CHECK: [[MUL_9_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, [[HLSL_DOT8_I]]
+// CHECK: [[TMP0:%.*]] = call reassoc nnan ninf nsz arcp afn <2 x half>
@llvm.sqrt.v2f16(<2 x half> %{{.*}})
+// CHECK: [[ADD_I:%.*]] = fadd reassoc nnan ninf nsz arcp afn <2 x half>
%{{.*}}, [[TMP0]]
+// CHECK: [[MUL_12_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn <2 x half>
[[ADD_I]], %{{.*}}
+// CHECK: [[SUB13_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn <2 x half>
[[MUL_7_I]], [[MUL_12_I]]
+// CHECK: [[CMP_I:%.*]] = fcmp reassoc nnan ninf nsz arcp afn olt <2 x
half> %{{.*}}, zeroinitializer
+// CHECK: [[HLSL_SELECT_I:%.*]] = select reassoc nnan ninf nsz arcp afn i1
%{{.*}}, <2 x half> zeroinitializer, <2 x half> %{{.*}}
+// CHECK: ret <2 x half> [[HLSL_SELECT_I]]
+//
+// SPVCHECK-LABEL: define spir_func noundef nofpclass(nan inf) <2 x half>
@_Z18test_refract_half2Dv2_DhS_Dh(
+// SPVCHECK-SAME: <2 x half> noundef nofpclass(nan inf) [[I:%.*]], <2 x half>
noundef nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf)
[[ETA:%.*]]) #[[ATTR0:[0-9]+]] {
+// SPVCHECK: [[ENTRY:.*:]]
+// SPVCHECK: [[CONV_I:%.*]] = fpext reassoc nnan ninf nsz arcp afn half
%{{.*}} to double
+// SPVCHECK: [[SPV_REFRACT_I:%.*]] = call reassoc nnan ninf nsz arcp afn
noundef <2 x half> @llvm.spv.refract.v2f16.f64(<2 x half> %{{.*}}, <2 x half>
%{{.*}}, double [[CONV_I]])
+// SPVCHECK: ret <2 x half> [[SPV_REFRACT_I]]
+//
+half2 test_refract_half2(half2 I, half2 N, half ETA) {
+ return refract(I, N, ETA);
+}
+
+// CHECK-LABEL: define noundef nofpclass(nan inf) <3 x half>
@_Z18test_refract_half3Dv3_DhS_Dh(
+// CHECK-SAME: <3 x half> noundef nofpclass(nan inf) [[I:%.*]], <3 x half>
noundef nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf)
[[ETA:%.*]]) #[[ATTR0:[0-9]+]] {
+// CHECK: [[ENTRY:.*:]]
+// CHECK: [[MUL_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half %{{.*}},
%{{.*}}
+// CHECK: [[HLSL_DOT_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v3f16(<3 x half> %{{.*}}, <3 x half> %{{.*}})
+// CHECK: [[HLSL_DOT1_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v3f16(<3 x half> %{{.*}}, <3 x half> %{{.*}})
+// CHECK: [[MUL_2_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[HLSL_DOT_I]], [[HLSL_DOT1_I]]
+// CHECK: [[SUB_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half 0xH3C00,
[[MUL_2_I]]
+// CHECK: [[MUL_3_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
[[MUL_I]], [[SUB_I]]
+// CHECK: [[SUB4_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn half
0xH3C00, [[MUL_3_I]]
+// CHECK: [[MUL_7_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn <3 x half>
%{{.*}}, %{{.*}}
+// CHECK: [[HLSL_DOT8_I:%.*]] = call reassoc nnan ninf nsz arcp afn half
@llvm.dx.fdot.v3f16(<3 x half> %{{.*}}, <3 x half> %{{.*}})
+// CHECK: [[MUL_9_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn half
%{{.*}}, [[HLSL_DOT8_I]]
+// CHECK: [[TMP0:%.*]] = call reassoc nnan ninf nsz arcp afn <3 x half>
@llvm.sqrt.v3f16(<3 x half> %{{.*}})
+// CHECK: [[ADD_I:%.*]] = fadd reassoc nnan ninf nsz arcp afn <3 x half>
%{{.*}}, [[TMP0]]
+// CHECK: [[MUL_12_I:%.*]] = fmul reassoc nnan ninf nsz arcp afn <3 x half>
[[ADD_I]], %{{.*}}
+// CHECK: [[SUB13_I:%.*]] = fsub reassoc nnan ninf nsz arcp afn <3 x half>
[[MUL_7_I]], [[MUL_12_I]]
+// CHECK: [[CMP_I:%.*]] = fcmp reassoc nnan ninf nsz arcp afn olt <3 x
half> %{{.*}}, zeroinitializer
+// CHECK: [[HLSL_SELECT_I:%.*]] = select reassoc nnan ninf nsz arcp afn i1
%{{.*}}, <3 x half> zeroinitializer, <3 x half> %{{.*}}
+// CHECK: ret <3 x half> [[HLSL_SELECT_I]]
+//
+// SPVCHECK-LABEL: define spir_func noundef nofpclass(nan inf) <3 x half>
@_Z18test_refract_half3Dv3_DhS_Dh(
+// SPVCHECK-SAME: <3 x half> noundef nofpclass(nan inf) [[I:%.*]], <3 x half>
noundef nofpclass(nan inf) [[N:%.*]], half noundef nofpclass(nan inf)
[[ETA:%.*]]) #[[ATTR0:[0-9]+]] {
+// SPVCHECK: [[ENTRY:.*:]]
+// SPVCHECK: [[CONV_I:%.*]] = fpext reassoc nnan ninf nsz arcp afn half
%{{.*}} to double
----------------
farzonl wrote:
this is wrong we should not be casting half to double.
https://github.com/llvm/llvm-project/pull/136026
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
