#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 */

/* Variables and functions */
double INFINITY;
double NAN;
scalar_t__ isinf(double);
double volatile log(double volatile);
double pow(double volatile, double volatile);
int printf(char *, ...);
double sqrt(double volatile);
int test_defined(void) {
  int errs = 0;
  volatile double x;
  volatile double y;
  volatile double z;
  printf("Checking lib calls that take NaN, etc, but return non-NaN.\n");
  x = 0.0;
  y = 1.0;
  errs += (pow(x, x) == y)
              ? 0
              : (printf("ERROR %f != %f at %d\n", pow(x, x), y, 114), 1);
  z = NAN;
  errs += (pow(z, x) == y)
              ? 0
              : (printf("ERROR %f != %f at %d\n", pow(z, x), y, 116), 1);
  z = INFINITY;
  errs += (pow(z, x) == y)
              ? 0
              : (printf("ERROR %f != %f at %d\n", pow(z, x), y, 118), 1);
  errs += isinf(sqrt(z))
              ? 0
              : (printf("ERROR %f != Inf at %d\n", (double)sqrt(z), 120), 1);
  x = -0.0;
  errs += (sqrt(x) == x)
              ? 0
              : (printf("ERROR %f != %f at %d\n", sqrt(x), x, 122), 1);
  x = INFINITY;
  y = 2.0;
  errs += isinf(pow(x, y))
              ? 0
              : (printf("ERROR %f != Inf at %d\n", (double)pow(x, y), 124), 1);
  x = 0.0;
  y = -INFINITY;
  errs += (log(x) == y)
              ? 0
              : (printf("ASSERT true failed! %d at %d\n", log(x) == y, 126), 1);
  return errs;
}


x86 assembly (clang, -O0):
<test_defined>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeb2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xe83(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    11b0 <test_defined+0x60>
jp     11b0 <test_defined+0x60>
xor    %eax,%eax
mov    %eax,-0x24(%rbp)
jmp    11df <test_defined+0x8f>
movsd  -0x10(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
lea    0xe89(%rip),%rdi
mov    $0x72,%esi
mov    $0x2,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    0x2e09(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    1226 <test_defined+0xd6>
jp     1226 <test_defined+0xd6>
xor    %eax,%eax
mov    %eax,-0x28(%rbp)
jmp    1255 <test_defined+0x105>
movsd  -0x20(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
lea    0xe13(%rip),%rdi
mov    $0x74,%esi
mov    $0x2,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    0x2d7b(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    129c <test_defined+0x14c>
jp     129c <test_defined+0x14c>
xor    %eax,%eax
mov    %eax,-0x2c(%rbp)
jmp    12cb <test_defined+0x17b>
movsd  -0x20(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
call   1050 <pow@plt>
movsd  -0x18(%rbp),%xmm1
lea    0xd9d(%rip),%rdi
mov    $0x76,%esi
mov    $0x2,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
movsd  -0x20(%rbp),%xmm0
call   1060 <sqrt@plt>
call   1070 <isinf@plt>
cmp    $0x0,%rax
je     12f7 <test_defined+0x1a7>
xor    %eax,%eax
mov    %eax,-0x30(%rbp)
jmp    131c <test_defined+0x1cc>
movsd  -0x20(%rbp),%xmm0
call   1060 <sqrt@plt>
lea    0xd62(%rip),%rdi
mov    $0x78,%esi
mov    $0x1,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
movsd  0xcdb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  -0x10(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    135b <test_defined+0x20b>
jp     135b <test_defined+0x20b>
xor    %eax,%eax
mov    %eax,-0x34(%rbp)
jmp    1385 <test_defined+0x235>
movsd  -0x10(%rbp),%xmm0
call   1060 <sqrt@plt>
movsd  -0x10(%rbp),%xmm1
lea    0xce3(%rip),%rdi
mov    $0x7a,%esi
mov    $0x2,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    0x2c4b(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xc6a(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
call   1050 <pow@plt>
call   1070 <isinf@plt>
cmp    $0x0,%rax
je     13d3 <test_defined+0x283>
xor    %eax,%eax
mov    %eax,-0x38(%rbp)
jmp    13fd <test_defined+0x2ad>
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
call   1050 <pow@plt>
lea    0xc81(%rip),%rdi
mov    $0x7c,%esi
mov    $0x1,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    0x2bcb(%rip),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <log@plt>
movsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jne    145e <test_defined+0x30e>
jp     145e <test_defined+0x30e>
xor    %eax,%eax
mov    %eax,-0x3c(%rbp)
jmp    1499 <test_defined+0x349>
movsd  -0x10(%rbp),%xmm0
call   1040 <log@plt>
movsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%esi
lea    0xbfc(%rip),%rdi
mov    $0x7e,%edx
mov    $0x0,%al
call   1030 <printf@plt>
mov    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_defined>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
lea    0xee6(%rip),%rdi
call   1030 <puts@plt>
movq   $0x0,0x8(%rsp)
movabs $0x3ff0000000000000,%rax
mov    %rax,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
xor    %ebx,%ebx
ucomisd 0x10(%rsp),%xmm0
mov    $0x0,%eax
jne    11b4 <test_defined+0x54>
jnp    11e3 <test_defined+0x83>
movsd  0x8(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
movsd  0x10(%rsp),%xmm1
lea    0xe3e(%rip),%rdi
mov    $0x72,%esi
mov    $0x2,%al
call   1040 <printf@plt>
mov    $0x1,%eax
mov    %eax,0x24(%rsp)
mov    0x2e0a(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  0x18(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
ucomisd 0x10(%rsp),%xmm0
jne    1213 <test_defined+0xb3>
jnp    1242 <test_defined+0xe2>
movsd  0x18(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
movsd  0x10(%rsp),%xmm1
lea    0xddf(%rip),%rdi
mov    $0x74,%esi
mov    $0x2,%al
call   1040 <printf@plt>
mov    $0x1,%ebx
mov    0x2d97(%rip),%r15
movsd  (%r15),%xmm0
movsd  %xmm0,0x18(%rsp)
movsd  0x18(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
xor    %r12d,%r12d
ucomisd 0x10(%rsp),%xmm0
jne    1272 <test_defined+0x112>
jnp    12a2 <test_defined+0x142>
movsd  0x18(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
call   1060 <pow@plt>
movsd  0x10(%rsp),%xmm1
lea    0xd80(%rip),%rdi
mov    $0x76,%esi
mov    $0x2,%al
call   1040 <printf@plt>
mov    $0x1,%r12d
movsd  0x18(%rsp),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     12b8 <test_defined+0x158>
sqrtsd %xmm0,%xmm0
jmp    12bd <test_defined+0x15d>
call   1070 <sqrt@plt>
call   1080 <isinf@plt>
xor    %r13d,%r13d
test   %rax,%rax
jne    12fe <test_defined+0x19e>
movsd  0x18(%rsp),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     12e0 <test_defined+0x180>
sqrtsd %xmm0,%xmm0
jmp    12e5 <test_defined+0x185>
call   1070 <sqrt@plt>
lea    0xd3a(%rip),%rdi
mov    $0x78,%esi
mov    $0x1,%al
call   1040 <printf@plt>
mov    $0x1,%r13d
movabs $0x8000000000000000,%rax
mov    %rax,0x8(%rsp)
movsd  0x8(%rsp),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1323 <test_defined+0x1c3>
sqrtsd %xmm0,%xmm0
jmp    1328 <test_defined+0x1c8>
call   1070 <sqrt@plt>
xor    %ebp,%ebp
ucomisd 0x8(%rsp),%xmm0
mov    $0x0,%r14d
jne    133a <test_defined+0x1da>
jnp    1374 <test_defined+0x214>
movsd  0x8(%rsp),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1350 <test_defined+0x1f0>
sqrtsd %xmm0,%xmm0
jmp    1355 <test_defined+0x1f5>
call   1070 <sqrt@plt>
movsd  0x8(%rsp),%xmm1
lea    0xcae(%rip),%rdi
mov    $0x7a,%esi
mov    $0x2,%al
call   1040 <printf@plt>
mov    $0x1,%r14d
movsd  (%r15),%xmm0
movsd  %xmm0,0x8(%rsp)
movabs $0x4000000000000000,%rax
mov    %rax,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
call   1060 <pow@plt>
call   1080 <isinf@plt>
test   %rax,%rax
jne    13d2 <test_defined+0x272>
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
call   1060 <pow@plt>
lea    0xc65(%rip),%rdi
mov    $0x7c,%esi
mov    $0x1,%al
call   1040 <printf@plt>
mov    $0x1,%ebp
movq   $0x0,0x8(%rsp)
movsd  (%r15),%xmm0
xorps  0xc19(%rip),%xmm0
movlps %xmm0,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
call   1050 <log@plt>
xor    %eax,%eax
ucomisd 0x10(%rsp),%xmm0
jne    1403 <test_defined+0x2a3>
jnp    1435 <test_defined+0x2d5>
movsd  0x8(%rsp),%xmm0
call   1050 <log@plt>
cmpeqsd 0x10(%rsp),%xmm0
movq   %xmm0,%rsi
and    $0x1,%esi
lea    0xc19(%rip),%rdi
mov    $0x7e,%edx
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x1,%eax
add    0x24(%rsp),%ebx
add    %r12d,%ebx
add    %r13d,%ebx
add    %r14d,%ebx
add    %ebp,%ebx
add    %eax,%ebx
mov    %ebx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [60 x i8] c"Checking lib calls that take NaN, etc, but return non-NaN.\0A\00"
@.str.1 = [22 x i8] c"ERROR %f != %f at %d\0A\00"
@NAN = global double 0.000000e+00
@INFINITY = global double 0.000000e+00
@.str.2 = [23 x i8] c"ERROR %f != Inf at %d\0A\00"
@.str.3 = [30 x i8] c"ASSERT true failed! %d at %d\0A\00"
define i32 @test_defined() {
%1 = alloca i32
%2 = alloca double
%3 = alloca double
%4 = alloca double
store i32 0, i32* %1
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str, i64 0, i64 0))
store volatile double 0.000000e+00, double* %2
store volatile double 1.000000e+00, double* %3
%6 = load volatile double, double* %2
%7 = load volatile double, double* %2
%8 = call double @pow(double %6, double %7)
%9 = load volatile double, double* %3
%10 = fcmp oeq double %8, %9
br i1 %10, label %11, label %12
11: ; preds = %0
br label %18
12: ; preds = %0
%13 = load volatile double, double* %2
%14 = load volatile double, double* %2
%15 = call double @pow(double %13, double %14)
%16 = load volatile double, double* %3
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %15, double %16, i32 114)
br label %18
18: ; preds = %12, %11
%19 = phi i32 [ 0, %11 ], [ 1, %12 ]
%20 = load i32, i32* %1
%21 = add nsw i32 %20, %19
store i32 %21, i32* %1
%22 = load double, double* @NAN
store volatile double %22, double* %4
%23 = load volatile double, double* %4
%24 = load volatile double, double* %2
%25 = call double @pow(double %23, double %24)
%26 = load volatile double, double* %3
%27 = fcmp oeq double %25, %26
br i1 %27, label %28, label %29
28: ; preds = %18
br label %35
29: ; preds = %18
%30 = load volatile double, double* %4
%31 = load volatile double, double* %2
%32 = call double @pow(double %30, double %31)
%33 = load volatile double, double* %3
%34 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %32, double %33, i32 116)
br label %35
35: ; preds = %29, %28
%36 = phi i32 [ 0, %28 ], [ 1, %29 ]
%37 = load i32, i32* %1
%38 = add nsw i32 %37, %36
store i32 %38, i32* %1
%39 = load double, double* @INFINITY
store volatile double %39, double* %4
%40 = load volatile double, double* %4
%41 = load volatile double, double* %2
%42 = call double @pow(double %40, double %41)
%43 = load volatile double, double* %3
%44 = fcmp oeq double %42, %43
br i1 %44, label %45, label %46
45: ; preds = %35
br label %52
46: ; preds = %35
%47 = load volatile double, double* %4
%48 = load volatile double, double* %2
%49 = call double @pow(double %47, double %48)
%50 = load volatile double, double* %3
%51 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %49, double %50, i32 118)
br label %52
52: ; preds = %46, %45
%53 = phi i32 [ 0, %45 ], [ 1, %46 ]
%54 = load i32, i32* %1
%55 = add nsw i32 %54, %53
store i32 %55, i32* %1
%56 = load volatile double, double* %4
%57 = call double @sqrt(double %56)
%58 = call i64 @isinf(double %57)
%59 = icmp ne i64 %58, 0
br i1 %59, label %60, label %61
60: ; preds = %52
br label %65
61: ; preds = %52
%62 = load volatile double, double* %4
%63 = call double @sqrt(double %62)
%64 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), double %63, i32 120)
br label %65
65: ; preds = %61, %60
%66 = phi i32 [ 0, %60 ], [ 1, %61 ]
%67 = load i32, i32* %1
%68 = add nsw i32 %67, %66
store i32 %68, i32* %1
store volatile double -0.000000e+00, double* %2
%69 = load volatile double, double* %2
%70 = call double @sqrt(double %69)
%71 = load volatile double, double* %2
%72 = fcmp oeq double %70, %71
br i1 %72, label %73, label %74
73: ; preds = %65
br label %79
74: ; preds = %65
%75 = load volatile double, double* %2
%76 = call double @sqrt(double %75)
%77 = load volatile double, double* %2
%78 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %76, double %77, i32 122)
br label %79
79: ; preds = %74, %73
%80 = phi i32 [ 0, %73 ], [ 1, %74 ]
%81 = load i32, i32* %1
%82 = add nsw i32 %81, %80
store i32 %82, i32* %1
%83 = load double, double* @INFINITY
store volatile double %83, double* %2
store volatile double 2.000000e+00, double* %3
%84 = load volatile double, double* %2
%85 = load volatile double, double* %3
%86 = call double @pow(double %84, double %85)
%87 = call i64 @isinf(double %86)
%88 = icmp ne i64 %87, 0
br i1 %88, label %89, label %90
89: ; preds = %79
br label %95
90: ; preds = %79
%91 = load volatile double, double* %2
%92 = load volatile double, double* %3
%93 = call double @pow(double %91, double %92)
%94 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), double %93, i32 124)
br label %95
95: ; preds = %90, %89
%96 = phi i32 [ 0, %89 ], [ 1, %90 ]
%97 = load i32, i32* %1
%98 = add nsw i32 %97, %96
store i32 %98, i32* %1
store volatile double 0.000000e+00, double* %2
%99 = load double, double* @INFINITY
%100 = fneg double %99
store volatile double %100, double* %3
%101 = load volatile double, double* %2
%102 = call double @log(double %101)
%103 = load volatile double, double* %3
%104 = fcmp oeq double %102, %103
br i1 %104, label %105, label %106
105: ; preds = %95
br label %113
106: ; preds = %95
%107 = load volatile double, double* %2
%108 = call double @log(double %107)
%109 = load volatile double, double* %3
%110 = fcmp oeq double %108, %109
%111 = zext i1 %110 to i32
%112 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.3, i64 0, i64 0), i32 %111, i32 126)
br label %113
113: ; preds = %106, %105
%114 = phi i32 [ 0, %105 ], [ 1, %106 ]
%115 = load i32, i32* %1
%116 = add nsw i32 %115, %114
store i32 %116, i32* %1
%117 = load i32, i32* %1
ret i32 %117
}

LLVM IR (-O2):
@.str.1 = [22 x i8] c"ERROR %f != %f at %d\0A\00"
@NAN = global double 0.000000e+00
@INFINITY = global double 0.000000e+00
@.str.2 = [23 x i8] c"ERROR %f != Inf at %d\0A\00"
@.str.3 = [30 x i8] c"ASSERT true failed! %d at %d\0A\00"
@str = [59 x i8] c"Checking lib calls that take NaN, etc, but return non-NaN.\00"
define i32 @test_defined() {
%1 = alloca double
%2 = alloca double
%3 = alloca double
%4 = bitcast double* %1 to i8*
%5 = bitcast double* %2 to i8*
%6 = bitcast double* %3 to i8*
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str, i64 0, i64 0))
store volatile double 0.000000e+00, double* %1
store volatile double 1.000000e+00, double* %2
%8 = load volatile double, double* %1
%9 = load volatile double, double* %1
%10 = tail call double @pow(double %8, double %9)
%11 = load volatile double, double* %2
%12 = fcmp oeq double %10, %11
br i1 %12, label %19, label %13
13: ; preds = %0
%14 = load volatile double, double* %1
%15 = load volatile double, double* %1
%16 = tail call double @pow(double %14, double %15)
%17 = load volatile double, double* %2
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %16, double %17, i32 114)
br label %19
19: ; preds = %0, %13
%20 = phi i32 [ 1, %13 ], [ 0, %0 ]
%21 = load double, double* @NAN
store volatile double %21, double* %3
%22 = load volatile double, double* %3
%23 = load volatile double, double* %1
%24 = tail call double @pow(double %22, double %23)
%25 = load volatile double, double* %2
%26 = fcmp oeq double %24, %25
br i1 %26, label %33, label %27
27: ; preds = %19
%28 = load volatile double, double* %3
%29 = load volatile double, double* %1
%30 = tail call double @pow(double %28, double %29)
%31 = load volatile double, double* %2
%32 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %30, double %31, i32 116)
br label %33
33: ; preds = %19, %27
%34 = phi i32 [ 1, %27 ], [ 0, %19 ]
%35 = load double, double* @INFINITY
store volatile double %35, double* %3
%36 = load volatile double, double* %3
%37 = load volatile double, double* %1
%38 = tail call double @pow(double %36, double %37)
%39 = load volatile double, double* %2
%40 = fcmp oeq double %38, %39
br i1 %40, label %47, label %41
41: ; preds = %33
%42 = load volatile double, double* %3
%43 = load volatile double, double* %1
%44 = tail call double @pow(double %42, double %43)
%45 = load volatile double, double* %2
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %44, double %45, i32 118)
br label %47
47: ; preds = %33, %41
%48 = phi i32 [ 1, %41 ], [ 0, %33 ]
%49 = load volatile double, double* %3
%50 = tail call double @sqrt(double %49)
%51 = tail call i64 @isinf(double %50)
%52 = icmp eq i64 %51, 0
br i1 %52, label %53, label %57
53: ; preds = %47
%54 = load volatile double, double* %3
%55 = tail call double @sqrt(double %54)
%56 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), double %55, i32 120)
br label %57
57: ; preds = %47, %53
%58 = phi i32 [ 1, %53 ], [ 0, %47 ]
store volatile double -0.000000e+00, double* %1
%59 = load volatile double, double* %1
%60 = tail call double @sqrt(double %59)
%61 = load volatile double, double* %1
%62 = fcmp oeq double %60, %61
br i1 %62, label %68, label %63
63: ; preds = %57
%64 = load volatile double, double* %1
%65 = tail call double @sqrt(double %64)
%66 = load volatile double, double* %1
%67 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), double %65, double %66, i32 122)
br label %68
68: ; preds = %57, %63
%69 = phi i32 [ 1, %63 ], [ 0, %57 ]
%70 = load double, double* @INFINITY
store volatile double %70, double* %1
store volatile double 2.000000e+00, double* %2
%71 = load volatile double, double* %1
%72 = load volatile double, double* %2
%73 = tail call double @pow(double %71, double %72)
%74 = tail call i64 @isinf(double %73)
%75 = icmp eq i64 %74, 0
br i1 %75, label %76, label %81
76: ; preds = %68
%77 = load volatile double, double* %1
%78 = load volatile double, double* %2
%79 = tail call double @pow(double %77, double %78)
%80 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), double %79, i32 124)
br label %81
81: ; preds = %68, %76
%82 = phi i32 [ 1, %76 ], [ 0, %68 ]
store volatile double 0.000000e+00, double* %1
%83 = load double, double* @INFINITY
%84 = fneg double %83
store volatile double %84, double* %2
%85 = load volatile double, double* %1
%86 = tail call double @log(double %85)
%87 = load volatile double, double* %2
%88 = fcmp oeq double %86, %87
br i1 %88, label %96, label %89
89: ; preds = %81
%90 = load volatile double, double* %1
%91 = tail call double @log(double %90)
%92 = load volatile double, double* %2
%93 = fcmp oeq double %91, %92
%94 = zext i1 %93 to i32
%95 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.3, i64 0, i64 0), i32 %94, i32 126)
br label %96
96: ; preds = %81, %89
%97 = phi i32 [ 1, %89 ], [ 0, %81 ]
%98 = add nuw nsw i32 %34, %20
%99 = add nuw nsw i32 %98, %48
%100 = add nuw nsw i32 %99, %58
%101 = add nuw nsw i32 %100, %69
%102 = add nuw nsw i32 %101, %82
%103 = add nuw nsw i32 %102, %97
ret i32 %103
}