1@micropython.asm_thumb  # r0 = (int)(r0*r1/r2)
2def muldiv(r0, r1, r2):
3    vmov(s0, r0)
4    vcvt_f32_s32(s0, s0)
5    vmov(s1, r1)
6    vcvt_f32_s32(s1, s1)
7    vmov(s2, r2)
8    vcvt_f32_s32(s2, s2)
9    vmul(s7, s0, s1)
10    vdiv(s8, s7, s2)
11    vcvt_s32_f32(s31, s8)
12    vmov(r0, s31)
13
14
15print(muldiv(100, 10, 50))
16