TC-6 Code to Write

lib/misc/variant.hh

Complete the VariantTypes concept.

src/canon/libcanon.cc

Generate traces for each ProcFrag.

src/canon/canon.cc

Complete canonicalization helpers is_nop and commute_p.

src/canon/exp-matcher.cc and src/canon/stm-matcher.cc

Complete pattern-matching for canonicalization.

src/canon/traces.cc

Linearize the canonicalized IR.