If the very first ref position of an interval has a register assignment of RBM_NONE indicate it could also be a regOptional

1 files changed, 2 insertions, 2 deletions

diff --git a/src/jit/lsra.cpp b/src/jit/lsra.cpp
index 3b22f1d8b6..b0ef498971 100644
--- a/src/jit/lsra.cpp
+++ b/src/jit/lsra.cpp
@@ -8576,8 +8576,8 @@ void LinearScan::resolveRegisters()
                     }
                     if (firstRefPosition->registerAssignment == RBM_NONE || firstRefPosition->spillAfter)
                     {
-                        // Either this RefPosition is spilled, or it is not a "real" def or use
-                        assert(firstRefPosition->spillAfter ||
+                        // Either this RefPosition is spilled, or regOptional or it is not a "real" def or use
+                        assert(firstRefPosition->spillAfter || firstRefPosition->AllocateIfProfitable() ||
                                (firstRefPosition->refType != RefTypeDef && firstRefPosition->refType != RefTypeUse));
                         varDsc->lvRegNum = REG_STK;
                     }