SER implementation tracker

[simoll]

Umbrella bug for tracking the SER implementation

• HitObject type and SM6.9 enablement ([SER] Patch 1: HitObject type lowering and SM 6.9 enablement #7097)

DXIL opcodes + check-pass validation tests

DXIL opcode definitions and DXV tests showing wellformed dxil passing

• MaybeReorderThread ([SER] MaybeReorderThread DXIL opcode and validation #7256)
• MakeNop|Miss ([SER] HitObject_MakeNop|Miss DXIL opcodes and verification tests #7201)
• reordercoherent attribute ([SER] 'reordercoherent' HLSL attribute and DXIL encoding #7250)
• REORDER_SCOPE ([SER] REORDER_SCOPE Barrier semantic flag #7263)
• Accessors ([SER] HitObject accessors DXIL opcodes and check-pass tests #7276)
• FromRayQuery ([SER] HitObject_FromRayQuery[WithAttrs] DXIL opcodes and check-pass #7277)
• Trace ([SER] HitObject_Invoke|TraceRay DXIL opcodes and check-pass test #7278)
• Invoke ([SER] HitObject_Invoke|TraceRay DXIL opcodes and check-pass test #7278)

HLSL -> HL lowering + sema

HLSL gen_intrin_main.txt definitions, HLSL -> DXIL lowering. HLSL + HL IR tests

• FromRayQuery ([SER] HitObject::FromRayQuery HLSL -> DXIL lowering #7370)
• Fix static member call instantiation #7377 (Fixes Parameter types misaligned in static member functions #7374)
• MaybeReorderThread ([SER] MaybeReorderThread + Make(Nop|Miss) HLSL -> DXIL lowering and tests #7262)
• MakeNop|Miss ([SER] MaybeReorderThread + Make(Nop|Miss) HLSL -> DXIL lowering and tests #7262)
• Accessors ([SER] HitObject accessors HLSL -> DXIL lowering #7360)
• GetAttributes ([SER] HitObject::GetAttributes HLSL -> DXIL lowering and attributes sema #7361)
• Trace ([SER] TraceRay|Invoke HLSL -> DXIL lowering #7355)
• Invoke ([SER] TraceRay|Invoke HLSL -> DXIL lowering #7355)
• Diagnose payload ([SER] Diagnose payload in HitObject::TraceRay|Invoke #7356)
• Declare all SER HLSL intrinsics ([SER] Declare all SER HLSL intrinsics #7347)
• reordercoherent attribute ([SER] 'reordercoherent' HLSL attribute and DXIL encoding #7250)
• REORDER_SCOPE ([SER] REORDER_SCOPE Barrier semantic flag #7263)
• [SER] Do not short-cut to %dx.types.HitObject DXIL type in HL from AST codegen #7233

Bug fixes | DXIL validation + check-fail validation tests

DXIL validation rules, in so far necessary, plus DXV tests with illformed dxil showing those validation failures

• [SER] Diagnose HitObject in unsupported declaration contexts #7376 (Closes #7243)
• [SER] Transform RayDesc in ScalarReplHLSL for robust lowering #7435
• reordercoherent attribute ([SER] Validate 'reordercoherent' resource property #7429)
• REORDER_SCOPE ([SER] REORDER_SCOPE check-fail validation tests #7428)
• [SER] Validate %dx.types.HitObject as legal type same as handle #7390
• FromRayQuery ([SER] Validate HitObject_FromRayQuery[WithAttrs] #7402)
• Trace ([SER] Validate HitObject::TraceRay|Invoke #7384)
• Invoke ([SER] Validate HitObject::TraceRay|Invoke #7384)
• MakeMiss ([SER] Validate MakeMiss #7372)
• Accessors ([SER] Validate HitObject accessors #7371)
• MaybeReorderThread ([SER] MaybeReorderThread DXIL opcode and validation #7256)

HLK tests

• Basic SER execution tests ([SER] Basic execution tests #7379)
• Wave-incoherent conditional assignment of HitObject values with and without procedural attributes
• Dynamic access into local HitObject arrays
• Adapt DXR 1.0 tests for HitObject
• Adapt DXR 1.1 tests for HitObject
• Test local root argument lookup with HitObject
• Test MaybeReorderThread
• Test all HitObject accessors in raygen

[simoll]

Updated table with tracking bugs #7233 and #7234