#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 sqrt(int);
double T_me(double hw, int n1, int n2, int l) {
  if (n1 == n2 - 1)
    return 0.5 * hw * sqrt(n2 * (n2 + 0.5));
  if (n1 == n2 + 1)
    return 0.5 * hw * sqrt(n1 * (n1 + 0.5));
  if (n1 == n2)
    return hw * (n1 + 0.75);
  return 0.;
}


x86 assembly (clang, -O0):
<T_me>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
mov    %esi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1182 <T_me+0x72>
movsd  0xec9(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
cvtsi2sdl -0x18(%rbp),%xmm0
cvtsi2sdl -0x18(%rbp),%xmm1
movsd  0xead(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x28(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1216 <T_me+0x106>
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    11de <T_me+0xce>
movsd  0xe6d(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
cvtsi2sdl -0x14(%rbp),%xmm0
cvtsi2sdl -0x14(%rbp),%xmm1
movsd  0xe51(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1216 <T_me+0x106>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    120e <T_me+0xfe>
movsd  -0x10(%rbp),%xmm0
cvtsi2sdl -0x14(%rbp),%xmm1
movsd  0xe04(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1216 <T_me+0x106>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<T_me>:
push   %rax
movapd %xmm0,%xmm1
lea    -0x1(%rsi),%eax
cmp    %edi,%eax
jne    1136 <T_me+0x26>
movsd  0xee4(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
jmp    1155 <T_me+0x45>
lea    0x1(%rsi),%eax
cmp    %edi,%eax
jne    116d <T_me+0x5d>
movsd  0xec3(%rip),%xmm0
mulsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
xorps  %xmm1,%xmm1
cvtsi2sd %edi,%xmm1
addsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <sqrt@plt>
mulsd  (%rsp),%xmm0
pop    %rax
ret
xorpd  %xmm0,%xmm0
cmp    %esi,%edi
jne    1188 <T_me+0x78>
xorps  %xmm0,%xmm0
cvtsi2sd %esi,%xmm0
addsd  0xe7c(%rip),%xmm0
mulsd  %xmm1,%xmm0
pop    %rax
ret

LLVM IR (-O0):
define double @T_me(double %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store double %0, double* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%10 = load i32, i32* %7
%11 = load i32, i32* %8
%12 = sub nsw i32 %11, 1
%13 = icmp eq i32 %10, %12
br i1 %13, label %14, label %26
14: ; preds = %4
%15 = load double, double* %6
%16 = fmul double 5.000000e-01, %15
%17 = load i32, i32* %8
%18 = sitofp i32 %17 to double
%19 = load i32, i32* %8
%20 = sitofp i32 %19 to double
%21 = fadd double %20, 5.000000e-01
%22 = fmul double %18, %21
%23 = fptosi double %22 to i32
%24 = call double @sqrt(i32 %23)
%25 = fmul double %16, %24
store double %25, double* %5
br label %54
26: ; preds = %4
%27 = load i32, i32* %7
%28 = load i32, i32* %8
%29 = add nsw i32 %28, 1
%30 = icmp eq i32 %27, %29
br i1 %30, label %31, label %43
31: ; preds = %26
%32 = load double, double* %6
%33 = fmul double 5.000000e-01, %32
%34 = load i32, i32* %7
%35 = sitofp i32 %34 to double
%36 = load i32, i32* %7
%37 = sitofp i32 %36 to double
%38 = fadd double %37, 5.000000e-01
%39 = fmul double %35, %38
%40 = fptosi double %39 to i32
%41 = call double @sqrt(i32 %40)
%42 = fmul double %33, %41
store double %42, double* %5
br label %54
43: ; preds = %26
%44 = load i32, i32* %7
%45 = load i32, i32* %8
%46 = icmp eq i32 %44, %45
br i1 %46, label %47, label %53
47: ; preds = %43
%48 = load double, double* %6
%49 = load i32, i32* %7
%50 = sitofp i32 %49 to double
%51 = fadd double %50, 7.500000e-01
%52 = fmul double %48, %51
store double %52, double* %5
br label %54
53: ; preds = %43
store double 0.000000e+00, double* %5
br label %54
54: ; preds = %53, %47, %31, %14
%55 = load double, double* %5
ret double %55
}

LLVM IR (-O2):
define double @T_me(double %0, i32 %1, i32 %2, i32 %3) {
%5 = add nsw i32 %2, -1
%6 = icmp eq i32 %5, %1
br i1 %6, label %7, label %15
7: ; preds = %4
%8 = fmul double %0, 5.000000e-01
%9 = sitofp i32 %2 to double
%10 = fadd double %9, 5.000000e-01
%11 = fmul double %10, %9
%12 = fptosi double %11 to i32
%13 = tail call double @sqrt(i32 %12)
%14 = fmul double %8, %13
br label %32
15: ; preds = %4
%16 = add nsw i32 %2, 1
%17 = icmp eq i32 %16, %1
br i1 %17, label %18, label %26
18: ; preds = %15
%19 = fmul double %0, 5.000000e-01
%20 = sitofp i32 %1 to double
%21 = fadd double %20, 5.000000e-01
%22 = fmul double %21, %20
%23 = fptosi double %22 to i32
%24 = tail call double @sqrt(i32 %23)
%25 = fmul double %19, %24
br label %32
26: ; preds = %15
%27 = icmp eq i32 %1, %2
br i1 %27, label %28, label %32
28: ; preds = %26
%29 = sitofp i32 %2 to double
%30 = fadd double %29, 7.500000e-01
%31 = fmul double %30, %0
br label %32
32: ; preds = %26, %28, %18, %7
%33 = phi double [ %14, %7 ], [ %25, %18 ], [ %31, %28 ], [ 0.000000e+00, %26 ]
ret double %33
}