g3: verdict NO-MATCH start 43 best 27 compiles 798 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141 + R9 swap-stmts @1132
g5: verdict NO-MATCH start 43 best 25 compiles 2318 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141 + R9 swap-stmts @1105 + R9 swap-stmts @1104
s1: verdict NO-MATCH start 43 best 34 compiles 186 path R9 swap-stmts @1102 + R7 do-while @1101
s2: verdict NO-MATCH start 43 best 34 compiles 186 path R9 swap-stmts @1102 + R7 do-while @1101
s3: verdict BUDGET start 43 best 30 compiles 400 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141
s3b: verdict BUDGET start 43 best 30 compiles 400 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141
s4: verdict NO-MATCH start 43 best 30 compiles 434 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141
s7: verdict NO-MATCH start 43 best 30 compiles 552 path R9 swap-stmts @1102 + R7 do-while @1101 + R5 swap | @1141
s9: verdict NO-MATCH start 43 best 34 compiles 250 path R9 swap-stmts @1102 + R7 do-while @1101
s10: verdict NO-MATCH start 43 best 34 compiles 250 path R9 swap-stmts @1102 + R7 do-while @1101
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 do-while @1101 -> 34 [COUNT] (from 43)
  R18 bystander @1101->1104 -> 34 [COUNT] (from 43)
  R18 bystander @1101->1105 -> 34 [COUNT] (from 43)
  R18 bystander @1101->1106 -> 35 [COUNT] (from 43)
  R5 swap | @1141 -> 39 [COUNT] (from 43)
  R12 width eight s32->u16 @1049 -> 39 [COUNT] (from 39)
  R8 hoist tmp0 @1116 -> 39 [COUNT] (from 39)
  R7 block @1101 -> 39 [COUNT] (from 39)
  R9 swap-stmts @1101 -> 39 [COUNT] (from 39)
  R12 width eight s32->s16 @1049 -> 39 [COUNT] (from 39)
  R7 do-while @1101 -> 39 [COUNT] (from 39)
  R9 swap-stmts @1102 -> 39 [COUNT] (from 39)
