[MERGE #5557 @meg-gupta] OS#17531342 : Fix provability check on BrOnObject

Merge pull request #5557 from meg-gupta:bronobjectbug

BrOnObject returns true for all non primitives in the interpreter, fix the case for BrOnObject while checking for provability to reflect the same.

lib/Backend/GlobOpt.cpp

@@ -6791,7 +6791,7 @@ GlobOpt::CanProveConditionalBranch(IR::Instr *instr, Value *src1Val, Value *src2
         {
             return false;
         }
-        *result = src1ValueInfo->IsObject();
+        *result = !src1ValueInfo->IsPrimitive();
         break;
     }
     default: