#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 EXIT_FAILURE;
int EXIT_SUCCESS;
double M_PI;
double absF(double);
double pow(double, int);
double prekryv(double, double, double);
int /*<<< orphan*/ printf(char *, ...);
int scanf(char *, double *, double *, double *);
double sqrt(double);
int main(int argc, char **argv) {
  double konst_pres = 0.000000001;
  double x1, y1, r1;
  printf("Zadejte parametry kruznice #1:\n");
  int result = scanf("%lf %lf %lf", &x1, &y1, &r1);
  if (result < 3 || r1 <= 0) {
    printf("Nespravny vstup.\n");
    return (EXIT_FAILURE);
  }
  double x2, y2, r2;
  printf("Zadejte parametry kruznice #2:\n");
  result = scanf("%lf %lf %lf", &x2, &y2, &r2);
  if (result < 3 || r2 <= 0) {
    printf("Nespravny vstup.\n");
    return (EXIT_FAILURE);
  }
  double dist =
      sqrt(absF(x2 - x1) * absF(x2 - x1) + absF(y2 - y1) * absF(y2 - y1));
  if (dist < r1 + r2) {
    if (dist > absF(r1 - r2))
      printf("Kruznice se protinaji, prekryv: %f\n", prekryv(r1, r2, dist));
    else if (absF(dist - absF(r1 - r2)) < konst_pres)
      if ((absF(x1 - x2) < konst_pres) && (absF(y1 - y2) < konst_pres) &&
          (absF(r1 - r2) < konst_pres))
        printf("Kruznice splyvaji, prekryv: %f\n", (M_PI * pow(r1, 2)));
      else {
        if (r1 > r2)
          printf("Vnitrni dotyk, kruznice #2 lezi uvnitr kruznice #1, prekryv: "
                 "%f\n",
                 (M_PI * pow(r2, 2)));
        else
          printf("Vnitrni dotyk, kruznice #1 lezi uvnitr kruznice #2, prekryv: "
                 "%f\n",
                 (M_PI * pow(r1, 2)));
      }
    else {
      if (r1 > r2)
        printf("Kruznice #2 lezi uvnitr kruznice #1, prekryv: %f\n",
               (M_PI * pow(r2, 2)));
      else
        printf("Kruznice #1 lezi uvnitr kruznice #2, prekryv: %f\n",
               (M_PI * pow(r1, 2)));
    }
  } else if (absF(dist - (r1 + r2)) < konst_pres) {
    printf("Vnejsi dotyk, zadny prekryv.\n");
  } else {
    printf("Kruznice lezi vne sebe, zadny prekryv.\n");
  }
  return (EXIT_SUCCESS);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movsd  0xe7f(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
lea    0xe7b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe8d(%rip),%rdi
lea    -0x20(%rbp),%rsi
lea    -0x28(%rbp),%rdx
lea    -0x30(%rbp),%rcx
call   1060 <scanf@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x3,-0x34(%rbp)
jl     11c7 <main+0x67>
xorps  %xmm0,%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     11e6 <main+0x86>
lea    0xe66(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dfc(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    15a2 <main+0x442>
lea    0xe59(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe2d(%rip),%rdi
lea    -0x40(%rbp),%rsi
lea    -0x48(%rbp),%rdx
lea    -0x50(%rbp),%rcx
call   1060 <scanf@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x3,-0x34(%rbp)
jl     1227 <main+0xc7>
xorps  %xmm0,%xmm0
ucomisd -0x50(%rbp),%xmm0
jb     1246 <main+0xe6>
lea    0xe06(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d9c(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    15a2 <main+0x442>
movsd  -0x40(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
call   1050 <absF@plt>
movsd  %xmm0,-0x60(%rbp)
movsd  -0x40(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
call   1050 <absF@plt>
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
call   1050 <absF@plt>
movsd  %xmm0,-0x70(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
call   1050 <absF@plt>
movsd  -0x70(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm2
movaps %xmm0,%xmm3
movsd  -0x60(%rbp),%xmm0
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1080 <sqrt@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
addsd  -0x50(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1546 <main+0x3e6>
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1324 <main+0x1c4>
movsd  -0x30(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
call   1040 <prekryv@plt>
lea    0xd4e(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    1541 <main+0x3e1>
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x80(%rbp),%xmm0
subsd  %xmm1,%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    14a4 <main+0x344>
movsd  -0x20(%rbp),%xmm0
subsd  -0x40(%rbp),%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1407 <main+0x2a7>
movsd  -0x28(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1407 <main+0x2a7>
movsd  -0x30(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1407 <main+0x2a7>
mov    0x2c1e(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
mov    $0x2,%edi
call   1070 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x88(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
lea    0xc8f(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    149f <main+0x33f>
movsd  -0x30(%rbp),%xmm0
ucomisd -0x50(%rbp),%xmm0
jbe    145b <main+0x2fb>
mov    0x2bca(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
mov    $0x2,%edi
call   1070 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
lea    0xc5b(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    149a <main+0x33a>
mov    0x2b86(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
mov    $0x2,%edi
call   1070 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
lea    0xc58(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    149f <main+0x33f>
jmp    153c <main+0x3dc>
movsd  -0x30(%rbp),%xmm0
ucomisd -0x50(%rbp),%xmm0
jbe    14f8 <main+0x398>
mov    0x2b2d(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
mov    $0x2,%edi
call   1070 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
lea    0xc40(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    1537 <main+0x3d7>
mov    0x2ae9(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
mov    $0x2,%edi
call   1070 <pow@plt>
movaps %xmm0,%xmm1
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
lea    0xc2e(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
jmp    153c <main+0x3dc>
jmp    1541 <main+0x3e1>
jmp    1596 <main+0x436>
movsd  -0x58(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
addsd  -0x50(%rbp),%xmm1
subsd  %xmm1,%xmm0
call   1050 <absF@plt>
movaps %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1583 <main+0x423>
lea    0xc19(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1591 <main+0x431>
lea    0xc24(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1596 <main+0x436>
mov    0x2a33(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x48,%rsp
lea    0xfcb(%rip),%rdi
call   1030 <puts@plt>
lea    0xe89(%rip),%rdi
lea    0x30(%rsp),%rsi
lea    0x28(%rsp),%rdx
lea    0x8(%rsp),%rcx
call   1070 <scanf@plt>
cmp    $0x3,%eax
jl     126e <main+0xfe>
xorpd  %xmm0,%xmm0
ucomisd 0x8(%rsp),%xmm0
jae    126e <main+0xfe>
lea    0xfaa(%rip),%rdi
call   1030 <puts@plt>
lea    0xe49(%rip),%rdi
lea    0x20(%rsp),%rsi
lea    0x18(%rsp),%rdx
lea    0x10(%rsp),%rcx
call   1070 <scanf@plt>
cmp    $0x3,%eax
jl     126e <main+0xfe>
xorpd  %xmm0,%xmm0
ucomisd 0x10(%rsp),%xmm0
jae    126e <main+0xfe>
movsd  0x20(%rsp),%xmm0
subsd  0x30(%rsp),%xmm0
call   1060 <absF@plt>
movsd  %xmm0,(%rsp)
movsd  0x20(%rsp),%xmm0
subsd  0x30(%rsp),%xmm0
call   1060 <absF@plt>
movsd  %xmm0,0x40(%rsp)
movsd  0x18(%rsp),%xmm0
subsd  0x28(%rsp),%xmm0
call   1060 <absF@plt>
movsd  %xmm0,0x38(%rsp)
movsd  0x18(%rsp),%xmm0
subsd  0x28(%rsp),%xmm0
call   1060 <absF@plt>
mulsd  0x38(%rsp),%xmm0
movsd  0x40(%rsp),%xmm1
mulsd  (%rsp),%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
ucomisd 0xda2(%rip),%xmm1
jb     1286 <main+0x116>
sqrtsd %xmm0,%xmm3
jmp    128f <main+0x11f>
lea    0xf53(%rip),%rdi
call   1030 <puts@plt>
mov    0x2d57(%rip),%rax
jmp    13eb <main+0x27b>
call   1090 <sqrt@plt>
movapd %xmm0,%xmm3
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
movapd %xmm0,%xmm2
addsd  %xmm1,%xmm2
ucomisd %xmm3,%xmm2
jbe    12e6 <main+0x176>
subsd  %xmm1,%xmm0
movsd  %xmm3,(%rsp)
call   1060 <absF@plt>
movsd  (%rsp),%xmm2
ucomisd %xmm0,%xmm2
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
jbe    1311 <main+0x1a1>
call   1050 <prekryv@plt>
lea    0xd42(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
jmp    13e4 <main+0x274>
subsd  %xmm2,%xmm3
movapd %xmm3,%xmm0
call   1060 <absF@plt>
movsd  0xd05(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    13d8 <main+0x268>
lea    0xe9f(%rip),%rdi
jmp    13df <main+0x26f>
subsd  %xmm1,%xmm0
call   1060 <absF@plt>
movsd  (%rsp),%xmm1
subsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
call   1060 <absF@plt>
movsd  0xccc(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    13f2 <main+0x282>
movsd  0x30(%rsp),%xmm0
subsd  0x20(%rsp),%xmm0
call   1060 <absF@plt>
movsd  0xca9(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    1433 <main+0x2c3>
movsd  0x28(%rsp),%xmm0
subsd  0x18(%rsp),%xmm0
call   1060 <absF@plt>
movsd  0xc86(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    1433 <main+0x2c3>
movsd  0x8(%rsp),%xmm0
subsd  0x10(%rsp),%xmm0
call   1060 <absF@plt>
movsd  0xc63(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    1433 <main+0x2c3>
mov    0x2c3a(%rip),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x8(%rsp),%xmm0
mov    $0x2,%edi
call   1080 <pow@plt>
mulsd  (%rsp),%xmm0
lea    0xc6d(%rip),%rdi
jmp    12da <main+0x16a>
lea    0xda5(%rip),%rdi
call   1030 <puts@plt>
mov    0x2be5(%rip),%rax
mov    (%rax),%eax
add    $0x48,%rsp
ret
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
ucomisd %xmm1,%xmm0
mov    0x2bdf(%rip),%rax
movsd  (%rax),%xmm2
movsd  %xmm2,(%rsp)
jbe    1474 <main+0x304>
movapd %xmm1,%xmm0
mov    $0x2,%edi
call   1080 <pow@plt>
mulsd  (%rsp),%xmm0
lea    0xcb4(%rip),%rdi
jmp    12da <main+0x16a>
movsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
ucomisd %xmm1,%xmm0
mov    0x2b9e(%rip),%rax
movsd  (%rax),%xmm2
movsd  %xmm2,(%rsp)
jbe    148f <main+0x31f>
movapd %xmm1,%xmm0
mov    $0x2,%edi
call   1080 <pow@plt>
mulsd  (%rsp),%xmm0
lea    0xbf1(%rip),%rdi
jmp    12da <main+0x16a>
mov    $0x2,%edi
call   1080 <pow@plt>
mulsd  (%rsp),%xmm0
lea    0xc8a(%rip),%rdi
jmp    12da <main+0x16a>
mov    $0x2,%edi
call   1080 <pow@plt>
mulsd  (%rsp),%xmm0
lea    0xbfc(%rip),%rdi
jmp    12da <main+0x16a>

LLVM IR (-O0):
@.str = [32 x i8] c"Zadejte parametry kruznice:\0A\00"
@.str.1 = [12 x i8] c"%lf %lf %lf\00"
@.str.2 = [18 x i8] c"Nespravny vstup.\0A\00"
@EXIT_FAILURE = global i32 0
@.str.3 = [32 x i8] c"Zadejte parametry kruznice:\0A\00"
@.str.4 = [36 x i8] c"Kruznice se protinaji, prekryv: %f\0A\00"
@.str.5 = [32 x i8] c"Kruznice splyvaji, prekryv: %f\0A\00"
@M_PI = global double 0.000000e+00
@.str.6 = [65 x i8] c"Vnitrni dotyk, kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.7 = [65 x i8] c"Vnitrni dotyk, kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.8 = [50 x i8] c"Kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.9 = [50 x i8] c"Kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.10 = [30 x i8] c"Vnejsi dotyk, zadny prekryv.\0A\00"
@.str.11 = [40 x i8] c"Kruznice lezi vne sebe, zadny prekryv.\0A\00"
@EXIT_SUCCESS = global i32 0
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca i32
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store double 1.000000e-09, double* %6
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str, i64 0, i64 0))
%16 = call i32 @scanf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), double* %7, double* %8, double* %9)
store i32 %16, i32* %10
%17 = load i32, i32* %10
%18 = icmp slt i32 %17, 3
br i1 %18, label %22, label %19
19: ; preds = %2
%20 = load double, double* %9
%21 = fcmp ole double %20, 0.000000e+00
br i1 %21, label %22, label %25
22: ; preds = %19, %2
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0))
%24 = load i32, i32* @EXIT_FAILURE
store i32 %24, i32* %3
br label %164
25: ; preds = %19
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0))
%27 = call i32 @scanf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), double* %11, double* %12, double* %13)
store i32 %27, i32* %10
%28 = load i32, i32* %10
%29 = icmp slt i32 %28, 3
br i1 %29, label %33, label %30
30: ; preds = %25
%31 = load double, double* %13
%32 = fcmp ole double %31, 0.000000e+00
br i1 %32, label %33, label %36
33: ; preds = %30, %25
%34 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0))
%35 = load i32, i32* @EXIT_FAILURE
store i32 %35, i32* %3
br label %164
36: ; preds = %30
%37 = load double, double* %11
%38 = load double, double* %7
%39 = fsub double %37, %38
%40 = call double @absF(double %39)
%41 = load double, double* %11
%42 = load double, double* %7
%43 = fsub double %41, %42
%44 = call double @absF(double %43)
%45 = load double, double* %12
%46 = load double, double* %8
%47 = fsub double %45, %46
%48 = call double @absF(double %47)
%49 = load double, double* %12
%50 = load double, double* %8
%51 = fsub double %49, %50
%52 = call double @absF(double %51)
%53 = fmul double %48, %52
%54 = call double @llvm.fmuladd.f64(double %40, double %44, double %53)
%55 = call double @sqrt(double %54)
store double %55, double* %14
%56 = load double, double* %14
%57 = load double, double* %9
%58 = load double, double* %13
%59 = fadd double %57, %58
%60 = fcmp olt double %56, %59
br i1 %60, label %61, label %148
61: ; preds = %36
%62 = load double, double* %14
%63 = load double, double* %9
%64 = load double, double* %13
%65 = fsub double %63, %64
%66 = call double @absF(double %65)
%67 = fcmp ogt double %62, %66
br i1 %67, label %68, label %74
68: ; preds = %61
%69 = load double, double* %9
%70 = load double, double* %13
%71 = load double, double* %14
%72 = call double @prekryv(double %69, double %70, double %71)
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0), double %72)
br label %147
74: ; preds = %61
%75 = load double, double* %14
%76 = load double, double* %9
%77 = load double, double* %13
%78 = fsub double %76, %77
%79 = call double @absF(double %78)
%80 = fsub double %75, %79
%81 = call double @absF(double %80)
%82 = load double, double* %6
%83 = fcmp olt double %81, %82
br i1 %83, label %84, label %129
84: ; preds = %74
%85 = load double, double* %7
%86 = load double, double* %11
%87 = fsub double %85, %86
%88 = call double @absF(double %87)
%89 = load double, double* %6
%90 = fcmp olt double %88, %89
br i1 %90, label %91, label %111
91: ; preds = %84
%92 = load double, double* %8
%93 = load double, double* %12
%94 = fsub double %92, %93
%95 = call double @absF(double %94)
%96 = load double, double* %6
%97 = fcmp olt double %95, %96
br i1 %97, label %98, label %111
98: ; preds = %91
%99 = load double, double* %9
%100 = load double, double* %13
%101 = fsub double %99, %100
%102 = call double @absF(double %101)
%103 = load double, double* %6
%104 = fcmp olt double %102, %103
br i1 %104, label %105, label %111
105: ; preds = %98
%106 = load double, double* @M_PI
%107 = load double, double* %9
%108 = call double @pow(double %107, i32 2)
%109 = fmul double %106, %108
%110 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.5, i64 0, i64 0), double %109)
br label %128
111: ; preds = %98, %91, %84
%112 = load double, double* %9
%113 = load double, double* %13
%114 = fcmp ogt double %112, %113
br i1 %114, label %115, label %121
115: ; preds = %111
%116 = load double, double* @M_PI
%117 = load double, double* %13
%118 = call double @pow(double %117, i32 2)
%119 = fmul double %116, %118
%120 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.6, i64 0, i64 0), double %119)
br label %127
121: ; preds = %111
%122 = load double, double* @M_PI
%123 = load double, double* %9
%124 = call double @pow(double %123, i32 2)
%125 = fmul double %122, %124
%126 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str.7, i64 0, i64 0), double %125)
br label %127
127: ; preds = %121, %115
br label %128
128: ; preds = %127, %105
br label %146
129: ; preds = %74
%130 = load double, double* %9
%131 = load double, double* %13
%132 = fcmp ogt double %130, %131
br i1 %132, label %133, label %139
133: ; preds = %129
%134 = load double, double* @M_PI
%135 = load double, double* %13
%136 = call double @pow(double %135, i32 2)
%137 = fmul double %134, %136
%138 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.8, i64 0, i64 0), double %137)
br label %145
139: ; preds = %129
%140 = load double, double* @M_PI
%141 = load double, double* %9
%142 = call double @pow(double %141, i32 2)
%143 = fmul double %140, %142
%144 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.9, i64 0, i64 0), double %143)
br label %145
145: ; preds = %139, %133
br label %146
146: ; preds = %145, %128
br label %147
147: ; preds = %146, %68
br label %162
148: ; preds = %36
%149 = load double, double* %14
%150 = load double, double* %9
%151 = load double, double* %13
%152 = fadd double %150, %151
%153 = fsub double %149, %152
%154 = call double @absF(double %153)
%155 = load double, double* %6
%156 = fcmp olt double %154, %155
br i1 %156, label %157, label %159
157: ; preds = %148
%158 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.10, i64 0, i64 0))
br label %161
159: ; preds = %148
%160 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.11, i64 0, i64 0))
br label %161
161: ; preds = %159, %157
br label %162
162: ; preds = %161, %147
%163 = load i32, i32* @EXIT_SUCCESS
store i32 %163, i32* %3
br label %164
164: ; preds = %162, %33, %22
%165 = load i32, i32* %3
ret i32 %165
}

LLVM IR (-O2):
@.str.1 = [12 x i8] c"%lf %lf %lf\00"
@EXIT_FAILURE = global i32 0
@.str.4 = [36 x i8] c"Kruznice se protinaji, prekryv: %f\0A\00"
@.str.5 = [32 x i8] c"Kruznice splyvaji, prekryv: %f\0A\00"
@M_PI = global double 0.000000e+00
@.str.6 = [65 x i8] c"Vnitrni dotyk, kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.7 = [65 x i8] c"Vnitrni dotyk, kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.8 = [50 x i8] c"Kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@.str.9 = [50 x i8] c"Kruznice lezi uvnitr kruznice, prekryv: %f\0A\00"
@EXIT_SUCCESS = global i32 0
@str = [31 x i8] c"Zadejte parametry kruznice:\00"
@str.12 = [31 x i8] c"Zadejte parametry kruznice:\00"
@str.13 = [39 x i8] c"Kruznice lezi vne sebe, zadny prekryv.\00"
@str.14 = [29 x i8] c"Vnejsi dotyk, zadny prekryv.\00"
@str.16 = [17 x i8] c"Nespravny vstup.\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = bitcast double* %3 to i8*
%10 = bitcast double* %4 to i8*
%11 = bitcast double* %5 to i8*
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str, i64 0, i64 0))
%13 = call i32 @scanf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), double* %3, double* %4, double* %5)
%14 = icmp slt i32 %13, 3
%15 = load double, double* %5
%16 = fcmp ole double %15, 0.000000e+00
%17 = select i1 %14, i1 true, i1 %16
br i1 %17, label %18, label %21
18: ; preds = %2
%19 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.16, i64 0, i64 0))
%20 = load i32, i32* @EXIT_FAILURE
br label %133
21: ; preds = %2
%22 = bitcast double* %6 to i8*
%23 = bitcast double* %7 to i8*
%24 = bitcast double* %8 to i8*
%25 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.12, i64 0, i64 0))
%26 = call i32 @scanf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), double* %6, double* %7, double* %8)
%27 = icmp slt i32 %26, 3
%28 = load double, double* %8
%29 = fcmp ole double %28, 0.000000e+00
%30 = select i1 %27, i1 true, i1 %29
br i1 %30, label %31, label %33
31: ; preds = %21
%32 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.16, i64 0, i64 0))
br label %130
33: ; preds = %21
%34 = load double, double* %6
%35 = load double, double* %3
%36 = fsub double %34, %35
%37 = call double @absF(double %36)
%38 = load double, double* %6
%39 = load double, double* %3
%40 = fsub double %38, %39
%41 = call double @absF(double %40)
%42 = load double, double* %7
%43 = load double, double* %4
%44 = fsub double %42, %43
%45 = call double @absF(double %44)
%46 = load double, double* %7
%47 = load double, double* %4
%48 = fsub double %46, %47
%49 = call double @absF(double %48)
%50 = fmul double %45, %49
%51 = call double @llvm.fmuladd.f64(double %37, double %41, double %50)
%52 = call double @sqrt(double %51)
%53 = load double, double* %5
%54 = load double, double* %8
%55 = fadd double %53, %54
%56 = fcmp olt double %52, %55
br i1 %56, label %57, label %122
57: ; preds = %33
%58 = fsub double %53, %54
%59 = call double @absF(double %58)
%60 = fcmp ogt double %52, %59
%61 = load double, double* %5
%62 = load double, double* %8
br i1 %60, label %63, label %66
63: ; preds = %57
%64 = call double @prekryv(double %61, double %62, double %52)
%65 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0), double %64)
br label %130
66: ; preds = %57
%67 = fsub double %61, %62
%68 = call double @absF(double %67)
%69 = fsub double %52, %68
%70 = call double @absF(double %69)
%71 = fcmp olt double %70, 1.000000e-09
br i1 %71, label %72, label %109
72: ; preds = %66
%73 = load double, double* %3
%74 = load double, double* %6
%75 = fsub double %73, %74
%76 = call double @absF(double %75)
%77 = fcmp olt double %76, 1.000000e-09
br i1 %77, label %78, label %96
78: ; preds = %72
%79 = load double, double* %4
%80 = load double, double* %7
%81 = fsub double %79, %80
%82 = call double @absF(double %81)
%83 = fcmp olt double %82, 1.000000e-09
br i1 %83, label %84, label %96
84: ; preds = %78
%85 = load double, double* %5
%86 = load double, double* %8
%87 = fsub double %85, %86
%88 = call double @absF(double %87)
%89 = fcmp olt double %88, 1.000000e-09
br i1 %89, label %90, label %96
90: ; preds = %84
%91 = load double, double* @M_PI
%92 = load double, double* %5
%93 = call double @pow(double %92, i32 2)
%94 = fmul double %91, %93
%95 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.5, i64 0, i64 0), double %94)
br label %130
96: ; preds = %84, %78, %72
%97 = load double, double* %5
%98 = load double, double* %8
%99 = fcmp ogt double %97, %98
%100 = load double, double* @M_PI
br i1 %99, label %101, label %105
101: ; preds = %96
%102 = call double @pow(double %98, i32 2)
%103 = fmul double %100, %102
%104 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @.str.6, i64 0, i64 0), double %103)
br label %130
105: ; preds = %96
%106 = call double @pow(double %97, i32 2)
%107 = fmul double %100, %106
%108 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([65 x i8], [65 x i8]* @.str.7, i64 0, i64 0), double %107)
br label %130
109: ; preds = %66
%110 = load double, double* %5
%111 = load double, double* %8
%112 = fcmp ogt double %110, %111
%113 = load double, double* @M_PI
br i1 %112, label %114, label %118
114: ; preds = %109
%115 = call double @pow(double %111, i32 2)
%116 = fmul double %113, %115
%117 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.8, i64 0, i64 0), double %116)
br label %130
118: ; preds = %109
%119 = call double @pow(double %110, i32 2)
%120 = fmul double %113, %119
%121 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.9, i64 0, i64 0), double %120)
br label %130
122: ; preds = %33
%123 = fsub double %52, %55
%124 = call double @absF(double %123)
%125 = fcmp olt double %124, 1.000000e-09
br i1 %125, label %126, label %128
126: ; preds = %122
%127 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @str.14, i64 0, i64 0))
br label %130
128: ; preds = %122
%129 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @str.13, i64 0, i64 0))
br label %130
130: ; preds = %101, %105, %90, %118, %114, %63, %128, %126, %31
%131 = phi i32* [ @EXIT_FAILURE, %31 ], [ @EXIT_SUCCESS, %126 ], [ @EXIT_SUCCESS, %128 ], [ @EXIT_SUCCESS, %63 ], [ @EXIT_SUCCESS, %114 ], [ @EXIT_SUCCESS, %118 ], [ @EXIT_SUCCESS, %90 ], [ @EXIT_SUCCESS, %105 ], [ @EXIT_SUCCESS, %101 ]
%132 = load i32, i32* %131
br label %133
133: ; preds = %130, %18
%134 = phi i32 [ %20, %18 ], [ %132, %130 ]
ret i32 %134
}