forked from M-Labs/artiq
9ed6b54249
Specifically, the following idiom broke our CFGSimplifier: b1: branch_if %cond, %b2, %b3 b2: branch %b3 b3: %v = phi [ %b2 => 0, %b3 => 1 ] This is very annoying to properly handle in general case, and also this (specifically %b2) is exactly what broke LocalAccessValidator in the first place. So, remove CFGSimplifier altogether. Instead, teach LocalAccessValidator how to look through predecessors in order to get a location. |
||
---|---|---|
.. | ||
__init__.py | ||
escape.py | ||
local_access.py | ||
monomorphism.py |