g6b: verdict NO-MATCH start 12 best 5 compiles 325 path R12 width x s32->u16 @3895
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width x s32->u16 @3895 -> 5 [COUNT] (from 12)
  R12 width x s32->s16 @3895 -> 5 [COUNT] (from 12)
  R12 width v0 u32->u16 @3900 -> 5 [COUNT] (from 5)
  R14 param-width arg0 s32->s16 @3893 -> 5 [COUNT] (from 5)
  R7 block @3903 -> 5 [COUNT] (from 5)
  R9 swap-stmts @3908 -> 5 [COUNT] (from 5)
  R4 decl-move v1 0->1 -> 5 [COUNT] (from 5)
  R12 width v0 u32->s16 @3900 -> 5 [COUNT] (from 5)
  R14 param-width arg0 s32->u16 @3893 -> 5 [COUNT] (from 5)
  R5 swap + @3907 -> 5 [COUNT] (from 5)
  R4 decl-move v1 0->2 -> 5 [COUNT] (from 5)
  R6 inline raw @3908 -> 5 [COUNT] (from 5)
