3 4000dcf3 *(u32*)($sp + 0x10) = $a12
4 4000dcf5 *(u32*)($sp + 0x14) = $a13
5 4000dcf7 *(u32*)($sp + 0x18) = $a14
6 4000dcf9 *(u32*)($sp + 0x1c) = $a15
7 4000dcfb $a4 = bitfield($a2, /*lsb*/16, /*sz*/16)
8 4000dcfe $a5 = bitfield($a3, /*lsb*/16, /*sz*/16)
9 4000dd01 $a6 = (u16)$a2 * (u16)$a5
10 4000dd04 $a11 = (u16)$a4 * (u16)$a3
13 4000dd0b if ($a6 >= $a11) goto loc_4000dd11
15 4000dd11 loc_4000dd11:
17 4000dd14 $a9 = UINT64($a9, $a6) >> $SAR
18 4000dd17 $a11 = (u16)$a2 * (u16)$a3
19 4000dd1a $a6 <<= 32 - $SAR
21 4000dd1f if ($a6 >= $a11) goto loc_4000dd24
23 4000dd24 loc_4000dd24:
24 4000dd24 $a3 = (u16)$a4 * (u16)$a5
27 4000dd2b $a12 = *(u32*)($sp + 0x10)
28 4000dd2d $a13 = *(u32*)($sp + 0x14)
29 4000dd2f $a14 = *(u32*)($sp + 0x18)
30 4000dd31 $a15 = *(u32*)($sp + 0x1c)