RSSA backend

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 17 Jan 2002 14:47:56 -0500 (EST)


> > That solves most of the pseudo-register discrepencies between MACHINE and
> > X86 versions of liveness.  

One remaining case has to do with Arith transfers.  Some arithmetic
operations are required for the overflow check, but if their result isn't
used, then MACHINE says that the destination pseudo-reg is live at the
success branch, even though it won't be used.