From 3401964ee27fea5d0baa9810161f27c9c55f5756 Mon Sep 17 00:00:00 2001
From: Philip Rebohle <philip.rebohle@tu-dortmund.de>
Date: Mon, 5 Sep 2022 07:21:47 +0200
Subject: [PATCH] [dxbc] Implement support for SV_InnerCoverage

---
 src/dxbc/dxbc_compiler.cpp | 37 ++++++++++++++++++++++++++++++++++++-
 src/dxbc/dxbc_compiler.h   |  1 +
 src/dxbc/dxbc_enums.h      |  1 +
 3 files changed, 38 insertions(+), 1 deletion(-)

diff --git a/src/dxbc/dxbc_compiler.cpp b/src/dxbc/dxbc_compiler.cpp
index 5fafe7672..f2a14e43c 100644
--- a/src/dxbc/dxbc_compiler.cpp
+++ b/src/dxbc/dxbc_compiler.cpp
@@ -635,6 +635,34 @@ namespace dxvk {
           "vInstanceID");
       } break;
       
+      case DxbcOperandType::InputInnerCoverage: {
+        m_module.enableExtension("SPV_EXT_fragment_fully_covered");
+        m_module.enableCapability(spv::CapabilityFragmentFullyCoveredEXT);
+
+        // This is bool in SPIR-V but uint32 in DXBC. A bool value of
+        // false must be 0, and bit 1 must be set to represent true.
+        uint32_t builtinId = emitNewBuiltinVariable({
+          { DxbcScalarType::Bool, 1, 0 },
+          spv::StorageClassInput },
+          spv::BuiltInFullyCoveredEXT,
+          nullptr);
+
+        m_ps.builtinInnerCoverageId = emitNewVariable({
+          { DxbcScalarType::Uint32, 1, 0 },
+          spv::StorageClassPrivate });
+
+        m_module.setDebugName(m_ps.builtinInnerCoverageId, "vInnerCoverage");
+
+        uint32_t boolTypeId = m_module.defBoolType();
+        uint32_t uintTypeId = m_module.defIntType(32, 0);
+
+        m_module.opStore(m_ps.builtinInnerCoverageId,
+          m_module.opSelect(uintTypeId,
+            m_module.opLoad(boolTypeId, builtinId),
+            m_module.constu32(1),
+            m_module.constu32(0)));
+      } break;
+
       default:
         Logger::err(str::format(
           "DxbcCompiler: Unsupported operand type declaration: ",
@@ -5039,6 +5067,11 @@ namespace dxvk {
           { DxbcScalarType::Uint32, 1 },
           m_gs.builtinInvocationId };
         
+      case DxbcOperandType::InputInnerCoverage:
+        return DxbcRegisterPointer {
+          { DxbcScalarType::Uint32, 1 },
+          m_ps.builtinInnerCoverageId };
+        
       default:
         throw DxvkError(str::format(
           "DxbcCompiler: Unhandled operand type: ",
@@ -7400,7 +7433,9 @@ namespace dxvk {
     const char*             name) {
     const uint32_t varId = emitNewVariable(info);
     
-    m_module.setDebugName(varId, name);
+    if (name)
+      m_module.setDebugName(varId, name);
+
     m_module.decorateBuiltIn(varId, builtIn);
 
     if (m_programInfo.type() == DxbcProgramType::PixelShader
diff --git a/src/dxbc/dxbc_compiler.h b/src/dxbc/dxbc_compiler.h
index 771a4c623..fe45c6ec8 100644
--- a/src/dxbc/dxbc_compiler.h
+++ b/src/dxbc/dxbc_compiler.h
@@ -180,6 +180,7 @@ namespace dxvk {
     uint32_t builtinSampleMaskOut = 0;
     uint32_t builtinLayer         = 0;
     uint32_t builtinViewportId    = 0;
+    uint32_t builtinInnerCoverageId = 0;
     
     uint32_t pushConstantId       = 0;
   };
diff --git a/src/dxbc/dxbc_enums.h b/src/dxbc/dxbc_enums.h
index ead8fd4fe..287271e41 100644
--- a/src/dxbc/dxbc_enums.h
+++ b/src/dxbc/dxbc_enums.h
@@ -306,6 +306,7 @@ namespace dxvk {
     OutputDepthLe           = 39,
     CycleCounter            = 40,
     OutputStencilRef        = 41,
+    InputInnerCoverage      = 42,
   };