g6: verdict NO-MATCH start 18 best 12 compiles 330 path R8 base tmp0 @5072 + R8 temp tmp1 @5073
s7: verdict NO-MATCH start 18 best 12 compiles 568 path R8 base tmp0 @5071 + R8 temp tmp1 @5072
s9: verdict NO-MATCH start 18 best 12 compiles 251 path R8 base tmp0 @5071 + R8 temp tmp1 @5072
best-scoring single candidates of the last trace (move -> score [residual class]):
  R8 temp tmp1 @5072 -> 12 [COUNT] (from 18)
  R8 temp tmp0 @5071 -> 16 [COUNT] (from 18)
  R8 hoist tmp1 @5061 -> 16 [COUNT] (from 16)
  R7 block @5062 -> 16 [COUNT] (from 16)
  R10 param-copy a0 @5049 -> 16 [COUNT] (from 16)
  R8 temp tmp1 @5059 -> 16 [COUNT] (from 16)
  R7 do-while @5062 -> 16 [COUNT] (from 16)
  R8 base tmp1 @5059 -> 16 [COUNT] (from 16)
  R7 block @5061 -> 16 [COUNT] (from 16)
  R12 width flag s32->u16 @5046 -> 16 [COUNT] (from 16)
  R8 temp tmp1 @5058 -> 16 [COUNT] (from 16)
  R7 do-while @5061 -> 16 [COUNT] (from 16)
