Changeset 239734 in webkit for trunk/Source/JavaScriptCore/dfg/DFGIntegerRangeOptimizationPhase.cpp
- Timestamp:
- Jan 8, 2019, 12:09:58 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Source/JavaScriptCore/dfg/DFGIntegerRangeOptimizationPhase.cpp
r239595 r239734 1044 1044 // We merge two lists by merging each relationship in one list with each relationship 1045 1045 // in the other list. Merging two relationships will yield a relationship list; as with 1046 // all such lists it is an inters ction. Merging relationships over different variables1046 // all such lists it is an intersection. Merging relationships over different variables 1047 1047 // always yields the empty list (i.e. TOP). This merge style is sound because if we 1048 1048 // have: … … 1086 1086 // when between the current relationshipsAtHead and the relationships being propagated 1087 1087 // from a predecessor ensures monotonicity by converting disagreements into one of a 1088 // small set of "general" relationships. There are 12 such relationshi s, plus TOP. See1088 // small set of "general" relationships. There are 12 such relationships, plus TOP. See 1089 1089 // the comment above Relationship::merge() for details. 1090 1090 bool changed = true;
Note:
See TracChangeset
for help on using the changeset viewer.