Build correct RTL for lea instruction; type base regs as POINTER; type AND or OR of 2 POINTERS as UNINIT; add caller-save reg USEs to interrupt calls.

Only propagate register DEFs until we get alias analysis; handle conditional move and interrupt instrs; add EAX to USE list for return instrs.

SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.