The first step in creating a superoptimizer … is [harvesting] instruction sequences from a representative set … A harvestable instruction sequence must have a single … [It] can have multiple exits since we allow … the harvester … also records the set of registers live at … [p. 396] Dealing with only canonical instruction sequences [with canonical registers and constants] dramatically reduces the size of the corpus of target instruction …
Google-1
Google-2
Copyright clearance needed for quotation.