Redesign Record Processing

[mariari]

Currently I have two big pieces of logic in pass

• relocation
• expansion

Relocations job is to find the records which should be expanded away, and give a map and a closure related to do this task.

Expansion has the job of searching where things should be expanded and placing the proper information.

I think this model worked in the past before we had to consider packing data.

Now that we've had to deal with wanting packed and unpacked data, a much better model can be formed.

1. Use the closure as a context mapping of names.
   • Thus it contains the following information
     1. the type
     2. the unpacked names
     3. the packed names
     4. What state the value is naturally in
     5. Requesting to generate the other state?
2. Many operations may care about the packed or unpacked status of a value

[mariari]

Further the new work from VAMP-IR shows that they now support records, meaning that a bulk of the work can be simplified for this use case.

Current Issues caused by the new VAMP-IR version

1. We can't take tuples, instead we expand out all arguments