#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*/ matrix4;
typedef int /*<<< orphan*/ matrix3;
typedef int /*<<< orphan*/ matrix2;
typedef int /*<<< orphan*/ matrix1;
typedef int /*<<< orphan*/ matrix0;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int get_num_unique_rows_in_matrix_v1(int, int, int **);
int get_num_unique_rows_in_matrix_v2(int, int, int **);
int main() {
  int matrix0[][5] = {{0, 1, 0, 0, 1}, {1, 0, 1, 1, 0}, {0, 1, 0, 0, 1},
                      {1, 1, 1, 0, 0}, {0, 1, 0, 0, 1}, {1, 1, 1, 0, 0},
                      {0, 1, 0, 0, 1}};
  int cols0 = sizeof(matrix0[0]) / sizeof(int);
  int rows0 = sizeof(matrix0) / sizeof(matrix0[0]);
  assert(3 == get_num_unique_rows_in_matrix_v1(rows0, cols0, matrix0));
  assert(3 == get_num_unique_rows_in_matrix_v2(rows0, cols0, matrix0));
  int matrix1[][7] = {{1, 1, 0, 0, 1, 0, 0}, {1, 1, 0, 0, 1, 0, 0},
                      {1, 1, 0, 0, 1, 0, 0}, {1, 1, 0, 0, 1, 0, 0},
                      {1, 1, 0, 0, 1, 0, 0}, {1, 1, 0, 0, 1, 0, 0},
                      {1, 1, 0, 0, 1, 0, 0}};
  int cols1 = sizeof(matrix1[0]) / sizeof(int);
  int rows1 = sizeof(matrix1) / sizeof(matrix1[0]);
  assert(1 == get_num_unique_rows_in_matrix_v1(rows1, cols1, matrix1));
  assert(1 == get_num_unique_rows_in_matrix_v2(rows1, cols1, matrix1));
  int matrix2[][5] = {
      {0, 1, 0, 0, 1}, {1, 0, 0, 1, 0}, {0, 0, 0, 0, 1}, {1, 1, 1, 0, 0}};
  int cols2 = sizeof(matrix2[0]) / sizeof(int);
  int rows2 = sizeof(matrix2) / sizeof(matrix2[0]);
  assert(rows2 == get_num_unique_rows_in_matrix_v1(rows2, cols2, matrix2));
  assert(rows2 == get_num_unique_rows_in_matrix_v2(rows2, cols2, matrix2));
  int matrix3[][10] = {{0, 1, 0, 0, 1, 0, 0, 0, 1, 0}};
  int cols3 = sizeof(matrix3[0]) / sizeof(int);
  int rows3 = sizeof(matrix3) / sizeof(matrix3[0]);
  assert(rows3 == get_num_unique_rows_in_matrix_v1(rows3, cols3, matrix3));
  assert(rows3 == get_num_unique_rows_in_matrix_v2(rows3, cols3, matrix3));
  int matrix4[][1] = {{0}, {1}, {0}, {0}, {1}};
  int cols4 = sizeof(matrix4[0]) / sizeof(int);
  int rows4 = sizeof(matrix4) / sizeof(matrix4[0]);
  assert(2 == get_num_unique_rows_in_matrix_v1(rows4, cols4, matrix4));
  assert(2 == get_num_unique_rows_in_matrix_v2(rows4, cols4, matrix4));
  return (0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x230,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x90(%rbp),%rdi
lea    0xe90(%rip),%rsi
mov    $0x8c,%edx
call   1060 <memcpy@plt>
movl   $0x5,-0x94(%rbp)
movl   $0x7,-0x98(%rbp)
mov    -0x98(%rbp),%edi
mov    -0x94(%rbp),%esi
lea    -0x90(%rbp),%rdx
call   1070 <get_num_unique_rows_in_matrix_v1@plt>
mov    %eax,%ecx
mov    $0x3,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x98(%rbp),%edi
mov    -0x94(%rbp),%esi
lea    -0x90(%rbp),%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
mov    %eax,%ecx
mov    $0x3,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x160(%rbp),%rdi
lea    0xe98(%rip),%rsi
mov    $0xc4,%edx
call   1060 <memcpy@plt>
movl   $0x7,-0x164(%rbp)
movl   $0x7,-0x168(%rbp)
mov    -0x168(%rbp),%edi
mov    -0x164(%rbp),%esi
lea    -0x160(%rbp),%rdx
call   1070 <get_num_unique_rows_in_matrix_v1@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x168(%rbp),%edi
mov    -0x164(%rbp),%esi
lea    -0x160(%rbp),%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x1c0(%rbp),%rdi
lea    0xee0(%rip),%rsi
mov    $0x50,%edx
call   1060 <memcpy@plt>
movl   $0x5,-0x1c4(%rbp)
movl   $0x4,-0x1c8(%rbp)
mov    -0x1c8(%rbp),%eax
mov    %eax,-0x228(%rbp)
mov    -0x1c8(%rbp),%edi
mov    -0x1c4(%rbp),%esi
lea    -0x1c0(%rbp),%rdx
call   1070 <get_num_unique_rows_in_matrix_v1@plt>
mov    %eax,%ecx
mov    -0x228(%rbp),%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x1c8(%rbp),%eax
mov    %eax,-0x224(%rbp)
mov    -0x1c8(%rbp),%edi
mov    -0x1c4(%rbp),%esi
lea    -0x1c0(%rbp),%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
mov    %eax,%ecx
mov    -0x224(%rbp),%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x1f0(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
movl   $0x1,-0x1ec(%rbp)
movl   $0x1,-0x1e0(%rbp)
movl   $0x1,-0x1d0(%rbp)
movl   $0xa,-0x1f4(%rbp)
movl   $0x1,-0x1f8(%rbp)
mov    -0x1f8(%rbp),%eax
mov    %eax,-0x220(%rbp)
mov    -0x1f8(%rbp),%edi
mov    -0x1f4(%rbp),%esi
lea    -0x1f0(%rbp),%rdx
call   1070 <get_num_unique_rows_in_matrix_v1@plt>
mov    %eax,%ecx
mov    -0x220(%rbp),%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x1f8(%rbp),%eax
mov    %eax,-0x21c(%rbp)
mov    -0x1f8(%rbp),%edi
mov    -0x1f4(%rbp),%esi
lea    -0x1f0(%rbp),%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
mov    %eax,%ecx
mov    -0x21c(%rbp),%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    0xdda(%rip),%rax
mov    %rax,-0x210(%rbp)
mov    0xdd4(%rip),%rax
mov    %rax,-0x208(%rbp)
mov    0xdcf(%rip),%eax
mov    %eax,-0x200(%rbp)
movl   $0x1,-0x214(%rbp)
movl   $0x5,-0x218(%rbp)
mov    -0x218(%rbp),%edi
mov    -0x214(%rbp),%esi
lea    -0x210(%rbp),%rdx
call   1070 <get_num_unique_rows_in_matrix_v1@plt>
mov    %eax,%ecx
mov    $0x2,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x218(%rbp),%edi
mov    -0x214(%rbp),%esi
lea    -0x210(%rbp),%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
mov    %eax,%ecx
mov    $0x2,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
add    $0x230,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x200,%rsp
lea    0xeb1(%rip),%rsi
lea    0xa0(%rsp),%rbx
mov    $0x8c,%edx
mov    %rbx,%rdi
call   1050 <memcpy@plt>
mov    $0x7,%edi
mov    $0x5,%esi
mov    %rbx,%rdx
call   1060 <get_num_unique_rows_in_matrix_v1@plt>
xor    %edi,%edi
cmp    $0x3,%eax
sete   %dil
call   1040 <assert@plt>
mov    $0x7,%edi
mov    $0x5,%esi
mov    %rbx,%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
xor    %edi,%edi
cmp    $0x3,%eax
sete   %dil
call   1040 <assert@plt>
lea    0xee5(%rip),%rsi
lea    0x130(%rsp),%rbx
mov    $0xc4,%edx
mov    %rbx,%rdi
call   1050 <memcpy@plt>
mov    $0x7,%edi
mov    $0x7,%esi
mov    %rbx,%rdx
call   1060 <get_num_unique_rows_in_matrix_v1@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
mov    $0x7,%edi
mov    $0x7,%esi
mov    %rbx,%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
movaps 0xf99(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xf7a(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movaps 0xf5b(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movaps 0xf3f(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xf23(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
lea    0x50(%rsp),%rbx
mov    $0x4,%edi
mov    $0x5,%esi
mov    %rbx,%rdx
call   1060 <get_num_unique_rows_in_matrix_v1@plt>
xor    %edi,%edi
cmp    $0x4,%eax
sete   %dil
call   1040 <assert@plt>
mov    $0x4,%edi
mov    $0x5,%esi
mov    %rbx,%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
xor    %edi,%edi
cmp    $0x4,%eax
sete   %dil
call   1040 <assert@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,(%rsp)
movaps %xmm0,0x10(%rsp)
movq   $0x0,0x20(%rsp)
movl   $0x1,0x4(%rsp)
movl   $0x1,0x10(%rsp)
movl   $0x1,0x20(%rsp)
mov    %rsp,%rbx
mov    $0x1,%edi
mov    $0xa,%esi
mov    %rbx,%rdx
call   1060 <get_num_unique_rows_in_matrix_v1@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
mov    $0x1,%edi
mov    $0xa,%esi
mov    %rbx,%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1040 <assert@plt>
mov    0xec3(%rip),%eax
mov    %eax,0x40(%rsp)
movaps 0xea8(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
lea    0x30(%rsp),%rbx
mov    $0x5,%edi
mov    $0x1,%esi
mov    %rbx,%rdx
call   1060 <get_num_unique_rows_in_matrix_v1@plt>
xor    %edi,%edi
cmp    $0x2,%eax
sete   %dil
call   1040 <assert@plt>
mov    $0x5,%edi
mov    $0x1,%esi
mov    %rbx,%rdx
call   1030 <get_num_unique_rows_in_matrix_v2@plt>
xor    %edi,%edi
cmp    $0x2,%eax
sete   %dil
call   1040 <assert@plt>
xor    %eax,%eax
add    $0x200,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.main.matrix0 = [7 x [5 x i32]] [[5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 0, i32 1, i32 1, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1]]
@__const.main.matrix1 = [7 x [7 x i32]] [[7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0]]
@__const.main.matrix2 = [4 x [5 x i32]] [[5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 0, i32 0, i32 1, i32 0], [5 x i32] [i32 0, i32 0, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0]]
@__const.main.matrix4 = [5 x [1 x i32]] [[1 x i32] zeroinitializer, [1 x i32] [i32 1], [1 x i32] zeroinitializer, [1 x i32] zeroinitializer, [1 x i32] [i32 1]]
define i32 @main() {
%1 = alloca i32
%2 = alloca [7 x [5 x i32]]
%3 = alloca i32
%4 = alloca i32
%5 = alloca [7 x [7 x i32]]
%6 = alloca i32
%7 = alloca i32
%8 = alloca [4 x [5 x i32]]
%9 = alloca i32
%10 = alloca i32
%11 = alloca [1 x [10 x i32]]
%12 = alloca i32
%13 = alloca i32
%14 = alloca [5 x [1 x i32]]
%15 = alloca i32
%16 = alloca i32
store i32 0, i32* %1
%17 = bitcast [7 x [5 x i32]]* %2 to i8*
store i32 5, i32* %3
store i32 7, i32* %4
%18 = load i32, i32* %4
%19 = load i32, i32* %3
%20 = getelementptr inbounds [7 x [5 x i32]], [7 x [5 x i32]]* %2, i64 0, i64 0
%21 = bitcast [5 x i32]* %20 to i32**
%22 = call i32 @get_num_unique_rows_in_matrix_v1(i32 %18, i32 %19, i32** %21)
%23 = icmp eq i32 3, %22
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = load i32, i32* %4
%27 = load i32, i32* %3
%28 = getelementptr inbounds [7 x [5 x i32]], [7 x [5 x i32]]* %2, i64 0, i64 0
%29 = bitcast [5 x i32]* %28 to i32**
%30 = call i32 @get_num_unique_rows_in_matrix_v2(i32 %26, i32 %27, i32** %29)
%31 = icmp eq i32 3, %30
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = bitcast [7 x [7 x i32]]* %5 to i8*
store i32 7, i32* %6
store i32 7, i32* %7
%35 = load i32, i32* %7
%36 = load i32, i32* %6
%37 = getelementptr inbounds [7 x [7 x i32]], [7 x [7 x i32]]* %5, i64 0, i64 0
%38 = bitcast [7 x i32]* %37 to i32**
%39 = call i32 @get_num_unique_rows_in_matrix_v1(i32 %35, i32 %36, i32** %38)
%40 = icmp eq i32 1, %39
%41 = zext i1 %40 to i32
%42 = call i32 @assert(i32 %41)
%43 = load i32, i32* %7
%44 = load i32, i32* %6
%45 = getelementptr inbounds [7 x [7 x i32]], [7 x [7 x i32]]* %5, i64 0, i64 0
%46 = bitcast [7 x i32]* %45 to i32**
%47 = call i32 @get_num_unique_rows_in_matrix_v2(i32 %43, i32 %44, i32** %46)
%48 = icmp eq i32 1, %47
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = bitcast [4 x [5 x i32]]* %8 to i8*
store i32 5, i32* %9
store i32 4, i32* %10
%52 = load i32, i32* %10
%53 = load i32, i32* %10
%54 = load i32, i32* %9
%55 = getelementptr inbounds [4 x [5 x i32]], [4 x [5 x i32]]* %8, i64 0, i64 0
%56 = bitcast [5 x i32]* %55 to i32**
%57 = call i32 @get_num_unique_rows_in_matrix_v1(i32 %53, i32 %54, i32** %56)
%58 = icmp eq i32 %52, %57
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
%61 = load i32, i32* %10
%62 = load i32, i32* %10
%63 = load i32, i32* %9
%64 = getelementptr inbounds [4 x [5 x i32]], [4 x [5 x i32]]* %8, i64 0, i64 0
%65 = bitcast [5 x i32]* %64 to i32**
%66 = call i32 @get_num_unique_rows_in_matrix_v2(i32 %62, i32 %63, i32** %65)
%67 = icmp eq i32 %61, %66
%68 = zext i1 %67 to i32
%69 = call i32 @assert(i32 %68)
%70 = bitcast [1 x [10 x i32]]* %11 to i8*
%71 = bitcast i8* %70 to [1 x [10 x i32]]*
%72 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %71, i32 0, i32 0
%73 = getelementptr inbounds [10 x i32], [10 x i32]* %72, i32 0, i32 1
store i32 1, i32* %73
%74 = getelementptr inbounds [10 x i32], [10 x i32]* %72, i32 0, i32 4
store i32 1, i32* %74
%75 = getelementptr inbounds [10 x i32], [10 x i32]* %72, i32 0, i32 8
store i32 1, i32* %75
store i32 10, i32* %12
store i32 1, i32* %13
%76 = load i32, i32* %13
%77 = load i32, i32* %13
%78 = load i32, i32* %12
%79 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %11, i64 0, i64 0
%80 = bitcast [10 x i32]* %79 to i32**
%81 = call i32 @get_num_unique_rows_in_matrix_v1(i32 %77, i32 %78, i32** %80)
%82 = icmp eq i32 %76, %81
%83 = zext i1 %82 to i32
%84 = call i32 @assert(i32 %83)
%85 = load i32, i32* %13
%86 = load i32, i32* %13
%87 = load i32, i32* %12
%88 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %11, i64 0, i64 0
%89 = bitcast [10 x i32]* %88 to i32**
%90 = call i32 @get_num_unique_rows_in_matrix_v2(i32 %86, i32 %87, i32** %89)
%91 = icmp eq i32 %85, %90
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = bitcast [5 x [1 x i32]]* %14 to i8*
store i32 1, i32* %15
store i32 5, i32* %16
%95 = load i32, i32* %16
%96 = load i32, i32* %15
%97 = getelementptr inbounds [5 x [1 x i32]], [5 x [1 x i32]]* %14, i64 0, i64 0
%98 = bitcast [1 x i32]* %97 to i32**
%99 = call i32 @get_num_unique_rows_in_matrix_v1(i32 %95, i32 %96, i32** %98)
%100 = icmp eq i32 2, %99
%101 = zext i1 %100 to i32
%102 = call i32 @assert(i32 %101)
%103 = load i32, i32* %16
%104 = load i32, i32* %15
%105 = getelementptr inbounds [5 x [1 x i32]], [5 x [1 x i32]]* %14, i64 0, i64 0
%106 = bitcast [1 x i32]* %105 to i32**
%107 = call i32 @get_num_unique_rows_in_matrix_v2(i32 %103, i32 %104, i32** %106)
%108 = icmp eq i32 2, %107
%109 = zext i1 %108 to i32
%110 = call i32 @assert(i32 %109)
ret i32 0
}

LLVM IR (-O2):
@__const.main.matrix0 = [7 x [5 x i32]] [[5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 0, i32 1, i32 1, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0], [5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1]]
@__const.main.matrix1 = [7 x [7 x i32]] [[7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0], [7 x i32] [i32 1, i32 1, i32 0, i32 0, i32 1, i32 0, i32 0]]
@__const.main.matrix2 = [4 x [5 x i32]] [[5 x i32] [i32 0, i32 1, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 0, i32 0, i32 1, i32 0], [5 x i32] [i32 0, i32 0, i32 0, i32 0, i32 1], [5 x i32] [i32 1, i32 1, i32 1, i32 0, i32 0]]
@__const.main.matrix4 = [5 x [1 x i32]] [[1 x i32] zeroinitializer, [1 x i32] [i32 1], [1 x i32] zeroinitializer, [1 x i32] zeroinitializer, [1 x i32] [i32 1]]
define i32 @main() {
%1 = alloca [7 x [5 x i32]]
%2 = alloca [7 x [7 x i32]]
%3 = alloca [4 x [5 x i32]]
%4 = alloca [1 x [10 x i32]]
%5 = alloca [5 x [1 x i32]]
%6 = bitcast [7 x [5 x i32]]* %1 to i8*
%7 = bitcast [7 x [5 x i32]]* %1 to i32**
%8 = call i32 @get_num_unique_rows_in_matrix_v1(i32 7, i32 5, i32** %7)
%9 = icmp eq i32 %8, 3
%10 = zext i1 %9 to i32
%11 = call i32 @assert(i32 %10)
%12 = call i32 @get_num_unique_rows_in_matrix_v2(i32 7, i32 5, i32** %7)
%13 = icmp eq i32 %12, 3
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = bitcast [7 x [7 x i32]]* %2 to i8*
%17 = bitcast [7 x [7 x i32]]* %2 to i32**
%18 = call i32 @get_num_unique_rows_in_matrix_v1(i32 7, i32 7, i32** %17)
%19 = icmp eq i32 %18, 1
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = call i32 @get_num_unique_rows_in_matrix_v2(i32 7, i32 7, i32** %17)
%23 = icmp eq i32 %22, 1
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = bitcast [4 x [5 x i32]]* %3 to i8*
%27 = bitcast [4 x [5 x i32]]* %3 to i32**
%28 = call i32 @get_num_unique_rows_in_matrix_v1(i32 4, i32 5, i32** %27)
%29 = icmp eq i32 %28, 4
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = call i32 @get_num_unique_rows_in_matrix_v2(i32 4, i32 5, i32** %27)
%33 = icmp eq i32 %32, 4
%34 = zext i1 %33 to i32
%35 = call i32 @assert(i32 %34)
%36 = bitcast [1 x [10 x i32]]* %4 to i8*
%37 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %4, i64 0, i64 0, i64 1
store i32 1, i32* %37
%38 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %4, i64 0, i64 0, i64 4
store i32 1, i32* %38
%39 = getelementptr inbounds [1 x [10 x i32]], [1 x [10 x i32]]* %4, i64 0, i64 0, i64 8
store i32 1, i32* %39
%40 = bitcast [1 x [10 x i32]]* %4 to i32**
%41 = call i32 @get_num_unique_rows_in_matrix_v1(i32 1, i32 10, i32** %40)
%42 = icmp eq i32 %41, 1
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = call i32 @get_num_unique_rows_in_matrix_v2(i32 1, i32 10, i32** %40)
%46 = icmp eq i32 %45, 1
%47 = zext i1 %46 to i32
%48 = call i32 @assert(i32 %47)
%49 = bitcast [5 x [1 x i32]]* %5 to i8*
%50 = bitcast [5 x [1 x i32]]* %5 to i32**
%51 = call i32 @get_num_unique_rows_in_matrix_v1(i32 5, i32 1, i32** %50)
%52 = icmp eq i32 %51, 2
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = call i32 @get_num_unique_rows_in_matrix_v2(i32 5, i32 1, i32** %50)
%56 = icmp eq i32 %55, 2
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
ret i32 0
}