g1: verdict NO-MATCH start 9 best 7 compiles 73 path R7 do-while @1376
g2: verdict NO-MATCH start 9 best 4 compiles 180 path R12 width a1v s32->u16 @1371
g5: verdict NO-MATCH start 9 best 4 compiles 342 path R12 width a1v s32->u16 @1371
s1: verdict NO-MATCH start 9 best 4 compiles 77 path R12 width a1v s32->u16 @1365
s2: verdict NO-MATCH start 9 best 4 compiles 77 path R12 width a1v s32->u16 @1365
s4: verdict NO-MATCH start 9 best 4 compiles 126 path R12 width a1v s32->u16 @1365
s7: verdict NO-MATCH start 9 best 4 compiles 158 path R12 width a1v s32->u16 @1365
s9: verdict NO-MATCH start 9 best 4 compiles 81 path R12 width a1v s32->u16 @1365
s10: verdict NO-MATCH start 9 best 4 compiles 81 path R12 width a1v s32->u16 @1365
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width a1v s32->u16 @1365 -> 4 [COUNT] (from 9)
  R12 width a1v s32->u8 @1365 -> 4 [COUNT] (from 9)
  R12 width param_2 s32->u16 @1367 -> 4 [COUNT] (from 9)
  R12 width param_2 s32->u8 @1367 -> 4 [COUNT] (from 9)
  R7 block @1369 -> 4 [COUNT] (from 4)
  R2 decl-order 1,0 -> 4 [COUNT] (from 4)
  R4 decl-move a0v 1->0 -> 4 [COUNT] (from 4)
  R7 do-while @1369 -> 4 [COUNT] (from 4)
  R7 block @1370 -> 4 [COUNT] (from 4)
  R7 do-while @1370 -> 4 [COUNT] (from 4)
  R4 decl-move a1v 2->0 -> 4 [COUNT] (from 4)
  R7 block @1371 -> 4 [COUNT] (from 4)
