Andrew Butt

I think it might make sense for simplicity reasons to separate the evaluation of the condition and the true/false branches. I think you can do this with scf.yield. ```mlir %ret_value...

1. The more I think about this, the more I think we need better separation between the representation of hcl.cond and down-stream optimizations. Something like nested scf.if seems like the...

This may become important for AMC soon too. What's the limiting factor here? It would also be nice to be able to support at least f16, f32, and f64.

> Static repeats are the interesting bit. We surely wouldn't want to make users create distinct states for the same loop body, so maybe there can be a `repeat` construct...