summary refs log tree commit diff
path: root/rv64
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin@c9x.me>2022-06-14 09:04:27 +0200
committerQuentin Carbonneaux <quentin@c9x.me>2022-06-14 09:11:44 +0200
commitc9f04db881e8ec0bb0beeba6274a5755c46cb534 (patch)
tree6ebdb788a5ce1336c6c4dfed9e63cb03cdf59d70 /rv64
parent9a3e131cf713f8619705f906caf28c5809708ad0 (diff)
downloadroux-c9f04db881e8ec0bb0beeba6274a5755c46cb534.tar.gz
refine assertion in liveness analysis
We were redundantly checking cardinality in a
way that prevented fp regs from ever being
globally live.  We now check that the live
regs after a return are exactly the globally
live ones.
Diffstat (limited to 'rv64')
0 files changed, 0 insertions, 0 deletions