int Bignum_MultiplyDigit(int ctx, int q, int m) __attribute__((naked));
int Bignum_MultiplyDigit(int ctx, int q, int m)
{
  (void)ctx; (void)q; (void)m;
  __asm__ volatile(
  ".syntax unified\n"
  ".thumb\n"
  "push {r4, r5, r6, r7, lr}\n"
  "mov r7, r8\n"
  "push {r7}\n"
  "mov r8, r0\n"
  "adds r7, r1, #0\n"
  "adds r6, r2, #0\n"
  "movs r1, #3\n"
  "ands r1, r6\n"
  "cmp r1, #0\n"
  "beq chk_%=\n"
  "ldr r0, .Ltab_%=\n"
  "subs r1, #1\n"
  "lsls r1, r1, #2\n"
  "adds r1, r1, r0\n"
  "ldr r2, [r1, #0]\n"
  "mov r0, r8\n"
  "adds r1, r7, #0\n"
  "movs r3, #0\n"
  "bl Bignum_Multiply\n"
  "adds r7, r0, #0\n"
  "chk_%=:\n"
  "asrs r6, r6, #2\n"
  "cmp r6, #0\n"
  "beq done_%=\n"
  "mov r0, r8\n"
  "ldr r5, [r0, #72]\n"
  "adds r4, r5, #0\n"
  "cmp r5, #0\n"
  "bne bittest_%=\n"
  "ldr r1, .Lsz_%=\n"
  "bl Bignum_AllocDigit\n"
  "mov r1, r8\n"
  "str r0, [r1, #72]\n"
  "adds r5, r0, #0\n"
  "str r4, [r5, #0]\n"
  "b bittest_%=\n"
  ".hword 0x0000\n"
  ".Ltab_%=: .word 0x08CA0498\n"
  ".Lsz_%=: .word 0x271\n"
  "vblock_%=:\n"
  "ldr r0, [r5, #0]\n"
  "adds r4, r0, #0\n"
  "cmp r0, #0\n"
  "bne hasv_%=\n"
  "mov r0, r8\n"
  "adds r1, r5, #0\n"
  "adds r2, r5, #0\n"
  "bl Bignum_Add\n"
  "str r0, [r5, #0]\n"
  "str r4, [r0, #0]\n"
  "hasv_%=:\n"
  "adds r5, r0, #0\n"
  "bittest_%=:\n"
  "movs r0, #1\n"
  "ands r0, r6\n"
  "cmp r0, #0\n"
  "beq skip_%=\n"
  "mov r0, r8\n"
  "adds r1, r7, #0\n"
  "adds r2, r5, #0\n"
  "bl Bignum_Add\n"
  "adds r4, r0, #0\n"
  "mov r0, r8\n"
  "adds r1, r7, #0\n"
  "bl Bignum_ShiftRight\n"
  "adds r7, r4, #0\n"
  "skip_%=:\n"
  "asrs r6, r6, #1\n"
  "cmp r6, #0\n"
  "bne vblock_%=\n"
  "done_%=:\n"
  "adds r0, r7, #0\n"
  "pop {r3}\n"
  "mov r8, r3\n"
  "pop {r4, r5, r6, r7, pc}\n"
  ::: "r0","r1","r2","r3","r4","r5","r6","r7","memory");
}