150 lines · plain
1// DirectX target:2//3// ---------- Native Half support test -----------4//5// RUN: %clang_cc1 -finclude-default-header -x hlsl -triple \6// RUN: dxil-pc-shadermodel6.3-library %s -fnative-half-type -fnative-int16-type \7// RUN: -emit-llvm -o - | FileCheck %s -DFNATTRS="hidden noundef nofpclass(nan inf)" \8// RUN: -DTYPE=half -DINT_TYPE=f16 --check-prefixes=DXCHECK9 10//11// ---------- No Native Half support test -----------12//13// RUN: %clang_cc1 -finclude-default-header -x hlsl -triple \14// RUN: dxil-pc-shadermodel6.3-library %s -emit-llvm \15// RUN: -o - | FileCheck %s -DFNATTRS="hidden noundef nofpclass(nan inf)" \16// RUN: -DTYPE=float -DINT_TYPE=f32 --check-prefixes=DXCHECK17 18 19// Spirv target:20//21// ---------- Native Half support test -----------22//23// RUN: %clang_cc1 -finclude-default-header -x hlsl -triple \24// RUN: spirv-unknown-vulkan-compute %s -fnative-half-type -fnative-int16-type \25// RUN: -emit-llvm -o - | FileCheck %s \26// RUN: -DFNATTRS="hidden spir_func noundef nofpclass(nan inf)" -DTYPE=half27 28//29// ---------- No Native Half support test -----------30//31// RUN: %clang_cc1 -finclude-default-header -x hlsl -triple \32// RUN: spirv-unknown-vulkan-compute %s -emit-llvm \33// RUN: -o - | FileCheck %s \34// RUN: -DFNATTRS="hidden spir_func noundef nofpclass(nan inf)" -DTYPE=float35 36 37 38// DXCHECK: define [[FNATTRS]] [[TYPE]] @39// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn [[TYPE]] %{{.*}}, %{{.*}}40// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge [[TYPE]] %{{.*}}, 041// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn [[TYPE]] @llvm.fabs.[[INT_TYPE]]([[TYPE]] %{{.*}})42// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn [[TYPE]] @llvm.dx.frac.[[INT_TYPE]]([[TYPE]] %elt.abs.i)43// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn [[TYPE]] %{{.*}}44// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn i1 %{{.*}}, [[TYPE]] %{{.*}}, [[TYPE]] %fneg.i45// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn [[TYPE]] %hlsl.select.i, %{{.*}}46// DXCHECK: ret [[TYPE]] %mul.i47// CHECK: define [[FNATTRS]] [[TYPE]] @48// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn [[TYPE]]49// CHECK: ret [[TYPE]] %fmod.i50half test_fmod_half(half p0, half p1) { return fmod(p0, p1); }51 52// DXCHECK: define [[FNATTRS]] <2 x [[TYPE]]> @53// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]> %{{.*}}, %{{.*}}54// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <2 x [[TYPE]]> %{{.*}}, zeroinitializer55// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]> @llvm.fabs.v2[[INT_TYPE]](<2 x [[TYPE]]> %{{.*}})56// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]> @llvm.dx.frac.v2[[INT_TYPE]](<2 x [[TYPE]]> %elt.abs.i)57// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]> %{{.*}}58// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <2 x i1> %{{.*}}, <2 x [[TYPE]]> %{{.*}}, <2 x [[TYPE]]> %fneg.i59// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]> %hlsl.select.i, %{{.*}}60// DXCHECK: ret <2 x [[TYPE]]> %mul.i61// CHECK: define [[FNATTRS]] <2 x [[TYPE]]> @62// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <2 x [[TYPE]]>63// CHECK: ret <2 x [[TYPE]]> %fmod.i64half2 test_fmod_half2(half2 p0, half2 p1) { return fmod(p0, p1); }65 66// DXCHECK: define [[FNATTRS]] <3 x [[TYPE]]> @67// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]> %{{.*}}, %{{.*}}68// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <3 x [[TYPE]]> %{{.*}}, zeroinitializer69// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]> @llvm.fabs.v3[[INT_TYPE]](<3 x [[TYPE]]> %{{.*}})70// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]> @llvm.dx.frac.v3[[INT_TYPE]](<3 x [[TYPE]]> %elt.abs.i)71// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]> %{{.*}}72// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <3 x i1> %{{.*}}, <3 x [[TYPE]]> %{{.*}}, <3 x [[TYPE]]> %fneg.i73// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]> %hlsl.select.i, %{{.*}}74// DXCHECK: ret <3 x [[TYPE]]> %mul.i75// CHECK: define [[FNATTRS]] <3 x [[TYPE]]> @76// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <3 x [[TYPE]]>77// CHECK: ret <3 x [[TYPE]]> %fmod.i78half3 test_fmod_half3(half3 p0, half3 p1) { return fmod(p0, p1); }79 80// DXCHECK: define [[FNATTRS]] <4 x [[TYPE]]> @81// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]> %{{.*}}, %{{.*}}82// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <4 x [[TYPE]]> %{{.*}}, zeroinitializer83// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]> @llvm.fabs.v4[[INT_TYPE]](<4 x [[TYPE]]> %{{.*}})84// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]> @llvm.dx.frac.v4[[INT_TYPE]](<4 x [[TYPE]]> %elt.abs.i)85// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]> %{{.*}}86// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <4 x i1> %{{.*}}, <4 x [[TYPE]]> %{{.*}}, <4 x [[TYPE]]> %fneg.i87// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]> %hlsl.select.i, %{{.*}}88// DXCHECK: ret <4 x [[TYPE]]> %mul.i89// CHECK: define [[FNATTRS]] <4 x [[TYPE]]> @90// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <4 x [[TYPE]]>91// CHECK: ret <4 x [[TYPE]]> %fmod.i92half4 test_fmod_half4(half4 p0, half4 p1) { return fmod(p0, p1); }93 94// DXCHECK: define [[FNATTRS]] float @95// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn float %{{.*}}, %{{.*}}96// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge float %{{.*}}, 0.000000e+0097// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn float @llvm.fabs.f32(float %{{.*}})98// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn float @llvm.dx.frac.f32(float %elt.abs.i)99// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn float %{{.*}}100// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn i1 %{{.*}}, float %{{.*}}, float %fneg.i101// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn float %hlsl.select.i, %{{.*}}102// DXCHECK: ret float %mul.i103// CHECK: define [[FNATTRS]] float @104// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn float105// CHECK: ret float %fmod.i106float test_fmod_float(float p0, float p1) { return fmod(p0, p1); }107 108// DXCHECK: define [[FNATTRS]] <2 x float> @109// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <2 x float> %{{.*}}, %{{.*}}110// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <2 x float> %{{.*}}, zeroinitializer111// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.fabs.v2f32(<2 x float> %{{.*}})112// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <2 x float> @llvm.dx.frac.v2f32(<2 x float> %elt.abs.i)113// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <2 x float> %{{.*}}114// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <2 x i1> %{{.*}}, <2 x float> %{{.*}}, <2 x float> %fneg.i115// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <2 x float> %hlsl.select.i, %{{.*}}116// DXCHECK: ret <2 x float> %mul.i117// CHECK: define [[FNATTRS]] <2 x float> @118// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <2 x float>119// CHECK: ret <2 x float> %fmod.i120float2 test_fmod_float2(float2 p0, float2 p1) { return fmod(p0, p1); }121 122// DXCHECK: define [[FNATTRS]] <3 x float> @123// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <3 x float> %{{.*}}, %{{.*}}124// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <3 x float> %{{.*}}, zeroinitializer125// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.fabs.v3f32(<3 x float> %{{.*}})126// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <3 x float> @llvm.dx.frac.v3f32(<3 x float> %elt.abs.i)127// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <3 x float> %{{.*}}128// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <3 x i1> %{{.*}}, <3 x float> %{{.*}}, <3 x float> %fneg.i129// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <3 x float> %hlsl.select.i, %{{.*}}130// DXCHECK: ret <3 x float> %mul.i131// CHECK: define [[FNATTRS]] <3 x float> @132// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <3 x float>133// CHECK: ret <3 x float> %fmod.i134float3 test_fmod_float3(float3 p0, float3 p1) { return fmod(p0, p1); }135 136// DXCHECK: define [[FNATTRS]] <4 x float> @137// DXCHECK: %div1.i = fdiv reassoc nnan ninf nsz arcp afn <4 x float> %{{.*}}, %{{.*}}138// DXCHECK: %cmp.i = fcmp reassoc nnan ninf nsz arcp afn oge <4 x float> %{{.*}}, zeroinitializer139// DXCHECK: %elt.abs.i = call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.fabs.v4f32(<4 x float> %{{.*}})140// DXCHECK: %hlsl.frac.i = call reassoc nnan ninf nsz arcp afn <4 x float> @llvm.dx.frac.v4f32(<4 x float> %elt.abs.i)141// DXCHECK: %fneg.i = fneg reassoc nnan ninf nsz arcp afn <4 x float> %{{.*}}142// DXCHECK: %hlsl.select.i = select reassoc nnan ninf nsz arcp afn <4 x i1> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %fneg.i143// DXCHECK: %mul.i = fmul reassoc nnan ninf nsz arcp afn <4 x float> %hlsl.select.i, %{{.*}}144// DXCHECK: ret <4 x float> %mul.i145// CHECK: define [[FNATTRS]] <4 x float> @146// CHECK: %fmod.i = frem reassoc nnan ninf nsz arcp afn <4 x float>147// CHECK: ret <4 x float> %fmod.i148float4 test_fmod_float4(float4 p0, float4 p1) { return fmod(p0, p1); }149 150