sort before kbits

Author: ailrst

src/main/scala/ir/IRCursor.scala

@@ -318,12 +318,14 @@ def dotBlockGraph(blocks: Iterable[Block], orphaned: Set[Block]): String = {
 
 def dotBlockGraph(program: Procedure, labels: Map[CFGPosition, String]): String = {
   val domain = computeDomain[CFGPosition, Block](IntraProcBlockIRCursor, program.blocks.toSet)
-  toDot[Block](domain.toSet, IntraProcBlockIRCursor, labels, Set())
+  val o = getDetachedBlocks(program).reachableFromBlockEmptyPred
+  toDot[Block](domain.toSet, IntraProcBlockIRCursor, labels, o)
 }
 
 def dotBlockGraph(program: Program, labels: Map[CFGPosition, String] = Map.empty): String = {
   val domain = computeDomain[CFGPosition, Block](IntraProcBlockIRCursor, program.procedures.flatMap(_.blocks).toSet)
-  toDot[Block](domain.toSet, IntraProcBlockIRCursor, labels, Set())
+  val e = program.procedures.toSet.flatMap(getDetachedBlocks(_).reachableFromBlockEmptyPred)
+  toDot[Block](domain.toSet, IntraProcBlockIRCursor, labels, e)
 }
 
 def toDot[T <: CFGPosition](

src/main/scala/util/RunUtils.scala

@@ -843,6 +843,7 @@ object RunUtils {
 
       doSimplify(ctx, conf.staticAnalysis)
 
+      transforms.applyRPO(ctx.program)
       val (kbb, kba) = transforms.knownBitsAnalysis(ctx.program)
       DebugDumpIRLogger.writeToFile(
         File("known-bits.il"),