HomePhabricator

[NFC] Factor out utilities for manipulating widenable branches

Authored by reames on Tue, Nov 19, 2:43 PM.

Description

[NFC] Factor out utilities for manipulating widenable branches

With the widenable condition construct, we have the ability to reason about branches which can be 'widened' (i.e. made to fail more often). We've got a couple o transforms which leverage this. This patch just cleans up the API a bit.

This is prep work for generalizing our definition of a widenable branch slightly. At the moment "br i1 (and A, wc()), ..." is considered widenable, but oddly, neither "br i1 (and wc(), B), ..." or "br i1 wc(), ..." is. That clearly needs addressed, so first, let's centralize the code in one place.

Details

Committed
reamesTue, Nov 19, 2:43 PM
Parents
rGf3eb5dee5756: [LoopPred] Generalize profitability check to handle unswitch output
Branches
Unknown
Tags
Unknown