extern int Float_NegateDouble(int, int);
void Float_Add(int a, int b, int c) __attribute__((naked));
void Float_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, #12\n"
  "adds r3, r0, #0\n"
  "adds r4, r1, #0\n"
  "mov sl, r2\n"
  "movs r0, #0\n"
  "ldr r2, [r3, #0]\n"
  "cmp r2, #1\n"
  "bhi LokA_%=\n"
  "movs r0, #1\n"
  "LokA_%=:\n"
  "cmp r0, #0\n"
  "beq LchkB_%=\n"
  "LretA_%=:\n"
  "adds r0, r3, #0\n"
  "b Lret_%=\n"
  "LchkB_%=:\n"
  "movs r1, #0\n"
  "ldr r0, [r4, #0]\n"
  "cmp r0, #1\n"
  "bhi LokB_%=\n"
  "movs r1, #1\n"
  "LokB_%=:\n"
  "cmp r1, #0\n"
  "bne LretB_%=\n"
  "movs r1, #0\n"
  "cmp r2, #4\n"
  "bne LchkC_%=\n"
  "movs r1, #1\n"
  "LchkC_%=:\n"
  "cmp r1, #0\n"
  "beq LchkD_%=\n"
  "movs r1, #0\n"
  "cmp r0, #4\n"
  "bne LchkE_%=\n"
  "movs r1, #1\n"
  "LchkE_%=:\n"
  "cmp r1, #0\n"
  "beq LretA_%=\n"
  "ldr r1, [r3, #4]\n"
  "ldr r0, [r4, #4]\n"
  "cmp r1, r0\n"
  "beq LretA_%=\n"
  "ldr r0, .Lp0\n"
  "b Lret_%=\n"
  ".hword 0x0000\n"
  ".Lp0: .word 0x020015B8\n"
  "LchkD_%=:\n"
  "movs r1, #0\n"
  "cmp r0, #4\n"
  "bne LchkF_%=\n"
  "movs r1, #1\n"
  "LchkF_%=:\n"
  "cmp r1, #0\n"
  "bne LretB_%=\n"
  "movs r1, #0\n"
  "cmp r0, #2\n"
  "bne LchkG_%=\n"
  "movs r1, #1\n"
  "LchkG_%=:\n"
  "cmp r1, #0\n"
  "beq Lmain_%=\n"
  "movs r0, #0\n"
  "cmp r2, #2\n"
  "bne LchkH_%=\n"
  "movs r0, #1\n"
  "LchkH_%=:\n"
  "cmp r0, #0\n"
  "beq LretA_%=\n"
  "mov r1, sl\n"
  "adds r0, r3, #0\n"
  "ldmia r0!, {r2, r5, r6}\n"
  "stmia r1!, {r2, r5, r6}\n"
  "ldmia r0!, {r2, r5}\n"
  "stmia r1!, {r2, r5}\n"
  "ldr r0, [r3, #4]\n"
  "ldr r1, [r4, #4]\n"
  "ands r0, r1\n"
  "mov r6, sl\n"
  "str r0, [r6, #4]\n"
  "b Ltail_%=\n"
  "Lmain_%=:\n"
  "movs r1, #0\n"
  "ldr r0, [r3, #0]\n"
  "cmp r0, #2\n"
  "bne LchkI_%=\n"
  "movs r1, #1\n"
  "LchkI_%=:\n"
  "cmp r1, #0\n"
  "beq Lcore_%=\n"
  "LretB_%=:\n"
  "adds r0, r4, #0\n"
  "b Lret_%=\n"
  "Lcore_%=:\n"
  "ldr r0, [r3, #8]\n"
  "mov r9, r0\n"
  "ldr r1, [r4, #8]\n"
  "mov r8, r1\n"
  "ldr r6, [r3, #12]\n"
  "ldr r7, [r3, #16]\n"
  "ldr r0, [r4, #12]\n"
  "ldr r1, [r4, #16]\n"
  "str r0, [sp, #0]\n"
  "str r1, [sp, #4]\n"
  "mov r1, r9\n"
  "mov r2, r8\n"
  "subs r0, r1, r2\n"
  "cmp r0, #0\n"
  "bge LokC_%=\n"
  "negs r0, r0\n"
  "LokC_%=:\n"
  "cmp r0, #63\n"
  "bgt Lbig_%=\n"
  "ldr r3, [r3, #4]\n"
  "mov ip, r3\n"
  "ldr r4, [r4, #4]\n"
  "str r4, [sp, #8]\n"
  "cmp r9, r8\n"
  "ble Lcmp2_%=\n"
  "mov r3, r9\n"
  "mov r4, r8\n"
  "subs r3, r3, r4\n"
  "mov r8, r3\n"
  "Lsh1_%=:\n"
  "movs r5, #1\n"
  "negs r5, r5\n"
  "add r8, r5\n"
  "ldr r2, [sp, #0]\n"
  "movs r0, #1\n"
  "ands r2, r0\n"
  "movs r3, #0\n"
  "ldr r1, [sp, #4]\n"
  "lsls r5, r1, #31\n"
  "ldr r0, [sp, #0]\n"
  "lsrs r4, r0, #1\n"
  "adds r0, r5, #0\n"
  "orrs r0, r4\n"
  "adds r4, r1, #0\n"
  "lsrs r1, r4, #1\n"
  "adds r5, r2, #0\n"
  "orrs r5, r0\n"
  "str r5, [sp, #0]\n"
  "adds r4, r3, #0\n"
  "orrs r4, r1\n"
  "str r4, [sp, #4]\n"
  "mov r5, r8\n"
  "cmp r5, #0\n"
  "bne Lsh1_%=\n"
  "mov r8, r9\n"
  "Lcmp2_%=:\n"
  "cmp r8, r9\n"
  "ble Ladd_%=\n"
  "mov r0, r8\n"
  "mov r1, r9\n"
  "subs r0, r0, r1\n"
  "mov r9, r0\n"
  "Lsh2_%=:\n"
  "movs r2, #1\n"
  "negs r2, r2\n"
  "add r9, r2\n"
  "movs r2, #1\n"
  "ands r2, r6\n"
  "movs r3, #0\n"
  "lsls r5, r7, #31\n"
  "lsrs r4, r6, #1\n"
  "adds r0, r5, #0\n"
  "orrs r0, r4\n"
  "lsrs r1, r7, #1\n"
  "adds r6, r2, #0\n"
  "orrs r6, r0\n"
  "adds r7, r3, #0\n"
  "orrs r7, r1\n"
  "mov r3, r9\n"
  "cmp r3, #0\n"
  "bne Lsh2_%=\n"
  "mov r9, r8\n"
  "b Ladd_%=\n"
  "Lbig_%=:\n"
  "cmp r9, r8\n"
  "ble Lzero_%=\n"
  "movs r0, #0\n"
  "movs r1, #0\n"
  "str r0, [sp, #0]\n"
  "str r1, [sp, #4]\n"
  "b Ladd2_%=\n"
  "Lzero_%=:\n"
  "mov r9, r8\n"
  "movs r6, #0\n"
  "movs r7, #0\n"
  "Ladd2_%=:\n"
  "ldr r3, [r3, #4]\n"
  "mov ip, r3\n"
  "ldr r4, [r4, #4]\n"
  "str r4, [sp, #8]\n"
  "Ladd_%=:\n"
  "ldr r1, [sp, #8]\n"
  "cmp ip, r1\n"
  "beq Lsame_%=\n"
  "mov r2, ip\n"
  "cmp r2, #0\n"
  "beq Lsub_%=\n"
  "adds r1, r7, #0\n"
  "adds r0, r6, #0\n"
  "bl Float_NegateDouble\n"
  "adds r3, r1, #0\n"
  "adds r2, r0, #0\n"
  "ldr r4, [sp, #0]\n"
  "ldr r5, [sp, #4]\n"
  "adds r2, r2, r4\n"
  "adcs r3, r5\n"
  "b Lnorm_%=\n"
  "Lsub_%=:\n"
  "adds r3, r7, #0\n"
  "adds r2, r6, #0\n"
  "ldr r0, [sp, #0]\n"
  "ldr r1, [sp, #4]\n"
  "subs r2, r2, r0\n"
  "sbcs r3, r1\n"
  "Lnorm_%=:\n"
  "cmp r3, #0\n"
  "blt Lneg_%=\n"
  "movs r0, #0\n"
  "mov r1, sl\n"
  "str r0, [r1, #4]\n"
  "mov r4, r9\n"
  "str r4, [r1, #8]\n"
  "mov r5, sl\n"
  "str r2, [r5, #12]\n"
  "str r3, [r5, #16]\n"
  "b Ladj_%=\n"
  "Lneg_%=:\n"
  "movs r0, #1\n"
  "mov r6, sl\n"
  "str r0, [r6, #4]\n"
  "mov r0, r9\n"
  "str r0, [r6, #8]\n"
  "adds r1, r3, #0\n"
  "adds r0, r2, #0\n"
  "bl Float_NegateDouble\n"
  "mov r2, sl\n"
  "str r0, [r2, #12]\n"
  "str r1, [r2, #16]\n"
  "Ladj_%=:\n"
  "mov r4, sl\n"
  "ldr r2, [r4, #12]\n"
  "ldr r3, [r4, #16]\n"
  "movs r0, #1\n"
  "negs r0, r0\n"
  "asrs r1, r0, #31\n"
  "Ladj2_%=:\n"
  "adds r2, r2, r0\n"
  "adcs r3, r1\n"
  "ldr r0, .Lp1\n"
  "cmp r3, r0\n"
  "bhi Lret3_%=\n"
  "cmp r3, r0\n"
  "bne LokD_%=\n"
  "movs r0, #2\n"
  "negs r0, r0\n"
  "cmp r2, r0\n"
  "bhi Lret3_%=\n"
  "LokD_%=:\n"
  "mov r5, sl\n"
  "ldr r0, [r5, #12]\n"
  "ldr r1, [r5, #16]\n"
  "lsrs r3, r0, #31\n"
  "lsls r2, r1, #1\n"
  "adds r1, r3, #0\n"
  "orrs r1, r2\n"
  "lsls r0, r0, #1\n"
  "mov r6, sl\n"
  "str r0, [r6, #12]\n"
  "str r1, [r6, #16]\n"
  "ldr r2, [r6, #8]\n"
  "subs r2, #1\n"
  "str r2, [r6, #8]\n"
  "movs r2, #1\n"
  "negs r2, r2\n"
  "asrs r3, r2, #31\n"
  "b Ladj2_%=\n"
  ".hword 0x0000\n"
  ".Lp1: .word 0x0FFFFFFF\n"
  "Lsame_%=:\n"
  "mov r0, ip\n"
  "mov r1, sl\n"
  "str r0, [r1, #4]\n"
  "mov r2, r9\n"
  "str r2, [r1, #8]\n"
  "ldr r3, [sp, #0]\n"
  "ldr r4, [sp, #4]\n"
  "adds r6, r6, r3\n"
  "adcs r7, r4\n"
  "mov r4, sl\n"
  "str r6, [r4, #12]\n"
  "str r7, [r4, #16]\n"
  "Lret3_%=:\n"
  "movs r0, #3\n"
  "mov r5, sl\n"
  "str r0, [r5, #0]\n"
  "ldr r1, [r5, #16]\n"
  "ldr r0, .Lp2\n"
  "cmp r1, r0\n"
  "bls Ltail_%=\n"
  "ldr r4, [r5, #12]\n"
  "ldr r5, [r5, #16]\n"
  "movs r2, #1\n"
  "adds r0, r4, #0\n"
  "ands r0, r2\n"
  "movs r1, #0\n"
  "lsls r6, r5, #31\n"
  "mov r8, r6\n"
  "lsrs r6, r4, #1\n"
  "mov r2, r8\n"
  "orrs r2, r6\n"
  "lsrs r3, r5, #1\n"
  "orrs r0, r2\n"
  "orrs r1, r3\n"
  "mov r2, sl\n"
  "str r0, [r2, #12]\n"
  "str r1, [r2, #16]\n"
  "ldr r0, [r2, #8]\n"
  "adds r0, #1\n"
  "str r0, [r2, #8]\n"
  "Ltail_%=:\n"
  "mov r0, sl\n"
  "Lret_%=:\n"
  "add sp, #12\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"
  ".Lp2: .word 0x1FFFFFFF\n"
  ::: "r0","r1","r2","r3","r4","r5","r6","r7","memory");
}