54 lines · plain
1; RUN: opt -S -dxil-intrinsic-expansion -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.9-library %s | FileCheck %s --check-prefixes=CHECK,SM69CHECK2; RUN: opt -S -dxil-intrinsic-expansion -mtriple=dxil-pc-shadermodel6.8-library %s | FileCheck %s --check-prefixes=CHECK,SMOLDCHECK3 4; Make sure dxil operation function calls for isnan are generated for float and half.5 6define noundef i1 @isnan_float(float noundef %a) {7entry:8 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 8, float %{{.*}}) #[[#ATTR:]]9 ; SMOLDCHECK: call i1 @llvm.dx.isnan.f32(float %{{.*}})10 %dx.isnan = call i1 @llvm.dx.isnan.f32(float %a)11 ret i1 %dx.isnan12}13 14define noundef i1 @isnan_half(half noundef %a) {15entry:16 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 8, half %{{.*}}) #[[#ATTR]]17 ; SMOLDCHECK: [[BITCAST:%.*]] = bitcast half %{{.*}} to i1618 ; SMOLDCHECK: [[ANDHIGH:%.*]] = and i16 [[BITCAST]], 3174419 ; SMOLDCHECK: [[CMPHIGH:%.*]] = icmp eq i16 [[ANDHIGH]], 3174420 ; SMOLDCHECK: [[ANDLOW:%.*]] = and i16 [[BITCAST]], 102321 ; SMOLDCHECK: [[CMPLOW:%.*]] = icmp ne i16 [[ANDLOW]], 022 ; SMOLDCHECK: [[AND:%.*]] = and i1 [[CMPHIGH]], [[CMPLOW]]23 %dx.isnan = call i1 @llvm.dx.isnan.f16(half %a)24 ret i1 %dx.isnan25}26 27define noundef <4 x i1> @isnan_half4(<4 x half> noundef %p0) {28entry:29 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 8, half30 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 8, half31 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 8, half32 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 8, half33 ; SMOLDCHECK: [[BITCAST:%.*]] = bitcast <4 x half> %{{.*}} to <4 x i16>34 ; SMOLDCHECK: [[ANDHIGH:%.*]] = and <4 x i16> [[BITCAST]], splat (i16 31744)35 ; SMOLDCHECK: [[CMPHIGH:%.*]] = icmp eq <4 x i16> [[ANDHIGH]], splat (i16 31744)36 ; SMOLDCHECK: [[ANDLOW:%.*]] = and <4 x i16> [[BITCAST]], splat (i16 1023)37 ; SMOLDCHECK: [[CMPLOW:%.*]] = icmp ne <4 x i16> [[ANDLOW]], zeroinitializer38 ; SMOLDCHECK: [[AND:%.*]] = and <4 x i1> [[CMPHIGH]], [[CMPLOW]]39 %hlsl.isnan = call <4 x i1> @llvm.dx.isnan.v4f16(<4 x half> %p0)40 ret <4 x i1> %hlsl.isnan41}42 43define noundef <3 x i1> @isnan_float3(<3 x float> noundef %p0) {44entry:45 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 8, float46 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 8, float47 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 8, float48 ; SMOLDCHECK: = call <3 x i1> @llvm.dx.isnan.v3f32(<3 x float>49 %hlsl.isnan = call <3 x i1> @llvm.dx.isnan.v3f32(<3 x float> %p0)50 ret <3 x i1> %hlsl.isnan51}52 53; CHECK: attributes #{{[0-9]*}} = {{{.*}} memory(none) {{.*}}}54