Configurable compiler optimization pipeline

[daphne-eu]

In GitLab by @pdamme on May 12, 2021, 20:53

The Daphne compiler will perform numerous rewrite/optimization passes on the DaphneIR representation of the user script. To play around with the employment/order/repetition of the passes, the optimization pipeline should be configurable, e.g., by passing appropriate command line arguments. While full flexibility should be provided for expert users, there should always be a (set of) default pipeline(s).