#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 */

/* Variables and functions */
int /*<<< orphan*/ abort();
int main1(int n, int *p) {
  int i;
  int ib[128];
  int ia[128];
  int k;
  for (i = 0; i < 128; i++) {
    ia[i] = n;
  }
  for (i = 0; i < 128; i++) {
    if (ia[i] != n)
      abort();
  }
  k = *p;
  for (i = 0; i < 128; i++) {
    ib[i] = k;
  }
  for (i = 0; i < 128; i++) {
    if (ib[i] != k)
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x430,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    1152 <main1+0x42>
mov    -0x4(%rbp),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x420(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1129 <main1+0x19>
movl   $0x0,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    1194 <main1+0x84>
movslq -0x14(%rbp),%rax
mov    -0x420(%rbp,%rax,4),%eax
cmp    -0x4(%rbp),%eax
je     1181 <main1+0x71>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1186 <main1+0x76>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1159 <main1+0x49>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x424(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    11d3 <main1+0xc3>
mov    -0x424(%rbp),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x220(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a7 <main1+0x97>
movl   $0x0,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    1218 <main1+0x108>
movslq -0x14(%rbp),%rax
mov    -0x220(%rbp,%rax,4),%eax
cmp    -0x424(%rbp),%eax
je     1205 <main1+0xf5>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    120a <main1+0xfa>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11da <main1+0xca>
xor    %eax,%eax
add    $0x430,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
sub    $0x408,%rsp
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa %xmm0,(%rsp)
movdqa %xmm0,0x10(%rsp)
movdqa %xmm0,0x20(%rsp)
movdqa %xmm0,0x30(%rsp)
movdqa %xmm0,0x40(%rsp)
movdqa %xmm0,0x50(%rsp)
movdqa %xmm0,0x60(%rsp)
movdqa %xmm0,0x70(%rsp)
movdqa %xmm0,0x80(%rsp)
movdqa %xmm0,0x90(%rsp)
movdqa %xmm0,0xa0(%rsp)
movdqa %xmm0,0xb0(%rsp)
movdqa %xmm0,0xc0(%rsp)
movdqa %xmm0,0xd0(%rsp)
movdqa %xmm0,0xe0(%rsp)
movdqa %xmm0,0xf0(%rsp)
movdqa %xmm0,0x100(%rsp)
movdqa %xmm0,0x110(%rsp)
movdqa %xmm0,0x120(%rsp)
movdqa %xmm0,0x130(%rsp)
movdqa %xmm0,0x140(%rsp)
movdqa %xmm0,0x150(%rsp)
movdqa %xmm0,0x160(%rsp)
movdqa %xmm0,0x170(%rsp)
movdqa %xmm0,0x180(%rsp)
movdqa %xmm0,0x190(%rsp)
movdqa %xmm0,0x1a0(%rsp)
movdqa %xmm0,0x1b0(%rsp)
movdqa %xmm0,0x1c0(%rsp)
movdqa %xmm0,0x1d0(%rsp)
movdqa %xmm0,0x1e0(%rsp)
movdqa %xmm0,0x1f0(%rsp)
xor    %eax,%eax
nopl   0x0(%rax)
cmp    %edi,(%rsp,%rax,4)
jne    13cb <main1+0x2bb>
cmp    %edi,0x4(%rsp,%rax,4)
jne    13cb <main1+0x2bb>
cmp    %edi,0x8(%rsp,%rax,4)
jne    13cb <main1+0x2bb>
cmp    %edi,0xc(%rsp,%rax,4)
jne    13cb <main1+0x2bb>
add    $0x4,%rax
cmp    $0x80,%rax
jne    1230 <main1+0x120>
mov    (%rsi),%eax
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa %xmm0,0x200(%rsp)
movdqa %xmm0,0x210(%rsp)
movdqa %xmm0,0x220(%rsp)
movdqa %xmm0,0x230(%rsp)
movdqa %xmm0,0x240(%rsp)
movdqa %xmm0,0x250(%rsp)
movdqa %xmm0,0x260(%rsp)
movdqa %xmm0,0x270(%rsp)
movdqa %xmm0,0x280(%rsp)
movdqa %xmm0,0x290(%rsp)
movdqa %xmm0,0x2a0(%rsp)
movdqa %xmm0,0x2b0(%rsp)
movdqa %xmm0,0x2c0(%rsp)
movdqa %xmm0,0x2d0(%rsp)
movdqa %xmm0,0x2e0(%rsp)
movdqa %xmm0,0x2f0(%rsp)
movdqa %xmm0,0x300(%rsp)
movdqa %xmm0,0x310(%rsp)
movdqa %xmm0,0x320(%rsp)
movdqa %xmm0,0x330(%rsp)
movdqa %xmm0,0x340(%rsp)
movdqa %xmm0,0x350(%rsp)
movdqa %xmm0,0x360(%rsp)
movdqa %xmm0,0x370(%rsp)
movdqa %xmm0,0x380(%rsp)
movdqa %xmm0,0x390(%rsp)
movdqa %xmm0,0x3a0(%rsp)
movdqa %xmm0,0x3b0(%rsp)
movdqa %xmm0,0x3c0(%rsp)
movdqa %xmm0,0x3d0(%rsp)
movdqa %xmm0,0x3e0(%rsp)
movdqa %xmm0,0x3f0(%rsp)
xor    %ecx,%ecx
cmp    %eax,0x200(%rsp,%rcx,4)
jne    13cb <main1+0x2bb>
cmp    %eax,0x204(%rsp,%rcx,4)
jne    13cb <main1+0x2bb>
cmp    %eax,0x208(%rsp,%rcx,4)
jne    13cb <main1+0x2bb>
cmp    %eax,0x20c(%rsp,%rcx,4)
jne    13cb <main1+0x2bb>
add    $0x4,%rcx
cmp    $0x80,%rcx
jne    1390 <main1+0x280>
xor    %eax,%eax
add    $0x408,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main1(i32 %0, i32* %1) {
%3 = alloca i32
%4 = alloca i32*
%5 = alloca i32
%6 = alloca [128 x i32]
%7 = alloca [128 x i32]
%8 = alloca i32
store i32 %0, i32* %3
store i32* %1, i32** %4
store i32 0, i32* %5
br label %9
9: ; preds = %17, %2
%10 = load i32, i32* %5
%11 = icmp slt i32 %10, 128
br i1 %11, label %12, label %20
12: ; preds = %9
%13 = load i32, i32* %3
%14 = load i32, i32* %5
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds [128 x i32], [128 x i32]* %7, i64 0, i64 %15
store i32 %13, i32* %16
br label %17
17: ; preds = %12
%18 = load i32, i32* %5
%19 = add nsw i32 %18, 1
store i32 %19, i32* %5
br label %9
20: ; preds = %9
store i32 0, i32* %5
br label %21
21: ; preds = %34, %20
%22 = load i32, i32* %5
%23 = icmp slt i32 %22, 128
br i1 %23, label %24, label %37
24: ; preds = %21
%25 = load i32, i32* %5
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [128 x i32], [128 x i32]* %7, i64 0, i64 %26
%28 = load i32, i32* %27
%29 = load i32, i32* %3
%30 = icmp ne i32 %28, %29
br i1 %30, label %31, label %33
31: ; preds = %24
%32 = call i32 (...) @abort()
unreachable
33: ; preds = %24
br label %34
34: ; preds = %33
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 1
store i32 %36, i32* %5
br label %21
37: ; preds = %21
%38 = load i32*, i32** %4
%39 = load i32, i32* %38
store i32 %39, i32* %8
store i32 0, i32* %5
br label %40
40: ; preds = %48, %37
%41 = load i32, i32* %5
%42 = icmp slt i32 %41, 128
br i1 %42, label %43, label %51
43: ; preds = %40
%44 = load i32, i32* %8
%45 = load i32, i32* %5
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %46
store i32 %44, i32* %47
br label %48
48: ; preds = %43
%49 = load i32, i32* %5
%50 = add nsw i32 %49, 1
store i32 %50, i32* %5
br label %40
51: ; preds = %40
store i32 0, i32* %5
br label %52
52: ; preds = %65, %51
%53 = load i32, i32* %5
%54 = icmp slt i32 %53, 128
br i1 %54, label %55, label %68
55: ; preds = %52
%56 = load i32, i32* %5
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = load i32, i32* %8
%61 = icmp ne i32 %59, %60
br i1 %61, label %62, label %64
62: ; preds = %55
%63 = call i32 (...) @abort()
unreachable
64: ; preds = %55
br label %65
65: ; preds = %64
%66 = load i32, i32* %5
%67 = add nsw i32 %66, 1
store i32 %67, i32* %5
br label %52
68: ; preds = %52
ret i32 0
}

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