Skip to content

Liveness Analysis Data Structure

October 11, 2015

Thinking about it, I have a new data structure for liveness analysis. Instead of liveness={n-reg-in:True/False,n-reg-out:True/False….} with entries for each statement for each register for in and out, I’ll try livein={n:[reg,reg…]} where only the reg’s live into statement n are in the list and liveout={n:[reg…]} where only the regs live on exit from the statement are in the list.

Also, instead of exhaustively scanning the register space for each statement, I’ll let the scan be driven by the rules. i.e. let using statements promote their in-registers to live and setting statements stop them from percolating backwards.

This should be bags less work and data being slopped around. might even be practical!


From → Uncategorized

Leave a Comment

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: