Conditionals

[rengolin]

MLIR has native conditionals via compare+branch operations, but that doesn't mean it works directly with the Rise dialect.

It could perhaps work when choosing which lambdas to apply but inside a lambda, the comparisons will have to be done on Rise types, not native, and there is not support (I can see) for it.

While many algorithms can be written without direct conditions (at least not in the lambdas), with vast examples in machine learning and HPC kernels, it would be impossible to convert existing generic code (including most HPC applications) into Rise.

Is there a plan to introduce conditional execution in Rise? Given the (side-effect free) lambda nature of Rise, I imagine a select would be simpler to implement and would cover a lot of the existing cases.