foo() {
  int r0[8186];
  int r1[2];
  int r2[2];
  int bitm0[2];
  int bitm1[2];
  int bitm2[2];
  int i, j, k, m, n, m_max;
  int f;
  double fm, ft;
  while (1) {
    if (m % 4 == 2)
      ++m;
    if (m_max != 0 && m > m_max)
      break;
    fm = m;
    r0[k = 1] = 0;
    bitm0[0] = 0;
    while (n % f == 0) {
      while ((ft != 0) && (ft < fm)) {
        bitm1[i] = 0;
        r1[i] = 0;
      }
      while (r0[i] != 0 && r1[i] != 0) {
        if (r0[i] < r1[i]) {
          bitm2[k] = bitm0[i];
          r2[k++] = 0;
        } else if (r0[i] > r1[j]) {
          bitm2[k] = bitm1[j];
          r2[k++] = r1[j++];
        } else {
          bitm1[k] = bitm0[i];
          r2[k++] = r0[i++];
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x7fd0,%rsp
mov    -0x8028(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x2,%edx
jne    1131 <foo+0x31>
mov    -0x8028(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8028(%rbp)
cmpl   $0x0,-0x8030(%rbp)
je     1155 <foo+0x55>
mov    -0x8028(%rbp),%eax
cmp    -0x8030(%rbp),%eax
jle    1155 <foo+0x55>
jmp    13a8 <foo+0x2a8>
cvtsi2sdl -0x8028(%rbp),%xmm0
ff
movsd  %xmm0,-0x8040(%rbp)
ff
movl   $0x1,-0x8024(%rbp)
movl   $0x0,-0x7fec(%rbp)
movl   $0x0,-0x8008(%rbp)
mov    -0x802c(%rbp),%eax
cltd
idivl  -0x8034(%rbp)
cmp    $0x0,%edx
jne    13a3 <foo+0x2a3>
jmp    119e <foo+0x9e>
movsd  -0x8048(%rbp),%xmm0
ff
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x8049(%rbp)
jne    11c6 <foo+0xc6>
jp     11c6 <foo+0xc6>
jmp    11e3 <foo+0xe3>
movsd  -0x8048(%rbp),%xmm1
ff
movsd  -0x8040(%rbp),%xmm0
ff
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x8049(%rbp)
mov    -0x8049(%rbp),%al
test   $0x1,%al
jne    11f6 <foo+0xf6>
jmp    121f <foo+0x11f>
movslq -0x801c(%rbp),%rax
movl   $0x0,-0x8010(%rbp,%rax,4)
movslq -0x801c(%rbp),%rax
movl   $0x0,-0x7ff8(%rbp,%rax,4)
jmp    119e <foo+0x9e>
jmp    1224 <foo+0x124>
movslq -0x801c(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x0,-0x7ff0(%rbp,%rcx,4)
mov    %al,-0x804a(%rbp)
je     1259 <foo+0x159>
movslq -0x801c(%rbp),%rax
cmpl   $0x0,-0x7ff8(%rbp,%rax,4)
setne  %al
mov    %al,-0x804a(%rbp)
mov    -0x804a(%rbp),%al
test   $0x1,%al
jne    126c <foo+0x16c>
jmp    139e <foo+0x29e>
movslq -0x801c(%rbp),%rax
mov    -0x7ff0(%rbp,%rax,4),%eax
movslq -0x801c(%rbp),%rcx
cmp    -0x7ff8(%rbp,%rcx,4),%eax
jge    12cd <foo+0x1cd>
movslq -0x801c(%rbp),%rax
mov    -0x8008(%rbp,%rax,4),%ecx
movslq -0x8024(%rbp),%rax
mov    %ecx,-0x8018(%rbp,%rax,4)
mov    -0x8024(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x8024(%rbp)
cltq
movl   $0x0,-0x8000(%rbp,%rax,4)
jmp    1399 <foo+0x299>
movslq -0x801c(%rbp),%rax
mov    -0x7ff0(%rbp,%rax,4),%eax
movslq -0x8020(%rbp),%rcx
cmp    -0x7ff8(%rbp,%rcx,4),%eax
jle    1344 <foo+0x244>
movslq -0x8020(%rbp),%rax
mov    -0x8010(%rbp,%rax,4),%ecx
movslq -0x8024(%rbp),%rax
mov    %ecx,-0x8018(%rbp,%rax,4)
mov    -0x8020(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x8020(%rbp)
cltq
mov    -0x7ff8(%rbp,%rax,4),%ecx
mov    -0x8024(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x8024(%rbp)
cltq
mov    %ecx,-0x8000(%rbp,%rax,4)
jmp    1394 <foo+0x294>
movslq -0x801c(%rbp),%rax
mov    -0x8008(%rbp,%rax,4),%ecx
movslq -0x8024(%rbp),%rax
mov    %ecx,-0x8010(%rbp,%rax,4)
mov    -0x801c(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x801c(%rbp)
cltq
mov    -0x7ff0(%rbp,%rax,4),%ecx
mov    -0x8024(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x8024(%rbp)
cltq
mov    %ecx,-0x8000(%rbp,%rax,4)
jmp    1399 <foo+0x299>
jmp    1224 <foo+0x124>
jmp    1183 <foo+0x83>
jmp    110b <foo+0xb>
mov    -0x4(%rbp),%eax
add    $0x7fd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
jmp    1100 <foo>

LLVM IR (-O0):
define i32 @foo() {
%1 = alloca i32
%2 = alloca [8186 x i32]
%3 = alloca [2 x i32]
%4 = alloca [2 x i32]
%5 = alloca [2 x i32]
%6 = alloca [2 x i32]
%7 = alloca [2 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca double
%16 = alloca double
br label %17
17: ; preds = %0, %143
%18 = load i32, i32* %11
%19 = srem i32 %18, 4
%20 = icmp eq i32 %19, 2
br i1 %20, label %21, label %24
21: ; preds = %17
%22 = load i32, i32* %11
%23 = add nsw i32 %22, 1
store i32 %23, i32* %11
br label %24
24: ; preds = %21, %17
%25 = load i32, i32* %13
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %32
27: ; preds = %24
%28 = load i32, i32* %11
%29 = load i32, i32* %13
%30 = icmp sgt i32 %28, %29
br i1 %30, label %31, label %32
31: ; preds = %27
br label %144
32: ; preds = %27, %24
%33 = load i32, i32* %11
%34 = sitofp i32 %33 to double
store double %34, double* %15
store i32 1, i32* %10
%35 = getelementptr inbounds [8186 x i32], [8186 x i32]* %2, i64 0, i64 1
store i32 0, i32* %35
%36 = getelementptr inbounds [2 x i32], [2 x i32]* %5, i64 0, i64 0
store i32 0, i32* %36
br label %37
37: ; preds = %142, %32
%38 = load i32, i32* %12
%39 = load i32, i32* %14
%40 = srem i32 %38, %39
%41 = icmp eq i32 %40, 0
br i1 %41, label %42, label %143
42: ; preds = %37
br label %43
43: ; preds = %52, %42
%44 = load double, double* %16
%45 = fcmp une double %44, 0.000000e+00
br i1 %45, label %46, label %50
46: ; preds = %43
%47 = load double, double* %16
%48 = load double, double* %15
%49 = fcmp olt double %47, %48
br label %50
50: ; preds = %46, %43
%51 = phi i1 [ false, %43 ], [ %49, %46 ]
br i1 %51, label %52, label %59
52: ; preds = %50
%53 = load i32, i32* %8
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 %54
store i32 0, i32* %55
%56 = load i32, i32* %8
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 %57
store i32 0, i32* %58
br label %43
59: ; preds = %50
br label %60
60: ; preds = %141, %59
%61 = load i32, i32* %8
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [8186 x i32], [8186 x i32]* %2, i64 0, i64 %62
%64 = load i32, i32* %63
%65 = icmp ne i32 %64, 0
br i1 %65, label %66, label %72
66: ; preds = %60
%67 = load i32, i32* %8
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 %68
%70 = load i32, i32* %69
%71 = icmp ne i32 %70, 0
br label %72
72: ; preds = %66, %60
%73 = phi i1 [ false, %60 ], [ %71, %66 ]
br i1 %73, label %74, label %142
74: ; preds = %72
%75 = load i32, i32* %8
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [8186 x i32], [8186 x i32]* %2, i64 0, i64 %76
%78 = load i32, i32* %77
%79 = load i32, i32* %8
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 %80
%82 = load i32, i32* %81
%83 = icmp slt i32 %78, %82
br i1 %83, label %84, label %96
84: ; preds = %74
%85 = load i32, i32* %8
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds [2 x i32], [2 x i32]* %5, i64 0, i64 %86
%88 = load i32, i32* %87
%89 = load i32, i32* %10
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 %90
store i32 %88, i32* %91
%92 = load i32, i32* %10
%93 = add nsw i32 %92, 1
store i32 %93, i32* %10
%94 = sext i32 %92 to i64
%95 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 %94
store i32 0, i32* %95
br label %141
96: ; preds = %74
%97 = load i32, i32* %8
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds [8186 x i32], [8186 x i32]* %2, i64 0, i64 %98
%100 = load i32, i32* %99
%101 = load i32, i32* %9
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 %102
%104 = load i32, i32* %103
%105 = icmp sgt i32 %100, %104
br i1 %105, label %106, label %123
106: ; preds = %96
%107 = load i32, i32* %9
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %10
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 %112
store i32 %110, i32* %113
%114 = load i32, i32* %9
%115 = add nsw i32 %114, 1
store i32 %115, i32* %9
%116 = sext i32 %114 to i64
%117 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 %116
%118 = load i32, i32* %117
%119 = load i32, i32* %10
%120 = add nsw i32 %119, 1
store i32 %120, i32* %10
%121 = sext i32 %119 to i64
%122 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 %121
store i32 %118, i32* %122
br label %140
123: ; preds = %96
%124 = load i32, i32* %8
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds [2 x i32], [2 x i32]* %5, i64 0, i64 %125
%127 = load i32, i32* %126
%128 = load i32, i32* %10
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 %129
store i32 %127, i32* %130
%131 = load i32, i32* %8
%132 = add nsw i32 %131, 1
store i32 %132, i32* %8
%133 = sext i32 %131 to i64
%134 = getelementptr inbounds [8186 x i32], [8186 x i32]* %2, i64 0, i64 %133
%135 = load i32, i32* %134
%136 = load i32, i32* %10
%137 = add nsw i32 %136, 1
store i32 %137, i32* %10
%138 = sext i32 %136 to i64
%139 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 %138
store i32 %135, i32* %139
br label %140
140: ; preds = %123, %106
br label %141
141: ; preds = %140, %84
br label %60
142: ; preds = %72
br label %37
143: ; preds = %37
br label %17
144: ; preds = %31
%145 = load i32, i32* %1
ret i32 %145
}

LLVM IR (-O2):
define i32 @foo() {
br label %1
1: ; preds = %1, %0
br label %1
}