s5: verdict NO-MATCH start 8 best 7 compiles 183 path R12 width t0 s32->u16 @5905 + R6 inline a1 @5940
best-scoring single candidates of the last trace (move -> score [residual class]):
  R6 inline a1 @5940 -> 7 [COUNT] (from 8)
  R12 width t0 s32->u16 @5905 -> 8 [COUNT] (from 8)
  R8 temp tmp0 @5917 -> 8 [COUNT] (from 8)
  R18 bystander @5916->5919 -> 8 [COUNT] (from 8)
  R7 block @5917 -> 8 [COUNT] (from 8)
  R10 param-copy a0 @5906 -> 8 [COUNT] (from 8)
  R12 width t0 s32->s16 @5905 -> 8 [COUNT] (from 8)
  R6 inline p @5941 -> 8 [COUNT] (from 8)
  R8 base tmp0 @5917 -> 8 [COUNT] (from 8)
  R7 do-while @5917 -> 8 [COUNT] (from 8)
  R9 swap-stmts @5931 -> 8 [COUNT] (from 8)
  R10 param-copy a1 @5906 -> 8 [COUNT] (from 8)
