extern int Bignum_GetDigits(int);
void Bignum_Add(int a, int b, int c) __attribute__((naked));
void Bignum_Add(int a, int b, int c)
{
  (void)a; (void)b; (void)c;
  __asm__ volatile(
  ".syntax unified\n"
  ".thumb\n"
  "push {r4, r5, r6, r7, lr}\n"
  "mov r7, sl\n"
  "mov r6, r9\n"
  "mov r5, r8\n"
  "push {r5, r6, r7}\n"
  "sub sp, #36\n"
  "adds r3, r0, #0\n"
  "adds r4, r1, #0\n"
  "adds r5, r2, #0\n"
  "ldr r1, [r4, #16]\n"
  "ldr r0, [r5, #16]\n"
  "cmp r1, r0\n"
  "bge Lok_%=\n"
  "str r4, [sp, #0]\n"
  "adds r4, r5, #0\n"
  "ldr r5, [sp, #0]\n"
  "Lok_%=:\n"
  "ldr r1, [r4, #4]\n"
  "ldr r6, [r4, #16]\n"
  "ldr r0, [r5, #16]\n"
  "mov r8, r0\n"
  "mov r2, r8\n"
  "adds r2, r6, r2\n"
  "str r2, [sp, #4]\n"
  "ldr r0, [r4, #8]\n"
  "cmp r2, r0\n"
  "ble Lok2_%=\n"
  "adds r1, #1\n"
  "Lok2_%=:\n"
  "adds r0, r3, #0\n"
  "bl Bignum_GetDigits\n"
  "str r0, [sp, #0]\n"
  "adds r7, r0, #0\n"
  "adds r7, #20\n"
  "ldr r1, [sp, #4]\n"
  "lsls r0, r1, #2\n"
  "adds r2, r7, r0\n"
  "str r2, [sp, #8]\n"
  "str r0, [sp, #24]\n"
  "adds r1, r4, #0\n"
  "adds r1, #20\n"
  "lsls r3, r6, #2\n"
  "adds r2, r5, #0\n"
  "adds r2, #20\n"
  "mov r5, r8\n"
  "lsls r4, r5, #2\n"
  "ldr r0, [sp, #8]\n"
  "cmp r7, r0\n"
  "bcs Lfill_%=\n"
  "movs r0, #0\n"
  "Lzero_%=:\n"
  "stmia r7!, {r0}\n"
  "ldr r5, [sp, #8]\n"
  "cmp r7, r5\n"
  "bcc Lzero_%=\n"
  "Lfill_%=:\n"
  "str r1, [sp, #8]\n"
  "adds r3, r1, r3\n"
  "str r3, [sp, #12]\n"
  "mov r8, r2\n"
  "add r4, r8\n"
  "str r4, [sp, #16]\n"
  "ldr r0, [sp, #0]\n"
  "adds r0, #20\n"
  "mov r9, r0\n"
  "mov r1, r9\n"
  "str r1, [sp, #32]\n"
  "cmp r8, r4\n"
  "bcs Ldone_%=\n"
  "Louter_%=:\n"
  "mov r2, r8\n"
  "ldmia r2!, {r6}\n"
  "str r2, [sp, #20]\n"
  "ldr r0, .Lp0\n"
  "ands r6, r0\n"
  "mov r4, r9\n"
  "adds r4, #4\n"
  "str r4, [sp, #28]\n"
  "cmp r6, #0\n"
  "beq Lz1_%=\n"
  "ldr r7, [sp, #8]\n"
  "mov r5, r9\n"
  "movs r1, #0\n"
  "mov ip, r1\n"
  "mov sl, r0\n"
  "Lmul1_%=:\n"
  "ldmia r7!, {r3}\n"
  "adds r0, r3, #0\n"
  "mov r2, sl\n"
  "ands r0, r2\n"
  "adds r1, r0, #0\n"
  "muls r1, r6\n"
  "ldr r2, [r5, #0]\n"
  "adds r0, r2, #0\n"
  "mov r4, sl\n"
  "ands r0, r4\n"
  "adds r1, r1, r0\n"
  "mov r0, ip\n"
  "adds r4, r1, r0\n"
  "lsrs r1, r4, #16\n"
  "lsrs r3, r3, #16\n"
  "adds r0, r3, #0\n"
  "muls r0, r6\n"
  "lsrs r2, r2, #16\n"
  "adds r0, r0, r2\n"
  "adds r2, r0, r1\n"
  "lsrs r0, r2, #16\n"
  "mov ip, r0\n"
  "strh r2, [r5, #0]\n"
  "strh r4, [r5, #2]\n"
  "adds r5, #4\n"
  "ldr r1, [sp, #12]\n"
  "cmp r7, r1\n"
  "bcc Lmul1_%=\n"
  "str r0, [r5, #0]\n"
  "Lz1_%=:\n"
  "mov r2, r8\n"
  "ldrh r6, [r2, #2]\n"
  "cmp r6, #0\n"
  "beq Lz2_%=\n"
  "ldr r7, [sp, #8]\n"
  "mov r5, r9\n"
  "movs r4, #0\n"
  "mov ip, r4\n"
  "ldr r2, [r5, #0]\n"
  "ldr r3, .Lp0\n"
  "Lmul2_%=:\n"
  "ldmia r7!, {r1}\n"
  "adds r0, r1, #0\n"
  "ands r0, r3\n"
  "muls r0, r6\n"
  "ldrh r4, [r5, #2]\n"
  "adds r4, r4, r0\n"
  "mov r8, r4\n"
  "add r4, ip\n"
  "lsrs r0, r4, #16\n"
  "mov ip, r0\n"
  "strh r4, [r5, #0]\n"
  "strh r2, [r5, #2]\n"
  "adds r5, #4\n"
  "lsrs r1, r1, #16\n"
  "muls r1, r6\n"
  "ldr r0, [r5, #0]\n"
  "ands r0, r3\n"
  "adds r1, r1, r0\n"
  "mov r4, ip\n"
  "adds r2, r1, r4\n"
  "lsrs r0, r2, #16\n"
  "mov ip, r0\n"
  "ldr r1, [sp, #12]\n"
  "cmp r7, r1\n"
  "bcc Lmul2_%=\n"
  "str r2, [r5, #0]\n"
  "Lz2_%=:\n"
  "ldr r2, [sp, #20]\n"
  "mov r8, r2\n"
  "ldr r4, [sp, #28]\n"
  "mov r9, r4\n"
  "ldr r5, [sp, #16]\n"
  "cmp r8, r5\n"
  "bcc Louter_%=\n"
  "Ldone_%=:\n"
  "ldr r0, [sp, #32]\n"
  "ldr r1, [sp, #24]\n"
  "adds r5, r0, r1\n"
  "ldr r2, [sp, #4]\n"
  "cmp r2, #0\n"
  "ble Ltrim_%=\n"
  "b Lscan2_%=\n"
  ".Lp0: .word 0x0000FFFF\n"
  "Lscan_%=:\n"
  "ldr r4, [sp, #4]\n"
  "subs r4, #1\n"
  "str r4, [sp, #4]\n"
  "cmp r4, #0\n"
  "ble Ltrim_%=\n"
  "Lscan2_%=:\n"
  "subs r5, #4\n"
  "ldr r0, [r5, #0]\n"
  "cmp r0, #0\n"
  "beq Lscan_%=\n"
  "Ltrim_%=:\n"
  "ldr r5, [sp, #4]\n"
  "ldr r0, [sp, #0]\n"
  "str r5, [r0, #16]\n"
  "ldr r0, [sp, #0]\n"
  "add sp, #36\n"
  "pop {r3, r4, r5}\n"
  "mov r8, r3\n"
  "mov r9, r4\n"
  "mov sl, r5\n"
  "pop {r4, r5, r6, r7, pc}\n"
  ::: "r0","r1","r2","r3","r4","r5","r6","r7","memory");
}