#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*/ printf(char *, int, ...);
void testBrackets2D(int **ar2D, int lenX, int lenY) {
  int x, y;
  int errors = 0;
  for (x = 0; x < lenX; x++) {
    for (y = 0; y < lenY; y++) {
      ar2D[x][y] = x * lenY + y;
    }
  }
  for (x = 0; x < lenX; x++) {
    for (y = 0; y < lenY; y++) {
      int expected = x * lenY + y;
      int val = ar2D[x][y];
      if (val != expected) {
        printf("error: [%d][%d] %d != %d\n", x, y, val, expected);
        errors++;
      }
    }
  }
  printf("2D Errors: %d\n", errors);
}


x86 assembly (clang, -O0):
<testBrackets2D>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    118d <testBrackets2D+0x7d>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    117a <testBrackets2D+0x6a>
mov    -0x14(%rbp),%edx
imul   -0x10(%rbp),%edx
add    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1143 <testBrackets2D+0x33>
jmp    117f <testBrackets2D+0x6f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1130 <testBrackets2D+0x20>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    122c <testBrackets2D+0x11c>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1219 <testBrackets2D+0x109>
mov    -0x14(%rbp),%eax
imul   -0x10(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1206 <testBrackets2D+0xf6>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%r8d
lea    0xe0a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    120b <testBrackets2D+0xfb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11a7 <testBrackets2D+0x97>
jmp    121e <testBrackets2D+0x10e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1194 <testBrackets2D+0x84>
mov    -0x1c(%rbp),%esi
lea    0xde4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<testBrackets2D>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %esi,%esi
jle    12e1 <testBrackets2D+0x1d1>
mov    %rdi,%r12
mov    %esi,%r13d
mov    %edx,%r14d
mov    %r14d,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%r9
mov    %r9,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffffe,%r8
xor    %ebp,%ebp
movdqa 0xeaa(%rip),%xmm0
movdqa 0xeb2(%rip),%xmm1
movdqa 0xeba(%rip),%xmm2
xor    %ebx,%ebx
jmp    1180 <testBrackets2D+0x70>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbx
add    %r14,%rbp
cmp    %r13,%rbx
je     1272 <testBrackets2D+0x162>
test   %edx,%edx
jle    1170 <testBrackets2D+0x60>
mov    (%r12,%rbx,8),%rdi
cmp    $0x8,%edx
jae    11a0 <testBrackets2D+0x90>
xor    %eax,%eax
jmp    1250 <testBrackets2D+0x140>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %ebx,%r15d
imul   %edx,%r15d
movd   %r15d,%xmm3
pshufd $0x0,%xmm3,%xmm3
test   %r9,%r9
je     1264 <testBrackets2D+0x154>
lea    0x4(%r15),%eax
movd   %eax,%xmm4
pshufd $0x0,%xmm4,%xmm5
mov    %r8,%rax
xor    %ecx,%ecx
movdqa %xmm0,%xmm4
movdqa %xmm3,%xmm6
paddd  %xmm4,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm4,%xmm7
movdqu %xmm6,(%rdi,%rcx,4)
movdqu %xmm7,0x10(%rdi,%rcx,4)
movdqa %xmm4,%xmm6
paddd  %xmm1,%xmm6
movdqa %xmm3,%xmm7
paddd  %xmm6,%xmm7
paddd  %xmm5,%xmm6
movdqu %xmm7,0x20(%rdi,%rcx,4)
movdqu %xmm6,0x30(%rdi,%rcx,4)
add    $0x10,%rcx
paddd  %xmm2,%xmm4
add    $0xfffffffffffffffe,%rax
jne    11d0 <testBrackets2D+0xc0>
test   $0x1,%r10b
je     1240 <testBrackets2D+0x130>
paddd  %xmm4,%xmm3
add    $0x4,%r15d
movd   %r15d,%xmm5
pshufd $0x0,%xmm5,%xmm5
paddd  %xmm4,%xmm5
movdqu %xmm3,(%rdi,%rcx,4)
movdqu %xmm5,0x10(%rdi,%rcx,4)
mov    %r11,%rax
cmp    %r14,%r11
je     1170 <testBrackets2D+0x60>
nopl   0x0(%rax)
lea    (%rax,%rbp,1),%ecx
mov    %ecx,(%rdi,%rax,4)
add    $0x1,%rax
cmp    %rax,%r14
jne    1250 <testBrackets2D+0x140>
jmp    1170 <testBrackets2D+0x60>
xor    %ecx,%ecx
movdqa %xmm0,%xmm4
test   $0x1,%r10b
jne    121f <testBrackets2D+0x10f>
jmp    1240 <testBrackets2D+0x130>
test   %esi,%esi
jle    12e1 <testBrackets2D+0x1d1>
mov    %r13,0x10(%rsp)
mov    %edx,0xc(%rsp)
xor    %r15d,%r15d
xor    %ebx,%ebx
xor    %r13d,%r13d
jmp    129e <testBrackets2D+0x18e>
nopl   0x0(%rax)
add    $0x1,%rbx
add    %r14,%r15
cmp    0x10(%rsp),%rbx
je     12e4 <testBrackets2D+0x1d4>
cmpl   $0x0,0xc(%rsp)
jle    1290 <testBrackets2D+0x180>
xor    %ebp,%ebp
jmp    12b9 <testBrackets2D+0x1a9>
nopl   0x0(%rax)
add    $0x1,%rbp
cmp    %rbp,%r14
je     1290 <testBrackets2D+0x180>
lea    (%r15,%rbp,1),%r8
mov    (%r12,%rbx,8),%rax
mov    (%rax,%rbp,4),%ecx
cmp    %ecx,%r8d
je     12b0 <testBrackets2D+0x1a0>
lea    0xd60(%rip),%rdi
mov    %ebx,%esi
mov    %ebp,%edx
xor    %eax,%eax
call   1030 <printf@plt>
add    $0x1,%r13d
jmp    12b0 <testBrackets2D+0x1a0>
xor    %r13d,%r13d
lea    0xd5f(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [26 x i8] c"error: [%d][%d] %d != %d\0A\00"
@.str.1 = [15 x i8] c"2D Errors: %d\0A\00"
define void @testBrackets2D(i32** %0, i32 %1, i32 %2) {
%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*** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %9
store i32 0, i32* %7
br label %12
12: ; preds = %39, %3
%13 = load i32, i32* %7
%14 = load i32, i32* %5
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %42
16: ; preds = %12
store i32 0, i32* %8
br label %17
17: ; preds = %35, %16
%18 = load i32, i32* %8
%19 = load i32, i32* %6
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %38
21: ; preds = %17
%22 = load i32, i32* %7
%23 = load i32, i32* %6
%24 = mul nsw i32 %22, %23
%25 = load i32, i32* %8
%26 = add nsw i32 %24, %25
%27 = load i32**, i32*** %4
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32*, i32** %27, i64 %29
%31 = load i32*, i32** %30
%32 = load i32, i32* %8
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
store i32 %26, i32* %34
br label %35
35: ; preds = %21
%36 = load i32, i32* %8
%37 = add nsw i32 %36, 1
store i32 %37, i32* %8
br label %17
38: ; preds = %17
br label %39
39: ; preds = %38
%40 = load i32, i32* %7
%41 = add nsw i32 %40, 1
store i32 %41, i32* %7
br label %12
42: ; preds = %12
store i32 0, i32* %7
br label %43
43: ; preds = %83, %42
%44 = load i32, i32* %7
%45 = load i32, i32* %5
%46 = icmp slt i32 %44, %45
br i1 %46, label %47, label %86
47: ; preds = %43
store i32 0, i32* %8
br label %48
48: ; preds = %79, %47
%49 = load i32, i32* %8
%50 = load i32, i32* %6
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %82
52: ; preds = %48
%53 = load i32, i32* %7
%54 = load i32, i32* %6
%55 = mul nsw i32 %53, %54
%56 = load i32, i32* %8
%57 = add nsw i32 %55, %56
store i32 %57, i32* %10
%58 = load i32**, i32*** %4
%59 = load i32, i32* %7
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32*, i32** %58, i64 %60
%62 = load i32*, i32** %61
%63 = load i32, i32* %8
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
store i32 %66, i32* %11
%67 = load i32, i32* %11
%68 = load i32, i32* %10
%69 = icmp ne i32 %67, %68
br i1 %69, label %70, label %78
70: ; preds = %52
%71 = load i32, i32* %7
%72 = load i32, i32* %8
%73 = load i32, i32* %11
%74 = load i32, i32* %10
%75 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0), i32 %71, i32 %72, i32 %73, i32 %74)
%76 = load i32, i32* %9
%77 = add nsw i32 %76, 1
store i32 %77, i32* %9
br label %78
78: ; preds = %70, %52
br label %79
79: ; preds = %78
%80 = load i32, i32* %8
%81 = add nsw i32 %80, 1
store i32 %81, i32* %8
br label %48
82: ; preds = %48
br label %83
83: ; preds = %82
%84 = load i32, i32* %7
%85 = add nsw i32 %84, 1
store i32 %85, i32* %7
br label %43
86: ; preds = %43
%87 = load i32, i32* %9
%88 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %87)
ret void
}

LLVM IR (-O2):
@.str = [26 x i8] c"error: [%d][%d] %d != %d\0A\00"
@.str.1 = [15 x i8] c"2D Errors: %d\0A\00"
define void @testBrackets2D(i32** nocapture %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %117
5: ; preds = %3
%6 = icmp sgt i32 %2, 0
%7 = zext i32 %1 to i64
%8 = zext i32 %2 to i64
%9 = and i64 %8, 4294967288
%10 = add nsw i64 %9, -8
%11 = lshr exact i64 %10, 3
%12 = add nuw nsw i64 %11, 1
%13 = icmp ult i32 %2, 8
%14 = and i64 %8, 4294967288
%15 = and i64 %12, 1
%16 = icmp eq i64 %10, 0
%17 = and i64 %12, 4611686018427387902
%18 = icmp eq i64 %15, 0
%19 = icmp eq i64 %14, %8
br label %20
20: ; preds = %5, %87
%21 = phi i64 [ 0, %5 ], [ %88, %87 ]
br i1 %6, label %22, label %87
22: ; preds = %20
%23 = trunc i64 %21 to i32
%24 = mul nsw i32 %23, %2
%25 = getelementptr inbounds i32*, i32** %0, i64 %21
%26 = load i32*, i32** %25
br i1 %13, label %73, label %27
27: ; preds = %22
%28 = insertelement <4 x i32> poison, i32 %24, i64 0
%29 = shufflevector <4 x i32> %28, <4 x i32> poison, <4 x i32> zeroinitializer
br i1 %16, label %59, label %30
30: ; preds = %27
%31 = add i32 %24, 4
%32 = insertelement <4 x i32> poison, i32 %31, i64 0
%33 = shufflevector <4 x i32> %32, <4 x i32> poison, <4 x i32> zeroinitializer
%34 = add i32 %24, 4
%35 = insertelement <4 x i32> poison, i32 %34, i64 0
%36 = shufflevector <4 x i32> %35, <4 x i32> poison, <4 x i32> zeroinitializer
br label %37
37: ; preds = %37, %30
%38 = phi i64 [ 0, %30 ], [ %55, %37 ]
%39 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %30 ], [ %56, %37 ]
%40 = phi i64 [ 0, %30 ], [ %57, %37 ]
%41 = add nsw <4 x i32> %29, %39
%42 = add <4 x i32> %33, %39
%43 = getelementptr inbounds i32, i32* %26, i64 %38
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %41, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %43, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %42, <4 x i32>* %46
%47 = or i64 %38, 8
%48 = add <4 x i32> %39, <i32 8, i32 8, i32 8, i32 8>
%49 = add nsw <4 x i32> %29, %48
%50 = add <4 x i32> %36, %48
%51 = getelementptr inbounds i32, i32* %26, i64 %47
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %54
%55 = add nuw i64 %38, 16
%56 = add <4 x i32> %39, <i32 16, i32 16, i32 16, i32 16>
%57 = add i64 %40, 2
%58 = icmp eq i64 %57, %17
br i1 %58, label %59, label %37
59: ; preds = %37, %27
%60 = phi i64 [ 0, %27 ], [ %55, %37 ]
%61 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %27 ], [ %56, %37 ]
br i1 %18, label %72, label %62
62: ; preds = %59
%63 = add nsw <4 x i32> %29, %61
%64 = add i32 %24, 4
%65 = insertelement <4 x i32> poison, i32 %64, i64 0
%66 = shufflevector <4 x i32> %65, <4 x i32> poison, <4 x i32> zeroinitializer
%67 = add <4 x i32> %66, %61
%68 = getelementptr inbounds i32, i32* %26, i64 %60
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> %63, <4 x i32>* %69
%70 = getelementptr inbounds i32, i32* %68, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %71
br label %72
72: ; preds = %59, %62
br i1 %19, label %87, label %73
73: ; preds = %22, %72
%74 = phi i64 [ 0, %22 ], [ %14, %72 ]
br label %80
75: ; preds = %87
br i1 %4, label %76, label %117
76: ; preds = %75
%77 = icmp sgt i32 %2, 0
%78 = zext i32 %1 to i64
%79 = zext i32 %2 to i64
br label %90
80: ; preds = %73, %80
%81 = phi i64 [ %85, %80 ], [ %74, %73 ]
%82 = trunc i64 %81 to i32
%83 = add nsw i32 %24, %82
%84 = getelementptr inbounds i32, i32* %26, i64 %81
store i32 %83, i32* %84
%85 = add nuw nsw i64 %81, 1
%86 = icmp eq i64 %85, %8
br i1 %86, label %87, label %80
87: ; preds = %80, %72, %20
%88 = add nuw nsw i64 %21, 1
%89 = icmp eq i64 %88, %7
br i1 %89, label %75, label %20
90: ; preds = %76, %113
%91 = phi i64 [ 0, %76 ], [ %115, %113 ]
%92 = phi i32 [ 0, %76 ], [ %114, %113 ]
br i1 %77, label %93, label %113
93: ; preds = %90
%94 = trunc i64 %91 to i32
%95 = mul nsw i32 %94, %2
%96 = getelementptr inbounds i32*, i32** %0, i64 %91
br label %97
97: ; preds = %93, %109
%98 = phi i64 [ 0, %93 ], [ %111, %109 ]
%99 = phi i32 [ %92, %93 ], [ %110, %109 ]
%100 = trunc i64 %98 to i32
%101 = add nsw i32 %95, %100
%102 = load i32*, i32** %96
%103 = getelementptr inbounds i32, i32* %102, i64 %98
%104 = load i32, i32* %103
%105 = icmp eq i32 %104, %101
br i1 %105, label %109, label %106
106: ; preds = %97
%107 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0), i32 %94, i32 %100, i32 %104, i32 %101)
%108 = add nsw i32 %99, 1
br label %109
109: ; preds = %106, %97
%110 = phi i32 [ %108, %106 ], [ %99, %97 ]
%111 = add nuw nsw i64 %98, 1
%112 = icmp eq i64 %111, %79
br i1 %112, label %113, label %97
113: ; preds = %109, %90
%114 = phi i32 [ %92, %90 ], [ %110, %109 ]
%115 = add nuw nsw i64 %91, 1
%116 = icmp eq i64 %115, %78
br i1 %116, label %117, label %90
117: ; preds = %113, %3, %75
%118 = phi i32 [ 0, %75 ], [ 0, %3 ], [ %114, %113 ]
%119 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %118)
ret void
}