g6b: verdict NO-MATCH start 9 best 1 compiles 270 path R12 width v0 s32->u16 @2177
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width v0 s32->u16 @2177 -> 1 [COUNT] (from 9)
  R12 width v0 s32->u8 @2177 -> 1 [COUNT] (from 9)
  R6 inline a1 @2183 -> 1 [COUNT] (from 1)
  R7 block @2183 -> 1 [COUNT] (from 1)
  R5 swap + @2184 -> 1 [COUNT] (from 1)
  R10 param-copy a0 @2178 -> 1 [COUNT] (from 1)
  R6 inline v0 @2184 -> 1 [COUNT] (from 1)
  R8 hoist tmp0 @2180 -> 1 [COUNT] (from 1)
  R7 do-while @2183 -> 1 [COUNT] (from 1)
  R10 param-copy a1 @2178 -> 1 [COUNT] (from 1)
  R7 block @2184 -> 1 [COUNT] (from 1)
  R14 param-width a1 s32->s16 @2176 -> 1 [COUNT] (from 1)
