dimitriv / Ziria

A domain-specific-language and compiler for low-level bitstream processing.
92 stars 18 forks source link

PassFold violates rename-variables invariant #81

Open edsko opened 9 years ago

edsko commented 9 years ago

For example, passTimesUnroll creates non-unique variable names in two ways: first, for the unused variables for the binds, and two because it duplicates the body of the loop without making any changes. The same problem problem goes for the passInline, and possibly other passes as well.