int with_2d_array_cb(void (*cb)(char c[3][7])) {
  char c[3][7];
  int i, j, r;
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 7; j++) {
      c[i][j] = (i + (2 * j));
    }
  }
  cb(c);
  r = 0;
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 7; j++) {
      r += (c[i][j] - ((2 * i) + (2 * j)));
    }
  }
  return r;
}


x86 assembly (clang, -O0):
<with_2d_array_cb>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    1172 <with_2d_array_cb+0x72>
movl   $0x0,-0x28(%rbp)
cmpl   $0x7,-0x28(%rbp)
jge    115f <with_2d_array_cb+0x5f>
mov    -0x24(%rbp),%eax
mov    -0x28(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    %al,%dl
movslq -0x24(%rbp),%rcx
lea    -0x20(%rbp),%rax
imul   $0x7,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1124 <with_2d_array_cb+0x24>
jmp    1164 <with_2d_array_cb+0x64>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1113 <with_2d_array_cb+0x13>
mov    -0x8(%rbp),%rax
lea    -0x20(%rbp),%rdi
call   *%rax
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    11f3 <with_2d_array_cb+0xf3>
movl   $0x0,-0x28(%rbp)
cmpl   $0x7,-0x28(%rbp)
jge    11e0 <with_2d_array_cb+0xe0>
movslq -0x24(%rbp),%rcx
lea    -0x20(%rbp),%rax
imul   $0x7,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
mov    -0x28(%rbp),%edx
shl    $0x1,%edx
add    %edx,%ecx
sub    %ecx,%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    119b <with_2d_array_cb+0x9b>
jmp    11e5 <with_2d_array_cb+0xe5>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    118a <with_2d_array_cb+0x8a>
mov    -0x2c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<with_2d_array_cb>:
sub    $0x18,%rsp
mov    %rdi,%rax
movaps 0xef2(%rip),%xmm0
movaps %xmm0,(%rsp)
movl   $0xc0a0806,0x10(%rsp)
0c
movb   $0xe,0x14(%rsp)
mov    %rsp,%rdi
call   *%rax
movdqa (%rsp),%xmm0
punpckhbw %xmm0,%xmm1
punpcklwd %xmm1,%xmm2
psrad  $0x18,%xmm2
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm3
psrad  $0x18,%xmm3
paddd  %xmm2,%xmm3
punpckhwd %xmm1,%xmm1
psrad  $0x18,%xmm1
punpckhwd %xmm0,%xmm0
psrad  $0x18,%xmm0
paddd  %xmm1,%xmm0
paddd  %xmm3,%xmm0
movsbl 0x10(%rsp),%eax
movsbl 0x11(%rsp),%ecx
movsbl 0x12(%rsp),%edx
movsbl 0x13(%rsp),%esi
movsbl 0x14(%rsp),%r8d
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edi
add    %eax,%edi
add    %ecx,%edi
add    %edx,%edi
add    %esi,%edi
lea    (%r8,%rdi,1),%eax
add    $0xffffff58,%eax
add    $0x18,%rsp
ret

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

LLVM IR (-O2):
define i32 @with_2d_array_cb(void ([7 x i8]*)* nocapture %0) {
%2 = alloca [3 x [7 x i8]]
%3 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 0, i64 0
%4 = bitcast [3 x [7 x i8]]* %2 to <16 x i8>*
store <16 x i8> <i8 0, i8 2, i8 4, i8 6, i8 8, i8 10, i8 12, i8 1, i8 3, i8 5, i8 7, i8 9, i8 11, i8 13, i8 2, i8 4>, <16 x i8>* %4
%5 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 2, i64 2
store i8 6, i8* %5
%6 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 2, i64 3
store i8 8, i8* %6
%7 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 2, i64 4
store i8 10, i8* %7
%8 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 2, i64 5
store i8 12, i8* %8
%9 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 2, i64 6
store i8 14, i8* %9
%10 = getelementptr inbounds [3 x [7 x i8]], [3 x [7 x i8]]* %2, i64 0, i64 0
%11 = bitcast [3 x [7 x i8]]* %2 to <16 x i8>*
%12 = load <16 x i8>, <16 x i8>* %11
%13 = sext <16 x i8> %12 to <16 x i32>
%14 = load i8, i8* %5
%15 = sext i8 %14 to i32
%16 = load i8, i8* %6
%17 = sext i8 %16 to i32
%18 = load i8, i8* %7
%19 = sext i8 %18 to i32
%20 = load i8, i8* %8
%21 = sext i8 %20 to i32
%22 = load i8, i8* %9
%23 = sext i8 %22 to i32
%24 = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %13)
%25 = add nsw i32 %24, %15
%26 = add nsw i32 %25, %17
%27 = add nsw i32 %26, %19
%28 = add nsw i32 %27, %21
%29 = add nsw i32 %28, %23
%30 = add nsw i32 %29, -168
ret i32 %30
}