#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ z;
typedef int /*<<< orphan*/ y;
typedef int /*<<< orphan*/ x;

/* Variables and functions */
long double INFINITY;
int /*<<< orphan*/ abort();
int /*<<< orphan*/ memset(long double *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ printfp(char *, long double *);
int main(void) {
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (0);
    y = (0);
    z = x + y;
    if (z != (0)) {
      printf("error: "
             "0"
             " "
             "+"
             " "
             "0"
             " != "
             "0");
      abort();
    }
    printfp("0"
            " "
            "+"
            " "
            "0",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (-1);
    y = (1);
    z = x + y;
    if (z != (0)) {
      printf("error: "
             "-1"
             " "
             "+"
             " "
             "1"
             " != "
             "0");
      abort();
    }
    printfp("-1"
            " "
            "+"
            " "
            "1",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (-4);
    y = (5);
    z = x + y;
    if (z != (1)) {
      printf("error: "
             "-4"
             " "
             "+"
             " "
             "5"
             " != "
             "1");
      abort();
    }
    printfp("-4"
            " "
            "+"
            " "
            "5",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (-4);
    y = (4);
    z = x + y;
    if (z != (0)) {
      printf("error: "
             "-4"
             " "
             "+"
             " "
             "4"
             " != "
             "0");
      abort();
    }
    printfp("-4"
            " "
            "+"
            " "
            "4",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (-6);
    y = (5);
    z = x + y;
    if (z != (-1)) {
      printf("error: "
             "-6"
             " "
             "+"
             " "
             "5"
             " != "
             "-1");
      abort();
    }
    printfp("-6"
            " "
            "+"
            " "
            "5",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (5);
    y = (-4);
    z = x + y;
    if (z != (1)) {
      printf("error: "
             "5"
             " "
             "+"
             " "
             "-4"
             " != "
             "1");
      abort();
    }
    printfp("5"
            " "
            "+"
            " "
            "-4",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (5);
    y = (-5);
    z = x + y;
    if (z != (0)) {
      printf("error: "
             "5"
             " "
             "+"
             " "
             "-5"
             " != "
             "0");
      abort();
    }
    printfp("5"
            " "
            "+"
            " "
            "-5",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (5);
    y = (-6);
    z = x + y;
    if (z != (-1)) {
      printf("error: "
             "5"
             " "
             "+"
             " "
             "-6"
             " != "
             "-1");
      abort();
    }
    printfp("5"
            " "
            "+"
            " "
            "-6",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (4);
    y = (9);
    z = x + y;
    if (z != (13)) {
      printf("error: "
             "4"
             " "
             "+"
             " "
             "9"
             " != "
             "13");
      abort();
    }
    printfp("4"
            " "
            "+"
            " "
            "9",
            &z);
  };
  {
    long double x, y, z;
    memset(&x, 0, sizeof(x));
    memset(&y, 0, sizeof(y));
    memset(&z, 0, sizeof(z));
    x = (INFINITY);
    y = (INFINITY);
    z = x + y;
    if (z != (INFINITY)) {
      printf("error: "
             "INFINITY"
             " "
             "+"
             " "
             "INFINITY"
             " != "
             "INFINITY");
      abort();
    }
    printfp("INFINITY"
            " "
            "+"
            " "
            "INFINITY",
            &z);
  };
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x230,%rsp
lea    -0x10(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x1e8(%rbp)
mov    $0x10,%edx
mov    %edx,-0x1e4(%rbp)
call   1060 <memset@plt>
mov    -0x1e8(%rbp),%esi
mov    -0x1e4(%rbp),%edx
lea    -0x20(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x1e8(%rbp),%esi
mov    -0x1e4(%rbp),%edx
lea    -0x30(%rbp),%rdi
call   1060 <memset@plt>
fldz
fld    %st(0)
fstpt  -0x10(%rbp)
fld    %st(0)
fstpt  -0x20(%rbp)
fldt   -0x10(%rbp)
fldt   -0x20(%rbp)
faddp  %st,%st(1)
fstpt  -0x30(%rbp)
fldt   -0x30(%rbp)
fucomip %st(1),%st
fstp   %st(0)
jne    11c0 <main+0x80>
jp     11c0 <main+0x80>
jmp    11d3 <main+0x93>
lea    0xe55(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xe54(%rip),%rdi
lea    -0x30(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x1f0(%rbp)
mov    $0x10,%edx
mov    %edx,-0x1ec(%rbp)
call   1060 <memset@plt>
mov    -0x1f0(%rbp),%esi
mov    -0x1ec(%rbp),%edx
lea    -0x50(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x1f0(%rbp),%esi
mov    -0x1ec(%rbp),%edx
lea    -0x60(%rbp),%rdi
call   1060 <memset@plt>
fld1
fld    %st(0)
fchs
fstpt  -0x40(%rbp)
fstpt  -0x50(%rbp)
fldt   -0x40(%rbp)
fldt   -0x50(%rbp)
faddp  %st,%st(1)
fstpt  -0x60(%rbp)
fldt   -0x60(%rbp)
fldz
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    125c <main+0x11c>
jp     125c <main+0x11c>
jmp    126f <main+0x12f>
lea    0xdd1(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xdd1(%rip),%rdi
lea    -0x60(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x70(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x1f8(%rbp)
mov    $0x10,%edx
mov    %edx,-0x1f4(%rbp)
call   1060 <memset@plt>
mov    -0x1f8(%rbp),%esi
mov    -0x1f4(%rbp),%edx
lea    -0x80(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x1f8(%rbp),%esi
mov    -0x1f4(%rbp),%edx
lea    -0x90(%rbp),%rdi
call   1060 <memset@plt>
flds   0xd32(%rip)
fstpt  -0x70(%rbp)
flds   0xd2d(%rip)
fstpt  -0x80(%rbp)
fldt   -0x70(%rbp)
fldt   -0x80(%rbp)
faddp  %st,%st(1)
fstpt  -0x90(%rbp)
fldt   -0x90(%rbp)
fld1
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    1307 <main+0x1c7>
jp     1307 <main+0x1c7>
jmp    131a <main+0x1da>
lea    0xd40(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xd40(%rip),%rdi
lea    -0x90(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0xa0(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x200(%rbp)
mov    $0x10,%edx
mov    %edx,-0x1fc(%rbp)
call   1060 <memset@plt>
mov    -0x200(%rbp),%esi
mov    -0x1fc(%rbp),%edx
lea    -0xb0(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x200(%rbp),%esi
mov    -0x1fc(%rbp),%edx
lea    -0xc0(%rbp),%rdi
call   1060 <memset@plt>
flds   0xc7e(%rip)
fstpt  -0xa0(%rbp)
flds   0xc7a(%rip)
fstpt  -0xb0(%rbp)
fldt   -0xa0(%rbp)
fldt   -0xb0(%rbp)
faddp  %st,%st(1)
fstpt  -0xc0(%rbp)
fldt   -0xc0(%rbp)
fldz
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    13c7 <main+0x287>
jp     13c7 <main+0x287>
jmp    13da <main+0x29a>
lea    0xc9a(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xc9a(%rip),%rdi
lea    -0xc0(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0xd0(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x208(%rbp)
mov    $0x10,%edx
mov    %edx,-0x204(%rbp)
call   1060 <memset@plt>
mov    -0x208(%rbp),%esi
mov    -0x204(%rbp),%edx
lea    -0xe0(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x208(%rbp),%esi
mov    -0x204(%rbp),%edx
lea    -0xf0(%rbp),%rdi
call   1060 <memset@plt>
flds   0xbca(%rip)
fstpt  -0xd0(%rbp)
flds   0xbb6(%rip)
fstpt  -0xe0(%rbp)
fldt   -0xd0(%rbp)
fldt   -0xe0(%rbp)
faddp  %st,%st(1)
fstpt  -0xf0(%rbp)
fldt   -0xf0(%rbp)
fld1
fchs
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    1489 <main+0x349>
jp     1489 <main+0x349>
jmp    149c <main+0x35c>
lea    0xbf2(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xbf3(%rip),%rdi
lea    -0xf0(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x100(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x210(%rbp)
mov    $0x10,%edx
mov    %edx,-0x20c(%rbp)
call   1060 <memset@plt>
mov    -0x210(%rbp),%esi
mov    -0x20c(%rbp),%edx
lea    -0x110(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x210(%rbp),%esi
mov    -0x20c(%rbp),%edx
lea    -0x120(%rbp),%rdi
call   1060 <memset@plt>
flds   0xb00(%rip)
fstpt  -0x100(%rbp)
flds   0xaf0(%rip)
fstpt  -0x110(%rbp)
fldt   -0x100(%rbp)
fldt   -0x110(%rbp)
faddp  %st,%st(1)
fstpt  -0x120(%rbp)
fldt   -0x120(%rbp)
fld1
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    1549 <main+0x409>
jp     1549 <main+0x409>
jmp    155c <main+0x41c>
lea    0xb4d(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xb4d(%rip),%rdi
lea    -0x120(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x130(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x218(%rbp)
mov    $0x10,%edx
mov    %edx,-0x214(%rbp)
call   1060 <memset@plt>
mov    -0x218(%rbp),%esi
mov    -0x214(%rbp),%edx
lea    -0x140(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x218(%rbp),%esi
mov    -0x214(%rbp),%edx
lea    -0x150(%rbp),%rdi
call   1060 <memset@plt>
flds   0xa40(%rip)
fstpt  -0x130(%rbp)
flds   0xa40(%rip)
fstpt  -0x140(%rbp)
fldt   -0x130(%rbp)
fldt   -0x140(%rbp)
faddp  %st,%st(1)
fstpt  -0x150(%rbp)
fldt   -0x150(%rbp)
fldz
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    1609 <main+0x4c9>
jp     1609 <main+0x4c9>
jmp    161c <main+0x4dc>
lea    0xaa7(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xaa7(%rip),%rdi
lea    -0x150(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x160(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x220(%rbp)
mov    $0x10,%edx
mov    %edx,-0x21c(%rbp)
call   1060 <memset@plt>
mov    -0x220(%rbp),%esi
mov    -0x21c(%rbp),%edx
lea    -0x170(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x220(%rbp),%esi
mov    -0x21c(%rbp),%edx
lea    -0x180(%rbp),%rdi
call   1060 <memset@plt>
flds   0x980(%rip)
fstpt  -0x160(%rbp)
flds   0x97c(%rip)
fstpt  -0x170(%rbp)
fldt   -0x160(%rbp)
fldt   -0x170(%rbp)
faddp  %st,%st(1)
fstpt  -0x180(%rbp)
fldt   -0x180(%rbp)
fld1
fchs
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    16cb <main+0x58b>
jp     16cb <main+0x58b>
jmp    16de <main+0x59e>
lea    0x9ff(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0xa00(%rip),%rdi
lea    -0x180(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x190(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x228(%rbp)
mov    $0x10,%edx
mov    %edx,-0x224(%rbp)
call   1060 <memset@plt>
mov    -0x228(%rbp),%esi
mov    -0x224(%rbp),%edx
lea    -0x1a0(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x228(%rbp),%esi
mov    -0x224(%rbp),%edx
lea    -0x1b0(%rbp),%rdi
call   1060 <memset@plt>
flds   0x8c2(%rip)
fstpt  -0x190(%rbp)
flds   0x8c2(%rip)
fstpt  -0x1a0(%rbp)
fldt   -0x190(%rbp)
fldt   -0x1a0(%rbp)
faddp  %st,%st(1)
fstpt  -0x1b0(%rbp)
fldt   -0x1b0(%rbp)
flds   0x8a0(%rip)
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    178f <main+0x64f>
jp     178f <main+0x64f>
jmp    17a2 <main+0x662>
lea    0x956(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0x956(%rip),%rdi
lea    -0x1b0(%rbp),%rsi
call   1040 <printfp@plt>
lea    -0x1c0(%rbp),%rdi
xor    %esi,%esi
mov    %esi,-0x230(%rbp)
mov    $0x10,%edx
mov    %edx,-0x22c(%rbp)
call   1060 <memset@plt>
mov    -0x230(%rbp),%esi
mov    -0x22c(%rbp),%edx
lea    -0x1d0(%rbp),%rdi
call   1060 <memset@plt>
mov    -0x230(%rbp),%esi
mov    -0x22c(%rbp),%edx
lea    -0x1e0(%rbp),%rdi
call   1060 <memset@plt>
mov    0x27dd(%rip),%rax
fldt   (%rax)
fstpt  -0x1c0(%rbp)
fldt   (%rax)
fstpt  -0x1d0(%rbp)
fldt   -0x1c0(%rbp)
fldt   -0x1d0(%rbp)
faddp  %st,%st(1)
fstpt  -0x1e0(%rbp)
fldt   -0x1e0(%rbp)
fldt   (%rax)
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jne    184e <main+0x70e>
jp     184e <main+0x70e>
jmp    1861 <main+0x721>
lea    0x8b0(%rip),%rdi
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <abort@plt>
lea    0x8c4(%rip),%rdi
lea    -0x1e0(%rbp),%rsi
call   1040 <printfp@plt>
xor    %eax,%eax
add    $0x230,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x90,%rsp
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldz
fld    %st(0)
fstpt  0x48(%rsp)
fld    %st(0)
fstpt  0x20(%rsp)
fld    %st(0)
fstpt  0x10(%rsp)
fstpt  (%rsp)
lea    0xe82(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fld1
fld    %st(0)
fstpt  0x60(%rsp)
fld    %st(0)
fchs
fld    %st(0)
fstpt  0x6c(%rsp)
fstpt  0x20(%rsp)
fstpt  0x10(%rsp)
fldt   0x48(%rsp)
fstpt  (%rsp)
lea    0xe24(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
flds   0xdc0(%rip)
fld    %st(0)
fstpt  0x54(%rsp)
fstpt  0x20(%rsp)
flds   0xdb4(%rip)
fld    %st(0)
fstpt  0x3c(%rsp)
fstpt  0x10(%rsp)
fldt   0x60(%rsp)
fstpt  (%rsp)
lea    0xdc1(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldt   0x54(%rsp)
fstpt  0x20(%rsp)
flds   0xd56(%rip)
fld    %st(0)
fstpt  0x84(%rsp)
fstpt  0x10(%rsp)
fldt   0x48(%rsp)
fstpt  (%rsp)
lea    0xd63(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
flds   0xcfd(%rip)
fld    %st(0)
fstpt  0x78(%rsp)
fstpt  0x20(%rsp)
fldt   0x3c(%rsp)
fstpt  0x10(%rsp)
fldt   0x6c(%rsp)
fstpt  (%rsp)
lea    0xd08(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldt   0x3c(%rsp)
fstpt  0x20(%rsp)
fldt   0x54(%rsp)
fstpt  0x10(%rsp)
fldt   0x60(%rsp)
fstpt  (%rsp)
lea    0xcb5(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldt   0x3c(%rsp)
fstpt  0x20(%rsp)
flds   0xc3d(%rip)
fstpt  0x10(%rsp)
fldt   0x48(%rsp)
fstpt  (%rsp)
lea    0xc60(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldt   0x3c(%rsp)
fstpt  0x20(%rsp)
fldt   0x78(%rsp)
fstpt  0x10(%rsp)
fldt   0x6c(%rsp)
fstpt  (%rsp)
lea    0xc0d(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
fldt   0x84(%rsp)
fstpt  0x20(%rsp)
flds   0xb88(%rip)
fstpt  0x10(%rsp)
flds   0xb82(%rip)
fstpt  (%rsp)
lea    0xbb3(%rip),%rdi
mov    %rbx,%rsi
call   1040 <printfp@plt>
lea    0x20(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1060 <memset@plt>
mov    0x2b08(%rip),%rax
fldt   (%rax)
fld    %st(0)
fstpt  0x20(%rsp)
fld    %st(0)
fstpt  0x10(%rsp)
fld    %st(0)
fadd   %st(1),%st
fld    %st(0)
fstpt  (%rsp)
fucomip %st(1),%st
fstp   %st(0)
jne    1519 <main+0x3d9>
jp     1519 <main+0x3d9>
lea    0xb7a(%rip),%rdi
mov    %rsp,%rsi
call   1040 <printfp@plt>
xor    %eax,%eax
add    $0x90,%rsp
pop    %rbx
ret
lea    0xb39(%rip),%rdi
call   1050 <printf@plt>
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@.str = [18 x i8] c"error: 0 + 0 != 0\00"
@.str.1 = [6 x i8] c"0 + 0\00"
@.str.2 = [19 x i8] c"error: -1 + 1 != 0\00"
@.str.3 = [7 x i8] c"-1 + 1\00"
@.str.4 = [19 x i8] c"error: -4 + 5 != 1\00"
@.str.5 = [7 x i8] c"-4 + 5\00"
@.str.6 = [19 x i8] c"error: -4 + 4 != 0\00"
@.str.7 = [7 x i8] c"-4 + 4\00"
@.str.8 = [20 x i8] c"error: -6 + 5 != -1\00"
@.str.9 = [7 x i8] c"-6 + 5\00"
@.str.10 = [19 x i8] c"error: 5 + -4 != 1\00"
@.str.11 = [7 x i8] c"5 + -4\00"
@.str.12 = [19 x i8] c"error: 5 + -5 != 0\00"
@.str.13 = [7 x i8] c"5 + -5\00"
@.str.14 = [20 x i8] c"error: 5 + -6 != -1\00"
@.str.15 = [7 x i8] c"5 + -6\00"
@.str.16 = [19 x i8] c"error: 4 + 9 != 13\00"
@.str.17 = [6 x i8] c"4 + 9\00"
@INFINITY = global x86_fp80 0xK00000000000000000000
@.str.18 = [39 x i8] c"error: INFINITY + INFINITY != INFINITY\00"
@.str.19 = [20 x i8] c"INFINITY + INFINITY\00"
define i32 @main() {
%1 = alloca x86_fp80
%2 = alloca x86_fp80
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca x86_fp80
%6 = alloca x86_fp80
%7 = alloca x86_fp80
%8 = alloca x86_fp80
%9 = alloca x86_fp80
%10 = alloca x86_fp80
%11 = alloca x86_fp80
%12 = alloca x86_fp80
%13 = alloca x86_fp80
%14 = alloca x86_fp80
%15 = alloca x86_fp80
%16 = alloca x86_fp80
%17 = alloca x86_fp80
%18 = alloca x86_fp80
%19 = alloca x86_fp80
%20 = alloca x86_fp80
%21 = alloca x86_fp80
%22 = alloca x86_fp80
%23 = alloca x86_fp80
%24 = alloca x86_fp80
%25 = alloca x86_fp80
%26 = alloca x86_fp80
%27 = alloca x86_fp80
%28 = alloca x86_fp80
%29 = alloca x86_fp80
%30 = alloca x86_fp80
%31 = call i32 @memset(x86_fp80* %1, i32 0, i32 16)
%32 = call i32 @memset(x86_fp80* %2, i32 0, i32 16)
%33 = call i32 @memset(x86_fp80* %3, i32 0, i32 16)
store x86_fp80 0xK00000000000000000000, x86_fp80* %1
store x86_fp80 0xK00000000000000000000, x86_fp80* %2
%34 = load x86_fp80, x86_fp80* %1
%35 = load x86_fp80, x86_fp80* %2
%36 = fadd x86_fp80 %34, %35
store x86_fp80 %36, x86_fp80* %3
%37 = load x86_fp80, x86_fp80* %3
%38 = fcmp une x86_fp80 %37, 0xK00000000000000000000
br i1 %38, label %39, label %42
39: ; preds = %0
%40 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
%41 = call i32 (...) @abort()
unreachable
42: ; preds = %0
%43 = call i32 @printfp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), x86_fp80* %3)
%44 = call i32 @memset(x86_fp80* %4, i32 0, i32 16)
%45 = call i32 @memset(x86_fp80* %5, i32 0, i32 16)
%46 = call i32 @memset(x86_fp80* %6, i32 0, i32 16)
store x86_fp80 0xKBFFF8000000000000000, x86_fp80* %4
store x86_fp80 0xK3FFF8000000000000000, x86_fp80* %5
%47 = load x86_fp80, x86_fp80* %4
%48 = load x86_fp80, x86_fp80* %5
%49 = fadd x86_fp80 %47, %48
store x86_fp80 %49, x86_fp80* %6
%50 = load x86_fp80, x86_fp80* %6
%51 = fcmp une x86_fp80 %50, 0xK00000000000000000000
br i1 %51, label %52, label %55
52: ; preds = %42
%53 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.2, i64 0, i64 0))
%54 = call i32 (...) @abort()
unreachable
55: ; preds = %42
%56 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), x86_fp80* %6)
%57 = call i32 @memset(x86_fp80* %7, i32 0, i32 16)
%58 = call i32 @memset(x86_fp80* %8, i32 0, i32 16)
%59 = call i32 @memset(x86_fp80* %9, i32 0, i32 16)
store x86_fp80 0xKC0018000000000000000, x86_fp80* %7
store x86_fp80 0xK4001A000000000000000, x86_fp80* %8
%60 = load x86_fp80, x86_fp80* %7
%61 = load x86_fp80, x86_fp80* %8
%62 = fadd x86_fp80 %60, %61
store x86_fp80 %62, x86_fp80* %9
%63 = load x86_fp80, x86_fp80* %9
%64 = fcmp une x86_fp80 %63, 0xK3FFF8000000000000000
br i1 %64, label %65, label %68
65: ; preds = %55
%66 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.4, i64 0, i64 0))
%67 = call i32 (...) @abort()
unreachable
68: ; preds = %55
%69 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), x86_fp80* %9)
%70 = call i32 @memset(x86_fp80* %10, i32 0, i32 16)
%71 = call i32 @memset(x86_fp80* %11, i32 0, i32 16)
%72 = call i32 @memset(x86_fp80* %12, i32 0, i32 16)
store x86_fp80 0xKC0018000000000000000, x86_fp80* %10
store x86_fp80 0xK40018000000000000000, x86_fp80* %11
%73 = load x86_fp80, x86_fp80* %10
%74 = load x86_fp80, x86_fp80* %11
%75 = fadd x86_fp80 %73, %74
store x86_fp80 %75, x86_fp80* %12
%76 = load x86_fp80, x86_fp80* %12
%77 = fcmp une x86_fp80 %76, 0xK00000000000000000000
br i1 %77, label %78, label %81
78: ; preds = %68
%79 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0))
%80 = call i32 (...) @abort()
unreachable
81: ; preds = %68
%82 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), x86_fp80* %12)
%83 = call i32 @memset(x86_fp80* %13, i32 0, i32 16)
%84 = call i32 @memset(x86_fp80* %14, i32 0, i32 16)
%85 = call i32 @memset(x86_fp80* %15, i32 0, i32 16)
store x86_fp80 0xKC001C000000000000000, x86_fp80* %13
store x86_fp80 0xK4001A000000000000000, x86_fp80* %14
%86 = load x86_fp80, x86_fp80* %13
%87 = load x86_fp80, x86_fp80* %14
%88 = fadd x86_fp80 %86, %87
store x86_fp80 %88, x86_fp80* %15
%89 = load x86_fp80, x86_fp80* %15
%90 = fcmp une x86_fp80 %89, 0xKBFFF8000000000000000
br i1 %90, label %91, label %94
91: ; preds = %81
%92 = call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.8, i64 0, i64 0))
%93 = call i32 (...) @abort()
unreachable
94: ; preds = %81
%95 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.9, i64 0, i64 0), x86_fp80* %15)
%96 = call i32 @memset(x86_fp80* %16, i32 0, i32 16)
%97 = call i32 @memset(x86_fp80* %17, i32 0, i32 16)
%98 = call i32 @memset(x86_fp80* %18, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %16
store x86_fp80 0xKC0018000000000000000, x86_fp80* %17
%99 = load x86_fp80, x86_fp80* %16
%100 = load x86_fp80, x86_fp80* %17
%101 = fadd x86_fp80 %99, %100
store x86_fp80 %101, x86_fp80* %18
%102 = load x86_fp80, x86_fp80* %18
%103 = fcmp une x86_fp80 %102, 0xK3FFF8000000000000000
br i1 %103, label %104, label %107
104: ; preds = %94
%105 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.10, i64 0, i64 0))
%106 = call i32 (...) @abort()
unreachable
107: ; preds = %94
%108 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), x86_fp80* %18)
%109 = call i32 @memset(x86_fp80* %19, i32 0, i32 16)
%110 = call i32 @memset(x86_fp80* %20, i32 0, i32 16)
%111 = call i32 @memset(x86_fp80* %21, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %19
store x86_fp80 0xKC001A000000000000000, x86_fp80* %20
%112 = load x86_fp80, x86_fp80* %19
%113 = load x86_fp80, x86_fp80* %20
%114 = fadd x86_fp80 %112, %113
store x86_fp80 %114, x86_fp80* %21
%115 = load x86_fp80, x86_fp80* %21
%116 = fcmp une x86_fp80 %115, 0xK00000000000000000000
br i1 %116, label %117, label %120
117: ; preds = %107
%118 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.12, i64 0, i64 0))
%119 = call i32 (...) @abort()
unreachable
120: ; preds = %107
%121 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), x86_fp80* %21)
%122 = call i32 @memset(x86_fp80* %22, i32 0, i32 16)
%123 = call i32 @memset(x86_fp80* %23, i32 0, i32 16)
%124 = call i32 @memset(x86_fp80* %24, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %22
store x86_fp80 0xKC001C000000000000000, x86_fp80* %23
%125 = load x86_fp80, x86_fp80* %22
%126 = load x86_fp80, x86_fp80* %23
%127 = fadd x86_fp80 %125, %126
store x86_fp80 %127, x86_fp80* %24
%128 = load x86_fp80, x86_fp80* %24
%129 = fcmp une x86_fp80 %128, 0xKBFFF8000000000000000
br i1 %129, label %130, label %133
130: ; preds = %120
%131 = call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.14, i64 0, i64 0))
%132 = call i32 (...) @abort()
unreachable
133: ; preds = %120
%134 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0), x86_fp80* %24)
%135 = call i32 @memset(x86_fp80* %25, i32 0, i32 16)
%136 = call i32 @memset(x86_fp80* %26, i32 0, i32 16)
%137 = call i32 @memset(x86_fp80* %27, i32 0, i32 16)
store x86_fp80 0xK40018000000000000000, x86_fp80* %25
store x86_fp80 0xK40029000000000000000, x86_fp80* %26
%138 = load x86_fp80, x86_fp80* %25
%139 = load x86_fp80, x86_fp80* %26
%140 = fadd x86_fp80 %138, %139
store x86_fp80 %140, x86_fp80* %27
%141 = load x86_fp80, x86_fp80* %27
%142 = fcmp une x86_fp80 %141, 0xK4002D000000000000000
br i1 %142, label %143, label %146
143: ; preds = %133
%144 = call i32 @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.16, i64 0, i64 0))
%145 = call i32 (...) @abort()
unreachable
146: ; preds = %133
%147 = call i32 @printfp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), x86_fp80* %27)
%148 = call i32 @memset(x86_fp80* %28, i32 0, i32 16)
%149 = call i32 @memset(x86_fp80* %29, i32 0, i32 16)
%150 = call i32 @memset(x86_fp80* %30, i32 0, i32 16)
%151 = load x86_fp80, x86_fp80* @INFINITY
store x86_fp80 %151, x86_fp80* %28
%152 = load x86_fp80, x86_fp80* @INFINITY
store x86_fp80 %152, x86_fp80* %29
%153 = load x86_fp80, x86_fp80* %28
%154 = load x86_fp80, x86_fp80* %29
%155 = fadd x86_fp80 %153, %154
store x86_fp80 %155, x86_fp80* %30
%156 = load x86_fp80, x86_fp80* %30
%157 = load x86_fp80, x86_fp80* @INFINITY
%158 = fcmp une x86_fp80 %156, %157
br i1 %158, label %159, label %162
159: ; preds = %146
%160 = call i32 @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.18, i64 0, i64 0))
%161 = call i32 (...) @abort()
unreachable
162: ; preds = %146
%163 = call i32 @printfp(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.19, i64 0, i64 0), x86_fp80* %30)
ret i32 0
}

LLVM IR (-O2):
@.str.1 = [6 x i8] c"0 + 0\00"
@.str.3 = [7 x i8] c"-1 + 1\00"
@.str.5 = [7 x i8] c"-4 + 5\00"
@.str.7 = [7 x i8] c"-4 + 4\00"
@.str.9 = [7 x i8] c"-6 + 5\00"
@.str.11 = [7 x i8] c"5 + -4\00"
@.str.13 = [7 x i8] c"5 + -5\00"
@.str.15 = [7 x i8] c"5 + -6\00"
@.str.17 = [6 x i8] c"4 + 9\00"
@INFINITY = global x86_fp80 0xK00000000000000000000
@.str.18 = [39 x i8] c"error: INFINITY + INFINITY != INFINITY\00"
@.str.19 = [20 x i8] c"INFINITY + INFINITY\00"
define i32 @main() {
%1 = alloca x86_fp80
%2 = alloca x86_fp80
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca x86_fp80
%6 = alloca x86_fp80
%7 = alloca x86_fp80
%8 = alloca x86_fp80
%9 = alloca x86_fp80
%10 = alloca x86_fp80
%11 = alloca x86_fp80
%12 = alloca x86_fp80
%13 = alloca x86_fp80
%14 = alloca x86_fp80
%15 = alloca x86_fp80
%16 = alloca x86_fp80
%17 = alloca x86_fp80
%18 = alloca x86_fp80
%19 = alloca x86_fp80
%20 = alloca x86_fp80
%21 = alloca x86_fp80
%22 = alloca x86_fp80
%23 = alloca x86_fp80
%24 = alloca x86_fp80
%25 = alloca x86_fp80
%26 = alloca x86_fp80
%27 = alloca x86_fp80
%28 = alloca x86_fp80
%29 = alloca x86_fp80
%30 = alloca x86_fp80
%31 = bitcast x86_fp80* %1 to i8*
%32 = bitcast x86_fp80* %2 to i8*
%33 = bitcast x86_fp80* %3 to i8*
%34 = call i32 @memset(x86_fp80* %1, i32 0, i32 16)
%35 = call i32 @memset(x86_fp80* %2, i32 0, i32 16)
%36 = call i32 @memset(x86_fp80* %3, i32 0, i32 16)
store x86_fp80 0xK00000000000000000000, x86_fp80* %1
store x86_fp80 0xK00000000000000000000, x86_fp80* %2
store x86_fp80 0xK00000000000000000000, x86_fp80* %3
%37 = call i32 @printfp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), x86_fp80* %3)
%38 = bitcast x86_fp80* %4 to i8*
%39 = bitcast x86_fp80* %5 to i8*
%40 = bitcast x86_fp80* %6 to i8*
%41 = call i32 @memset(x86_fp80* %4, i32 0, i32 16)
%42 = call i32 @memset(x86_fp80* %5, i32 0, i32 16)
%43 = call i32 @memset(x86_fp80* %6, i32 0, i32 16)
store x86_fp80 0xKBFFF8000000000000000, x86_fp80* %4
store x86_fp80 0xK3FFF8000000000000000, x86_fp80* %5
store x86_fp80 0xK00000000000000000000, x86_fp80* %6
%44 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), x86_fp80* %6)
%45 = bitcast x86_fp80* %7 to i8*
%46 = bitcast x86_fp80* %8 to i8*
%47 = bitcast x86_fp80* %9 to i8*
%48 = call i32 @memset(x86_fp80* %7, i32 0, i32 16)
%49 = call i32 @memset(x86_fp80* %8, i32 0, i32 16)
%50 = call i32 @memset(x86_fp80* %9, i32 0, i32 16)
store x86_fp80 0xKC0018000000000000000, x86_fp80* %7
store x86_fp80 0xK4001A000000000000000, x86_fp80* %8
store x86_fp80 0xK3FFF8000000000000000, x86_fp80* %9
%51 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), x86_fp80* %9)
%52 = bitcast x86_fp80* %10 to i8*
%53 = bitcast x86_fp80* %11 to i8*
%54 = bitcast x86_fp80* %12 to i8*
%55 = call i32 @memset(x86_fp80* %10, i32 0, i32 16)
%56 = call i32 @memset(x86_fp80* %11, i32 0, i32 16)
%57 = call i32 @memset(x86_fp80* %12, i32 0, i32 16)
store x86_fp80 0xKC0018000000000000000, x86_fp80* %10
store x86_fp80 0xK40018000000000000000, x86_fp80* %11
store x86_fp80 0xK00000000000000000000, x86_fp80* %12
%58 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), x86_fp80* %12)
%59 = bitcast x86_fp80* %13 to i8*
%60 = bitcast x86_fp80* %14 to i8*
%61 = bitcast x86_fp80* %15 to i8*
%62 = call i32 @memset(x86_fp80* %13, i32 0, i32 16)
%63 = call i32 @memset(x86_fp80* %14, i32 0, i32 16)
%64 = call i32 @memset(x86_fp80* %15, i32 0, i32 16)
store x86_fp80 0xKC001C000000000000000, x86_fp80* %13
store x86_fp80 0xK4001A000000000000000, x86_fp80* %14
store x86_fp80 0xKBFFF8000000000000000, x86_fp80* %15
%65 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.9, i64 0, i64 0), x86_fp80* %15)
%66 = bitcast x86_fp80* %16 to i8*
%67 = bitcast x86_fp80* %17 to i8*
%68 = bitcast x86_fp80* %18 to i8*
%69 = call i32 @memset(x86_fp80* %16, i32 0, i32 16)
%70 = call i32 @memset(x86_fp80* %17, i32 0, i32 16)
%71 = call i32 @memset(x86_fp80* %18, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %16
store x86_fp80 0xKC0018000000000000000, x86_fp80* %17
store x86_fp80 0xK3FFF8000000000000000, x86_fp80* %18
%72 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), x86_fp80* %18)
%73 = bitcast x86_fp80* %19 to i8*
%74 = bitcast x86_fp80* %20 to i8*
%75 = bitcast x86_fp80* %21 to i8*
%76 = call i32 @memset(x86_fp80* %19, i32 0, i32 16)
%77 = call i32 @memset(x86_fp80* %20, i32 0, i32 16)
%78 = call i32 @memset(x86_fp80* %21, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %19
store x86_fp80 0xKC001A000000000000000, x86_fp80* %20
store x86_fp80 0xK00000000000000000000, x86_fp80* %21
%79 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), x86_fp80* %21)
%80 = bitcast x86_fp80* %22 to i8*
%81 = bitcast x86_fp80* %23 to i8*
%82 = bitcast x86_fp80* %24 to i8*
%83 = call i32 @memset(x86_fp80* %22, i32 0, i32 16)
%84 = call i32 @memset(x86_fp80* %23, i32 0, i32 16)
%85 = call i32 @memset(x86_fp80* %24, i32 0, i32 16)
store x86_fp80 0xK4001A000000000000000, x86_fp80* %22
store x86_fp80 0xKC001C000000000000000, x86_fp80* %23
store x86_fp80 0xKBFFF8000000000000000, x86_fp80* %24
%86 = call i32 @printfp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0), x86_fp80* %24)
%87 = bitcast x86_fp80* %25 to i8*
%88 = bitcast x86_fp80* %26 to i8*
%89 = bitcast x86_fp80* %27 to i8*
%90 = call i32 @memset(x86_fp80* %25, i32 0, i32 16)
%91 = call i32 @memset(x86_fp80* %26, i32 0, i32 16)
%92 = call i32 @memset(x86_fp80* %27, i32 0, i32 16)
store x86_fp80 0xK40018000000000000000, x86_fp80* %25
store x86_fp80 0xK40029000000000000000, x86_fp80* %26
store x86_fp80 0xK4002D000000000000000, x86_fp80* %27
%93 = call i32 @printfp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.17, i64 0, i64 0), x86_fp80* %27)
%94 = bitcast x86_fp80* %28 to i8*
%95 = bitcast x86_fp80* %29 to i8*
%96 = bitcast x86_fp80* %30 to i8*
%97 = call i32 @memset(x86_fp80* %28, i32 0, i32 16)
%98 = call i32 @memset(x86_fp80* %29, i32 0, i32 16)
%99 = call i32 @memset(x86_fp80* %30, i32 0, i32 16)
%100 = load x86_fp80, x86_fp80* @INFINITY
store x86_fp80 %100, x86_fp80* %28
store x86_fp80 %100, x86_fp80* %29
%101 = fadd x86_fp80 %100, %100
store x86_fp80 %101, x86_fp80* %30
%102 = fcmp une x86_fp80 %101, %100
br i1 %102, label %103, label %106
103: ; preds = %0
%104 = call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @.str.18, i64 0, i64 0))
%105 = call i32 (...) @abort()
unreachable
106: ; preds = %0
%107 = call i32 @printfp(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.19, i64 0, i64 0), x86_fp80* %30)
ret i32 0
}