rajanmaghera / riscv-analysis

WIP
GNU General Public License v3.0
3 stars 0 forks source link

Arbitrary number of operations chained on `AvailableValue`s #14

Open rajanmaghera opened 1 year ago

rajanmaghera commented 1 year ago

We will need some sort of generic representation of the symbols.

I had an idea where the original register value could have a list of operations added to them. Using passes and rules, we could go through the list of operations and "elimiate" operations from the list. Ideally, we can eliminate all the operations, but this allows for more complicated manipulations in a generic fashion.

There could be a few "base" items like register values and generic memory locations.