From Jeffery: "xzr is represented by is_sp = false && gpr == 31
sp is represented by is_sp = true && gpr == 31
xzr gets written to by some instructions but its basically dev/null u trashcan anything that tries to write to it and there shouldnt be any dependencies on xzr"
Also {gpr: i, is_fp: false} and {gpr: i, is_fp: true} are different registers and we will have to handle that in RAT.
From Jeffery: "xzr is represented by is_sp = false && gpr == 31
sp is represented by is_sp = true && gpr == 31
xzr gets written to by some instructions but its basically dev/null u trashcan anything that tries to write to it and there shouldnt be any dependencies on xzr"
Also {gpr: i, is_fp: false} and {gpr: i, is_fp: true} are different registers and we will have to handle that in RAT.