Revision f4a3918be14f5887b2594848cd725ce18182e55c authored by Elliot Saba on 19 February 2024, 19:02:04 UTC, committed by Elliot Saba on 20 February 2024, 17:25:13 UTC
When we replace a Phi node in `acde_pass!()` due to being able to prove that one path is always taken, we should request that downstream optimization passes refine the type of this Phi node in the event that the type of the replacing value does not match the type of the Phi node itself. Ideally, we would have a stricter check here, that the type of the replacing value is _more narrow_ than the type of the Phi node, however this is happening inside of `compact!()` which does not have access to whatever custom lattice these IR statements were inferred with, and thus can result in issues when the types provided in the IR do not exist within the default fallback lattice. Add a test asserting that the `IR_FLAG_REFINED` flag is added appropriately.
1 parent fbc766a
.codecov.yml
coverage:
status:
project: off
patch: off
Computing file changes ...