g3: verdict NO-MATCH start 21 best 10 compiles 808 path R12 width pos s32->u16 @1113 + R7 do-while @1168
g5: verdict NO-MATCH start 21 best 4 compiles 2316 path R12 width pos s32->u16 @1109 + R7 do-while @1164 + R7 do-while @1163 + R14 param-width arg1 s32->s16 @1098
s1: verdict NO-MATCH start 21 best 2 compiles 188 path R15 sink @1171 (var_v0_3) + R12 width pos s32->u16 @1109
s2: verdict NO-MATCH start 21 best 2 compiles 188 path R15 sink @1171 (var_v0_3) + R12 width pos s32->u16 @1109
s4: verdict BANK-REFUSED start 21 best 0 compiles 288 path R15 sink @1171 (var_v0_3) + R12 width pos s32->u16 @1109 + R14 param-width arg1 s32->s16 @1098
s7: verdict NO-MATCH start 21 best 2 compiles 554 path R15 sink @1174 (var_v0_3) + R12 width pos s32->u16 @1112
s9: verdict NO-MATCH start 21 best 2 compiles 252 path R15 sink @1172 (var_v0_3) + R12 width pos s32->u16 @1110
s10: verdict NO-MATCH start 21 best 2 compiles 252 path R15 sink @1172 (var_v0_3) + R12 width pos s32->u16 @1110
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width pos s32->u16 @1110 -> 2 [REG] (from 11)
  R12 width pos s32->s16 @1110 -> 2 [REG] (from 11)
  R7 do-while @1165 -> 10 [COUNT] (from 14)
  R15 sink @1172 (var_v0_3) -> 11 [REG] (from 21)
  R6 inline b4b @1163 -> 11 [REG] (from 11)
  R8 cse tmp0 @1171 -> 11 [REG] (from 11)
  R5 swap + @1140 -> 11 [REG] (from 11)
  R18 bystander @1132->1135 -> 11 [REG] (from 11)
  R7 block @1160 -> 11 [REG] (from 11)
  R2 decl-order 1,0 -> 11 [REG] (from 11)
  R4 decl-move pos 9->0 -> 11 [REG] (from 11)
  R6 inline b4b @1167 -> 11 [REG] (from 11)
