HomePhabricator

[ImplicitNullChecks] NFC: Refactor dependence safety check

Authored by anna on Sep 2 2020, 7:19 AM.

Description

[ImplicitNullChecks] NFC: Refactor dependence safety check

After computing dependence, we check if it is safe to hoist by
identifying if it clobbers any liveIns in the sibling block (NullSucc).
This check is moved to its own function which will be used in the
soon-to-be modified dependence checking algorithm for implicit null
checks pass.

Tests-Run: lit tests on X86/implicit-*

Details

Committed
annaSep 2 2020, 7:29 AM
Parents
rG6f7737c46811: [ImplicitNullChecks] NFC: Separated out checks and added comments
Branches
Unknown
Tags
Unknown