Polynomial-time subgraph enumeration for automated instruction set extension