- expandNode loc@(InReg src) (InBoth dst mem)
- | src == dst = [(loc, loc, [InMem dst])]
- | otherwise = [(loc, loc, [InReg dst, InMem mem])]
- expandNode loc@(InMem src) (InBoth dst mem)
- | src == mem = [(loc, loc, [InReg dst])]
- | otherwise = [(loc, loc, [InReg dst, InMem mem])]
- expandNode loc@(InBoth _ src) (InMem dst)
+ expandNode vreg loc@(InReg src) (InBoth dst mem)
+ | src == dst = [(vreg, loc, [InMem mem])]
+ | otherwise = [(vreg, loc, [InReg dst, InMem mem])]
+ expandNode vreg loc@(InMem src) (InBoth dst mem)
+ | src == mem = [(vreg, loc, [InReg dst])]
+ | otherwise = [(vreg, loc, [InReg dst, InMem mem])]
+ expandNode vreg loc@(InBoth _ src) (InMem dst)