int serie(int N) {
  int i = 0;
  int S = 0;
  for (i = 1; i <= N; i++) {
    S += (i * i + 1) / (i + 3);
  }
  return S;
}


x86 assembly (clang, -O0):
<serie>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     114f <serie+0x4f>
mov    -0x8(%rbp),%eax
imul   -0x8(%rbp),%eax
add    $0x1,%eax
mov    -0x8(%rbp),%ecx
add    $0x3,%ecx
cltd
idiv   %ecx
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    111c <serie+0x1c>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<serie>:
test   %edi,%edi
jle    111d <serie+0x1d>
cmp    $0x1,%edi
jne    1120 <serie+0x20>
mov    $0x1,%r10d
xor    %r8d,%r8d
test   $0x1,%dil
jne    118b <serie+0x8b>
jmp    11a1 <serie+0xa1>
xor    %eax,%eax
ret
push   %rbx
mov    %edi,%r9d
and    $0xfffffffe,%r9d
neg    %r9d
xor    %r8d,%r8d
mov    $0x2,%r10d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r10d,%ecx
lea    -0x1(%rcx),%eax
imul   %eax,%eax
mov    %r10d,%esi
add    $0x1,%eax
lea    0x3(%rcx),%r11d
lea    (%r9,%rcx,1),%ebx
add    $0x2,%ebx
lea    0x2(%rcx),%r10d
xor    %edx,%edx
div    %r10d
mov    %eax,%ecx
imul   %esi,%esi
add    $0x1,%esi
add    %r8d,%ecx
mov    %esi,%eax
xor    %edx,%edx
div    %r11d
mov    %eax,%r8d
add    %ecx,%r8d
cmp    $0x2,%ebx
jne    1140 <serie+0x40>
add    $0xffffffff,%r10d
pop    %rbx
test   $0x1,%dil
je     11a1 <serie+0xa1>
mov    %r10d,%eax
imul   %r10d,%eax
add    $0x1,%eax
add    $0x3,%r10d
xor    %edx,%edx
div    %r10d
add    %eax,%r8d
mov    %r8d,%eax
ret

LLVM IR (-O0):
define i32 @serie(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %2
store i32 0, i32* %3
store i32 0, i32* %4
store i32 1, i32* %3
br label %5
5: ; preds = %19, %1
%6 = load i32, i32* %3
%7 = load i32, i32* %2
%8 = icmp sle i32 %6, %7
br i1 %8, label %9, label %22
9: ; preds = %5
%10 = load i32, i32* %3
%11 = load i32, i32* %3
%12 = mul nsw i32 %10, %11
%13 = add nsw i32 %12, 1
%14 = load i32, i32* %3
%15 = add nsw i32 %14, 3
%16 = sdiv i32 %13, %15
%17 = load i32, i32* %4
%18 = add nsw i32 %17, %16
store i32 %18, i32* %4
br label %19
19: ; preds = %9
%20 = load i32, i32* %3
%21 = add nsw i32 %20, 1
store i32 %21, i32* %3
br label %5
22: ; preds = %5
%23 = load i32, i32* %4
ret i32 %23
}

LLVM IR (-O2):
define i32 @serie(i32 %0) {
%2 = icmp slt i32 %0, 1
br i1 %2, label %37, label %3
3: ; preds = %1
%4 = and i32 %0, 1
%5 = icmp eq i32 %0, 1
br i1 %5, label %26, label %6
6: ; preds = %3
%7 = and i32 %0, -2
br label %8
8: ; preds = %8, %6
%9 = phi i32 [ 0, %6 ], [ %22, %8 ]
%10 = phi i32 [ 1, %6 ], [ %23, %8 ]
%11 = phi i32 [ 0, %6 ], [ %24, %8 ]
%12 = mul nsw i32 %10, %10
%13 = add nuw nsw i32 %12, 1
%14 = add nuw nsw i32 %10, 3
%15 = udiv i32 %13, %14
%16 = add nuw nsw i32 %15, %9
%17 = add nuw i32 %10, 1
%18 = mul nsw i32 %17, %17
%19 = add nuw nsw i32 %18, 1
%20 = add nuw i32 %10, 4
%21 = udiv i32 %19, %20
%22 = add nuw nsw i32 %21, %16
%23 = add nuw i32 %10, 2
%24 = add i32 %11, 2
%25 = icmp eq i32 %24, %7
br i1 %25, label %26, label %8
26: ; preds = %8, %3
%27 = phi i32 [ undef, %3 ], [ %22, %8 ]
%28 = phi i32 [ 0, %3 ], [ %22, %8 ]
%29 = phi i32 [ 1, %3 ], [ %23, %8 ]
%30 = icmp eq i32 %4, 0
br i1 %30, label %37, label %31
31: ; preds = %26
%32 = mul nsw i32 %29, %29
%33 = add nuw nsw i32 %32, 1
%34 = add nuw nsw i32 %29, 3
%35 = udiv i32 %33, %34
%36 = add nuw nsw i32 %35, %28
br label %37
37: ; preds = %31, %26, %1
%38 = phi i32 [ 0, %1 ], [ %27, %26 ], [ %36, %31 ]
ret i32 %38
}