g1: verdict NO-MATCH start 23 best 20 compiles 221 path R9 swap-stmts @663
g2: verdict NO-MATCH start 23 best 20 compiles 454 path R9 swap-stmts @663
g5: verdict NO-MATCH start 23 best 18 compiles 1054 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s1: verdict NO-MATCH start 23 best 18 compiles 178 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s2: verdict NO-MATCH start 23 best 18 compiles 178 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s3: verdict NO-MATCH start 23 best 18 compiles 300 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s3b: verdict NO-MATCH start 23 best 18 compiles 300 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s4: verdict NO-MATCH start 23 best 18 compiles 300 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s7: verdict NO-MATCH start 23 best 18 compiles 390 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s9: verdict NO-MATCH start 23 best 18 compiles 178 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
s10: verdict NO-MATCH start 23 best 18 compiles 178 path R9 swap-stmts @663 + R12 width tmp s32->u8 @642
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width tmp s32->u8 @642 -> 18 [COUNT] (from 20)
  R9 swap-stmts @663 -> 20 [COUNT] (from 23)
  R12 width sVar3 s32->u16 @644 -> 20 [COUNT] (from 20)
  R6 inline lo @660 -> 20 [COUNT] (from 20)
  R8 temp tmp0 @659 -> 20 [COUNT] (from 20)
  R7 block @660 -> 20 [COUNT] (from 20)
  R10 param-copy a0 @646 -> 20 [COUNT] (from 20)
  R12 width sVar3 s32->s16 @644 -> 20 [COUNT] (from 20)
  R6 inline c80 @656 -> 20 [COUNT] (from 20)
  R8 base tmp0 @659 -> 20 [COUNT] (from 20)
  R9 swap-stmts @646 -> 20 [COUNT] (from 20)
  R6 inline sVar3 @646 -> 20 [COUNT] (from 20)
