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