On: What are the ways compilers recognize complex patt...

[mamcx]

This shows up as `sugar` and `desugar` in some materials. Like how `for i in x` is `sugar` for making an iterator and then a `while` loop.

[pizlonator → mamcx]

Not the same.

Desugaring usually means that the target IR lacks the construct that is the sugar.

Canonical form usually means that the target IR has multiple ways of saying the same thing (x*2, x+x, and x<<1 are all valid) but one of them is canonical, ie preferred by opt passes.

[tester756 → mamcx]

also as a "Lowering"