OS#17531342 : Fix provability check on BrOnObject

Meghana Gupta · Meghana Gupta · commit 2acc18a04cc3 · 2018-07-30T12:27:35.000-07:00
BrOnObject returns true for all non primitives in the interpreter, fix the case for BrOnObject while checking for provability to reflect the same.
diff --git a/lib/Backend/GlobOpt.cpp b/lib/Backend/GlobOpt.cpp
@@ -6790,7 +6790,7 @@ GlobOpt::CanProveConditionalBranch(IR::Instr *instr, Value *src1Val, Value *src2
         {
             return false;
         }
-        *result = src1ValueInfo->IsObject();
+        *result = !src1ValueInfo->IsPrimitive();
         break;
     }
     default:

Original file line number	Diff line number	Diff line change
`@@ -6790,7 +6790,7 @@ GlobOpt::CanProveConditionalBranch(IR::Instr instr, Value src1Val, Value *src2`
`6790`	`6790`	`{`
`6791`	`6791`	`return false;`
`6792`	`6792`	`}`
`6793`		`- *result = src1ValueInfo->IsObject();`
	`6793`	`+ *result = !src1ValueInfo->IsPrimitive();`
`6794`	`6794`	`break;`
`6795`	`6795`	`}`
`6796`	`6796`	`default:`