#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 */
int /*<<< orphan*/ printf(char *, float, float, double);
double sin(float);
double sqrt(float);
int main() {
  float x = 0.1, y = (-1);
  while (x < 0.6) {
    while (y < 1.0) {
      printf("x=%.1f y=%.1f z=%.3f\n\n", x, y,
             (sin(x) + sin(y)) / (sqrt(x) + sqrt(y)));
      y += 0.2;
    }
    x += 0.1;
    y = (-1);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movss  0xebd(%rip),%xmm0
movss  %xmm0,-0x8(%rbp)
movss  0xeac(%rip),%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe9e(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1269 <main+0x139>
jmp    1179 <main+0x49>
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe86(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1239 <main+0x109>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x8(%rbp),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,-0x30(%rbp)
movss  -0xc(%rbp),%xmm0
call   1040 <sin@plt>
movaps %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movss  -0x8(%rbp),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,-0x28(%rbp)
movss  -0xc(%rbp),%xmm0
call   1050 <sqrt@plt>
movsd  -0x28(%rbp),%xmm3
movsd  -0x20(%rbp),%xmm2
movss  -0x14(%rbp),%xmm1
movaps %xmm0,%xmm4
movss  -0x10(%rbp),%xmm0
addsd  %xmm4,%xmm3
divsd  %xmm3,%xmm2
lea    0xe17(%rip),%rdi
call   1030 <printf@plt>
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdf9(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    1179 <main+0x49>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdce(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  0xda1(%rip),%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    1159 <main+0x29>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x20,%rsp
movss  0xec3(%rip),%xmm1
lea    0xee4(%rip),%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movss  0xe99(%rip),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movss  0x4(%rsp),%xmm0
call   1040 <sin@plt>
movsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movss  0xe6b(%rip),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,0x10(%rsp)
movss  0x4(%rsp),%xmm0
call   1050 <sqrt@plt>
addsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm2
divsd  %xmm0,%xmm2
mov    %rbx,%rdi
movss  0xe3a(%rip),%xmm0
movss  0x4(%rsp),%xmm1
call   1030 <printf@plt>
movsd  0xe43(%rip),%xmm0
movsd  0x18(%rsp),%xmm1
addsd  %xmm0,%xmm1
movss  0xe19(%rip),%xmm0
cvtsd2ss %xmm1,%xmm1
ucomiss %xmm1,%xmm0
ja     1150 <main+0x20>
movss  0xdfc(%rip),%xmm1
lea    0xe1d(%rip),%rbx
nopl   0x0(%rax,%rax,1)
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movss  0xde1(%rip),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movss  0x4(%rsp),%xmm0
call   1040 <sin@plt>
movsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movss  0xdb3(%rip),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,0x10(%rsp)
movss  0x4(%rsp),%xmm0
call   1050 <sqrt@plt>
addsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm2
divsd  %xmm0,%xmm2
mov    %rbx,%rdi
movss  0xd82(%rip),%xmm0
movss  0x4(%rsp),%xmm1
call   1030 <printf@plt>
movsd  0x18(%rsp),%xmm0
addsd  0xd7d(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movss  0xd56(%rip),%xmm0
ucomiss %xmm1,%xmm0
ja     1210 <main+0xe0>
movss  0xd3d(%rip),%xmm1
lea    0xd5e(%rip),%rbx
nopw   0x0(%rax,%rax,1)
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movss  0xd25(%rip),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movss  0x4(%rsp),%xmm0
call   1040 <sin@plt>
movsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movss  0xcf7(%rip),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,0x10(%rsp)
movss  0x4(%rsp),%xmm0
call   1050 <sqrt@plt>
addsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm2
divsd  %xmm0,%xmm2
mov    %rbx,%rdi
movss  0xcc6(%rip),%xmm0
movss  0x4(%rsp),%xmm1
call   1030 <printf@plt>
movsd  0x18(%rsp),%xmm0
addsd  0xcbd(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movss  0xc96(%rip),%xmm0
ucomiss %xmm1,%xmm0
ja     12d0 <main+0x1a0>
movss  0xc7d(%rip),%xmm1
lea    0xc9e(%rip),%rbx
nopw   0x0(%rax,%rax,1)
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movss  0xc69(%rip),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movss  0x4(%rsp),%xmm0
call   1040 <sin@plt>
movsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movss  0xc3b(%rip),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,0x10(%rsp)
movss  0x4(%rsp),%xmm0
call   1050 <sqrt@plt>
addsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm2
divsd  %xmm0,%xmm2
mov    %rbx,%rdi
movss  0xc0a(%rip),%xmm0
movss  0x4(%rsp),%xmm1
call   1030 <printf@plt>
movsd  0x18(%rsp),%xmm0
addsd  0xbfd(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movss  0xbd6(%rip),%xmm0
ucomiss %xmm1,%xmm0
ja     1390 <main+0x260>
movss  0xbbd(%rip),%xmm1
lea    0xbde(%rip),%rbx
nopw   0x0(%rax,%rax,1)
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movsd  %xmm0,0x18(%rsp)
movss  0xbad(%rip),%xmm0
call   1040 <sin@plt>
movsd  %xmm0,0x8(%rsp)
movss  0x4(%rsp),%xmm0
call   1040 <sin@plt>
movsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movss  0xb7f(%rip),%xmm0
call   1050 <sqrt@plt>
movsd  %xmm0,0x10(%rsp)
movss  0x4(%rsp),%xmm0
call   1050 <sqrt@plt>
addsd  0x10(%rsp),%xmm0
movsd  0x8(%rsp),%xmm2
divsd  %xmm0,%xmm2
mov    %rbx,%rdi
movss  0xb4e(%rip),%xmm0
movss  0x4(%rsp),%xmm1
call   1030 <printf@plt>
movsd  0x18(%rsp),%xmm0
addsd  0xb3d(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movss  0xb16(%rip),%xmm0
ucomiss %xmm1,%xmm0
ja     1450 <main+0x320>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@.str = [23 x i8] c"x=%.1f y=%.1f z=%.3f\0A\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca float
%3 = alloca float
store i32 0, i32* %1
store float 0x3FB99999A0000000, float* %2
store float -1.000000e+00, float* %3
br label %4
4: ; preds = %32, %0
%5 = load float, float* %2
%6 = fpext float %5 to double
%7 = fcmp olt double %6, 6.000000e-01
br i1 %7, label %8, label %37
8: ; preds = %4
br label %9
9: ; preds = %13, %8
%10 = load float, float* %3
%11 = fpext float %10 to double
%12 = fcmp olt double %11, 1.000000e+00
br i1 %12, label %13, label %32
13: ; preds = %9
%14 = load float, float* %2
%15 = load float, float* %3
%16 = load float, float* %2
%17 = call double @sin(float %16)
%18 = load float, float* %3
%19 = call double @sin(float %18)
%20 = fadd double %17, %19
%21 = load float, float* %2
%22 = call double @sqrt(float %21)
%23 = load float, float* %3
%24 = call double @sqrt(float %23)
%25 = fadd double %22, %24
%26 = fdiv double %20, %25
%27 = call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float %14, float %15, double %26)
%28 = load float, float* %3
%29 = fpext float %28 to double
%30 = fadd double %29, 2.000000e-01
%31 = fptrunc double %30 to float
store float %31, float* %3
br label %9
32: ; preds = %9
%33 = load float, float* %2
%34 = fpext float %33 to double
%35 = fadd double %34, 1.000000e-01
%36 = fptrunc double %35 to float
store float %36, float* %2
store float -1.000000e+00, float* %3
br label %4
37: ; preds = %4
ret i32 0
}

LLVM IR (-O2):
@.str = [23 x i8] c"x=%.1f y=%.1f z=%.3f\0A\0A\00"
define i32 @main() {
br label %1
1: ; preds = %0, %1
%2 = phi float [ -1.000000e+00, %0 ], [ %13, %1 ]
%3 = fpext float %2 to double
%4 = tail call double @sin(float 0x3FB99999A0000000)
%5 = tail call double @sin(float %2)
%6 = fadd double %4, %5
%7 = tail call double @sqrt(float 0x3FB99999A0000000)
%8 = tail call double @sqrt(float %2)
%9 = fadd double %7, %8
%10 = fdiv double %6, %9
%11 = tail call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float 0x3FB99999A0000000, float %2, double %10)
%12 = fadd double %3, 2.000000e-01
%13 = fptrunc double %12 to float
%14 = fcmp olt float %13, 1.000000e+00
br i1 %14, label %1, label %15
15: ; preds = %1, %15
%16 = phi float [ %27, %15 ], [ -1.000000e+00, %1 ]
%17 = fpext float %16 to double
%18 = tail call double @sin(float 0x3FC99999A0000000)
%19 = tail call double @sin(float %16)
%20 = fadd double %18, %19
%21 = tail call double @sqrt(float 0x3FC99999A0000000)
%22 = tail call double @sqrt(float %16)
%23 = fadd double %21, %22
%24 = fdiv double %20, %23
%25 = tail call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float 0x3FC99999A0000000, float %16, double %24)
%26 = fadd double %17, 2.000000e-01
%27 = fptrunc double %26 to float
%28 = fcmp olt float %27, 1.000000e+00
br i1 %28, label %15, label %29
29: ; preds = %15, %29
%30 = phi float [ %41, %29 ], [ -1.000000e+00, %15 ]
%31 = fpext float %30 to double
%32 = tail call double @sin(float 0x3FD3333340000000)
%33 = tail call double @sin(float %30)
%34 = fadd double %32, %33
%35 = tail call double @sqrt(float 0x3FD3333340000000)
%36 = tail call double @sqrt(float %30)
%37 = fadd double %35, %36
%38 = fdiv double %34, %37
%39 = tail call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float 0x3FD3333340000000, float %30, double %38)
%40 = fadd double %31, 2.000000e-01
%41 = fptrunc double %40 to float
%42 = fcmp olt float %41, 1.000000e+00
br i1 %42, label %29, label %43
43: ; preds = %29, %43
%44 = phi float [ %55, %43 ], [ -1.000000e+00, %29 ]
%45 = fpext float %44 to double
%46 = tail call double @sin(float 0x3FD99999A0000000)
%47 = tail call double @sin(float %44)
%48 = fadd double %46, %47
%49 = tail call double @sqrt(float 0x3FD99999A0000000)
%50 = tail call double @sqrt(float %44)
%51 = fadd double %49, %50
%52 = fdiv double %48, %51
%53 = tail call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float 0x3FD99999A0000000, float %44, double %52)
%54 = fadd double %45, 2.000000e-01
%55 = fptrunc double %54 to float
%56 = fcmp olt float %55, 1.000000e+00
br i1 %56, label %43, label %57
57: ; preds = %43, %57
%58 = phi float [ %69, %57 ], [ -1.000000e+00, %43 ]
%59 = fpext float %58 to double
%60 = tail call double @sin(float 5.000000e-01)
%61 = tail call double @sin(float %58)
%62 = fadd double %60, %61
%63 = tail call double @sqrt(float 5.000000e-01)
%64 = tail call double @sqrt(float %58)
%65 = fadd double %63, %64
%66 = fdiv double %62, %65
%67 = tail call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), float 5.000000e-01, float %58, double %66)
%68 = fadd double %59, 2.000000e-01
%69 = fptrunc double %68 to float
%70 = fcmp olt float %69, 1.000000e+00
br i1 %70, label %57, label %71
71: ; preds = %57
ret i32 0
}