g3: verdict NO-MATCH start 24 best 2 compiles 811 path R7 do-while @987 + R12 width a2v s32->u16 @943 + R7 do-while @986
g5: verdict NO-MATCH start 24 best 2 compiles 2320 path R12 width a2v s32->u16 @943 + R7 do-while @986
s1: verdict NO-MATCH start 24 best 7 compiles 187 path R7 do-while @987 + R14 param-width arg2 s32->u16 @936
s2: verdict NO-MATCH start 24 best 7 compiles 187 path R7 do-while @987 + R14 param-width arg2 s32->u16 @936
s4: verdict NO-MATCH start 24 best 4 compiles 434 path R7 do-while @987 + R12 width a2v s32->u16 @943 + R12 width a1v s32->u16 @942
s7: verdict NO-MATCH start 24 best 4 compiles 561 path R7 do-while @987 + R12 width a2v s32->u16 @943 + R12 width a1v s32->u16 @942
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width a1v s32->u16 @942 -> 4 [REG] (from 6)
  R12 width a1v s32->s16 @942 -> 4 [REG] (from 6)
  R12 width a1v s32->u16 @942 -> 4 [REG] (from 6)
  R12 width a1v s32->s16 @942 -> 4 [REG] (from 6)
  R12 width a2v s32->u16 @943 -> 6 [REG] (from 14)
  R12 width a2v s32->s16 @943 -> 6 [REG] (from 14)
  R6 inline result @994 -> 6 [REG] (from 6)
  R16 const-holder result=1 x1 -> 6 [REG] (from 6)
  R8 hoist tmp0 @992 -> 6 [REG] (from 6)
  R18 bystander @953->951 -> 6 [REG] (from 6)
  R10 param-copy arg0 @951 -> 6 [REG] (from 6)
  R7 block @983 -> 6 [REG] (from 6)
