TASKS

Fix how setreg is handled

Handle pointers

Lower pointers to integers

Implement a graph invariant checker

Fix bug when processing ghostscript test case

Handle indirect function calls

Fix exponential explosion bug in alternative extender

Fix exponential explosion in pattern matcher due to alternative edges

Fix faculty explosion in pattern matcher when dealing with SIMDs

Combine constants in patterns

Get upper bound from LLVM

Investigate presolving technique (see Mats’ email)

Fix uni-targen bug when SETREG assignes an immediate to a register

Branch-extend patterns

Add support for CI

Fix and extend README