Skip to content

[SM6.10] Implement LinAlg Convert Builtin #8308

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
V-FEXrt merged 4 commits into from
Mar 31, 2026
Merged

[SM6.10] Implement LinAlg Convert Builtin #8308

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
c5b99c6
[SM6.10] Implement LinAlg Convert Builtin
V-FEXrt Mar 27, 2026
1c2da4b
format
V-FEXrt Mar 27, 2026
bd846ed
Fix tests
V-FEXrt Mar 30, 2026
dc881cd
address comment
V-FEXrt Mar 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions docs/DXIL.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3095,9 +3095,9 @@ ID Name Description
2147483675 LinAlgMatrixAccumulateToDescriptor accumulates a matrix to a RWByteAddressBuffer
2147483676 LinAlgMatrixAccumulateToMemory accumulates a matrix to groupshared memory
2147483677 LinAlgMatrixOuterProduct Outer products an M sized vector and a N sized vector producing an MxN matrix
2147483678 ReservedE1 reserved
2147483679 ReservedE2 reserved
2147483680 ReservedE3 reserved
2147483678 LinAlgConvert Convert vector components from one interpretation to another
2147483679 ReservedE0 reserved
2147483680 ReservedE1 reserved
2147483681 DebugBreak triggers a breakpoint if a debugger is attached
2147483682 IsDebuggerPresent returns true if a debugger is attached
========== ======================================== ===================================================================================================================
Expand Down
21 changes: 12 additions & 9 deletions include/dxc/DXIL/DxilConstants.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -531,9 +531,8 @@ static const OpCodeTableID TableID = OpCodeTableID::ExperimentalOps;
// Enumeration for ExperimentalOps DXIL operations
enum class OpCode : unsigned {
//
ReservedE1 = 30, // reserved
ReservedE2 = 31, // reserved
ReservedE3 = 32, // reserved
ReservedE0 = 31, // reserved
ReservedE1 = 32, // reserved

// Debugging
DebugBreak = 33, // triggers a breakpoint if a debugger is attached
Expand All @@ -552,6 +551,8 @@ enum class OpCode : unsigned {
9, // returns committed triangle vertices in object space as <9 x float>

// Linear Algebra Operations
LinAlgConvert =
30, // Convert vector components from one interpretation to another
LinAlgCopyConvertMatrix =
13, // Converts and copies the element and use type of the source matrix
// to the destination matrix with optional transpose
Expand Down Expand Up @@ -1349,12 +1350,13 @@ enum class OpCode : unsigned {
ExperimentalOps,
LinAlgMatrixOuterProduct), // Outer products an M sized vector and a N
// sized vector producing an MxN matrix
// ReservedE1 = 0x8000001E, 2147483678U, -2147483618
// LinAlgConvert = 0x8000001E, 2147483678U, -2147483618
EXP_OPCODE(ExperimentalOps, LinAlgConvert), // Convert vector components from
// one interpretation to another
// ReservedE0 = 0x8000001F, 2147483679U, -2147483617
EXP_OPCODE(ExperimentalOps, ReservedE0), // reserved
// ReservedE1 = 0x80000020, 2147483680U, -2147483616
EXP_OPCODE(ExperimentalOps, ReservedE1), // reserved
// ReservedE2 = 0x8000001F, 2147483679U, -2147483617
EXP_OPCODE(ExperimentalOps, ReservedE2), // reserved
// ReservedE3 = 0x80000020, 2147483680U, -2147483616
EXP_OPCODE(ExperimentalOps, ReservedE3), // reserved
// DebugBreak = 0x80000021, 2147483681U, -2147483615
EXP_OPCODE(ExperimentalOps,
DebugBreak), // triggers a breakpoint if a debugger is attached
Expand Down Expand Up @@ -1520,6 +1522,7 @@ enum class OpCodeClass : unsigned {
CreateHandleForLib,

// Linear Algebra Operations
LinAlgConvert,
LinAlgCopyConvertMatrix,
LinAlgFillMatrix,
LinAlgMatVecMul,
Expand Down Expand Up @@ -1725,7 +1728,7 @@ enum class OpCodeClass : unsigned {
NodeOutputIsValid,
OutputComplete,

NumOpClasses = 221, // exclusive last value of enumeration
NumOpClasses = 222, // exclusive last value of enumeration
};
// OPCODECLASS-ENUM:END

Expand Down
34 changes: 34 additions & 0 deletions include/dxc/DXIL/DxilInstructions.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10920,6 +10920,40 @@ struct DxilInst_LinAlgMatrixOuterProduct {
void set_vectorB(llvm::Value *val) { Instr->setOperand(2, val); }
};

/// This instruction Convert vector components from one interpretation to
/// another
struct DxilInst_LinAlgConvert {
llvm::Instruction *Instr;
// Construction and identification
DxilInst_LinAlgConvert(llvm::Instruction *pInstr) : Instr(pInstr) {}
operator bool() const {
return hlsl::OP::IsDxilOpFuncCallInst(Instr,
hlsl::OP::OpCode::LinAlgConvert);
}
// Validation support
bool isAllowed() const { return true; }
bool isArgumentListValid() const {
if (4 != llvm::dyn_cast<llvm::CallInst>(Instr)->getNumArgOperands())
return false;
return true;
}
// Metadata
bool requiresUniformInputs() const { return false; }
// Operand indexes
enum OperandIdx {
arg_inputVector = 1,
arg_inputInterpretation = 2,
arg_outputInterpretation = 3,
};
// Accessors
llvm::Value *get_inputVector() const { return Instr->getOperand(1); }
void set_inputVector(llvm::Value *val) { Instr->setOperand(1, val); }
llvm::Value *get_inputInterpretation() const { return Instr->getOperand(2); }
void set_inputInterpretation(llvm::Value *val) { Instr->setOperand(2, val); }
llvm::Value *get_outputInterpretation() const { return Instr->getOperand(3); }
void set_outputInterpretation(llvm::Value *val) { Instr->setOperand(3, val); }
};

/// This instruction triggers a breakpoint if a debugger is attached
struct DxilInst_DebugBreak {
llvm::Instruction *Instr;
Expand Down
3 changes: 2 additions & 1 deletion include/dxc/HlslIntrinsicOp.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -112,6 +112,7 @@ enum class IntrinsicOp {
IOP_WorldToObject = 99,
IOP_WorldToObject3x4 = 100,
IOP_WorldToObject4x3 = 101,
IOP___builtin_LinAlg_Convert = 422,
IOP___builtin_LinAlg_CopyConvertMatrix = 401,
IOP___builtin_LinAlg_FillMatrix = 402,
IOP___builtin_LinAlg_MatrixAccumulate = 411,
Expand Down Expand Up @@ -428,7 +429,7 @@ enum class IntrinsicOp {
IOP_usign = 355,
MOP_InterlockedUMax = 356,
MOP_InterlockedUMin = 357,
Num_Intrinsics = 422,
Num_Intrinsics = 423,
};
inline bool HasUnsignedIntrinsicOpcode(IntrinsicOp opcode) {
switch (opcode) {
Expand Down
50 changes: 27 additions & 23 deletions lib/DXIL/DxilOperations.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2976,25 +2976,25 @@ static const OP::OpCodeProperty ExperimentalOps_OpCodeProps[] = {
3,
{{0x200}, {0x400}, {0x400}},
{{0x0}, {0x63}, {0x63}}}, // Overloads: o,<hfwi,<hfwi

{OC::ReservedE1,
"ReservedE1",
OCC::Reserved,
"reserved",
{OC::LinAlgConvert,
"LinAlgConvert",
OCC::LinAlgConvert,
"linAlgConvert",
Attribute::None,
0,
{},
{}}, // Overloads: v
{OC::ReservedE2,
"ReservedE2",
2,
{{0x400}, {0x400}},
{{0x63}, {0x63}}}, // Overloads: <hfwi,<hfwi

{OC::ReservedE0,
"ReservedE0",
OCC::Reserved,
"reserved",
Attribute::None,
0,
{},
{}}, // Overloads: v
{OC::ReservedE3,
"ReservedE3",
{OC::ReservedE1,
"ReservedE1",
OCC::Reserved,
"reserved",
Attribute::None,
Expand Down Expand Up @@ -3955,12 +3955,13 @@ void OP::GetMinShaderModelAndMask(OpCode C, bool bWithTranslation,
// LinAlgMatrixQueryAccumulatorLayout=2147483670, LinAlgMatVecMul=2147483673,
// LinAlgMatVecMulAdd=2147483674,
// LinAlgMatrixAccumulateToDescriptor=2147483675,
// LinAlgMatrixOuterProduct=2147483677, DebugBreak=2147483681,
// IsDebuggerPresent=2147483682
// LinAlgMatrixOuterProduct=2147483677, LinAlgConvert=2147483678,
// DebugBreak=2147483681, IsDebuggerPresent=2147483682
if (op == 2147483648 || (2147483652 <= op && op <= 2147483653) ||
(2147483656 <= op && op <= 2147483657) || op == 2147483662 ||
op == 2147483670 || (2147483673 <= op && op <= 2147483675) ||
op == 2147483677 || (2147483681 <= op && op <= 2147483682)) {
(2147483677 <= op && op <= 2147483678) ||
(2147483681 <= op && op <= 2147483682)) {
major = 6;
minor = 10;
return;
Expand Down Expand Up @@ -6673,17 +6674,20 @@ Function *OP::GetOpFunc(OpCode opCode, Type *pOverloadType) {
A(EXT(1));
A(EXT(2));
break;

//
case OpCode::ReservedE1:
A(pV);
case OpCode::LinAlgConvert:
A(EXT(0));
A(pI32);
A(EXT(1));
A(pI32);
A(pI32);
break;
case OpCode::ReservedE2:

//
case OpCode::ReservedE0:
A(pV);
A(pI32);
break;
case OpCode::ReservedE3:
case OpCode::ReservedE1:
A(pV);
A(pI32);
break;
Expand Down Expand Up @@ -7002,9 +7006,8 @@ llvm::Type *OP::GetOverloadType(OpCode opCode, llvm::Function *F) {
case OpCode::GetGroupWaveCount:
case OpCode::ClusterID:
case OpCode::LinAlgMatrixQueryAccumulatorLayout:
case OpCode::ReservedE0:
case OpCode::ReservedE1:
case OpCode::ReservedE2:
case OpCode::ReservedE3:
case OpCode::DebugBreak:
case OpCode::IsDebuggerPresent:
return Type::getVoidTy(Ctx);
Expand Down Expand Up @@ -7047,6 +7050,7 @@ llvm::Type *OP::GetOverloadType(OpCode opCode, llvm::Function *F) {
case OpCode::LinAlgFillMatrix:
case OpCode::LinAlgCopyConvertMatrix:
case OpCode::LinAlgMatrixGetElement:
case OpCode::LinAlgConvert:
if (FT->getNumParams() < 2)
return nullptr;
return llvm::StructType::get(Ctx,
Expand Down
27 changes: 27 additions & 0 deletions lib/HLSL/HLOperationLower.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7089,6 +7089,30 @@ Value *TranslateLinAlgMatrixAccumStoreToMemory(
{OpArg, Matrix, ArrPtr, Offset, Stride, Layout});
}

Value *TranslateLinAlgConvert(CallInst *CI, IntrinsicOp IOP, OP::OpCode OpCode,
HLOperationLowerHelper &Helper,
HLObjectOperationLowerHelper *ObjHelper,
bool &Translated) {
hlsl::OP *HlslOp = &Helper.hlslOP;
IRBuilder<> Builder(CI);

Value *OutVecPtr = CI->getArgOperand(1);
DXASSERT_NOMSG(isa<PointerType>(OutVecPtr->getType()));
Type *OutVecTy = OutVecPtr->getType()->getPointerElementType();
Value *InVec = CI->getArgOperand(2);
Value *InInterp = CI->getArgOperand(3);
Value *OutInterp = CI->getArgOperand(4);

Constant *OpArg = HlslOp->GetU32Const((unsigned)OpCode);
Function *DxilFunc = HlslOp->GetOpFunc(OpCode, {OutVecTy, InVec->getType()});

Value *OutVec =
Builder.CreateCall(DxilFunc, {OpArg, InVec, InInterp, OutInterp});
Builder.CreateStore(OutVec, OutVecPtr);

return nullptr;
}

} // namespace

// Lower table.
Expand Down Expand Up @@ -7880,6 +7904,9 @@ constexpr IntrinsicLower gLowerTable[] = {
DXIL::OpCode::DebugBreak},
{IntrinsicOp::IOP_DxIsDebuggerPresent, TranslateWaveToVal,
DXIL::OpCode::IsDebuggerPresent},

{IntrinsicOp::IOP___builtin_LinAlg_Convert, TranslateLinAlgConvert,
DXIL::OpCode::LinAlgConvert},
};
constexpr size_t NumLowerTableEntries =
sizeof(gLowerTable) / sizeof(gLowerTable[0]);
Expand Down
18 changes: 18 additions & 0 deletions tools/clang/test/CodeGenDXIL/hlsl/linalg/builtins/convert/nominal.hlsl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
// REQUIRES: dxil-1-10
// RUN: %dxc -T cs_6_10 -HV 202x -E main %s | FileCheck %s
// RUN: %dxc -T cs_6_10 -HV 202x -E main -fcgl %s | FileCheck %s --check-prefix=CHECK2

[numthreads(4,1,1)]
void main() {
// CHECK-LABEL: define void @main()

// CHECK: %{{.*}} = call <4 x i32> @dx.op.linAlgConvert.v4i32.v4f32
// CHECK-SAME: (i32 -2147483618, <4 x float> <float 9.000000e+00, float 8.000000e+00, float 7.000000e+00, float 6.000000e+00>, i32 1, i32 2)
// CHECK-SAME: ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)

// CHECK2: call void @"dx.hl.op..void (i32, <4 x i32>*, <4 x float>, i32, i32)"
// CHECK2-SAME: (i32 422, <4 x i32>* %result, <4 x float> %{{.*}}, i32 1, i32 2)
float4 vec = {9.0, 8.0, 7.0, 6.0};
int4 result;
__builtin_LinAlg_Convert(result, vec, 1, 2);
}
6 changes: 6 additions & 0 deletions tools/clang/test/LitDXILValidation/LinAlgMatrix/linalgmatrix-as.ll
View file
Open in desktop
Copy link
Copy Markdown
Contributor

@tex3d tex3d Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a general comment:

Normally, validation tests are meant to check that the validator catches specific invalid cases, and valid cases are typically tested elsewhere where we expect to produce specific IR outputs and pass validation.

Copy link
Copy Markdown
Collaborator Author

@V-FEXrt V-FEXrt Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a bit of a tricky one. These tests are testing invalid cases (the ops that aren't allowed in these shaders) but for completeness the ops all ops were listed here, including the allowed ones. If this feels inappropriate, we could remove all the allowed-everywhere entries from these .ll tests in a separate PR. But I don't think it makes sense to do here. In this PR, the new op is added to keep the files consistent.

lmk what you'd prefer. I can file an issue to remove the allowed ops if that's the route you want to take

Copy link
Copy Markdown
Contributor

@tex3d tex3d Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is part of the general feedback that doesn’t need to be addressed now.

Copy link
Copy Markdown
Collaborator Author

@V-FEXrt V-FEXrt Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#8315

Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,9 @@ define void @mainAS() {
; dx.op.linAlgMatVecMulAdd
%v7 = call <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32 -2147483622, %dx.types.LinAlgMatrixC4M5N4U0S2 %v4, <4 x i32> <i32 9, i32 9, i32 9, i32 9>, i32 2, <4 x i32> <i32 7, i32 7, i32 7, i32 7>, i32 3) ; LinAlgMatVecMulAdd(matrix,inputVector,inputInterpretation,biasVector,biasInterpretation)

; dx.op.linAlgConvert
%v16 = call <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32 -2147483618, <4 x i32> zeroinitializer, i32 1, i32 2) ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)
Copy link
Copy Markdown
Contributor

@tex3d tex3d Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One thing that bugs me about these tests is that the interpretation values are not valid for the overload types. When we add actual validation, we'd have to update all these tests to use valid interpretation values. For example, i32 is 4 and f32 is 9.

Copy link
Copy Markdown
Collaborator Author

@V-FEXrt V-FEXrt Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah. We've been lax with the precise details. Mainly because these tests are testing other parts of the op. As you mentioned, we will be forced to fix these eventually so they aren't going to be forgotten but if you want me fix them now I can

Copy link
Copy Markdown
Contributor

@tex3d tex3d Mar 30, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is part of the general feedback that doesn’t need to be addressed now.


;
; Built-ins restricted to compute, mesh and amplification shaders
;
Expand Down Expand Up @@ -123,6 +126,9 @@ declare <4 x i32> @dx.op.linAlgMatVecMul.v4i32.mC4M5N4U0S2.v4i32(i32, %dx.types.
; Function Attrs: nounwind
declare <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, <4 x i32>, i32, <4 x i32>, i32) #0

; Function Attrs: nounwind
declare <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32, <4 x i32>, i32, i32) #0

; Function Attrs: nounwind
declare %dx.types.LinAlgMatrixC4M4N5U1S2 @dx.op.linAlgCopyConvertMatrix.mC4M4N5U1S2.mC4M5N4U0S2(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, i1) #0

Expand Down
6 changes: 6 additions & 0 deletions tools/clang/test/LitDXILValidation/LinAlgMatrix/linalgmatrix-cs.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,9 @@ define void @mainCS() {
; dx.op.linAlgMatVecMulAdd
%v7 = call <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32 -2147483622, %dx.types.LinAlgMatrixC4M5N4U0S2 %v4, <4 x i32> <i32 9, i32 9, i32 9, i32 9>, i32 2, <4 x i32> <i32 7, i32 7, i32 7, i32 7>, i32 3) ; LinAlgMatVecMulAdd(matrix,inputVector,inputInterpretation,biasVector,biasInterpretation)

; dx.op.linAlgConvert
%v16 = call <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32 -2147483618, <4 x i32> zeroinitializer, i32 1, i32 2) ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)

;
; Built-ins restricted to compute, mesh and amplification shaders
;
Expand Down Expand Up @@ -119,6 +122,9 @@ declare <4 x i32> @dx.op.linAlgMatVecMul.v4i32.mC4M5N4U0S2.v4i32(i32, %dx.types.
; Function Attrs: nounwind
declare <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, <4 x i32>, i32, <4 x i32>, i32) #0

; Function Attrs: nounwind
declare <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32, <4 x i32>, i32, i32) #0

; Function Attrs: nounwind
declare %dx.types.LinAlgMatrixC4M4N5U1S2 @dx.op.linAlgCopyConvertMatrix.mC4M4N5U1S2.mC4M5N4U0S2(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, i1) #0

Expand Down
6 changes: 6 additions & 0 deletions tools/clang/test/LitDXILValidation/LinAlgMatrix/linalgmatrix-ds.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,9 @@ define void @MainDS() {
; dx.op.linAlgMatVecMulAdd
%v7 = call <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32 -2147483622, %dx.types.LinAlgMatrixC4M5N4U0S2 %v4, <4 x i32> <i32 9, i32 9, i32 9, i32 9>, i32 2, <4 x i32> <i32 7, i32 7, i32 7, i32 7>, i32 3) ; LinAlgMatVecMulAdd(matrix,inputVector,inputInterpretation,biasVector,biasInterpretation)

; dx.op.linAlgConvert
%v16 = call <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32 -2147483618, <4 x i32> zeroinitializer, i32 1, i32 2) ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)

;
; Built-ins restricted to compute, mesh and amplification shaders
;
Expand Down Expand Up @@ -143,6 +146,9 @@ declare <4 x i32> @dx.op.linAlgMatVecMul.v4i32.mC4M5N4U0S2.v4i32(i32, %dx.types.
; Function Attrs: nounwind
declare <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, <4 x i32>, i32, <4 x i32>, i32) #0

; Function Attrs: nounwind
declare <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32, <4 x i32>, i32, i32) #0

; Function Attrs: nounwind
declare %dx.types.LinAlgMatrixC4M4N5U1S2 @dx.op.linAlgCopyConvertMatrix.mC4M4N5U1S2.mC4M5N4U0S2(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, i1) #0

Expand Down
6 changes: 6 additions & 0 deletions tools/clang/test/LitDXILValidation/LinAlgMatrix/linalgmatrix-gs.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,9 @@ define void @MainGS() {
; dx.op.linAlgMatVecMulAdd
%v7 = call <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32 -2147483622, %dx.types.LinAlgMatrixC4M5N4U0S2 %v4, <4 x i32> <i32 9, i32 9, i32 9, i32 9>, i32 2, <4 x i32> <i32 7, i32 7, i32 7, i32 7>, i32 3) ; LinAlgMatVecMulAdd(matrix,inputVector,inputInterpretation,biasVector,biasInterpretation)

; dx.op.linAlgConvert
%v16 = call <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32 -2147483618, <4 x i32> zeroinitializer, i32 1, i32 2) ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)

;
; Built-ins restricted to compute, mesh and amplification shaders
;
Expand Down Expand Up @@ -142,6 +145,9 @@ declare <4 x i32> @dx.op.linAlgMatVecMul.v4i32.mC4M5N4U0S2.v4i32(i32, %dx.types.
; Function Attrs: nounwind
declare <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, <4 x i32>, i32, <4 x i32>, i32) #0

; Function Attrs: nounwind
declare <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32, <4 x i32>, i32, i32) #0

; Function Attrs: nounwind
declare %dx.types.LinAlgMatrixC4M4N5U1S2 @dx.op.linAlgCopyConvertMatrix.mC4M4N5U1S2.mC4M5N4U0S2(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, i1) #0

Expand Down
6 changes: 6 additions & 0 deletions tools/clang/test/LitDXILValidation/LinAlgMatrix/linalgmatrix-hs.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,9 @@ define void @MainHS() {
; dx.op.linAlgMatVecMulAdd
%v7 = call <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32 -2147483622, %dx.types.LinAlgMatrixC4M5N4U0S2 %v4, <4 x i32> <i32 9, i32 9, i32 9, i32 9>, i32 2, <4 x i32> <i32 7, i32 7, i32 7, i32 7>, i32 3) ; LinAlgMatVecMulAdd(matrix,inputVector,inputInterpretation,biasVector,biasInterpretation)

; dx.op.linAlgConvert
%v16 = call <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32 -2147483618, <4 x i32> zeroinitializer, i32 1, i32 2) ; LinAlgConvert(inputVector,inputInterpretation,outputInterpretation)

;
; Built-ins restricted to compute, mesh and amplification shaders
;
Expand Down Expand Up @@ -148,6 +151,9 @@ declare <4 x i32> @dx.op.linAlgMatVecMul.v4i32.mC4M5N4U0S2.v4i32(i32, %dx.types.
; Function Attrs: nounwind
declare <4 x i32> @dx.op.linAlgMatVecMulAdd.v4i32.mC4M5N4U0S2.v4i32.v4i32(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, <4 x i32>, i32, <4 x i32>, i32) #0

; Function Attrs: nounwind
declare <4 x float> @dx.op.linAlgConvert.v4f32.v4i32(i32, <4 x i32>, i32, i32) #0

; Function Attrs: nounwind
declare %dx.types.LinAlgMatrixC4M4N5U1S2 @dx.op.linAlgCopyConvertMatrix.mC4M4N5U1S2.mC4M5N4U0S2(i32, %dx.types.LinAlgMatrixC4M5N4U0S2, i1) #0

Expand Down
Loading
Loading