diff options
| author | Mingming Liu <mingmingl@google.com> | 2025-09-10 15:25:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-10 15:25:31 -0700 |
| commit | 1417dafa1db9cb1b2b09438aa9f53ea5ab6e36e2 (patch) | |
| tree | 57f4b1f313c8cf74eed8819870f39c36ea263c68 /llvm/test/CodeGen/DirectX/isinf.ll | |
| parent | 898b813bc8a6d0276bf0f4769f5f2f64b34e632d (diff) | |
| parent | b8cefcb601ddaa18482555c4ff363c01a270c2fe (diff) | |
Merge branch 'main' into users/mingmingl-llvm/samplefdo-profile-formatusers/mingmingl-llvm/samplefdo-profile-format
Diffstat (limited to 'llvm/test/CodeGen/DirectX/isinf.ll')
| -rw-r--r-- | llvm/test/CodeGen/DirectX/isinf.ll | 43 |
1 files changed, 37 insertions, 6 deletions
diff --git a/llvm/test/CodeGen/DirectX/isinf.ll b/llvm/test/CodeGen/DirectX/isinf.ll index 461553b533ae..bf31363ee114 100644 --- a/llvm/test/CodeGen/DirectX/isinf.ll +++ b/llvm/test/CodeGen/DirectX/isinf.ll @@ -1,4 +1,5 @@ -; RUN: opt -S -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s +; RUN: opt -S -dxil-intrinsic-expansion -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.9-library %s | FileCheck %s --check-prefixes=CHECK,SM69CHECK +; RUN: opt -S -dxil-intrinsic-expansion -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.8-library %s | FileCheck %s --check-prefixes=CHECK,SMOLDCHECK ; Make sure dxil operation function calls for isinf are generated for float and half. @@ -11,17 +12,47 @@ entry: define noundef i1 @isinf_half(half noundef %a) { entry: - ; CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half %{{.*}}) #[[#ATTR]] + ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half %{{.*}}) #[[#ATTR]] + ; SMOLDCHECK: [[BITCAST:%.*]] = bitcast half %a to i16 + ; SMOLDCHECK: [[CMPHIGH:%.*]] = icmp eq i16 [[BITCAST]], 31744 + ; SMOLDCHECK: [[CMPLOW:%.*]] = icmp eq i16 [[BITCAST]], -1024 + ; SMOLDCHECK: [[OR:%.*]] = or i1 [[CMPHIGH]], [[CMPLOW]] %dx.isinf = call i1 @llvm.dx.isinf.f16(half %a) ret i1 %dx.isinf } define noundef <4 x i1> @isinf_half4(<4 x half> noundef %p0) { entry: - ; CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half - ; CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half - ; CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half - ; CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half + ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half + ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half + ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half + ; SM69CHECK: call i1 @dx.op.isSpecialFloat.f16(i32 9, half + + ; SMOLDCHECK: [[ee0:%.*]] = extractelement <4 x half> %p0, i64 0 + ; SMOLDCHECK: [[BITCAST0:%.*]] = bitcast half [[ee0]] to i16 + ; SMOLDCHECK: [[ee1:%.*]] = extractelement <4 x half> %p0, i64 1 + ; SMOLDCHECK: [[BITCAST1:%.*]] = bitcast half [[ee1]] to i16 + ; SMOLDCHECK:[[ee2:%.*]] = extractelement <4 x half> %p0, i64 2 + ; SMOLDCHECK: [[BITCAST2:%.*]] = bitcast half [[ee2]] to i16 + ; SMOLDCHECK: [[ee3:%.*]] = extractelement <4 x half> %p0, i64 3 + ; SMOLDCHECK: [[BITCAST3:%.*]] = bitcast half [[ee3]] to i16 + ; SMOLDCHECK: [[ICMPHIGH0:%.*]] = icmp eq i16 [[BITCAST0]], 31744 + ; SMOLDCHECK: [[ICMPHIGH1:%.*]] = icmp eq i16 [[BITCAST1]], 31744 + ; SMOLDCHECK: [[ICMPHIGH2:%.*]] = icmp eq i16 [[BITCAST2]], 31744 + ; SMOLDCHECK: [[ICMPHIGH3:%.*]] = icmp eq i16 [[BITCAST3]], 31744 + ; SMOLDCHECK: [[ICMPLOW0:%.*]] = icmp eq i16 [[BITCAST0]], -1024 + ; SMOLDCHECK: [[ICMPLOW1:%.*]] = icmp eq i16 [[BITCAST1]], -1024 + ; SMOLDCHECK: [[ICMPLOW2:%.*]] = icmp eq i16 [[BITCAST2]], -1024 + ; SMOLDCHECK: [[ICMPLOW3:%.*]] = icmp eq i16 [[BITCAST3]], -1024 + ; SMOLDCHECK: [[OR0:%.*]] = or i1 [[ICMPHIGH0]], [[ICMPLOW0]] + ; SMOLDCHECK: [[OR1:%.*]] = or i1 [[ICMPHIGH1]], [[ICMPLOW1]] + ; SMOLDCHECK: [[OR2:%.*]] = or i1 [[ICMPHIGH2]], [[ICMPLOW2]] + ; SMOLDCHECK: [[OR3:%.*]] = or i1 [[ICMPHIGH3]], [[ICMPLOW3]] + ; SMOLDCHECK: %.upto019 = insertelement <4 x i1> poison, i1 [[OR0]], i64 0 + ; SMOLDCHECK: %.upto120 = insertelement <4 x i1> %.upto019, i1 [[OR1]], i64 1 + ; SMOLDCHECK: %.upto221 = insertelement <4 x i1> %.upto120, i1 [[OR2]], i64 2 + ; SMOLDCHECK: %0 = insertelement <4 x i1> %.upto221, i1 [[OR3]], i64 3 + %hlsl.isinf = call <4 x i1> @llvm.dx.isinf.v4f16(<4 x half> %p0) ret <4 x i1> %hlsl.isinf } |