[MERGE #5177 @meg-gupta] Initialize local value table in path dependent branch folding for IntConstOpnds

Merge pull request #5177 from meg-gupta:unitbug

We were not adding value of IntConstOpnd in the local value table, nor were we initializing it to null.
This caused to incorrectly read value from the global value table, which might be inaccurate.

Author: Meghana Gupta

lib/Backend/FlowGraph.cpp

@@ -4646,7 +4646,17 @@ BasicBlock::CheckLegalityAndFoldPathDepBranches(GlobOpt* globOpt)
             StackSym* src1Sym = instr->GetSrc1()->GetStackSym();
             FindValueInLocalThenGlobalValueTableAndUpdate(globOpt, localSymToValueMap, instr, instr->GetDst()->GetSym(), src1Sym);
         }
-        else if (!instr->GetSrc1()->IsIntConstOpnd())
+        else if (instr->GetSrc1()->IsIntConstOpnd())
+        {
+            Value **localValue = localSymToValueMap->FindOrInsertNew(instr->GetDst()->GetSym());
+            *localValue = globOpt->GetIntConstantValue(instr->GetSrc1()->AsIntConstOpnd()->AsInt32(), instr);
+        }
+        else if (instr->GetSrc1()->IsInt64ConstOpnd())
+        {
+            Value **localValue = localSymToValueMap->FindOrInsertNew(instr->GetDst()->GetSym());
+            *localValue = globOpt->GetIntConstantValue(instr->GetSrc1()->AsInt64ConstOpnd()->GetValue(), instr);
+        }
+        else
         {
             ValueType src1Value = instr->GetSrc1()->GetValueType();
             Value **localValue = localSymToValueMap->FindOrInsertNew(instr->GetDst()->GetSym());

lib/Backend/GlobOpt.cpp

@@ -6515,7 +6515,7 @@ GlobOpt::CanProveConditionalBranch(IR::Instr *instr, Value *src1Val, Value *src2
     //Assert(!src2Var || !Js::JavascriptOperators::IsObject(src2Var));
 
     int64 left64, right64;
-    int left, right;
+    int32 left, right;
     int32 constVal;
 
     switch (instr->m_opcode)