#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 *, double);
void print_top3(int top1, double p1, int top2, double p2, int top3, double p3) {
  switch (top1) {
  case 1:
    printf(": Druid    Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 2:
    printf(": Hunter   Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 3:
    printf(": Mage     Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 4:
    printf(": Paladin  Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 5:
    printf(": Priest   Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 6:
    printf(": Rogue    Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 7:
    printf(": Shaman   Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 8:
    printf(": Warlock  Nr. 1 with %2.2lf points  :\n", p1);
    break;
  case 9:
    printf(": Warrior  Nr. 1 with %2.2lf points  :\n", p1);
    break;
  }
  switch (top2) {
  case 1:
    printf(": Druid    Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 2:
    printf(": Hunter   Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 3:
    printf(": Mage     Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 4:
    printf(": Paladin  Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 5:
    printf(": Priest   Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 6:
    printf(": Rogue    Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 7:
    printf(": Shaman   Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 8:
    printf(": Warlock  Nr. 2 with %2.2lf points  :\n", p2);
    break;
  case 9:
    printf(": Warrior  Nr. 2 with %2.2lf points  :\n", p2);
    break;
  }
  switch (top3) {
  case 1:
    printf(": Druid    Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 2:
    printf(": Hunter   Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 3:
    printf(": Mage     Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 4:
    printf(": Paladin  Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 5:
    printf(": Priest   Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 6:
    printf(": Rogue    Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 7:
    printf(": Shaman   Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 8:
    printf(": Warlock  Nr. 3 with %2.2lf points  :\n", p3);
    break;
  case 9:
    printf(": Warrior  Nr. 3 with %2.2lf points  :\n", p3);
    break;
  }
}


x86 assembly (clang, -O0):
<print_top3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movsd  %xmm1,-0x20(%rbp)
mov    %edx,-0x24(%rbp)
movsd  %xmm2,-0x30(%rbp)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x38(%rbp)
sub    $0x8,%eax
ja     121a <print_top3+0x10a>
mov    -0x38(%rbp),%rax
lea    0xeb0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  -0x10(%rbp),%xmm0
lea    0xf07(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf19(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf2b(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf3d(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf4f(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf61(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf73(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf85(%rip),%rdi
call   1030 <printf@plt>
jmp    121a <print_top3+0x10a>
movsd  -0x10(%rbp),%xmm0
lea    0xf97(%rip),%rdi
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x40(%rbp)
sub    $0x8,%eax
ja     1304 <print_top3+0x1f4>
mov    -0x40(%rbp),%rax
lea    0xdea(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  -0x20(%rbp),%xmm0
lea    0xf85(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xf97(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xfa9(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xfbb(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xfcd(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xfdf(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0xff1(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0x1003(%rip),%rdi
call   1030 <printf@plt>
jmp    1304 <print_top3+0x1f4>
movsd  -0x20(%rbp),%xmm0
lea    0x1015(%rip),%rdi
call   1030 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
sub    $0x8,%eax
ja     13ee <print_top3+0x2de>
mov    -0x48(%rbp),%rax
lea    0xd24(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsd  -0x30(%rbp),%xmm0
lea    0x1003(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x1015(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x1027(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x1039(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x104b(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x105d(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x106f(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x1081(%rip),%rdi
call   1030 <printf@plt>
jmp    13ee <print_top3+0x2de>
movsd  -0x30(%rbp),%xmm0
lea    0x1093(%rip),%rdi
call   1030 <printf@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_top3>:
push   %rbp
push   %rbx
sub    $0x18,%rsp
movsd  %xmm2,0x10(%rsp)
mov    %edx,%ebx
mov    %esi,%ebp
add    $0xffffffff,%edi
cmp    $0x8,%edi
ja     114a <print_top3+0x3a>
movslq %edi,%rax
lea    0x1306(%rip),%rcx
movslq (%rcx,%rax,4),%rdi
add    %rcx,%rdi
movsd  %xmm1,0x8(%rsp)
call   1030 <printf@plt>
movsd  0x8(%rsp),%xmm1
add    $0xffffffff,%ebp
cmp    $0x8,%ebp
ja     116b <print_top3+0x5b>
movslq %ebp,%rax
lea    0x1300(%rip),%rcx
movslq (%rcx,%rax,4),%rdi
add    %rcx,%rdi
movaps %xmm1,%xmm0
call   1030 <printf@plt>
add    $0xffffffff,%ebx
cmp    $0x8,%ebx
ja     1195 <print_top3+0x85>
movslq %ebx,%rax
lea    0x1303(%rip),%rcx
movslq (%rcx,%rax,4),%rdi
add    %rcx,%rdi
movsd  0x10(%rsp),%xmm0
add    $0x18,%rsp
pop    %rbx
pop    %rbp
jmp    1030 <printf@plt>
add    $0x18,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
@.str = [40 x i8] c": Druid Nr. 1 with %2.2lf points :\0A\00"
@.str.1 = [40 x i8] c": Hunter Nr. 1 with %2.2lf points :\0A\00"
@.str.2 = [40 x i8] c": Mage Nr. 1 with %2.2lf points :\0A\00"
@.str.3 = [40 x i8] c": Paladin Nr. 1 with %2.2lf points :\0A\00"
@.str.4 = [40 x i8] c": Priest Nr. 1 with %2.2lf points :\0A\00"
@.str.5 = [40 x i8] c": Rogue Nr. 1 with %2.2lf points :\0A\00"
@.str.6 = [40 x i8] c": Shaman Nr. 1 with %2.2lf points :\0A\00"
@.str.7 = [40 x i8] c": Warlock Nr. 1 with %2.2lf points :\0A\00"
@.str.8 = [40 x i8] c": Warrior Nr. 1 with %2.2lf points :\0A\00"
@.str.9 = [40 x i8] c": Druid Nr. 2 with %2.2lf points :\0A\00"
@.str.10 = [40 x i8] c": Hunter Nr. 2 with %2.2lf points :\0A\00"
@.str.11 = [40 x i8] c": Mage Nr. 2 with %2.2lf points :\0A\00"
@.str.12 = [40 x i8] c": Paladin Nr. 2 with %2.2lf points :\0A\00"
@.str.13 = [40 x i8] c": Priest Nr. 2 with %2.2lf points :\0A\00"
@.str.14 = [40 x i8] c": Rogue Nr. 2 with %2.2lf points :\0A\00"
@.str.15 = [40 x i8] c": Shaman Nr. 2 with %2.2lf points :\0A\00"
@.str.16 = [40 x i8] c": Warlock Nr. 2 with %2.2lf points :\0A\00"
@.str.17 = [40 x i8] c": Warrior Nr. 2 with %2.2lf points :\0A\00"
@.str.18 = [40 x i8] c": Druid Nr. 3 with %2.2lf points :\0A\00"
@.str.19 = [40 x i8] c": Hunter Nr. 3 with %2.2lf points :\0A\00"
@.str.20 = [40 x i8] c": Mage Nr. 3 with %2.2lf points :\0A\00"
@.str.21 = [40 x i8] c": Paladin Nr. 3 with %2.2lf points :\0A\00"
@.str.22 = [40 x i8] c": Priest Nr. 3 with %2.2lf points :\0A\00"
@.str.23 = [40 x i8] c": Rogue Nr. 3 with %2.2lf points :\0A\00"
@.str.24 = [40 x i8] c": Shaman Nr. 3 with %2.2lf points :\0A\00"
@.str.25 = [40 x i8] c": Warlock Nr. 3 with %2.2lf points :\0A\00"
@.str.26 = [40 x i8] c": Warrior Nr. 3 with %2.2lf points :\0A\00"
define void @print_top3(i32 %0, double %1, i32 %2, double %3, i32 %4, double %5) {
%7 = alloca i32
%8 = alloca double
%9 = alloca i32
%10 = alloca double
%11 = alloca i32
%12 = alloca double
store i32 %0, i32* %7
store double %1, double* %8
store i32 %2, i32* %9
store double %3, double* %10
store i32 %4, i32* %11
store double %5, double* %12
%13 = load i32, i32* %7
switch i32 %13, label %41 [
i32 1, label %14
i32 2, label %17
i32 3, label %20
i32 4, label %23
i32 5, label %26
i32 6, label %29
i32 7, label %32
i32 8, label %35
i32 9, label %38
]
14: ; preds = %6
%15 = load double, double* %8
%16 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str, i64 0, i64 0), double %15)
br label %41
17: ; preds = %6
%18 = load double, double* %8
%19 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.1, i64 0, i64 0), double %18)
br label %41
20: ; preds = %6
%21 = load double, double* %8
%22 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.2, i64 0, i64 0), double %21)
br label %41
23: ; preds = %6
%24 = load double, double* %8
%25 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.3, i64 0, i64 0), double %24)
br label %41
26: ; preds = %6
%27 = load double, double* %8
%28 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.4, i64 0, i64 0), double %27)
br label %41
29: ; preds = %6
%30 = load double, double* %8
%31 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.5, i64 0, i64 0), double %30)
br label %41
32: ; preds = %6
%33 = load double, double* %8
%34 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.6, i64 0, i64 0), double %33)
br label %41
35: ; preds = %6
%36 = load double, double* %8
%37 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.7, i64 0, i64 0), double %36)
br label %41
38: ; preds = %6
%39 = load double, double* %8
%40 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.8, i64 0, i64 0), double %39)
br label %41
41: ; preds = %6, %38, %35, %32, %29, %26, %23, %20, %17, %14
%42 = load i32, i32* %9
switch i32 %42, label %70 [
i32 1, label %43
i32 2, label %46
i32 3, label %49
i32 4, label %52
i32 5, label %55
i32 6, label %58
i32 7, label %61
i32 8, label %64
i32 9, label %67
]
43: ; preds = %41
%44 = load double, double* %10
%45 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.9, i64 0, i64 0), double %44)
br label %70
46: ; preds = %41
%47 = load double, double* %10
%48 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.10, i64 0, i64 0), double %47)
br label %70
49: ; preds = %41
%50 = load double, double* %10
%51 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.11, i64 0, i64 0), double %50)
br label %70
52: ; preds = %41
%53 = load double, double* %10
%54 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.12, i64 0, i64 0), double %53)
br label %70
55: ; preds = %41
%56 = load double, double* %10
%57 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.13, i64 0, i64 0), double %56)
br label %70
58: ; preds = %41
%59 = load double, double* %10
%60 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.14, i64 0, i64 0), double %59)
br label %70
61: ; preds = %41
%62 = load double, double* %10
%63 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.15, i64 0, i64 0), double %62)
br label %70
64: ; preds = %41
%65 = load double, double* %10
%66 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.16, i64 0, i64 0), double %65)
br label %70
67: ; preds = %41
%68 = load double, double* %10
%69 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.17, i64 0, i64 0), double %68)
br label %70
70: ; preds = %41, %67, %64, %61, %58, %55, %52, %49, %46, %43
%71 = load i32, i32* %11
switch i32 %71, label %99 [
i32 1, label %72
i32 2, label %75
i32 3, label %78
i32 4, label %81
i32 5, label %84
i32 6, label %87
i32 7, label %90
i32 8, label %93
i32 9, label %96
]
72: ; preds = %70
%73 = load double, double* %12
%74 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.18, i64 0, i64 0), double %73)
br label %99
75: ; preds = %70
%76 = load double, double* %12
%77 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.19, i64 0, i64 0), double %76)
br label %99
78: ; preds = %70
%79 = load double, double* %12
%80 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.20, i64 0, i64 0), double %79)
br label %99
81: ; preds = %70
%82 = load double, double* %12
%83 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.21, i64 0, i64 0), double %82)
br label %99
84: ; preds = %70
%85 = load double, double* %12
%86 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.22, i64 0, i64 0), double %85)
br label %99
87: ; preds = %70
%88 = load double, double* %12
%89 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.23, i64 0, i64 0), double %88)
br label %99
90: ; preds = %70
%91 = load double, double* %12
%92 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.24, i64 0, i64 0), double %91)
br label %99
93: ; preds = %70
%94 = load double, double* %12
%95 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.25, i64 0, i64 0), double %94)
br label %99
96: ; preds = %70
%97 = load double, double* %12
%98 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.26, i64 0, i64 0), double %97)
br label %99
99: ; preds = %70, %96, %93, %90, %87, %84, %81, %78, %75, %72
ret void
}

LLVM IR (-O2):
@.str = [40 x i8] c": Druid Nr. 1 with %2.2lf points :\0A\00"
@.str.1 = [40 x i8] c": Hunter Nr. 1 with %2.2lf points :\0A\00"
@.str.2 = [40 x i8] c": Mage Nr. 1 with %2.2lf points :\0A\00"
@.str.3 = [40 x i8] c": Paladin Nr. 1 with %2.2lf points :\0A\00"
@.str.4 = [40 x i8] c": Priest Nr. 1 with %2.2lf points :\0A\00"
@.str.5 = [40 x i8] c": Rogue Nr. 1 with %2.2lf points :\0A\00"
@.str.6 = [40 x i8] c": Shaman Nr. 1 with %2.2lf points :\0A\00"
@.str.7 = [40 x i8] c": Warlock Nr. 1 with %2.2lf points :\0A\00"
@.str.8 = [40 x i8] c": Warrior Nr. 1 with %2.2lf points :\0A\00"
@.str.9 = [40 x i8] c": Druid Nr. 2 with %2.2lf points :\0A\00"
@.str.10 = [40 x i8] c": Hunter Nr. 2 with %2.2lf points :\0A\00"
@.str.11 = [40 x i8] c": Mage Nr. 2 with %2.2lf points :\0A\00"
@.str.12 = [40 x i8] c": Paladin Nr. 2 with %2.2lf points :\0A\00"
@.str.13 = [40 x i8] c": Priest Nr. 2 with %2.2lf points :\0A\00"
@.str.14 = [40 x i8] c": Rogue Nr. 2 with %2.2lf points :\0A\00"
@.str.15 = [40 x i8] c": Shaman Nr. 2 with %2.2lf points :\0A\00"
@.str.16 = [40 x i8] c": Warlock Nr. 2 with %2.2lf points :\0A\00"
@.str.17 = [40 x i8] c": Warrior Nr. 2 with %2.2lf points :\0A\00"
@.str.18 = [40 x i8] c": Druid Nr. 3 with %2.2lf points :\0A\00"
@.str.19 = [40 x i8] c": Hunter Nr. 3 with %2.2lf points :\0A\00"
@.str.20 = [40 x i8] c": Mage Nr. 3 with %2.2lf points :\0A\00"
@.str.21 = [40 x i8] c": Paladin Nr. 3 with %2.2lf points :\0A\00"
@.str.22 = [40 x i8] c": Priest Nr. 3 with %2.2lf points :\0A\00"
@.str.23 = [40 x i8] c": Rogue Nr. 3 with %2.2lf points :\0A\00"
@.str.24 = [40 x i8] c": Shaman Nr. 3 with %2.2lf points :\0A\00"
@.str.25 = [40 x i8] c": Warlock Nr. 3 with %2.2lf points :\0A\00"
@.str.26 = [40 x i8] c": Warrior Nr. 3 with %2.2lf points :\0A\00"
@reltable.print_top3 = [9 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.1 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.2 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.3 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.4 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.5 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.6 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.7 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.8 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3 to i64)) to i32)]
@reltable.print_top3.29 = [9 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.9 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.10 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.11 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.12 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.13 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.14 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.15 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.16 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.17 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.29 to i64)) to i32)]
@reltable.print_top3.30 = [9 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.18 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.19 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.20 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.21 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.22 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.23 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.24 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.25 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.26 to i64), i64 ptrtoint ([9 x i32]* @reltable.print_top3.30 to i64)) to i32)]
define void @print_top3(i32 %0, double %1, i32 %2, double %3, i32 %4, double %5) {
%7 = add i32 %0, -1
%8 = icmp ult i32 %7, 9
br i1 %8, label %9, label %14
9: ; preds = %6
%10 = sext i32 %7 to i64
%11 = shl i64 %10, 2
%12 = call i8* @llvm.load.relative.i64(i8* bitcast ([9 x i32]* @reltable.print_top3 to i8*), i64 %11)
%13 = tail call i32 @printf(i8* %12, double %1)
br label %14
14: ; preds = %6, %9
%15 = add i32 %2, -1
%16 = icmp ult i32 %15, 9
br i1 %16, label %17, label %22
17: ; preds = %14
%18 = sext i32 %15 to i64
%19 = shl i64 %18, 2
%20 = call i8* @llvm.load.relative.i64(i8* bitcast ([9 x i32]* @reltable.print_top3.29 to i8*), i64 %19)
%21 = tail call i32 @printf(i8* %20, double %3)
br label %22
22: ; preds = %14, %17
%23 = add i32 %4, -1
%24 = icmp ult i32 %23, 9
br i1 %24, label %25, label %30
25: ; preds = %22
%26 = sext i32 %23 to i64
%27 = shl i64 %26, 2
%28 = call i8* @llvm.load.relative.i64(i8* bitcast ([9 x i32]* @reltable.print_top3.30 to i8*), i64 %27)
%29 = tail call i32 @printf(i8* %28, double %5)
br label %30
30: ; preds = %22, %25
ret void
}