#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint64_t;

/* Variables and functions */
int /*<<< orphan*/ _bal_mrg8(int *, int const);
int /*<<< orphan*/ abort();
int main(int argc, char *argv[]) {
  uint64_t mcg[9];
  uint64_t m = 6364136223846793005ULL;
  const uint64_t a[] = {1089656042, 1906537547, 1764115693, 1304127872,
                        189748160,  1984088114, 626062218,  1927846343};
  uint64_t x[8];
  const int N = 20;
  uint64_t buf[N], buf2[N];
  uint64_t s1, s2, s;
  const uint64_t mask = 0x7FFFFFFF;
  size_t i, j;
  mcg[0] = 97531ULL;
  for (i = 1; i < 9; i++) {
    mcg[i] = m * mcg[i - 1];
  }
  for (i = 0; i < 8; i++) {
    x[i] = mcg[i + 1] >> 32;
  }
  for (i = 0; i < N; i++) {
    s1 = 0ULL;
    s2 = 0ULL;
    for (j = 0; j < 4; j++) {
      s1 += a[j] * x[j];
    }
    for (j = 4; j < 8; j++) {
      s2 += a[j] * x[j];
    }
    s = (s1 & mask) + (s1 >> 31) + (s2 & mask) + (s2 >> 31);
    s = (s & mask) + (s >> 31);
    buf[i] = s;
    for (j = 7; j > 0; j--) {
      x[j] = x[j - 1];
    }
    x[0] = s;
  }
  _bal_mrg8(buf2, N);
  for (i = 0; i < N; i++) {
    if (buf[i] != buf2[i])
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x160,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x4c957f2d,-0x44(%rbp)
mov    0xeb9(%rip),%rax
mov    %rax,-0x70(%rbp)
mov    0xeb6(%rip),%rax
mov    %rax,-0x68(%rbp)
mov    0xeb3(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0xeb0(%rip),%rax
mov    %rax,-0x58(%rbp)
movl   $0x14,-0x94(%rbp)
mov    %rsp,%rax
mov    %rax,-0xa0(%rbp)
movl   $0x7fffffff,-0xb0(%rbp)
ff ff 7f
movl   $0x17cfb,-0x40(%rbp)
movq   $0x1,-0xb8(%rbp)
cmpq   $0x9,-0xb8(%rbp)
09
jae    11df <main+0xbf>
mov    -0x44(%rbp),%ecx
mov    -0xb8(%rbp),%rax
sub    $0x1,%rax
imul   -0x40(%rbp,%rax,4),%ecx
mov    -0xb8(%rbp),%rax
mov    %ecx,-0x40(%rbp,%rax,4)
mov    -0xb8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb8(%rbp)
jmp    119c <main+0x7c>
movq   $0x0,-0xb8(%rbp)
cmpq   $0x8,-0xb8(%rbp)
08
jae    1231 <main+0x111>
mov    -0xb8(%rbp),%rax
mov    -0x3c(%rbp,%rax,4),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,%ecx
mov    -0xb8(%rbp),%rax
mov    %ecx,-0x90(%rbp,%rax,4)
mov    -0xb8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb8(%rbp)
jmp    11ea <main+0xca>
movq   $0x0,-0xb8(%rbp)
cmpq   $0x14,-0xb8(%rbp)
14
jae    13e2 <main+0x2c2>
movl   $0x0,-0xa4(%rbp)
movl   $0x0,-0xa8(%rbp)
movq   $0x0,-0xc0(%rbp)
cmpq   $0x4,-0xc0(%rbp)
04
jae    12b4 <main+0x194>
mov    -0xc0(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
mov    -0xc0(%rbp),%rcx
imul   -0x90(%rbp,%rcx,4),%eax
ff
add    -0xa4(%rbp),%eax
mov    %eax,-0xa4(%rbp)
mov    -0xc0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xc0(%rbp)
jmp    1269 <main+0x149>
movq   $0x4,-0xc0(%rbp)
cmpq   $0x8,-0xc0(%rbp)
08
jae    130a <main+0x1ea>
mov    -0xc0(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
mov    -0xc0(%rbp),%rcx
imul   -0x90(%rbp,%rcx,4),%eax
ff
add    -0xa8(%rbp),%eax
mov    %eax,-0xa8(%rbp)
mov    -0xc0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xc0(%rbp)
jmp    12bf <main+0x19f>
mov    -0xa4(%rbp),%eax
and    $0x7fffffff,%eax
mov    -0xa4(%rbp),%ecx
sar    $0x1f,%ecx
add    %ecx,%eax
mov    -0xa8(%rbp),%ecx
and    $0x7fffffff,%ecx
add    %ecx,%eax
mov    -0xa8(%rbp),%ecx
sar    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0xac(%rbp)
mov    -0xac(%rbp),%eax
and    $0x7fffffff,%eax
mov    -0xac(%rbp),%ecx
sar    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0xac(%rbp)
mov    -0xac(%rbp),%ecx
mov    -0xb8(%rbp),%rax
mov    %ecx,-0x110(%rbp,%rax,4)
movq   $0x7,-0xc0(%rbp)
cmpq   $0x0,-0xc0(%rbp)
jbe    13bf <main+0x29f>
mov    -0xc0(%rbp),%rax
sub    $0x1,%rax
mov    -0x90(%rbp,%rax,4),%ecx
mov    -0xc0(%rbp),%rax
mov    %ecx,-0x90(%rbp,%rax,4)
mov    -0xc0(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0xc0(%rbp)
jmp    137a <main+0x25a>
mov    -0xac(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0xb8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb8(%rbp)
jmp    123c <main+0x11c>
lea    -0x160(%rbp),%rdi
mov    $0x14,%esi
call   1040 <_bal_mrg8@plt>
movq   $0x0,-0xb8(%rbp)
cmpq   $0x14,-0xb8(%rbp)
14
jae    1451 <main+0x331>
mov    -0xb8(%rbp),%rax
mov    -0x110(%rbp,%rax,4),%eax
mov    -0xb8(%rbp),%rcx
cmp    -0x160(%rbp,%rcx,4),%eax
je     1435 <main+0x315>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    143a <main+0x31a>
mov    -0xb8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xb8(%rbp)
jmp    13fe <main+0x2de>
movl   $0x0,-0x4(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
add    $0x160,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
sub    $0xc8,%rsp
mov    %rsp,%r14
lea    0x4(%rsp),%r8
xor    %ecx,%ecx
movdqa 0xec4(%rip),%xmm0
movdqa 0xecc(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
imul   $0x71a3744b,%ebx,%ebx
imul   $0x692644ed,%edi,%edi
imul   $0x4dbb6980,%esi,%esi
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm2
pshufd $0xee,%xmm2,%xmm3
paddd  %xmm2,%xmm3
pshufd $0x55,%xmm3,%xmm2
paddd  %xmm3,%xmm2
imul   $0x40f2d4ea,%edx,%edx
movd   %xmm2,%eax
add    %ebx,%edx
add    %edi,%edx
add    %esi,%edx
mov    %edx,%esi
and    $0x7fffffff,%esi
sar    $0x1f,%edx
add    %esi,%edx
mov    %eax,%esi
and    $0x7fffffff,%esi
add    %edx,%esi
sar    $0x1f,%eax
add    %esi,%eax
mov    %eax,%esi
and    $0x7fffffff,%esi
sar    $0x1f,%eax
mov    %eax,%edx
add    %esi,%edx
mov    %edx,0x70(%rsp,%rcx,4)
movaps (%rsp),%xmm2
mov    0x10(%rsp),%rax
mov    0x18(%rsp),%esi
mov    %esi,0x18(%r8)
mov    %rax,0x10(%r8)
movups %xmm2,(%r8)
mov    %edx,(%rsp)
cmp    $0x13,%rcx
je     120a <main+0xea>
mov    0x4(%rsp),%ebx
mov    0x8(%rsp),%edi
mov    0xc(%rsp),%esi
movaps 0x10(%rsp),%xmm2
add    $0x1,%rcx
jmp    1150 <main+0x30>
lea    0x20(%rsp),%rdi
mov    $0x14,%esi
call   1040 <_bal_mrg8@plt>
mov    0x70(%rsp),%eax
cmp    0x20(%rsp),%eax
jne    134d <main+0x22d>
mov    0x74(%rsp),%eax
cmp    0x24(%rsp),%eax
jne    134d <main+0x22d>
mov    0x78(%rsp),%eax
cmp    0x28(%rsp),%eax
jne    134d <main+0x22d>
mov    0x7c(%rsp),%eax
cmp    0x2c(%rsp),%eax
jne    134d <main+0x22d>
mov    0x80(%rsp),%eax
cmp    0x30(%rsp),%eax
jne    134d <main+0x22d>
mov    0x84(%rsp),%eax
cmp    0x34(%rsp),%eax
jne    134d <main+0x22d>
mov    0x88(%rsp),%eax
cmp    0x38(%rsp),%eax
jne    134d <main+0x22d>
mov    0x8c(%rsp),%eax
cmp    0x3c(%rsp),%eax
jne    134d <main+0x22d>
mov    0x90(%rsp),%eax
cmp    0x40(%rsp),%eax
jne    134d <main+0x22d>
mov    0x94(%rsp),%eax
cmp    0x44(%rsp),%eax
jne    134d <main+0x22d>
mov    0x98(%rsp),%eax
cmp    0x48(%rsp),%eax
jne    134d <main+0x22d>
mov    0x9c(%rsp),%eax
cmp    0x4c(%rsp),%eax
jne    134d <main+0x22d>
mov    0xa0(%rsp),%eax
cmp    0x50(%rsp),%eax
jne    134d <main+0x22d>
mov    0xa4(%rsp),%eax
cmp    0x54(%rsp),%eax
jne    134d <main+0x22d>
mov    0xa8(%rsp),%eax
cmp    0x58(%rsp),%eax
jne    134d <main+0x22d>
mov    0xac(%rsp),%eax
cmp    0x5c(%rsp),%eax
jne    134d <main+0x22d>
mov    0xb0(%rsp),%eax
cmp    0x60(%rsp),%eax
jne    134d <main+0x22d>
mov    0xb4(%rsp),%eax
cmp    0x64(%rsp),%eax
jne    134d <main+0x22d>
mov    0xb8(%rsp),%eax
cmp    0x68(%rsp),%eax
jne    134d <main+0x22d>
mov    0xbc(%rsp),%eax
cmp    0x6c(%rsp),%eax
jne    134d <main+0x22d>
mov    %r14,%rsp
xor    %eax,%eax
add    $0xc8,%rsp
pop    %rbx
pop    %r14
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@__const.main.a = [8 x i32] [i32 1089656042, i32 1906537547, i32 1764115693, i32 1304127872, i32 189748160, i32 1984088114, i32 626062218, i32 1927846343]
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca [9 x i32]
%7 = alloca i32
%8 = alloca [8 x i32]
%9 = alloca [8 x i32]
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i64
%17 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 1284865837, i32* %7
%18 = bitcast [8 x i32]* %8 to i8*
store i32 20, i32* %10
%19 = call i8* @llvm.stacksave()
store i8* %19, i8** %11
%20 = alloca i32, i64 20
%21 = alloca i32, i64 20
store i32 2147483647, i32* %15
%22 = getelementptr inbounds [9 x i32], [9 x i32]* %6, i64 0, i64 0
store i32 97531, i32* %22
store i64 1, i64* %16
br label %23
23: ; preds = %35, %2
%24 = load i64, i64* %16
%25 = icmp ult i64 %24, 9
br i1 %25, label %26, label %38
26: ; preds = %23
%27 = load i32, i32* %7
%28 = load i64, i64* %16
%29 = sub i64 %28, 1
%30 = getelementptr inbounds [9 x i32], [9 x i32]* %6, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = mul nsw i32 %27, %31
%33 = load i64, i64* %16
%34 = getelementptr inbounds [9 x i32], [9 x i32]* %6, i64 0, i64 %33
store i32 %32, i32* %34
br label %35
35: ; preds = %26
%36 = load i64, i64* %16
%37 = add i64 %36, 1
store i64 %37, i64* %16
br label %23
38: ; preds = %23
store i64 0, i64* %16
br label %39
39: ; preds = %50, %38
%40 = load i64, i64* %16
%41 = icmp ult i64 %40, 8
br i1 %41, label %42, label %53
42: ; preds = %39
%43 = load i64, i64* %16
%44 = add i64 %43, 1
%45 = getelementptr inbounds [9 x i32], [9 x i32]* %6, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = ashr i32 %46, 32
%48 = load i64, i64* %16
%49 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 %48
store i32 %47, i32* %49
br label %50
50: ; preds = %42
%51 = load i64, i64* %16
%52 = add i64 %51, 1
store i64 %52, i64* %16
br label %39
53: ; preds = %39
store i64 0, i64* %16
br label %54
54: ; preds = %127, %53
%55 = load i64, i64* %16
%56 = icmp ult i64 %55, 20
br i1 %56, label %57, label %130
57: ; preds = %54
store i32 0, i32* %12
store i32 0, i32* %13
store i64 0, i64* %17
br label %58
58: ; preds = %71, %57
%59 = load i64, i64* %17
%60 = icmp ult i64 %59, 4
br i1 %60, label %61, label %74
61: ; preds = %58
%62 = load i64, i64* %17
%63 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 %62
%64 = load i32, i32* %63
%65 = load i64, i64* %17
%66 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 %65
%67 = load i32, i32* %66
%68 = mul nsw i32 %64, %67
%69 = load i32, i32* %12
%70 = add nsw i32 %69, %68
store i32 %70, i32* %12
br label %71
71: ; preds = %61
%72 = load i64, i64* %17
%73 = add i64 %72, 1
store i64 %73, i64* %17
br label %58
74: ; preds = %58
store i64 4, i64* %17
br label %75
75: ; preds = %88, %74
%76 = load i64, i64* %17
%77 = icmp ult i64 %76, 8
br i1 %77, label %78, label %91
78: ; preds = %75
%79 = load i64, i64* %17
%80 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 %79
%81 = load i32, i32* %80
%82 = load i64, i64* %17
%83 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 %82
%84 = load i32, i32* %83
%85 = mul nsw i32 %81, %84
%86 = load i32, i32* %13
%87 = add nsw i32 %86, %85
store i32 %87, i32* %13
br label %88
88: ; preds = %78
%89 = load i64, i64* %17
%90 = add i64 %89, 1
store i64 %90, i64* %17
br label %75
91: ; preds = %75
%92 = load i32, i32* %12
%93 = and i32 %92, 2147483647
%94 = load i32, i32* %12
%95 = ashr i32 %94, 31
%96 = add nsw i32 %93, %95
%97 = load i32, i32* %13
%98 = and i32 %97, 2147483647
%99 = add nsw i32 %96, %98
%100 = load i32, i32* %13
%101 = ashr i32 %100, 31
%102 = add nsw i32 %99, %101
store i32 %102, i32* %14
%103 = load i32, i32* %14
%104 = and i32 %103, 2147483647
%105 = load i32, i32* %14
%106 = ashr i32 %105, 31
%107 = add nsw i32 %104, %106
store i32 %107, i32* %14
%108 = load i32, i32* %14
%109 = load i64, i64* %16
%110 = getelementptr inbounds i32, i32* %20, i64 %109
store i32 %108, i32* %110
store i64 7, i64* %17
br label %111
111: ; preds = %121, %91
%112 = load i64, i64* %17
%113 = icmp ugt i64 %112, 0
br i1 %113, label %114, label %124
114: ; preds = %111
%115 = load i64, i64* %17
%116 = sub i64 %115, 1
%117 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 %116
%118 = load i32, i32* %117
%119 = load i64, i64* %17
%120 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 %119
store i32 %118, i32* %120
br label %121
121: ; preds = %114
%122 = load i64, i64* %17
%123 = add i64 %122, -1
store i64 %123, i64* %17
br label %111
124: ; preds = %111
%125 = load i32, i32* %14
%126 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 0
store i32 %125, i32* %126
br label %127
127: ; preds = %124
%128 = load i64, i64* %16
%129 = add i64 %128, 1
store i64 %129, i64* %16
br label %54
130: ; preds = %54
%131 = call i32 @_bal_mrg8(i32* %21, i32 20)
store i64 0, i64* %16
br label %132
132: ; preds = %146, %130
%133 = load i64, i64* %16
%134 = icmp ult i64 %133, 20
br i1 %134, label %135, label %149
135: ; preds = %132
%136 = load i64, i64* %16
%137 = getelementptr inbounds i32, i32* %20, i64 %136
%138 = load i32, i32* %137
%139 = load i64, i64* %16
%140 = getelementptr inbounds i32, i32* %21, i64 %139
%141 = load i32, i32* %140
%142 = icmp ne i32 %138, %141
br i1 %142, label %143, label %145
143: ; preds = %135
%144 = call i32 (...) @abort()
unreachable
145: ; preds = %135
br label %146
146: ; preds = %145
%147 = load i64, i64* %16
%148 = add i64 %147, 1
store i64 %148, i64* %16
br label %132
149: ; preds = %132
store i32 0, i32* %3
%150 = load i8*, i8** %11
%151 = load i32, i32* %3
ret i32 %151
}

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [8 x i32]
%4 = bitcast [8 x i32]* %3 to i8*
%5 = tail call i8* @llvm.stacksave()
%6 = alloca [20 x i32]
%7 = alloca [20 x i32]
%8 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 0
%9 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 1
%10 = bitcast i32* %9 to i8*
%11 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 4
%12 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 3
%13 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 2
%14 = bitcast i32* %11 to <4 x i32>*
br label %15
15: ; preds = %44, %2
%16 = phi i32 [ undef, %2 ], [ %47, %44 ]
%17 = phi i32 [ undef, %2 ], [ %46, %44 ]
%18 = phi i32 [ undef, %2 ], [ %45, %44 ]
%19 = phi i32 [ undef, %2 ], [ %40, %44 ]
%20 = phi i64 [ 0, %2 ], [ %42, %44 ]
%21 = phi <4 x i32> [ poison, %2 ], [ %48, %44 ]
%22 = mul nsw i32 %18, 1906537547
%23 = mul nsw i32 %17, 1764115693
%24 = mul nsw i32 %16, 1304127872
%25 = mul nsw <4 x i32> %21, <i32 189748160, i32 1984088114, i32 626062218, i32 1927846343>
%26 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %25)
%27 = mul nsw i32 %19, 1089656042
%28 = add nsw i32 %22, %27
%29 = add nsw i32 %23, %28
%30 = add nsw i32 %24, %29
%31 = and i32 %30, 2147483647
%32 = ashr i32 %30, 31
%33 = add nsw i32 %31, %32
%34 = and i32 %26, 2147483647
%35 = add nsw i32 %33, %34
%36 = ashr i32 %26, 31
%37 = add nsw i32 %35, %36
%38 = and i32 %37, 2147483647
%39 = ashr i32 %37, 31
%40 = add nsw i32 %38, %39
%41 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %20
store i32 %40, i32* %41
store i32 %40, i32* %8
%42 = add nuw nsw i64 %20, 1
%43 = icmp eq i64 %42, 20
br i1 %43, label %49, label %44
44: ; preds = %15
%45 = load i32, i32* %9
%46 = load i32, i32* %13
%47 = load i32, i32* %12
%48 = load <4 x i32>, <4 x i32>* %14
br label %15
49: ; preds = %15
%50 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 0
%51 = call i32 @_bal_mrg8(i32* %50, i32 20)
%52 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 0
%53 = load i32, i32* %52
%54 = load i32, i32* %50
%55 = icmp eq i32 %53, %54
br i1 %55, label %56, label %171
56: ; preds = %49
%57 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 1
%58 = load i32, i32* %57
%59 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 1
%60 = load i32, i32* %59
%61 = icmp eq i32 %58, %60
br i1 %61, label %62, label %171
62: ; preds = %56
%63 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 2
%64 = load i32, i32* %63
%65 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 2
%66 = load i32, i32* %65
%67 = icmp eq i32 %64, %66
br i1 %67, label %68, label %171
68: ; preds = %62
%69 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 3
%70 = load i32, i32* %69
%71 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 3
%72 = load i32, i32* %71
%73 = icmp eq i32 %70, %72
br i1 %73, label %74, label %171
74: ; preds = %68
%75 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 4
%76 = load i32, i32* %75
%77 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 4
%78 = load i32, i32* %77
%79 = icmp eq i32 %76, %78
br i1 %79, label %80, label %171
80: ; preds = %74
%81 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 5
%82 = load i32, i32* %81
%83 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 5
%84 = load i32, i32* %83
%85 = icmp eq i32 %82, %84
br i1 %85, label %86, label %171
86: ; preds = %80
%87 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 6
%88 = load i32, i32* %87
%89 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 6
%90 = load i32, i32* %89
%91 = icmp eq i32 %88, %90
br i1 %91, label %92, label %171
92: ; preds = %86
%93 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 7
%94 = load i32, i32* %93
%95 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 7
%96 = load i32, i32* %95
%97 = icmp eq i32 %94, %96
br i1 %97, label %98, label %171
98: ; preds = %92
%99 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 8
%100 = load i32, i32* %99
%101 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 8
%102 = load i32, i32* %101
%103 = icmp eq i32 %100, %102
br i1 %103, label %104, label %171
104: ; preds = %98
%105 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 9
%106 = load i32, i32* %105
%107 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 9
%108 = load i32, i32* %107
%109 = icmp eq i32 %106, %108
br i1 %109, label %110, label %171
110: ; preds = %104
%111 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 10
%112 = load i32, i32* %111
%113 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 10
%114 = load i32, i32* %113
%115 = icmp eq i32 %112, %114
br i1 %115, label %116, label %171
116: ; preds = %110
%117 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 11
%118 = load i32, i32* %117
%119 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 11
%120 = load i32, i32* %119
%121 = icmp eq i32 %118, %120
br i1 %121, label %122, label %171
122: ; preds = %116
%123 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 12
%124 = load i32, i32* %123
%125 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 12
%126 = load i32, i32* %125
%127 = icmp eq i32 %124, %126
br i1 %127, label %128, label %171
128: ; preds = %122
%129 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 13
%130 = load i32, i32* %129
%131 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 13
%132 = load i32, i32* %131
%133 = icmp eq i32 %130, %132
br i1 %133, label %134, label %171
134: ; preds = %128
%135 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 14
%136 = load i32, i32* %135
%137 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 14
%138 = load i32, i32* %137
%139 = icmp eq i32 %136, %138
br i1 %139, label %140, label %171
140: ; preds = %134
%141 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 15
%142 = load i32, i32* %141
%143 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 15
%144 = load i32, i32* %143
%145 = icmp eq i32 %142, %144
br i1 %145, label %146, label %171
146: ; preds = %140
%147 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 16
%148 = load i32, i32* %147
%149 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 16
%150 = load i32, i32* %149
%151 = icmp eq i32 %148, %150
br i1 %151, label %152, label %171
152: ; preds = %146
%153 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 17
%154 = load i32, i32* %153
%155 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 17
%156 = load i32, i32* %155
%157 = icmp eq i32 %154, %156
br i1 %157, label %158, label %171
158: ; preds = %152
%159 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 18
%160 = load i32, i32* %159
%161 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 18
%162 = load i32, i32* %161
%163 = icmp eq i32 %160, %162
br i1 %163, label %164, label %171
164: ; preds = %158
%165 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 19
%166 = load i32, i32* %165
%167 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 19
%168 = load i32, i32* %167
%169 = icmp eq i32 %166, %168
br i1 %169, label %170, label %171
170: ; preds = %164
ret i32 0
171: ; preds = %164, %158, %152, %146, %140, %134, %128, %122, %116, %110, %104, %98, %92, %86, %80, %74, %68, %62, %56, %49
%172 = call i32 (...) @abort()
unreachable
}