g1: verdict NO-MATCH start 25 best 7 compiles 325 path R5 swap + @786 + R7 do-while @790
g2: verdict NO-MATCH start 25 best 7 compiles 787 path R5 swap + @786 + R7 do-while @790
g5: verdict NO-MATCH start 25 best 7 compiles 2299 path R5 swap + @786 + R7 do-while @790
s1: verdict NO-MATCH start 25 best 7 compiles 187 path R5 swap + @786 + R7 do-while @790
s2: verdict NO-MATCH start 25 best 7 compiles 187 path R5 swap + @786 + R7 do-while @790
s4: verdict NO-MATCH start 25 best 7 compiles 435 path R5 swap + @786 + R7 do-while @790
s7: verdict NO-MATCH start 25 best 7 compiles 558 path R5 swap + @786 + R7 do-while @790
s8: verdict NO-MATCH start 25 best 7 compiles 251 path R5 swap + @786 + R7 do-while @790
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 do-while @790 -> 7 [MIXED] (from 13)
  R7 do-while @790 -> 9 [COUNT] (from 13)
  R9 swap-stmts @793 -> 11 [COUNT] (from 13)
  R7 do-while @785 -> 12 [COUNT] (from 15)
  R5 swap + @786 -> 13 [MIXED] (from 25)
  R13 assoc -+ @786 -> 13 [MIXED] (from 25)
  R2 decl-order 0,2,1 -> 13 [MIXED] (from 13)
  R4 decl-move prev 4->0 -> 13 [MIXED] (from 13)
  R7 block @789 -> 13 [MIXED] (from 13)
  R8 temp tmp0 @785 -> 13 [MIXED] (from 13)
  R10 param-alias arg0->arg0_ @766 -> 13 [MIXED] (from 13)
  R12 width e2 s32->u16 @764 -> 13 [MIXED] (from 13)
