HomePhabricator

Refine the definition of convergent to only disallow the addition of new…
Audit RequiredrL249865

Description

Refine the definition of convergent to only disallow the addition of new control dependencies.

This covers the common case of operations that cannot be sunk.
Operations that cannot be hoisted should already be handled properly via
the safe-to-speculate rules and mechanisms.

Details

Auditors
grosbach
Committed
resistorOct 9 2015, 11:06 AM
Parents
rL249864: Don't blindly use C for eLanguageTypeUnknown when getting a scratch TypeSystem.
Branches
Unknown
Tags
Unknown