int main() {
  int b, c = 0;
  b = 7;
#pragma omp simd linear(b : 2) reduction(+ : c)
  for (int i = 0; i < 64; i++) {
    c = c + (b != 7 + 2 * i);
    b = b + 2;
  }
  if (c || b != 7 + 64 * 2)
    __builtin_abort();
  b = 7;
#pragma omp simd linear(b : 3) reduction(+ : c)
  for (int i = 0; i < 64; i += 4) {
    c = c + (b != 7 + i / 4 * 3);
    b = b + 3;
  }
  if (c || b != 7 + 16 * 3)
    __builtin_abort();
  b = 7;
#pragma omp simd collapse(2) linear(b : 2) reduction(+ : c)
  for (int i = 0; i < 8; i++)
    for (int j = 0; j < 8; j++) {
      c = c + (b != 7 + 2 * j + 2 * 8 * i);
      b = b + 2;
    }
  if (c || b != 7 + 64 * 2)
    __builtin_abort();
  b = 7;
#pragma omp parallel for simd schedule(static, 4) linear(b : 2) reduction(+ : c)
  for (int i = 0; i < 64; i++) {
    c = c + (b != 7 + 2 * i);
    b = b + 2;
  }
  if (c || b != 7 + 64 * 2)
    __builtin_abort();
  b = 7;
#pragma omp parallel for simd schedule(static, 4) linear(b : 3) reduction(+ : c)
  for (int i = 0; i < 64; i += 4) {
    c = c + (b != 7 + i / 4 * 3);
    b = b + 3;
  }
  if (c || b != 7 + 16 * 3)
    __builtin_abort();
  b = 7;
#pragma omp parallel for simd collapse (2) schedule (static, 4) linear(b:2) reduction(+:c)
  for (int i = 0; i < 8; i++)
    for (int j = 0; j < 8; j++) {
      c = c + (b != 7 + 2 * j + 2 * 8 * i);
      b = b + 2;
    }
  if (c || b != 7 + 64 * 2)
    __builtin_abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x40,-0x10(%rbp)
jge    1174 <main+0x64>
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%edx
shl    $0x1,%edx
add    $0x7,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1134 <main+0x24>
cmpl   $0x0,-0xc(%rbp)
jne    118b <main+0x7b>
cmpl   $0x87,-0x8(%rbp)
je     1190 <main+0x80>
call   1030 <abort@plt>
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x40,-0x14(%rbp)
jge    11ee <main+0xde>
mov    -0xc(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x14(%rbp),%eax
mov    $0x4,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x30(%rbp),%eax
imul   $0x3,%edx,%edx
add    $0x7,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x8(%rbp)
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    119e <main+0x8e>
cmpl   $0x0,-0xc(%rbp)
jne    1202 <main+0xf2>
cmpl   $0x37,-0x8(%rbp)
je     1207 <main+0xf7>
call   1030 <abort@plt>
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x8,-0x18(%rbp)
jge    1281 <main+0x171>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    126e <main+0x15e>
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
mov    -0x1c(%rbp),%edx
shl    $0x1,%edx
add    $0x7,%edx
mov    -0x18(%rbp),%esi
shl    $0x4,%esi
add    %esi,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1226 <main+0x116>
jmp    1273 <main+0x163>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1215 <main+0x105>
cmpl   $0x0,-0xc(%rbp)
jne    1298 <main+0x188>
cmpl   $0x87,-0x8(%rbp)
je     129d <main+0x18d>
call   1030 <abort@plt>
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x40,-0x20(%rbp)
jge    12eb <main+0x1db>
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
mov    -0x20(%rbp),%edx
shl    $0x1,%edx
add    $0x7,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12ab <main+0x19b>
cmpl   $0x0,-0xc(%rbp)
jne    1302 <main+0x1f2>
cmpl   $0x87,-0x8(%rbp)
je     1307 <main+0x1f7>
call   1030 <abort@plt>
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x40,-0x24(%rbp)
jge    1365 <main+0x255>
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x24(%rbp),%eax
mov    $0x4,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x34(%rbp),%eax
imul   $0x3,%edx,%edx
add    $0x7,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x8(%rbp)
mov    -0x24(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x24(%rbp)
jmp    1315 <main+0x205>
cmpl   $0x0,-0xc(%rbp)
jne    1379 <main+0x269>
cmpl   $0x37,-0x8(%rbp)
je     137e <main+0x26e>
call   1030 <abort@plt>
movl   $0x7,-0x8(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x8,-0x28(%rbp)
jge    13f8 <main+0x2e8>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    13e5 <main+0x2d5>
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x1,%edx
add    $0x7,%edx
mov    -0x28(%rbp),%esi
shl    $0x4,%esi
add    %esi,%edx
cmp    %edx,%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    139d <main+0x28d>
jmp    13ea <main+0x2da>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    138c <main+0x27c>
cmpl   $0x0,-0xc(%rbp)
jne    140f <main+0x2ff>
cmpl   $0x87,-0x8(%rbp)
je     1414 <main+0x304>
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %3
store i32 7, i32* %2
store i32 0, i32* %4
br label %12
12: ; preds = %26, %0
%13 = load i32, i32* %4
%14 = icmp slt i32 %13, 64
br i1 %14, label %15, label %29
15: ; preds = %12
%16 = load i32, i32* %3
%17 = load i32, i32* %2
%18 = load i32, i32* %4
%19 = mul nsw i32 2, %18
%20 = add nsw i32 7, %19
%21 = icmp ne i32 %17, %20
%22 = zext i1 %21 to i32
%23 = add nsw i32 %16, %22
store i32 %23, i32* %3
%24 = load i32, i32* %2
%25 = add nsw i32 %24, 2
store i32 %25, i32* %2
br label %26
26: ; preds = %15
%27 = load i32, i32* %4
%28 = add nsw i32 %27, 1
store i32 %28, i32* %4
br label %12
29: ; preds = %12
%30 = load i32, i32* %3
%31 = icmp ne i32 %30, 0
br i1 %31, label %35, label %32
32: ; preds = %29
%33 = load i32, i32* %2
%34 = icmp ne i32 %33, 135
br i1 %34, label %35, label %36
35: ; preds = %32, %29
unreachable
36: ; preds = %32
store i32 7, i32* %2
store i32 0, i32* %5
br label %37
37: ; preds = %52, %36
%38 = load i32, i32* %5
%39 = icmp slt i32 %38, 64
br i1 %39, label %40, label %55
40: ; preds = %37
%41 = load i32, i32* %3
%42 = load i32, i32* %2
%43 = load i32, i32* %5
%44 = sdiv i32 %43, 4
%45 = mul nsw i32 %44, 3
%46 = add nsw i32 7, %45
%47 = icmp ne i32 %42, %46
%48 = zext i1 %47 to i32
%49 = add nsw i32 %41, %48
store i32 %49, i32* %3
%50 = load i32, i32* %2
%51 = add nsw i32 %50, 3
store i32 %51, i32* %2
br label %52
52: ; preds = %40
%53 = load i32, i32* %5
%54 = add nsw i32 %53, 4
store i32 %54, i32* %5
br label %37
55: ; preds = %37
%56 = load i32, i32* %3
%57 = icmp ne i32 %56, 0
br i1 %57, label %61, label %58
58: ; preds = %55
%59 = load i32, i32* %2
%60 = icmp ne i32 %59, 55
br i1 %60, label %61, label %62
61: ; preds = %58, %55
unreachable
62: ; preds = %58
store i32 7, i32* %2
store i32 0, i32* %6
br label %63
63: ; preds = %88, %62
%64 = load i32, i32* %6
%65 = icmp slt i32 %64, 8
br i1 %65, label %66, label %91
66: ; preds = %63
store i32 0, i32* %7
br label %67
67: ; preds = %84, %66
%68 = load i32, i32* %7
%69 = icmp slt i32 %68, 8
br i1 %69, label %70, label %87
70: ; preds = %67
%71 = load i32, i32* %3
%72 = load i32, i32* %2
%73 = load i32, i32* %7
%74 = mul nsw i32 2, %73
%75 = add nsw i32 7, %74
%76 = load i32, i32* %6
%77 = mul nsw i32 16, %76
%78 = add nsw i32 %75, %77
%79 = icmp ne i32 %72, %78
%80 = zext i1 %79 to i32
%81 = add nsw i32 %71, %80
store i32 %81, i32* %3
%82 = load i32, i32* %2
%83 = add nsw i32 %82, 2
store i32 %83, i32* %2
br label %84
84: ; preds = %70
%85 = load i32, i32* %7
%86 = add nsw i32 %85, 1
store i32 %86, i32* %7
br label %67
87: ; preds = %67
br label %88
88: ; preds = %87
%89 = load i32, i32* %6
%90 = add nsw i32 %89, 1
store i32 %90, i32* %6
br label %63
91: ; preds = %63
%92 = load i32, i32* %3
%93 = icmp ne i32 %92, 0
br i1 %93, label %97, label %94
94: ; preds = %91
%95 = load i32, i32* %2
%96 = icmp ne i32 %95, 135
br i1 %96, label %97, label %98
97: ; preds = %94, %91
unreachable
98: ; preds = %94
store i32 7, i32* %2
store i32 0, i32* %8
br label %99
99: ; preds = %113, %98
%100 = load i32, i32* %8
%101 = icmp slt i32 %100, 64
br i1 %101, label %102, label %116
102: ; preds = %99
%103 = load i32, i32* %3
%104 = load i32, i32* %2
%105 = load i32, i32* %8
%106 = mul nsw i32 2, %105
%107 = add nsw i32 7, %106
%108 = icmp ne i32 %104, %107
%109 = zext i1 %108 to i32
%110 = add nsw i32 %103, %109
store i32 %110, i32* %3
%111 = load i32, i32* %2
%112 = add nsw i32 %111, 2
store i32 %112, i32* %2
br label %113
113: ; preds = %102
%114 = load i32, i32* %8
%115 = add nsw i32 %114, 1
store i32 %115, i32* %8
br label %99
116: ; preds = %99
%117 = load i32, i32* %3
%118 = icmp ne i32 %117, 0
br i1 %118, label %122, label %119
119: ; preds = %116
%120 = load i32, i32* %2
%121 = icmp ne i32 %120, 135
br i1 %121, label %122, label %123
122: ; preds = %119, %116
unreachable
123: ; preds = %119
store i32 7, i32* %2
store i32 0, i32* %9
br label %124
124: ; preds = %139, %123
%125 = load i32, i32* %9
%126 = icmp slt i32 %125, 64
br i1 %126, label %127, label %142
127: ; preds = %124
%128 = load i32, i32* %3
%129 = load i32, i32* %2
%130 = load i32, i32* %9
%131 = sdiv i32 %130, 4
%132 = mul nsw i32 %131, 3
%133 = add nsw i32 7, %132
%134 = icmp ne i32 %129, %133
%135 = zext i1 %134 to i32
%136 = add nsw i32 %128, %135
store i32 %136, i32* %3
%137 = load i32, i32* %2
%138 = add nsw i32 %137, 3
store i32 %138, i32* %2
br label %139
139: ; preds = %127
%140 = load i32, i32* %9
%141 = add nsw i32 %140, 4
store i32 %141, i32* %9
br label %124
142: ; preds = %124
%143 = load i32, i32* %3
%144 = icmp ne i32 %143, 0
br i1 %144, label %148, label %145
145: ; preds = %142
%146 = load i32, i32* %2
%147 = icmp ne i32 %146, 55
br i1 %147, label %148, label %149
148: ; preds = %145, %142
unreachable
149: ; preds = %145
store i32 7, i32* %2
store i32 0, i32* %10
br label %150
150: ; preds = %175, %149
%151 = load i32, i32* %10
%152 = icmp slt i32 %151, 8
br i1 %152, label %153, label %178
153: ; preds = %150
store i32 0, i32* %11
br label %154
154: ; preds = %171, %153
%155 = load i32, i32* %11
%156 = icmp slt i32 %155, 8
br i1 %156, label %157, label %174
157: ; preds = %154
%158 = load i32, i32* %3
%159 = load i32, i32* %2
%160 = load i32, i32* %11
%161 = mul nsw i32 2, %160
%162 = add nsw i32 7, %161
%163 = load i32, i32* %10
%164 = mul nsw i32 16, %163
%165 = add nsw i32 %162, %164
%166 = icmp ne i32 %159, %165
%167 = zext i1 %166 to i32
%168 = add nsw i32 %158, %167
store i32 %168, i32* %3
%169 = load i32, i32* %2
%170 = add nsw i32 %169, 2
store i32 %170, i32* %2
br label %171
171: ; preds = %157
%172 = load i32, i32* %11
%173 = add nsw i32 %172, 1
store i32 %173, i32* %11
br label %154
174: ; preds = %154
br label %175
175: ; preds = %174
%176 = load i32, i32* %10
%177 = add nsw i32 %176, 1
store i32 %177, i32* %10
br label %150
178: ; preds = %150
%179 = load i32, i32* %3
%180 = icmp ne i32 %179, 0
br i1 %180, label %184, label %181
181: ; preds = %178
%182 = load i32, i32* %2
%183 = icmp ne i32 %182, 135
br i1 %183, label %184, label %185
184: ; preds = %181, %178
unreachable
185: ; preds = %181
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
ret i32 0
}