__attribute__((no)) int loop(int zero) {
  int t = 0, i, iter;
  for (iter = 0; iter < 64 + zero; ++iter) {
    for (i = zero; i < 10; ++i) {
      switch (i) {
      case 0:
        t += 1;
        t |= 2;
        break;
      case 1:
        t += 4;
        t |= 4;
        break;
      case 2:
        t -= 4;
        t |= 3;
        break;
      case 3:
        t += 2;
        t |= 4;
        break;
      case 4:
        t -= 3;
        t |= 5;
        break;
      case 5:
        t += 2;
        t |= 3;
        break;
      case 6:
        t -= 3;
        t |= 2;
        break;
      case 7:
        t -= 1;
        t |= 2;
        break;
      case 8:
        t -= 2;
        t |= 3;
        break;
      case 9:
        t -= 1;
        t |= 1;
        break;
      }
    }
  }
  return t;
}


x86 assembly (clang, -O0):
<loop>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    $0x40,%ecx
cmp    %ecx,%eax
jge    1262 <loop+0x162>
mov    -0x4(%rbp),%eax
mov    %eax,-0xc(%rbp)
cmpl   $0xa,-0xc(%rbp)
jge    124f <loop+0x14f>
mov    -0xc(%rbp),%eax
mov    %rax,-0x18(%rbp)
sub    $0x9,%rax
ja     123c <loop+0x13c>
mov    -0x18(%rbp),%rax
lea    0xeae(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x2,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x4,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x3,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x4,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x3,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x5,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x3,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x3,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x2,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x2,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x3,%eax
mov    %eax,-0x8(%rbp)
jmp    123c <loop+0x13c>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1241 <loop+0x141>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112c <loop+0x2c>
jmp    1254 <loop+0x154>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1115 <loop+0x15>
mov    -0x8(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<loop>:
xor    %eax,%eax
cmp    $0xffffffc1,%edi
jl     11b0 <loop+0xb0>
lea    0x3f(%rdi),%r8d
xor    %r9d,%r9d
test   %r8d,%r8d
cmovle %r9d,%r8d
lea    0xee0(%rip),%rsi
xor    %eax,%eax
jmp    1142 <loop+0x42>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0xffffffff,%eax
or     $0x1,%eax
lea    0x1(%r9),%ecx
cmp    %r8d,%r9d
mov    %ecx,%r9d
je     11b0 <loop+0xb0>
cmp    $0x9,%edi
jg     1136 <loop+0x36>
mov    %edi,%ecx
jmp    1154 <loop+0x54>
add    $0xfffffffe,%eax
or     $0x3,%eax
add    $0x1,%ecx
cmp    $0x9,%ecx
ja     1151 <loop+0x51>
mov    %ecx,%edx
movslq (%rsi,%rdx,4),%rdx
add    %rsi,%rdx
jmp    *%rdx
add    $0x1,%eax
or     $0x2,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
add    $0x4,%eax
or     $0x4,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
add    $0xfffffffc,%eax
jmp    114e <loop+0x4e>
add    $0x2,%eax
or     $0x4,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
add    $0xfffffffd,%eax
or     $0x5,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
add    $0x2,%eax
jmp    114e <loop+0x4e>
add    $0xfffffffd,%eax
or     $0x2,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
add    $0xffffffff,%eax
or     $0x2,%eax
add    $0x1,%ecx
jmp    1154 <loop+0x54>
ret

LLVM IR (-O0):
define i32 @loop(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %2
store i32 0, i32* %3
store i32 0, i32* %5
br label %6
6: ; preds = %73, %1
%7 = load i32, i32* %5
%8 = load i32, i32* %2
%9 = add nsw i32 64, %8
%10 = icmp slt i32 %7, %9
br i1 %10, label %11, label %76
11: ; preds = %6
%12 = load i32, i32* %2
store i32 %12, i32* %4
br label %13
13: ; preds = %69, %11
%14 = load i32, i32* %4
%15 = icmp slt i32 %14, 10
br i1 %15, label %16, label %72
16: ; preds = %13
%17 = load i32, i32* %4
switch i32 %17, label %68 [
i32 0, label %18
i32 1, label %23
i32 2, label %28
i32 3, label %33
i32 4, label %38
i32 5, label %43
i32 6, label %48
i32 7, label %53
i32 8, label %58
i32 9, label %63
]
18: ; preds = %16
%19 = load i32, i32* %3
%20 = add nsw i32 %19, 1
store i32 %20, i32* %3
%21 = load i32, i32* %3
%22 = or i32 %21, 2
store i32 %22, i32* %3
br label %68
23: ; preds = %16
%24 = load i32, i32* %3
%25 = add nsw i32 %24, 4
store i32 %25, i32* %3
%26 = load i32, i32* %3
%27 = or i32 %26, 4
store i32 %27, i32* %3
br label %68
28: ; preds = %16
%29 = load i32, i32* %3
%30 = sub nsw i32 %29, 4
store i32 %30, i32* %3
%31 = load i32, i32* %3
%32 = or i32 %31, 3
store i32 %32, i32* %3
br label %68
33: ; preds = %16
%34 = load i32, i32* %3
%35 = add nsw i32 %34, 2
store i32 %35, i32* %3
%36 = load i32, i32* %3
%37 = or i32 %36, 4
store i32 %37, i32* %3
br label %68
38: ; preds = %16
%39 = load i32, i32* %3
%40 = sub nsw i32 %39, 3
store i32 %40, i32* %3
%41 = load i32, i32* %3
%42 = or i32 %41, 5
store i32 %42, i32* %3
br label %68
43: ; preds = %16
%44 = load i32, i32* %3
%45 = add nsw i32 %44, 2
store i32 %45, i32* %3
%46 = load i32, i32* %3
%47 = or i32 %46, 3
store i32 %47, i32* %3
br label %68
48: ; preds = %16
%49 = load i32, i32* %3
%50 = sub nsw i32 %49, 3
store i32 %50, i32* %3
%51 = load i32, i32* %3
%52 = or i32 %51, 2
store i32 %52, i32* %3
br label %68
53: ; preds = %16
%54 = load i32, i32* %3
%55 = sub nsw i32 %54, 1
store i32 %55, i32* %3
%56 = load i32, i32* %3
%57 = or i32 %56, 2
store i32 %57, i32* %3
br label %68
58: ; preds = %16
%59 = load i32, i32* %3
%60 = sub nsw i32 %59, 2
store i32 %60, i32* %3
%61 = load i32, i32* %3
%62 = or i32 %61, 3
store i32 %62, i32* %3
br label %68
63: ; preds = %16
%64 = load i32, i32* %3
%65 = sub nsw i32 %64, 1
store i32 %65, i32* %3
%66 = load i32, i32* %3
%67 = or i32 %66, 1
store i32 %67, i32* %3
br label %68
68: ; preds = %16, %63, %58, %53, %48, %43, %38, %33, %28, %23, %18
br label %69
69: ; preds = %68
%70 = load i32, i32* %4
%71 = add nsw i32 %70, 1
store i32 %71, i32* %4
br label %13
72: ; preds = %13
br label %73
73: ; preds = %72
%74 = load i32, i32* %5
%75 = add nsw i32 %74, 1
store i32 %75, i32* %5
br label %6
76: ; preds = %6
%77 = load i32, i32* %3
ret i32 %77
}

LLVM IR (-O2):
define i32 @loop(i32 %0) {
%2 = icmp sgt i32 %0, -64
br i1 %2, label %3, label %50
3: ; preds = %1
%4 = icmp slt i32 %0, 10
%5 = add i32 %0, 63
%6 = call i32 @llvm.smax.i32(i32 %5, i32 0)
br label %7
7: ; preds = %3, %46
%8 = phi i32 [ 0, %3 ], [ %48, %46 ]
%9 = phi i32 [ 0, %3 ], [ %47, %46 ]
br i1 %4, label %10, label %46
10: ; preds = %7, %40
%11 = phi i32 [ %42, %40 ], [ %0, %7 ]
%12 = phi i32 [ %41, %40 ], [ %9, %7 ]
switch i32 %11, label %40 [
i32 0, label %13
i32 1, label %16
i32 2, label %19
i32 3, label %22
i32 4, label %25
i32 5, label %28
i32 6, label %31
i32 7, label %34
i32 8, label %37
i32 9, label %43
]
13: ; preds = %10
%14 = add nsw i32 %12, 1
%15 = or i32 %14, 2
br label %40
16: ; preds = %10
%17 = add nsw i32 %12, 4
%18 = or i32 %17, 4
br label %40
19: ; preds = %10
%20 = add nsw i32 %12, -4
%21 = or i32 %20, 3
br label %40
22: ; preds = %10
%23 = add nsw i32 %12, 2
%24 = or i32 %23, 4
br label %40
25: ; preds = %10
%26 = add nsw i32 %12, -3
%27 = or i32 %26, 5
br label %40
28: ; preds = %10
%29 = add nsw i32 %12, 2
%30 = or i32 %29, 3
br label %40
31: ; preds = %10
%32 = add nsw i32 %12, -3
%33 = or i32 %32, 2
br label %40
34: ; preds = %10
%35 = add nsw i32 %12, -1
%36 = or i32 %35, 2
br label %40
37: ; preds = %10
%38 = add nsw i32 %12, -2
%39 = or i32 %38, 3
br label %40
40: ; preds = %13, %16, %19, %22, %25, %28, %31, %34, %37, %10
%41 = phi i32 [ %12, %10 ], [ %39, %37 ], [ %36, %34 ], [ %33, %31 ], [ %30, %28 ], [ %27, %25 ], [ %24, %22 ], [ %21, %19 ], [ %18, %16 ], [ %15, %13 ]
%42 = add i32 %11, 1
br label %10
43: ; preds = %10
%44 = add nsw i32 %12, -1
%45 = or i32 %44, 1
br label %46
46: ; preds = %43, %7
%47 = phi i32 [ %9, %7 ], [ %45, %43 ]
%48 = add nuw i32 %8, 1
%49 = icmp eq i32 %8, %6
br i1 %49, label %50, label %7
50: ; preds = %46, %1
%51 = phi i32 [ 0, %1 ], [ %47, %46 ]
ret i32 %51
}