70 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 -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.8-library %s | FileCheck %s --check-prefixes=CHECK,SMOLDCHECK3 4; Make sure dxil operation function calls for isinf are generated for float and half.5 6define noundef i1 @isinf_float(float noundef %a) {7entry:8 ; CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 9, float %{{.*}}) #[[#ATTR:]]9 %dx.isinf = call i1 @llvm.dx.isinf.f32(float %a)10 ret i1 %dx.isinf11}12 13define noundef i1 @isinf_half(half noundef %a) {14entry:15 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half %{{.*}}) #[[#ATTR]]16 ; SMOLDCHECK: [[BITCAST:%.*]] = bitcast half %a to i1617 ; SMOLDCHECK: [[CMPHIGH:%.*]] = icmp eq i16 [[BITCAST]], 3174418 ; SMOLDCHECK: [[CMPLOW:%.*]] = icmp eq i16 [[BITCAST]], -102419 ; SMOLDCHECK: [[OR:%.*]] = or i1 [[CMPHIGH]], [[CMPLOW]]20 %dx.isinf = call i1 @llvm.dx.isinf.f16(half %a)21 ret i1 %dx.isinf22}23 24define noundef <4 x i1> @isinf_half4(<4 x half> noundef %p0) {25entry:26 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half27 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half28 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half29 ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half30 31 ; SMOLDCHECK: [[ee0:%.*]] = extractelement <4 x half> %p0, i64 032 ; SMOLDCHECK: [[BITCAST0:%.*]] = bitcast half [[ee0]] to i1633 ; SMOLDCHECK: [[ee1:%.*]] = extractelement <4 x half> %p0, i64 134 ; SMOLDCHECK: [[BITCAST1:%.*]] = bitcast half [[ee1]] to i1635 ; SMOLDCHECK:[[ee2:%.*]] = extractelement <4 x half> %p0, i64 236 ; SMOLDCHECK: [[BITCAST2:%.*]] = bitcast half [[ee2]] to i1637 ; SMOLDCHECK: [[ee3:%.*]] = extractelement <4 x half> %p0, i64 338 ; SMOLDCHECK: [[BITCAST3:%.*]] = bitcast half [[ee3]] to i1639 ; SMOLDCHECK: [[ICMPHIGH0:%.*]] = icmp eq i16 [[BITCAST0]], 3174440 ; SMOLDCHECK: [[ICMPHIGH1:%.*]] = icmp eq i16 [[BITCAST1]], 3174441 ; SMOLDCHECK: [[ICMPHIGH2:%.*]] = icmp eq i16 [[BITCAST2]], 3174442 ; SMOLDCHECK: [[ICMPHIGH3:%.*]] = icmp eq i16 [[BITCAST3]], 3174443 ; SMOLDCHECK: [[ICMPLOW0:%.*]] = icmp eq i16 [[BITCAST0]], -102444 ; SMOLDCHECK: [[ICMPLOW1:%.*]] = icmp eq i16 [[BITCAST1]], -102445 ; SMOLDCHECK: [[ICMPLOW2:%.*]] = icmp eq i16 [[BITCAST2]], -102446 ; SMOLDCHECK: [[ICMPLOW3:%.*]] = icmp eq i16 [[BITCAST3]], -102447 ; SMOLDCHECK: [[OR0:%.*]] = or i1 [[ICMPHIGH0]], [[ICMPLOW0]]48 ; SMOLDCHECK: [[OR1:%.*]] = or i1 [[ICMPHIGH1]], [[ICMPLOW1]]49 ; SMOLDCHECK: [[OR2:%.*]] = or i1 [[ICMPHIGH2]], [[ICMPLOW2]]50 ; SMOLDCHECK: [[OR3:%.*]] = or i1 [[ICMPHIGH3]], [[ICMPLOW3]]51 ; SMOLDCHECK: %.upto019 = insertelement <4 x i1> poison, i1 [[OR0]], i64 052 ; SMOLDCHECK: %.upto120 = insertelement <4 x i1> %.upto019, i1 [[OR1]], i64 153 ; SMOLDCHECK: %.upto221 = insertelement <4 x i1> %.upto120, i1 [[OR2]], i64 254 ; SMOLDCHECK: %0 = insertelement <4 x i1> %.upto221, i1 [[OR3]], i64 355 56 %hlsl.isinf = call <4 x i1> @llvm.dx.isinf.v4f16(<4 x half> %p0)57 ret <4 x i1> %hlsl.isinf58}59 60define noundef <3 x i1> @isinf_float3(<3 x float> noundef %p0) {61entry:62 ; CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 9, float63 ; CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 9, float64 ; CHECK: call i1 @dx.op.isSpecialFloat.f32(i32 9, float65 %hlsl.isinf = call <3 x i1> @llvm.dx.isinf.v3f32(<3 x float> %p0)66 ret <3 x i1> %hlsl.isinf67}68 69; CHECK: attributes #[[#ATTR]] = {{{.*}} memory(none) {{.*}}}70