An IR form where each variable is assigned to exactly once. It makes reasoning about a lot of local properties cleaner since you know that the value of a regist

An IR form where each variable is assigned to exactly once. It makes reasoning about a lot of local properties cleaner since you know that the value of a register is set by its single def site. The idea has also been expanded to modeling heaps for aiding reasoning about field loads and stores.