#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*/ changebit(int *, int, int);
int /*<<< orphan*/ isboundary(int);
scalar_t__ isempty(int);
scalar_t__ isfluid(int);
void update_cell(int ***Flag, int i, int j, int k) {
  int *flag = 0, *flagc = 0;
  flagc = &Flag[i][j][k];
  if (!isboundary(*flagc)) {
    flag = &Flag[i + 1][j][k];
    if (isempty(*flag)) {
      changebit(flagc, 10, 0);
      changebit(flagc, 11, 1);
    } else if (isfluid(*flag)) {
      changebit(flagc, 10, 1);
      changebit(flagc, 11, 0);
    }
    flag = &Flag[i - 1][j][k];
    if (isempty(*flag)) {
      changebit(flagc, 8, 0);
      changebit(flagc, 9, 1);
    } else if (isfluid(*flag)) {
      changebit(flagc, 8, 1);
      changebit(flagc, 9, 0);
    }
    flag = &Flag[i][j + 1][k];
    if (isempty(*flag)) {
      changebit(flagc, 6, 0);
      changebit(flagc, 7, 1);
    } else if (isfluid(*flag)) {
      changebit(flagc, 6, 1);
      changebit(flagc, 7, 0);
    }
    flag = &Flag[i][j - 1][k];
    if (isempty(*flag)) {
      changebit(flagc, 4, 0);
      changebit(flagc, 5, 1);
    } else if (isfluid(*flag)) {
      changebit(flagc, 4, 1);
      changebit(flagc, 5, 0);
    }
    flag = &Flag[i][j][k - 1];
    if (isempty(*flag)) {
      changebit(flagc, 2, 0);
      changebit(flagc, 3, 1);
    } else if (isfluid(*flag)) {
      changebit(flagc, 2, 1);
      changebit(flagc, 3, 0);
    }
    flag = &Flag[i][j][k + 1];
    if (isfluid(*flag)) {
      changebit(flagc, 0, 1);
      changebit(flagc, 1, 0);
    } else if (isempty(*flag)) {
      changebit(flagc, 0, 0);
      changebit(flagc, 1, 1);
    }
  }
}


x86 assembly (clang, -O0):
<update_cell>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%edi
call   1040 <isboundary@plt>
cmp    $0x0,%eax
jne    1564 <update_cell+0x424>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     1201 <update_cell+0xc1>
mov    -0x28(%rbp),%rdi
mov    $0xa,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0xb,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
jmp    123e <update_cell+0xfe>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     1239 <update_cell+0xf9>
mov    -0x28(%rbp),%rdi
mov    $0xa,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0xb,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    123e <update_cell+0xfe>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     12a3 <update_cell+0x163>
mov    -0x28(%rbp),%rdi
mov    $0x8,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x9,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
jmp    12e0 <update_cell+0x1a0>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     12db <update_cell+0x19b>
mov    -0x28(%rbp),%rdi
mov    $0x8,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    12e0 <update_cell+0x1a0>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     1345 <update_cell+0x205>
mov    -0x28(%rbp),%rdi
mov    $0x6,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x7,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
jmp    1382 <update_cell+0x242>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     137d <update_cell+0x23d>
mov    -0x28(%rbp),%rdi
mov    $0x6,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x7,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    1382 <update_cell+0x242>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     13e7 <update_cell+0x2a7>
mov    -0x28(%rbp),%rdi
mov    $0x4,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x5,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
jmp    1424 <update_cell+0x2e4>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     141f <update_cell+0x2df>
mov    -0x28(%rbp),%rdi
mov    $0x4,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x5,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    1424 <update_cell+0x2e4>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     1489 <update_cell+0x349>
mov    -0x28(%rbp),%rdi
mov    $0x2,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x3,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
jmp    14c6 <update_cell+0x386>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     14c1 <update_cell+0x381>
mov    -0x28(%rbp),%rdi
mov    $0x2,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x3,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    14c6 <update_cell+0x386>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1030 <isfluid@plt>
cmp    $0x0,%rax
je     1528 <update_cell+0x3e8>
mov    -0x28(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x1,%esi
xor    %edx,%edx
call   1050 <changebit@plt>
jmp    155f <update_cell+0x41f>
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
call   1060 <isempty@plt>
cmp    $0x0,%rax
je     155a <update_cell+0x41a>
mov    -0x28(%rbp),%rdi
xor    %edx,%edx
mov    %edx,%esi
call   1050 <changebit@plt>
mov    -0x28(%rbp),%rdi
mov    $0x1,%edx
mov    %edx,%esi
call   1050 <changebit@plt>
jmp    155f <update_cell+0x41f>
jmp    1564 <update_cell+0x424>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<update_cell>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r15
movslq %esi,%r12
mov    (%rdi,%r12,8),%rax
movslq %edx,%r13
mov    (%rax,%r13,8),%rbx
movslq %ecx,%rbp
mov    (%rbx,%rbp,4),%edi
call   1040 <isboundary@plt>
test   %eax,%eax
je     117a <update_cell+0x3a>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    (%rbx,%rbp,4),%r14
mov    0x8(%r15,%r12,8),%rax
mov    (%rax,%r13,8),%rbx
mov    (%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     119d <update_cell+0x5d>
mov    $0x1,%ebx
xor    %edx,%edx
jmp    11b1 <update_cell+0x71>
mov    (%rbx,%rbp,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     11cd <update_cell+0x8d>
xor    %ebx,%ebx
mov    $0x1,%edx
mov    %r14,%rdi
mov    $0xa,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0xb,%esi
mov    %ebx,%edx
call   1050 <changebit@plt>
mov    -0x8(%r15,%r12,8),%rax
mov    (%rax,%r13,8),%rbx
mov    (%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     11ec <update_cell+0xac>
mov    $0x1,%ebx
xor    %edx,%edx
jmp    1200 <update_cell+0xc0>
mov    (%rbx,%rbp,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     121c <update_cell+0xdc>
xor    %ebx,%ebx
mov    $0x1,%edx
mov    %r14,%rdi
mov    $0x8,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0x9,%esi
mov    %ebx,%edx
call   1050 <changebit@plt>
mov    (%r15,%r12,8),%rax
mov    0x8(%rax,%r13,8),%rbx
mov    (%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     123b <update_cell+0xfb>
mov    $0x1,%ebx
xor    %edx,%edx
jmp    124f <update_cell+0x10f>
mov    (%rbx,%rbp,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     126b <update_cell+0x12b>
xor    %ebx,%ebx
mov    $0x1,%edx
mov    %r14,%rdi
mov    $0x6,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0x7,%esi
mov    %ebx,%edx
call   1050 <changebit@plt>
mov    (%r15,%r12,8),%rax
mov    -0x8(%rax,%r13,8),%rbx
mov    (%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     128a <update_cell+0x14a>
mov    $0x1,%ebx
xor    %edx,%edx
jmp    129e <update_cell+0x15e>
mov    (%rbx,%rbp,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     12ba <update_cell+0x17a>
xor    %ebx,%ebx
mov    $0x1,%edx
mov    %r14,%rdi
mov    $0x4,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0x5,%esi
mov    %ebx,%edx
call   1050 <changebit@plt>
mov    (%r15,%r12,8),%rax
mov    (%rax,%r13,8),%rbx
mov    -0x4(%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     12d9 <update_cell+0x199>
mov    $0x1,%ebx
xor    %edx,%edx
jmp    12f1 <update_cell+0x1b1>
lea    -0x1(%rbp),%rax
mov    (%rbx,%rax,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     130d <update_cell+0x1cd>
xor    %ebx,%ebx
mov    $0x1,%edx
mov    %r14,%rdi
mov    $0x2,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0x3,%esi
mov    %ebx,%edx
call   1050 <changebit@plt>
mov    (%r15,%r12,8),%rax
mov    (%rax,%r13,8),%rbx
mov    0x4(%rbx,%rbp,4),%edi
call   1030 <isfluid@plt>
test   %rax,%rax
je     132c <update_cell+0x1ec>
xor    %ebx,%ebx
mov    $0x1,%edx
jmp    1348 <update_cell+0x208>
add    $0x1,%rbp
mov    (%rbx,%rbp,4),%edi
call   1060 <isempty@plt>
test   %rax,%rax
je     116b <update_cell+0x2b>
mov    $0x1,%ebx
xor    %edx,%edx
mov    %r14,%rdi
xor    %esi,%esi
call   1050 <changebit@plt>
mov    %r14,%rdi
mov    $0x1,%esi
mov    %ebx,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <changebit@plt>

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

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