With this, the matcher actually works reasonably well, but
crashes on larger examples in the scheduler.

llvm-svn: 96727