UQ-PAC / BASIL

Apache License 2.0
8 stars 0 forks source link

A new lattice structure to store constantPropWithSSA results #193

Open yousifpatti opened 6 months ago

yousifpatti commented 6 months ago

An alternative lattice that does not use a map for constantPropWithSSA needs to be used to avoid the problem of adding two identical wrapped registers (because they match with SSA set overlap and may overwrite the result in the map)

The lattice should work as a register tree structure