8 [ ]*[a
-f0
-9]+: 0b 60 80 02 00 24 \
[MMI\
] addl r12
=32,r1
;;
9 [ ]*[a
-f0
-9]+: c0
40 05 00 48 00 addl r12
=40,r1
10 [ ]*[a
-f0
-9]+: 00 00 04 00 nop.i
0x0;;
11 [ ]*[a
-f0
-9]+: 0b 60 a0
02 00 24 \
[MMI\
] addl r12
=40,r1
;;
12 [ ]*[a
-f0
-9]+: c0 c0
05 00 48 00 addl r12
=56,r1
13 [ ]*[a
-f0
-9]+: 00 00 04 00 nop.i
0x0;;
14 [ ]*[a
-f0
-9]+: 01 60 60 02 00 24 \
[MII\
] addl r12
=24,r1
15 [ ]*[a
-f0
-9]+: 00 00 00 02 00 00 nop.i
0x0
16 [ ]*[a
-f0
-9]+: 00 00 04 00 nop.i
0x0;;
