g3: verdict NO-MATCH start 10 best 8 compiles 813 path R9 swap-stmts @3863 + R9 swap-stmts @3864 + R9 swap-stmts @3865
g5: verdict NO-MATCH start 10 best 8 compiles 2253 path R9 swap-stmts @3863 + R9 swap-stmts @3864 + R9 swap-stmts @3865
s1: verdict NO-MATCH start 10 best 10 compiles 188 path 
s2: verdict NO-MATCH start 10 best 10 compiles 188 path 
s4: verdict NO-MATCH start 10 best 10 compiles 434 path 
s7: verdict NO-MATCH start 10 best 9 compiles 558 path R7 block @3848 + R9 swap-stmts @3863
s9: verdict NO-MATCH start 10 best 10 compiles 252 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width uVar2 u32->u16 @3831 -> 10 [COUNT] (from 10)
  R6 inline t @3850 -> 10 [COUNT] (from 10)
  R8 hoist tmp0 @3847 -> 10 [COUNT] (from 10)
  R7 block @3847 -> 10 [COUNT] (from 10)
  R12 width uVar2 u32->s16 @3831 -> 10 [COUNT] (from 10)
  R6 inline t @3839 -> 10 [COUNT] (from 10)
  R9 swap-stmts @3845 -> 10 [COUNT] (from 10)
  R6 inline t @3861 -> 10 [COUNT] (from 10)
  R8 hoist tmp0 @3846 -> 10 [COUNT] (from 10)
  R7 block @3846 -> 10 [COUNT] (from 10)
  R7 block @3845 -> 10 [COUNT] (from 10)
  R8 hoist tmp0 @3857 -> 10 [COUNT] (from 10)
