[MERGE #5295 @meg-gupta] Don't merge profiled valutetype when valuetable's type is definite

Merge pull request #5295 from meg-gupta:ldlenprofile

We should not merge valuetype from the value which is definite with a profiled valuetype. It can trigger merge of incompatible valuetypes.

Fixes OS#15189393

Author: Meghana Gupta

lib/Backend/GlobOpt.cpp

@@ -3437,7 +3437,7 @@ GlobOpt::OptSrc(IR::Opnd *opnd, IR::Instr * *pInstr, Value **indirIndexValRef, I
 
         // This block uses per-instruction profile information on array types to optimize using the best available profile
         // information and to prevent infinite bailouts by ensuring array type information is updated on bailouts.
-        if (valueType.IsLikelyArray() && !valueType.IsObject() && instr->IsProfiledInstr())
+        if (valueType.IsLikelyArray() && !valueType.IsDefinite() && !valueType.IsObject() && instr->IsProfiledInstr())
         {
             // See if we have profile data for the array type
             IR::ProfiledInstr *const profiledInstr = instr->AsProfiledInstr();