#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 /*<<< orphan*/ ia1;

/* Variables and functions */
int /*<<< orphan*/ _assert(int, char *, int);
int /*<<< orphan*/ puts(char *);
int /*<<< orphan*/ test_array_i(char *);
void test_array(void) {
  static char ca1[12];
  int ia1[12];
  char *cptr;
  int *iptr;
  register int i;
  char ca2[4];
  puts("--- testing arrays\n");
  for (i = 0; i < 12; i++) {
    ca1[i] = i;
  }
  cptr = (char *)ca1;
  _assert((*cptr++ == 0x0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          138);
  _assert((*cptr++ == 0x1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          139);
  _assert((*cptr++ == 0x2),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          140);
  _assert((*cptr++ == 0x3),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          141);
  for (i = 0; i < 12; i++) {
    _assert((ca1[i] == i),
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
            "m68360/gdb7/test7.c",
            144);
  }
  _assert((sizeof(ia1) == 12 * sizeof(int)),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          147);
  for (i = 0; i < 12; i++) {
    ia1[i] = 0x1000000 * i;
  }
  iptr = (int *)ia1;
  _assert((*iptr++ == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          154);
  _assert((*iptr++ == 0x1000000),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          155);
  _assert((*iptr++ == 0x2000000),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          156);
  for (i = 0; i < 12; i++) {
    _assert((ia1[i] == 0x1000000 * i),
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
            "m68360/gdb7/test7.c",
            159);
  }
  test_array_i(ca2);
  _assert((ca2[0] == 0),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          163);
  _assert((ca2[1] == 1),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          164);
  _assert((ca2[2] == 2),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          165);
  _assert((ca2[3] == 3),
          "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
          "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
          "m68360/gdb7/test7.c",
          166);
}


x86 assembly (clang, -O0):
<test_array>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
lea    0xec1(%rip),%rdi
call   1030 <puts@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0xc,-0x44(%rbp)
jge    1176 <test_array+0x46>
mov    -0x44(%rbp),%eax
mov    %al,%dl
movslq -0x44(%rbp),%rcx
lea    0x2ed4(%rip),%rax
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    114b <test_array+0x1b>
lea    0x2ebc(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movsbl (%rax),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe6f(%rip),%rsi
mov    $0x8a,%edx
call   1050 <_assert@plt>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movsbl (%rax),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe41(%rip),%rsi
mov    $0x8b,%edx
call   1050 <_assert@plt>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movsbl (%rax),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe13(%rip),%rsi
mov    $0x8c,%edx
call   1050 <_assert@plt>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movsbl (%rax),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xde5(%rip),%rsi
mov    $0x8d,%edx
call   1050 <_assert@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0xc,-0x44(%rbp)
jge    1283 <test_array+0x153>
movslq -0x44(%rbp),%rcx
lea    0x2de4(%rip),%rax
movsbl (%rax,%rcx,1),%eax
cmp    -0x44(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xda9(%rip),%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1240 <test_array+0x110>
mov    $0x1,%edi
lea    0xd85(%rip),%rsi
mov    $0x93,%edx
call   1050 <_assert@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0xc,-0x44(%rbp)
jge    12c6 <test_array+0x196>
mov    -0x44(%rbp),%ecx
shl    $0x18,%ecx
movslq -0x44(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12a0 <test_array+0x170>
lea    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x40(%rbp)
cmpl   $0x0,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd25(%rip),%rsi
mov    $0x9a,%edx
call   1050 <_assert@plt>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x40(%rbp)
cmpl   $0x1000000,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xcf7(%rip),%rsi
mov    $0x9b,%edx
call   1050 <_assert@plt>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x40(%rbp)
cmpl   $0x2000000,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xcc9(%rip),%rsi
mov    $0x9c,%edx
call   1050 <_assert@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0xc,-0x44(%rbp)
jge    139d <test_array+0x26d>
movslq -0x44(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%eax
mov    -0x44(%rbp),%ecx
shl    $0x18,%ecx
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc8f(%rip),%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    135c <test_array+0x22c>
lea    -0x48(%rbp),%rdi
call   1040 <test_array_i@plt>
movsbl -0x48(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc58(%rip),%rsi
mov    $0xa3,%edx
call   1050 <_assert@plt>
movsbl -0x47(%rbp),%eax
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc38(%rip),%rsi
mov    $0xa4,%edx
call   1050 <_assert@plt>
movsbl -0x46(%rbp),%eax
cmp    $0x2,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xc18(%rip),%rsi
mov    $0xa5,%edx
call   1050 <_assert@plt>
movsbl -0x45(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xbf8(%rip),%rsi
mov    $0xa6,%edx
call   1050 <_assert@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_array>:
push   %rbx
sub    $0x10,%rsp
lea    0xec4(%rip),%rdi
call   1030 <puts@plt>
movb   $0x1,0x2ef1(%rip)
movb   $0x1,0x2eeb(%rip)
movb   $0x1,0x2ee5(%rip)
movb   $0x1,0x2edf(%rip)
movb   $0x1,0x2ed9(%rip)
movb   $0x1,0x2ed3(%rip)
movb   $0x1,0x2ecd(%rip)
movb   $0x1,0x2ec7(%rip)
movb   $0x1,0x2ec1(%rip)
movb   $0x1,0x2ebb(%rip)
movb   $0x1,0x2eb5(%rip)
lea    0xe7f(%rip),%rbx
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x8a,%edx
call   1050 <_assert@plt>
movzbl 0x2e8b(%rip),%edi
mov    %rbx,%rsi
mov    $0x8b,%edx
call   1050 <_assert@plt>
movzbl 0x2e78(%rip),%edi
mov    %rbx,%rsi
mov    $0x8c,%edx
call   1050 <_assert@plt>
movzbl 0x2e65(%rip),%edi
mov    %rbx,%rsi
mov    $0x8d,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2e3d(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2e2a(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2e17(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2e04(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2df1(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2dde(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2dcb(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2db8(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2da5(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2d92(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
movzbl 0x2d7f(%rip),%edi
mov    %rbx,%rsi
mov    $0x90,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x93,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9a,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9b,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9c,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
mov    $0x1,%edi
mov    %rbx,%rsi
mov    $0x9f,%edx
call   1050 <_assert@plt>
lea    0xc(%rsp),%rdi
call   1040 <test_array_i@plt>
xor    %edi,%edi
cmpb   $0x0,0xc(%rsp)
sete   %dil
mov    %rbx,%rsi
mov    $0xa3,%edx
call   1050 <_assert@plt>
xor    %edi,%edi
cmpb   $0x1,0xd(%rsp)
sete   %dil
mov    %rbx,%rsi
mov    $0xa4,%edx
call   1050 <_assert@plt>
xor    %edi,%edi
cmpb   $0x2,0xe(%rsp)
sete   %dil
mov    %rbx,%rsi
mov    $0xa5,%edx
call   1050 <_assert@plt>
xor    %edi,%edi
cmpb   $0x3,0xf(%rsp)
sete   %dil
mov    %rbx,%rsi
mov    $0xa6,%edx
call   1050 <_assert@plt>
add    $0x10,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@test_array.ca1 = internal global [12 x i8] zeroinitializer
@.str = [20 x i8] c"--- testing arrays\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
define void @test_array() {
%1 = alloca [12 x i32]
%2 = alloca i8*
%3 = alloca i32*
%4 = alloca i32
%5 = alloca [4 x i8]
%6 = call i32 @puts(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %4
br label %7
7: ; preds = %16, %0
%8 = load i32, i32* %4
%9 = icmp slt i32 %8, 12
br i1 %9, label %10, label %19
10: ; preds = %7
%11 = load i32, i32* %4
%12 = trunc i32 %11 to i8
%13 = load i32, i32* %4
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds [12 x i8], [12 x i8]* @test_array.ca1, i64 0, i64 %14
store i8 %12, i8* %15
br label %16
16: ; preds = %10
%17 = load i32, i32* %4
%18 = add nsw i32 %17, 1
store i32 %18, i32* %4
br label %7
19: ; preds = %7
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @test_array.ca1, i64 0, i64 0), i8** %2
%20 = load i8*, i8** %2
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %2
%22 = load i8, i8* %20
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 0
%25 = zext i1 %24 to i32
%26 = call i32 @_assert(i32 %25, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 138)
%27 = load i8*, i8** %2
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %2
%29 = load i8, i8* %27
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 1
%32 = zext i1 %31 to i32
%33 = call i32 @_assert(i32 %32, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 139)
%34 = load i8*, i8** %2
%35 = getelementptr inbounds i8, i8* %34, i32 1
store i8* %35, i8** %2
%36 = load i8, i8* %34
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 2
%39 = zext i1 %38 to i32
%40 = call i32 @_assert(i32 %39, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 140)
%41 = load i8*, i8** %2
%42 = getelementptr inbounds i8, i8* %41, i32 1
store i8* %42, i8** %2
%43 = load i8, i8* %41
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 3
%46 = zext i1 %45 to i32
%47 = call i32 @_assert(i32 %46, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 141)
store i32 0, i32* %4
br label %48
48: ; preds = %61, %19
%49 = load i32, i32* %4
%50 = icmp slt i32 %49, 12
br i1 %50, label %51, label %64
51: ; preds = %48
%52 = load i32, i32* %4
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [12 x i8], [12 x i8]* @test_array.ca1, i64 0, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = load i32, i32* %4
%58 = icmp eq i32 %56, %57
%59 = zext i1 %58 to i32
%60 = call i32 @_assert(i32 %59, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
br label %61
61: ; preds = %51
%62 = load i32, i32* %4
%63 = add nsw i32 %62, 1
store i32 %63, i32* %4
br label %48
64: ; preds = %48
%65 = call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 147)
store i32 0, i32* %4
br label %66
66: ; preds = %75, %64
%67 = load i32, i32* %4
%68 = icmp slt i32 %67, 12
br i1 %68, label %69, label %78
69: ; preds = %66
%70 = load i32, i32* %4
%71 = mul nsw i32 16777216, %70
%72 = load i32, i32* %4
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %73
store i32 %71, i32* %74
br label %75
75: ; preds = %69
%76 = load i32, i32* %4
%77 = add nsw i32 %76, 1
store i32 %77, i32* %4
br label %66
78: ; preds = %66
%79 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 0
store i32* %79, i32** %3
%80 = load i32*, i32** %3
%81 = getelementptr inbounds i32, i32* %80, i32 1
store i32* %81, i32** %3
%82 = load i32, i32* %80
%83 = icmp eq i32 %82, 0
%84 = zext i1 %83 to i32
%85 = call i32 @_assert(i32 %84, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 154)
%86 = load i32*, i32** %3
%87 = getelementptr inbounds i32, i32* %86, i32 1
store i32* %87, i32** %3
%88 = load i32, i32* %86
%89 = icmp eq i32 %88, 16777216
%90 = zext i1 %89 to i32
%91 = call i32 @_assert(i32 %90, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 155)
%92 = load i32*, i32** %3
%93 = getelementptr inbounds i32, i32* %92, i32 1
store i32* %93, i32** %3
%94 = load i32, i32* %92
%95 = icmp eq i32 %94, 33554432
%96 = zext i1 %95 to i32
%97 = call i32 @_assert(i32 %96, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 156)
store i32 0, i32* %4
br label %98
98: ; preds = %111, %78
%99 = load i32, i32* %4
%100 = icmp slt i32 %99, 12
br i1 %100, label %101, label %114
101: ; preds = %98
%102 = load i32, i32* %4
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %103
%105 = load i32, i32* %104
%106 = load i32, i32* %4
%107 = mul nsw i32 16777216, %106
%108 = icmp eq i32 %105, %107
%109 = zext i1 %108 to i32
%110 = call i32 @_assert(i32 %109, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
br label %111
111: ; preds = %101
%112 = load i32, i32* %4
%113 = add nsw i32 %112, 1
store i32 %113, i32* %4
br label %98
114: ; preds = %98
%115 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 0
%116 = call i32 @test_array_i(i8* %115)
%117 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 0
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = icmp eq i32 %119, 0
%121 = zext i1 %120 to i32
%122 = call i32 @_assert(i32 %121, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 163)
%123 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 1
%124 = load i8, i8* %123
%125 = sext i8 %124 to i32
%126 = icmp eq i32 %125, 1
%127 = zext i1 %126 to i32
%128 = call i32 @_assert(i32 %127, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 164)
%129 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 2
%130 = load i8, i8* %129
%131 = sext i8 %130 to i32
%132 = icmp eq i32 %131, 2
%133 = zext i1 %132 to i32
%134 = call i32 @_assert(i32 %133, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 165)
%135 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 3
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = icmp eq i32 %137, 3
%139 = zext i1 %138 to i32
%140 = call i32 @_assert(i32 %139, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 166)
ret void
}

LLVM IR (-O2):
@test_array.ca1.1 = internal unnamed_addr global i1 false
@test_array.ca1.2 = internal unnamed_addr global i1 false
@test_array.ca1.3 = internal unnamed_addr global i1 false
@test_array.ca1.4 = internal unnamed_addr global i1 false
@test_array.ca1.5 = internal unnamed_addr global i1 false
@test_array.ca1.6 = internal unnamed_addr global i1 false
@test_array.ca1.7 = internal unnamed_addr global i1 false
@test_array.ca1.8 = internal unnamed_addr global i1 false
@test_array.ca1.9 = internal unnamed_addr global i1 false
@test_array.ca1.10 = internal unnamed_addr global i1 false
@test_array.ca1.11 = internal unnamed_addr global i1 false
@.str = [20 x i8] c"--- testing arrays\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
define void @test_array() {
%1 = alloca [4 x i8]
%2 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0))
store i1 true, i1* @test_array.ca1.1
store i1 true, i1* @test_array.ca1.2
store i1 true, i1* @test_array.ca1.3
store i1 true, i1* @test_array.ca1.4
store i1 true, i1* @test_array.ca1.5
store i1 true, i1* @test_array.ca1.6
store i1 true, i1* @test_array.ca1.7
store i1 true, i1* @test_array.ca1.8
store i1 true, i1* @test_array.ca1.9
store i1 true, i1* @test_array.ca1.10
store i1 true, i1* @test_array.ca1.11
%4 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 138)
%5 = load i1, i1* @test_array.ca1.1
%6 = zext i1 %5 to i32
%7 = tail call i32 @_assert(i32 %6, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 139)
%8 = load i1, i1* @test_array.ca1.2
%9 = zext i1 %8 to i32
%10 = tail call i32 @_assert(i32 %9, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 140)
%11 = load i1, i1* @test_array.ca1.3
%12 = zext i1 %11 to i32
%13 = tail call i32 @_assert(i32 %12, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 141)
%14 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%15 = load i1, i1* @test_array.ca1.1
%16 = zext i1 %15 to i32
%17 = tail call i32 @_assert(i32 %16, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%18 = load i1, i1* @test_array.ca1.2
%19 = zext i1 %18 to i32
%20 = tail call i32 @_assert(i32 %19, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%21 = load i1, i1* @test_array.ca1.3
%22 = zext i1 %21 to i32
%23 = tail call i32 @_assert(i32 %22, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%24 = load i1, i1* @test_array.ca1.4
%25 = zext i1 %24 to i32
%26 = tail call i32 @_assert(i32 %25, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%27 = load i1, i1* @test_array.ca1.5
%28 = zext i1 %27 to i32
%29 = tail call i32 @_assert(i32 %28, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%30 = load i1, i1* @test_array.ca1.6
%31 = zext i1 %30 to i32
%32 = tail call i32 @_assert(i32 %31, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%33 = load i1, i1* @test_array.ca1.7
%34 = zext i1 %33 to i32
%35 = tail call i32 @_assert(i32 %34, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%36 = load i1, i1* @test_array.ca1.8
%37 = zext i1 %36 to i32
%38 = tail call i32 @_assert(i32 %37, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%39 = load i1, i1* @test_array.ca1.9
%40 = zext i1 %39 to i32
%41 = tail call i32 @_assert(i32 %40, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%42 = load i1, i1* @test_array.ca1.10
%43 = zext i1 %42 to i32
%44 = tail call i32 @_assert(i32 %43, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%45 = load i1, i1* @test_array.ca1.11
%46 = zext i1 %45 to i32
%47 = tail call i32 @_assert(i32 %46, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 144)
%48 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 147)
%49 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 154)
%50 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 155)
%51 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 156)
%52 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%53 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%54 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%55 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%56 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%57 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%58 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%59 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%60 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%61 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%62 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%63 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 159)
%64 = call i32 @test_array_i(i8* %2)
%65 = load i8, i8* %2
%66 = icmp eq i8 %65, 0
%67 = zext i1 %66 to i32
%68 = call i32 @_assert(i32 %67, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 163)
%69 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 1
%70 = load i8, i8* %69
%71 = icmp eq i8 %70, 1
%72 = zext i1 %71 to i32
%73 = call i32 @_assert(i32 %72, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 164)
%74 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 2
%75 = load i8, i8* %74
%76 = icmp eq i8 %75, 2
%77 = zext i1 %76 to i32
%78 = call i32 @_assert(i32 %77, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 165)
%79 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 3
%80 = load i8, i8* %79
%81 = icmp eq i8 %80, 3
%82 = zext i1 %81 to i32
%83 = call i32 @_assert(i32 %82, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 166)
ret void
}