search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

Simplify implementations before code generation #49

Closed Calvin-L closed 6 years ago

Calvin-L commented 6 years ago

After inlining, implementations often have code like for x in []: ... or if true: .... We should implement a simplification pass that reduces these.

Having this as an explicit pass can help simplify codegen, which already does this itself (see visit_SForEach, visit_SIf, and visit_ECond cases).

Calvin-L commented 6 years ago

This was addressed in #79.