int bar(int n) {
  int i = 0;
  volatile int sum = 0;
  for (i = 0; i < n; i++)
    sum += i;
  return sum;
}


x86 assembly (clang, -O0):
<bar>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1141 <bar+0x41>
mov    -0x8(%rbp),%ecx
mov    -0xc(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    111c <bar+0x1c>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bar>:
movl   $0x0,-0x4(%rsp)
test   %edi,%edi
jle    116c <bar+0x6c>
lea    -0x1(%rdi),%edx
mov    %edi,%eax
and    $0x3,%eax
xor    %ecx,%ecx
cmp    $0x3,%edx
jb     1151 <bar+0x51>
and    $0xfffffffc,%edi
xor    %ecx,%ecx
add    %ecx,-0x4(%rsp)
mov    -0x4(%rsp),%edx
add    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x4(%rsp)
mov    -0x4(%rsp),%edx
lea    0x2(%rcx,%rdx,1),%edx
mov    %edx,-0x4(%rsp)
mov    -0x4(%rsp),%edx
add    %ecx,%edx
add    $0x3,%edx
mov    %edx,-0x4(%rsp)
add    $0x4,%ecx
cmp    %ecx,%edi
jne    1120 <bar+0x20>
test   %eax,%eax
je     116c <bar+0x6c>
cs nopw 0x0(%rax,%rax,1)
nop
add    %ecx,-0x4(%rsp)
add    $0x1,%ecx
add    $0xffffffff,%eax
jne    1160 <bar+0x60>
mov    -0x4(%rsp),%eax
ret

LLVM IR (-O0):
define i32 @bar(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %2
store i32 0, i32* %3
store volatile i32 0, i32* %4
store i32 0, i32* %3
br label %5
5: ; preds = %13, %1
%6 = load i32, i32* %3
%7 = load i32, i32* %2
%8 = icmp slt i32 %6, %7
br i1 %8, label %9, label %16
9: ; preds = %5
%10 = load i32, i32* %3
%11 = load volatile i32, i32* %4
%12 = add nsw i32 %11, %10
store volatile i32 %12, i32* %4
br label %13
13: ; preds = %9
%14 = load i32, i32* %3
%15 = add nsw i32 %14, 1
store i32 %15, i32* %3
br label %5
16: ; preds = %5
%17 = load volatile i32, i32* %4
ret i32 %17
}

LLVM IR (-O2):
define i32 @bar(i32 %0) {
%2 = alloca i32
%3 = bitcast i32* %2 to i8*
store volatile i32 0, i32* %2
%4 = icmp sgt i32 %0, 0
br i1 %4, label %5, label %39
5: ; preds = %1
%6 = add i32 %0, -1
%7 = and i32 %0, 3
%8 = icmp ult i32 %6, 3
br i1 %8, label %28, label %9
9: ; preds = %5
%10 = and i32 %0, -4
br label %11
11: ; preds = %11, %9
%12 = phi i32 [ 0, %9 ], [ %25, %11 ]
%13 = phi i32 [ 0, %9 ], [ %26, %11 ]
%14 = load volatile i32, i32* %2
%15 = add nsw i32 %14, %12
store volatile i32 %15, i32* %2
%16 = or i32 %12, 1
%17 = load volatile i32, i32* %2
%18 = add nsw i32 %17, %16
store volatile i32 %18, i32* %2
%19 = or i32 %12, 2
%20 = load volatile i32, i32* %2
%21 = add nsw i32 %20, %19
store volatile i32 %21, i32* %2
%22 = or i32 %12, 3
%23 = load volatile i32, i32* %2
%24 = add nsw i32 %23, %22
store volatile i32 %24, i32* %2
%25 = add nuw nsw i32 %12, 4
%26 = add i32 %13, 4
%27 = icmp eq i32 %26, %10
br i1 %27, label %28, label %11
28: ; preds = %11, %5
%29 = phi i32 [ 0, %5 ], [ %25, %11 ]
%30 = icmp eq i32 %7, 0
br i1 %30, label %39, label %31
31: ; preds = %28, %31
%32 = phi i32 [ %36, %31 ], [ %29, %28 ]
%33 = phi i32 [ %37, %31 ], [ 0, %28 ]
%34 = load volatile i32, i32* %2
%35 = add nsw i32 %34, %32
store volatile i32 %35, i32* %2
%36 = add nuw nsw i32 %32, 1
%37 = add i32 %33, 1
%38 = icmp eq i32 %37, %7
br i1 %38, label %39, label %31
39: ; preds = %28, %31, %1
%40 = load volatile i32, i32* %2
ret i32 %40
}