tree 36268ffcd1dc5ee8fdb9aedabb8fafc38bd5bb38
parent e35b59c5f1e9a92bf8e5b787a35fdab9908d3a87
parent df747797c71468ee36339ad3344188aaa7c382be
author Meghana Gupta <megupta@microsoft.com> 1555618866 -0700
committer Meghana Gupta <megupta@microsoft.com> 1555618866 -0700

[MERGE #6085 @meg-gupta] OS#19078643: Fix constant branch folding when equal sources can be Undefined

Merge pull request #6085 from meg-gupta:fixundefined

We constant fold branches with same sources. The outcome of this folding is different when the source has a valueType of Undefined.
Previously, we checked for this case with ValueType::IsUndefined. But this check does not include valueTypes like - Undefined | Boolean, in which case we cannot constant fold.
With this fix, we handle the case where we can have a definite valueType which could be Undefined.