g3: verdict NO-MATCH start 35 best 14 compiles 805 path R12 width a0v s32->u16 @5665 + R7 do-while @5675 + R7 do-while @5679
g5: verdict NO-MATCH start 35 best 1 compiles 2271 path R12 width a0v s32->u8 @5663 + R12 width param_1 s32->s16 @5664 + R9 swap-stmts @5686
s1: verdict NO-MATCH start 35 best 15 compiles 182 path R12 width a0v s32->u16 @5663 + R7 do-while @5673
best-scoring single candidates of the last trace (move -> score):
  R7 do-while @5673 -> 15 (from 28)
  R9 swap-stmts @5686 -> 18 (from 28)
  R9 swap-stmts @5686 -> 18 (from 28)
  R9 swap-stmts @5686 -> 18 (from 28)
  R12 width param_1 s32->u16 @5664 -> 28 (from 35)
  R12 width param_1 s32->u8 @5664 -> 28 (from 35)
  R12 width a0v s32->u16 @5663 -> 28 (from 35)
  R12 width a0v s32->u8 @5663 -> 28 (from 35)
  R12 width a0v s32->u16 @5663 -> 28 (from 28)
  R8 temp tmp0 @5695 -> 28 (from 28)
  R7 block @5683 -> 28 (from 28)
  R9 swap-stmts @5683 -> 28 (from 28)
