int freeReal2D(double **matrix, int dim1) {
  int i;
  if (dim1 < 1)
    return 1;
  if (!matrix)
    return 2;
  for (i = 0; i < dim1; i++) {
    if (!matrix[i])
      return 2;
    free(matrix[i]);
  }
  free(matrix);
  return 0;
}


x86 assembly (clang, -O0):
<freeReal2D>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x1,-0x14(%rbp)
jge    1135 <freeReal2D+0x25>
movl   $0x1,-0x4(%rbp)
jmp    11ad <freeReal2D+0x9d>
cmpq   $0x0,-0x10(%rbp)
jne    114c <freeReal2D+0x3c>
movl   $0x2,-0x4(%rbp)
jmp    11ad <freeReal2D+0x9d>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    119d <freeReal2D+0x8d>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    117e <freeReal2D+0x6e>
movl   $0x2,-0x4(%rbp)
jmp    11ad <freeReal2D+0x9d>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1153 <freeReal2D+0x43>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<freeReal2D>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %esi,%esi
jle    1154 <freeReal2D+0x44>
mov    %rdi,%rbx
mov    $0x2,%r14d
test   %rdi,%rdi
je     115a <freeReal2D+0x4a>
mov    %esi,%r15d
xor    %ebp,%ebp
xchg   %ax,%ax
mov    (%rbx,%rbp,8),%rdi
test   %rdi,%rdi
je     115a <freeReal2D+0x4a>
call   1030 <free@plt>
add    $0x1,%rbp
cmp    %rbp,%r15
jne    1130 <freeReal2D+0x20>
mov    %rbx,%rdi
call   1030 <free@plt>
xor    %r14d,%r14d
jmp    115a <freeReal2D+0x4a>
mov    $0x1,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @freeReal2D(double** %0, i32 %1) {
%3 = alloca i32
%4 = alloca double**
%5 = alloca i32
%6 = alloca i32
store double** %0, double*** %4
store i32 %1, i32* %5
%7 = load i32, i32* %5
%8 = icmp slt i32 %7, 1
br i1 %8, label %9, label %10
9: ; preds = %2
store i32 1, i32* %3
br label %40
10: ; preds = %2
%11 = load double**, double*** %4
%12 = icmp ne double** %11, null
br i1 %12, label %14, label %13
13: ; preds = %10
store i32 2, i32* %3
br label %40
14: ; preds = %10
store i32 0, i32* %6
br label %15
15: ; preds = %34, %14
%16 = load i32, i32* %6
%17 = load i32, i32* %5
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %37
19: ; preds = %15
%20 = load double**, double*** %4
%21 = load i32, i32* %6
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds double*, double** %20, i64 %22
%24 = load double*, double** %23
%25 = icmp ne double* %24, null
br i1 %25, label %27, label %26
26: ; preds = %19
store i32 2, i32* %3
br label %40
27: ; preds = %19
%28 = load double**, double*** %4
%29 = load i32, i32* %6
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds double*, double** %28, i64 %30
%32 = load double*, double** %31
%33 = bitcast double* %32 to i8*
br label %34
34: ; preds = %27
%35 = load i32, i32* %6
%36 = add nsw i32 %35, 1
store i32 %36, i32* %6
br label %15
37: ; preds = %15
%38 = load double**, double*** %4
%39 = bitcast double** %38 to i8*
store i32 0, i32* %3
br label %40
40: ; preds = %37, %26, %13, %9
%41 = load i32, i32* %3
ret i32 %41
}

LLVM IR (-O2):
define i32 @freeReal2D(double** %0, i32 %1) {
%3 = icmp slt i32 %1, 1
br i1 %3, label %19, label %4
4: ; preds = %2
%5 = icmp eq double** %0, null
br i1 %5, label %19, label %6
6: ; preds = %4
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %6, %13
%9 = phi i64 [ 0, %6 ], [ %15, %13 ]
%10 = getelementptr inbounds double*, double** %0, i64 %9
%11 = load double*, double** %10
%12 = icmp eq double* %11, null
br i1 %12, label %19, label %13
13: ; preds = %8
%14 = bitcast double* %11 to i8*
tail call void @free(i8* %14)
%15 = add nuw nsw i64 %9, 1
%16 = icmp eq i64 %15, %7
br i1 %16, label %17, label %8
17: ; preds = %13
%18 = bitcast double** %0 to i8*
tail call void @free(i8* %18)
br label %19
19: ; preds = %8, %4, %2, %17
%20 = phi i32 [ 0, %17 ], [ 1, %2 ], [ 2, %4 ], [ 2, %8 ]
ret i32 %20
}