[MERGE #5209 @rajatd] Changing an assert in globopt to correctly reflect the invariant

Merge pull request #5209 from rajatd:liveVarSyms

Author: rajatd

lib/Backend/GlobOptBailOut.cpp

@@ -784,8 +784,6 @@ void GlobOpt::RecordInlineeFrameInfo(IR::Instr* inlineeEnd)
                     }
                 }
 
-                GlobOptBlockData& globOptData = this->currentBlock->globOptData;
-
                 if (frameInfo->intSyms->TestEmpty() && frameInfo->intSyms->Test(argSym->m_id))
                 {
                     // Var version of the sym is not live, use the int32 version
@@ -800,7 +798,7 @@ void GlobOpt::RecordInlineeFrameInfo(IR::Instr* inlineeEnd)
                 }
                 else
                 {
-                    Assert(globOptData.liveVarSyms->Test(argSym->m_id));
+                    Assert(frameInfo->varSyms->Test(argSym->m_id));
                 }
 
                 if (argSym->IsConst() && !argSym->IsInt64Const())

test/Optimizer/rlexe.xml

@@ -1477,6 +1477,12 @@
       <compile-flags>-mic:1 -off:simplejit</compile-flags>
     </default>
   </test>
+  <test>
+    <default>
+      <files>test149.js</files>
+      <compile-flags>-mic:1 -off:simplejit -bgjit- -force:fixdataprops -lic:1</compile-flags>
+    </default>
+  </test>
   <test>
     <default>
       <files>IsIn_ArrayNoMissingValues.js</files>

test/Optimizer/test149.js

@@ -0,0 +1,23 @@
+//-------------------------------------------------------------------------------------------------------
+// Copyright (C) Microsoft. All rights reserved.
+// Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
+//-------------------------------------------------------------------------------------------------------
+
+function makeArrayLength() {
+  return 1;
+}
+var obj0 = {};
+var arrObj0 = {};
+var func3 = function () {
+  arrObj0[1] = 1;
+  return obj0.length;
+};
+
+obj0.method0 = func3;
+var h = 1;
+obj0.length = makeArrayLength();
+var __loopvar1 = 1;
+do {
+  h = obj0.method0(h);
+} while (obj0.method0() && __loopvar1++ < 10);
+print("passed");