void fillblank(int dirx, int diry, int sy, int sx, int tab[4][4]) {
  int x, y;
  if (diry == 0) {
    if (dirx > 0) {
      for (x = 0; x < 4 - 1; x++) {
        if (tab[x][sy] != 0 && tab[x + 1][sy] == 0) {
          tab[x + 1][sy] = tab[x][sy];
          tab[x][sy] = 0;
        }
      }
    } else {
      for (x = 4 - 1; x >= 1; x--) {
        if (tab[x][sy] != 0 && tab[x - 1][sy] == 0) {
          tab[x - 1][sy] = tab[x][sy];
          tab[x][sy] = 0;
        }
      }
    }
  } else if (dirx == 0) {
    if (diry > 0) {
      for (y = 0; y < 4 - 1; y++) {
        if (tab[sx][y] != 0 && tab[sx][y + 1] == 0) {
          tab[sx][y + 1] = tab[sx][y];
          tab[sx][y] = 0;
        }
      }
    } else {
      for (y = 4 - 1; y >= 1; y--) {
        if (tab[sx][y] != 0 && tab[sx][y - 1] == 0) {
          tab[sx][y - 1] = tab[sx][y];
          tab[sx][y] = 0;
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<fillblank>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8,-0x18(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1293 <fillblank+0x193>
cmpl   $0x0,-0x4(%rbp)
jle    11db <fillblank+0xdb>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jge    11d6 <fillblank+0xd6>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     11c3 <fillblank+0xc3>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11c3 <fillblank+0xc3>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    11c8 <fillblank+0xc8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112f <fillblank+0x2f>
jmp    128e <fillblank+0x18e>
movl   $0x3,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jl     1289 <fillblank+0x189>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1276 <fillblank+0x176>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1276 <fillblank+0x176>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    127b <fillblank+0x17b>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e2 <fillblank+0xe2>
jmp    128e <fillblank+0x18e>
jmp    1417 <fillblank+0x317>
cmpl   $0x0,-0x4(%rbp)
jne    1412 <fillblank+0x312>
cmpl   $0x0,-0x8(%rbp)
jle    135a <fillblank+0x25a>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    1355 <fillblank+0x255>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1342 <fillblank+0x242>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1342 <fillblank+0x242>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    1347 <fillblank+0x247>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12ae <fillblank+0x1ae>
jmp    140d <fillblank+0x30d>
movl   $0x3,-0x20(%rbp)
cmpl   $0x1,-0x20(%rbp)
jl     1408 <fillblank+0x308>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     13f5 <fillblank+0x2f5>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13f5 <fillblank+0x2f5>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    13fa <fillblank+0x2fa>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1361 <fillblank+0x261>
jmp    140d <fillblank+0x30d>
jmp    1412 <fillblank+0x312>
jmp    1417 <fillblank+0x317>
pop    %rbp
ret

x86 assembly (clang, -O2):
<fillblank>:
test   %esi,%esi
je     1109 <fillblank+0x9>
test   %edi,%edi
je     113a <fillblank+0x3a>
ret
movslq %edx,%rax
test   %edi,%edi
jle    117d <fillblank+0x7d>
mov    (%r8,%rax,4),%edx
mov    0x10(%r8,%rax,4),%ecx
test   %edx,%edx
je     11ac <fillblank+0xac>
test   %ecx,%ecx
jne    11b4 <fillblank+0xb4>
mov    %edx,0x10(%r8,%rax,4)
movl   $0x0,(%r8,%rax,4)
mov    %edx,%ecx
jmp    11b4 <fillblank+0xb4>
movslq %ecx,%rax
shl    $0x4,%rax
test   %esi,%esi
jle    11d6 <fillblank+0xd6>
mov    (%r8,%rax,1),%edx
mov    0x4(%r8,%rax,1),%ecx
test   %edx,%edx
je     1208 <fillblank+0x108>
test   %ecx,%ecx
jne    1210 <fillblank+0x110>
lea    (%r8,%rax,1),%rcx
lea    (%r8,%rax,1),%rsi
add    $0x4,%rsi
mov    %edx,(%rsi)
movl   $0x0,(%rcx)
mov    %edx,%ecx
jmp    1210 <fillblank+0x110>
mov    0x20(%r8,%rax,4),%ecx
mov    0x30(%r8,%rax,4),%edx
test   %edx,%edx
je     1237 <fillblank+0x137>
test   %ecx,%ecx
jne    123f <fillblank+0x13f>
mov    %edx,0x20(%r8,%rax,4)
movl   $0x0,0x30(%r8,%rax,4)
mov    %edx,%ecx
jmp    123f <fillblank+0x13f>
test   %ecx,%ecx
je     1261 <fillblank+0x161>
mov    0x20(%r8,%rax,4),%edx
test   %edx,%edx
jne    126e <fillblank+0x16e>
mov    %ecx,0x20(%r8,%rax,4)
movl   $0x0,0x10(%r8,%rax,4)
mov    %ecx,%edx
jmp    126e <fillblank+0x16e>
mov    0x8(%r8,%rax,1),%ecx
mov    0xc(%r8,%rax,1),%edx
test   %edx,%edx
je     128e <fillblank+0x18e>
test   %ecx,%ecx
jne    1292 <fillblank+0x192>
lea    (%r8,%rax,1),%rcx
add    $0xc,%rcx
mov    %edx,-0x4(%rcx)
movl   $0x0,(%rcx)
mov    %edx,%ecx
jmp    1292 <fillblank+0x192>
test   %ecx,%ecx
je     12b2 <fillblank+0x1b2>
mov    0x8(%r8,%rax,1),%edx
test   %edx,%edx
jne    12bf <fillblank+0x1bf>
lea    (%r8,%rax,1),%rdx
add    $0x8,%rdx
mov    %ecx,(%rdx)
movl   $0x0,0x4(%r8,%rax,1)
mov    %ecx,%edx
jmp    12bf <fillblank+0x1bf>
test   %ecx,%ecx
je     12dd <fillblank+0x1dd>
mov    0x10(%r8,%rax,4),%edx
test   %edx,%edx
jne    12ea <fillblank+0x1ea>
mov    %ecx,0x10(%r8,%rax,4)
movl   $0x0,0x20(%r8,%rax,4)
mov    %ecx,%edx
jmp    12ea <fillblank+0x1ea>
mov    0x20(%r8,%rax,4),%edx
test   %edx,%edx
je     1108 <fillblank+0x8>
cmpl   $0x0,0x30(%r8,%rax,4)
jne    1108 <fillblank+0x8>
lea    (%r8,%rax,4),%rcx
add    $0x20,%rcx
mov    %edx,0x30(%r8,%rax,4)
movl   $0x0,(%rcx)
ret
test   %ecx,%ecx
je     1308 <fillblank+0x208>
mov    0x4(%r8,%rax,1),%edx
test   %edx,%edx
jne    1315 <fillblank+0x215>
lea    (%r8,%rax,1),%rdx
add    $0x4,%rdx
mov    %ecx,(%rdx)
movl   $0x0,0x8(%r8,%rax,1)
mov    %ecx,%edx
jmp    1315 <fillblank+0x215>
mov    0x8(%r8,%rax,1),%edx
test   %edx,%edx
je     1108 <fillblank+0x8>
cmpl   $0x0,0xc(%r8,%rax,1)
jne    1108 <fillblank+0x8>
lea    (%r8,%rax,1),%rsi
add    $0xc,%rsi
lea    (%r8,%rax,1),%rcx
add    $0x8,%rcx
jmp    132c <fillblank+0x22c>
mov    0x10(%r8,%rax,4),%edx
test   %edx,%edx
je     1108 <fillblank+0x8>
cmpl   $0x0,(%r8,%rax,4)
jne    1108 <fillblank+0x8>
lea    (%r8,%rax,4),%rcx
add    $0x10,%rcx
mov    %edx,(%r8,%rax,4)
movl   $0x0,(%rcx)
ret
mov    0x4(%r8,%rax,1),%edx
test   %edx,%edx
je     1108 <fillblank+0x8>
cmpl   $0x0,(%r8,%rax,1)
jne    1108 <fillblank+0x8>
lea    (%r8,%rax,1),%rsi
lea    (%r8,%rax,1),%rcx
add    $0x4,%rcx
mov    %edx,(%rsi)
movl   $0x0,(%rcx)
ret

LLVM IR (-O0):
define void @fillblank(i32 %0, i32 %1, i32 %2, i32 %3, [4 x i32]* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca [4 x i32]*
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store [4 x i32]* %4, [4 x i32]** %10
%13 = load i32, i32* %7
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %127
15: ; preds = %5
%16 = load i32, i32* %6
%17 = icmp sgt i32 %16, 0
br i1 %17, label %18, label %72
18: ; preds = %15
store i32 0, i32* %11
br label %19
19: ; preds = %68, %18
%20 = load i32, i32* %11
%21 = icmp slt i32 %20, 3
br i1 %21, label %22, label %71
22: ; preds = %19
%23 = load [4 x i32]*, [4 x i32]** %10
%24 = load i32, i32* %11
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [4 x i32], [4 x i32]* %23, i64 %25
%27 = load i32, i32* %8
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [4 x i32], [4 x i32]* %26, i64 0, i64 %28
%30 = load i32, i32* %29
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %67
32: ; preds = %22
%33 = load [4 x i32]*, [4 x i32]** %10
%34 = load i32, i32* %11
%35 = add nsw i32 %34, 1
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds [4 x i32], [4 x i32]* %33, i64 %36
%38 = load i32, i32* %8
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %37, i64 0, i64 %39
%41 = load i32, i32* %40
%42 = icmp eq i32 %41, 0
br i1 %42, label %43, label %67
43: ; preds = %32
%44 = load [4 x i32]*, [4 x i32]** %10
%45 = load i32, i32* %11
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [4 x i32], [4 x i32]* %44, i64 %46
%48 = load i32, i32* %8
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [4 x i32], [4 x i32]* %47, i64 0, i64 %49
%51 = load i32, i32* %50
%52 = load [4 x i32]*, [4 x i32]** %10
%53 = load i32, i32* %11
%54 = add nsw i32 %53, 1
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [4 x i32], [4 x i32]* %52, i64 %55
%57 = load i32, i32* %8
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [4 x i32], [4 x i32]* %56, i64 0, i64 %58
store i32 %51, i32* %59
%60 = load [4 x i32]*, [4 x i32]** %10
%61 = load i32, i32* %11
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [4 x i32], [4 x i32]* %60, i64 %62
%64 = load i32, i32* %8
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [4 x i32], [4 x i32]* %63, i64 0, i64 %65
store i32 0, i32* %66
br label %67
67: ; preds = %43, %32, %22
br label %68
68: ; preds = %67
%69 = load i32, i32* %11
%70 = add nsw i32 %69, 1
store i32 %70, i32* %11
br label %19
71: ; preds = %19
br label %126
72: ; preds = %15
store i32 3, i32* %11
br label %73
73: ; preds = %122, %72
%74 = load i32, i32* %11
%75 = icmp sge i32 %74, 1
br i1 %75, label %76, label %125
76: ; preds = %73
%77 = load [4 x i32]*, [4 x i32]** %10
%78 = load i32, i32* %11
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds [4 x i32], [4 x i32]* %77, i64 %79
%81 = load i32, i32* %8
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [4 x i32], [4 x i32]* %80, i64 0, i64 %82
%84 = load i32, i32* %83
%85 = icmp ne i32 %84, 0
br i1 %85, label %86, label %121
86: ; preds = %76
%87 = load [4 x i32]*, [4 x i32]** %10
%88 = load i32, i32* %11
%89 = sub nsw i32 %88, 1
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [4 x i32], [4 x i32]* %87, i64 %90
%92 = load i32, i32* %8
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [4 x i32], [4 x i32]* %91, i64 0, i64 %93
%95 = load i32, i32* %94
%96 = icmp eq i32 %95, 0
br i1 %96, label %97, label %121
97: ; preds = %86
%98 = load [4 x i32]*, [4 x i32]** %10
%99 = load i32, i32* %11
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds [4 x i32], [4 x i32]* %98, i64 %100
%102 = load i32, i32* %8
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds [4 x i32], [4 x i32]* %101, i64 0, i64 %103
%105 = load i32, i32* %104
%106 = load [4 x i32]*, [4 x i32]** %10
%107 = load i32, i32* %11
%108 = sub nsw i32 %107, 1
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds [4 x i32], [4 x i32]* %106, i64 %109
%111 = load i32, i32* %8
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [4 x i32], [4 x i32]* %110, i64 0, i64 %112
store i32 %105, i32* %113
%114 = load [4 x i32]*, [4 x i32]** %10
%115 = load i32, i32* %11
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds [4 x i32], [4 x i32]* %114, i64 %116
%118 = load i32, i32* %8
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds [4 x i32], [4 x i32]* %117, i64 0, i64 %119
store i32 0, i32* %120
br label %121
121: ; preds = %97, %86, %76
br label %122
122: ; preds = %121
%123 = load i32, i32* %11
%124 = add nsw i32 %123, -1
store i32 %124, i32* %11
br label %73
125: ; preds = %73
br label %126
126: ; preds = %125, %71
br label %243
127: ; preds = %5
%128 = load i32, i32* %6
%129 = icmp eq i32 %128, 0
br i1 %129, label %130, label %242
130: ; preds = %127
%131 = load i32, i32* %7
%132 = icmp sgt i32 %131, 0
br i1 %132, label %133, label %187
133: ; preds = %130
store i32 0, i32* %12
br label %134
134: ; preds = %183, %133
%135 = load i32, i32* %12
%136 = icmp slt i32 %135, 3
br i1 %136, label %137, label %186
137: ; preds = %134
%138 = load [4 x i32]*, [4 x i32]** %10
%139 = load i32, i32* %9
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds [4 x i32], [4 x i32]* %138, i64 %140
%142 = load i32, i32* %12
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds [4 x i32], [4 x i32]* %141, i64 0, i64 %143
%145 = load i32, i32* %144
%146 = icmp ne i32 %145, 0
br i1 %146, label %147, label %182
147: ; preds = %137
%148 = load [4 x i32]*, [4 x i32]** %10
%149 = load i32, i32* %9
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds [4 x i32], [4 x i32]* %148, i64 %150
%152 = load i32, i32* %12
%153 = add nsw i32 %152, 1
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds [4 x i32], [4 x i32]* %151, i64 0, i64 %154
%156 = load i32, i32* %155
%157 = icmp eq i32 %156, 0
br i1 %157, label %158, label %182
158: ; preds = %147
%159 = load [4 x i32]*, [4 x i32]** %10
%160 = load i32, i32* %9
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [4 x i32], [4 x i32]* %159, i64 %161
%163 = load i32, i32* %12
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds [4 x i32], [4 x i32]* %162, i64 0, i64 %164
%166 = load i32, i32* %165
%167 = load [4 x i32]*, [4 x i32]** %10
%168 = load i32, i32* %9
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds [4 x i32], [4 x i32]* %167, i64 %169
%171 = load i32, i32* %12
%172 = add nsw i32 %171, 1
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds [4 x i32], [4 x i32]* %170, i64 0, i64 %173
store i32 %166, i32* %174
%175 = load [4 x i32]*, [4 x i32]** %10
%176 = load i32, i32* %9
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds [4 x i32], [4 x i32]* %175, i64 %177
%179 = load i32, i32* %12
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds [4 x i32], [4 x i32]* %178, i64 0, i64 %180
store i32 0, i32* %181
br label %182
182: ; preds = %158, %147, %137
br label %183
183: ; preds = %182
%184 = load i32, i32* %12
%185 = add nsw i32 %184, 1
store i32 %185, i32* %12
br label %134
186: ; preds = %134
br label %241
187: ; preds = %130
store i32 3, i32* %12
br label %188
188: ; preds = %237, %187
%189 = load i32, i32* %12
%190 = icmp sge i32 %189, 1
br i1 %190, label %191, label %240
191: ; preds = %188
%192 = load [4 x i32]*, [4 x i32]** %10
%193 = load i32, i32* %9
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds [4 x i32], [4 x i32]* %192, i64 %194
%196 = load i32, i32* %12
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds [4 x i32], [4 x i32]* %195, i64 0, i64 %197
%199 = load i32, i32* %198
%200 = icmp ne i32 %199, 0
br i1 %200, label %201, label %236
201: ; preds = %191
%202 = load [4 x i32]*, [4 x i32]** %10
%203 = load i32, i32* %9
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds [4 x i32], [4 x i32]* %202, i64 %204
%206 = load i32, i32* %12
%207 = sub nsw i32 %206, 1
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds [4 x i32], [4 x i32]* %205, i64 0, i64 %208
%210 = load i32, i32* %209
%211 = icmp eq i32 %210, 0
br i1 %211, label %212, label %236
212: ; preds = %201
%213 = load [4 x i32]*, [4 x i32]** %10
%214 = load i32, i32* %9
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds [4 x i32], [4 x i32]* %213, i64 %215
%217 = load i32, i32* %12
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds [4 x i32], [4 x i32]* %216, i64 0, i64 %218
%220 = load i32, i32* %219
%221 = load [4 x i32]*, [4 x i32]** %10
%222 = load i32, i32* %9
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds [4 x i32], [4 x i32]* %221, i64 %223
%225 = load i32, i32* %12
%226 = sub nsw i32 %225, 1
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds [4 x i32], [4 x i32]* %224, i64 0, i64 %227
store i32 %220, i32* %228
%229 = load [4 x i32]*, [4 x i32]** %10
%230 = load i32, i32* %9
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds [4 x i32], [4 x i32]* %229, i64 %231
%233 = load i32, i32* %12
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds [4 x i32], [4 x i32]* %232, i64 0, i64 %234
store i32 0, i32* %235
br label %236
236: ; preds = %212, %201, %191
br label %237
237: ; preds = %236
%238 = load i32, i32* %12
%239 = add nsw i32 %238, -1
store i32 %239, i32* %12
br label %188
240: ; preds = %188
br label %241
241: ; preds = %240, %186
br label %242
242: ; preds = %241, %127
br label %243
243: ; preds = %242, %126
ret void
}

LLVM IR (-O2):
define void @fillblank(i32 %0, i32 %1, i32 %2, i32 %3, [4 x i32]* nocapture %4) {
%6 = icmp eq i32 %1, 0
br i1 %6, label %7, label %66
7: ; preds = %5
%8 = icmp sgt i32 %0, 0
%9 = sext i32 %2 to i64
br i1 %8, label %17, label %10
10: ; preds = %7
%11 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 3, i64 %9
%12 = load i32, i32* %11
%13 = icmp eq i32 %12, 0
%14 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 2, i64 %9
%15 = load i32, i32* %14
%16 = icmp eq i32 %15, 0
br i1 %13, label %47, label %45
17: ; preds = %7
%18 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 0, i64 %9
%19 = load i32, i32* %18
%20 = icmp eq i32 %19, 0
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 1, i64 %9
%22 = load i32, i32* %21
%23 = icmp eq i32 %22, 0
br i1 %20, label %26, label %24
24: ; preds = %17
br i1 %23, label %25, label %27
25: ; preds = %24
store i32 %19, i32* %21
store i32 0, i32* %18
br label %27
26: ; preds = %17
br i1 %23, label %34, label %27
27: ; preds = %25, %24, %26
%28 = phi i32 [ %22, %26 ], [ %19, %25 ], [ %22, %24 ]
%29 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 2, i64 %9
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, 0
br i1 %31, label %32, label %38
32: ; preds = %27
%33 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 1, i64 %9
store i32 %28, i32* %29
store i32 0, i32* %33
br label %38
34: ; preds = %26
%35 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 2, i64 %9
%36 = load i32, i32* %35
%37 = icmp eq i32 %36, 0
br i1 %37, label %129, label %38
38: ; preds = %27, %32, %34
%39 = phi i32 [ %36, %34 ], [ %30, %27 ], [ %28, %32 ]
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 3, i64 %9
%41 = load i32, i32* %40
%42 = icmp eq i32 %41, 0
br i1 %42, label %43, label %129
43: ; preds = %38
%44 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 2, i64 %9
store i32 %39, i32* %40
br label %127
45: ; preds = %10
br i1 %16, label %46, label %48
46: ; preds = %45
store i32 %12, i32* %14
store i32 0, i32* %11
br label %48
47: ; preds = %10
br i1 %16, label %55, label %48
48: ; preds = %46, %45, %47
%49 = phi i32 [ %15, %47 ], [ %12, %46 ], [ %15, %45 ]
%50 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 1, i64 %9
%51 = load i32, i32* %50
%52 = icmp eq i32 %51, 0
br i1 %52, label %53, label %59
53: ; preds = %48
%54 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 2, i64 %9
store i32 %49, i32* %50
store i32 0, i32* %54
br label %59
55: ; preds = %47
%56 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 1, i64 %9
%57 = load i32, i32* %56
%58 = icmp eq i32 %57, 0
br i1 %58, label %129, label %59
59: ; preds = %48, %53, %55
%60 = phi i32 [ %57, %55 ], [ %51, %48 ], [ %49, %53 ]
%61 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 0, i64 %9
%62 = load i32, i32* %61
%63 = icmp eq i32 %62, 0
br i1 %63, label %64, label %129
64: ; preds = %59
%65 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 1, i64 %9
store i32 %60, i32* %61
br label %127
66: ; preds = %5
%67 = icmp eq i32 %0, 0
br i1 %67, label %68, label %129
68: ; preds = %66
%69 = icmp sgt i32 %1, 0
%70 = sext i32 %3 to i64
br i1 %69, label %78, label %71
71: ; preds = %68
%72 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 3
%73 = load i32, i32* %72
%74 = icmp eq i32 %73, 0
%75 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 2
%76 = load i32, i32* %75
%77 = icmp eq i32 %76, 0
br i1 %74, label %108, label %106
78: ; preds = %68
%79 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 0
%80 = load i32, i32* %79
%81 = icmp eq i32 %80, 0
%82 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 1
%83 = load i32, i32* %82
%84 = icmp eq i32 %83, 0
br i1 %81, label %87, label %85
85: ; preds = %78
br i1 %84, label %86, label %88
86: ; preds = %85
store i32 %80, i32* %82
store i32 0, i32* %79
br label %88
87: ; preds = %78
br i1 %84, label %95, label %88
88: ; preds = %86, %85, %87
%89 = phi i32 [ %83, %87 ], [ %80, %86 ], [ %83, %85 ]
%90 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 2
%91 = load i32, i32* %90
%92 = icmp eq i32 %91, 0
br i1 %92, label %93, label %99
93: ; preds = %88
%94 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 1
store i32 %89, i32* %90
store i32 0, i32* %94
br label %99
95: ; preds = %87
%96 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 2
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, 0
br i1 %98, label %129, label %99
99: ; preds = %88, %93, %95
%100 = phi i32 [ %97, %95 ], [ %91, %88 ], [ %89, %93 ]
%101 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 3
%102 = load i32, i32* %101
%103 = icmp eq i32 %102, 0
br i1 %103, label %104, label %129
104: ; preds = %99
%105 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 2
store i32 %100, i32* %101
br label %127
106: ; preds = %71
br i1 %77, label %107, label %109
107: ; preds = %106
store i32 %73, i32* %75
store i32 0, i32* %72
br label %109
108: ; preds = %71
br i1 %77, label %116, label %109
109: ; preds = %107, %106, %108
%110 = phi i32 [ %76, %108 ], [ %73, %107 ], [ %76, %106 ]
%111 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 1
%112 = load i32, i32* %111
%113 = icmp eq i32 %112, 0
br i1 %113, label %114, label %120
114: ; preds = %109
%115 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 2
store i32 %110, i32* %111
store i32 0, i32* %115
br label %120
116: ; preds = %108
%117 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 1
%118 = load i32, i32* %117
%119 = icmp eq i32 %118, 0
br i1 %119, label %129, label %120
120: ; preds = %109, %114, %116
%121 = phi i32 [ %118, %116 ], [ %112, %109 ], [ %110, %114 ]
%122 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 0
%123 = load i32, i32* %122
%124 = icmp eq i32 %123, 0
br i1 %124, label %125, label %129
125: ; preds = %120
%126 = getelementptr inbounds [4 x i32], [4 x i32]* %4, i64 %70, i64 1
store i32 %121, i32* %122
br label %127
127: ; preds = %43, %64, %104, %125
%128 = phi i32* [ %126, %125 ], [ %105, %104 ], [ %65, %64 ], [ %44, %43 ]
store i32 0, i32* %128
br label %129
129: ; preds = %127, %116, %120, %95, %99, %55, %59, %34, %38, %66
ret void
}