#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*/ exec_ssh(char *, char *, char *, ...);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, char *, ...);
int get_val_int(char *, int);
char *get_val_str(char *, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ read_conf();
int /*<<< orphan*/ sprintf(char *, char *, int);
int /*<<< orphan*/ stderr;
int /*<<< orphan*/ system(char *);
scalar_t__ wait(int /*<<< orphan*/ *);
int main() {
  int i;
  int reader_cnt, writer_cnt, access_cnt;
  char *serverip;
  char num[20];
  char reader_cnt_str[20];
  char writer_cnt_str[20];
  char access_cnt_str[20];
  printf("**************************\n");
  printf("* Welcome to BBS system! *\n");
  printf("**************************\n");
  read_conf();
  access_cnt = get_val_int("RW.numberOfAccesses", -1);
  if (access_cnt < 0) {
    fprintf(stderr, "Error: can't read %s property.\n", "RW.numberOfAccesses");
    return -1;
  }
  sprintf(access_cnt_str, "%d", access_cnt);
  reader_cnt = get_val_int("RW.numberOfReaders", -1);
  if (reader_cnt < 0) {
    fprintf(stderr, "Error: can't read %s property.\n", "RW.numberOfReaders");
    return -1;
  }
  sprintf(reader_cnt_str, "%d", reader_cnt);
  printf("Readers count: %d\n", reader_cnt);
  writer_cnt = get_val_int("RW.numberOfWriters", -1);
  if (writer_cnt < 0) {
    fprintf(stderr, "Error: can't read %s property.\n", "RW.numberOfWriters");
    return -1;
  }
  sprintf(writer_cnt_str, "%d", writer_cnt);
  printf("Writers count: %d\n", writer_cnt);
  serverip = get_val_str("RW.server", -1);
  if (!serverip) {
    fprintf(stderr, "Error: can't read %s property.\n", "RW.server");
    return -1;
  }
  printf("Starting RMI registry on %s...\n", serverip);
  exec_ssh(serverip, "/usr/local/bin/bbs_release", NULL);
  wait(NULL);
  printf("Executing rmiregistry...\n");
  exec_ssh(serverip, "CLASSPATH=/usr/local/share/bbs", "rmiregistry", NULL);
  exec_ssh(serverip, "/usr/local/bin/bbs_acquire", NULL);
  wait(NULL);
  printf("Starting BBS server on %s...\n", serverip);
  exec_ssh(serverip, "/usr/local/bin/bbs_server", reader_cnt_str,
           writer_cnt_str, access_cnt_str, NULL);
  system("sleep 15");
  for (i = 0; i < reader_cnt; i++) {
    char *host = get_val_str("RW.reader", i);
    if (!host) {
      fprintf(stderr, "Error: can't read %s%d property.\n", "RW.reader", i);
      return -1;
    }
    printf("SSH reader %d on %s\n", i, host);
    sprintf(num, "%d", i);
    exec_ssh(host, "java", "-classpath", "/usr/local/share/bbs", "Reader", num,
             serverip, access_cnt_str, NULL);
  }
  for (i = 0; i < writer_cnt; i++) {
    char *host = get_val_str("RW.writer", i);
    if (!host) {
      fprintf(stderr, "Error: can't read %s%d property.\n", "RW.writer", i);
      return -1;
    }
    printf("SSH writer %d on %s\n", i + reader_cnt, host);
    sprintf(num, "%d", i + reader_cnt);
    exec_ssh(host, "java", "-classpath", "/usr/local/share/bbs", "Writer", num,
             serverip, access_cnt_str, NULL);
  }
  while (wait(NULL) > 0)
    ;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xe57(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xe65(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xe3b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    $0x0,%al
call   1030 <read_conf@plt>
lea    0xe5e(%rip),%rdi
mov    $0xffffffff,%esi
call   1060 <get_val_int@plt>
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jge    121b <main+0x8b>
mov    0x2de8(%rip),%rax
mov    (%rax),%edi
lea    0xe4b(%rip),%rsi
lea    0xe30(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
lea    -0xa0(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe40(%rip),%rsi
call   10a0 <sprintf@plt>
lea    0xe37(%rip),%rdi
mov    $0xffffffff,%esi
call   1060 <get_val_int@plt>
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jge    1279 <main+0xe9>
mov    0x2d8a(%rip),%rax
mov    (%rax),%edi
lea    0xded(%rip),%rsi
lea    0xe09(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
lea    -0x60(%rbp),%rdi
mov    -0xc(%rbp),%edx
lea    0xde5(%rip),%rsi
call   10a0 <sprintf@plt>
mov    -0xc(%rbp),%esi
lea    0xdec(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xdf1(%rip),%rdi
mov    $0xffffffff,%esi
call   1060 <get_val_int@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jge    12e5 <main+0x155>
mov    0x2d1e(%rip),%rax
mov    (%rax),%edi
lea    0xd81(%rip),%rsi
lea    0xdc3(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
lea    -0x80(%rbp),%rdi
mov    -0x10(%rbp),%edx
lea    0xd79(%rip),%rsi
call   10a0 <sprintf@plt>
mov    -0x10(%rbp),%esi
lea    0xda6(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xdab(%rip),%rdi
mov    $0xffffffff,%esi
call   1090 <get_val_str@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1353 <main+0x1c3>
mov    0x2cb0(%rip),%rax
mov    (%rax),%edi
lea    0xd13(%rip),%rsi
lea    0xd7b(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
mov    -0x20(%rbp),%rsi
lea    0xd67(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x20(%rbp),%rdi
lea    0xd75(%rip),%rsi
xor    %eax,%eax
mov    %eax,%edx
mov    $0x0,%al
call   1080 <exec_ssh@plt>
xor    %eax,%eax
mov    %eax,%edi
call   10b0 <wait@plt>
lea    0xd75(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x20(%rbp),%rdi
lea    0xd7d(%rip),%rsi
lea    0xd95(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1080 <exec_ssh@plt>
mov    -0x20(%rbp),%rdi
lea    0xd8b(%rip),%rsi
xor    %eax,%eax
mov    %eax,%edx
mov    $0x0,%al
call   1080 <exec_ssh@plt>
xor    %eax,%eax
mov    %eax,%edi
call   10b0 <wait@plt>
mov    -0x20(%rbp),%rsi
lea    0xd87(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x20(%rbp),%rdi
lea    -0x60(%rbp),%rdx
lea    -0x80(%rbp),%rcx
lea    -0xa0(%rbp),%r8
lea    0xd84(%rip),%rsi
xor    %eax,%eax
mov    %eax,%r9d
mov    $0x0,%al
call   1080 <exec_ssh@plt>
lea    0xd8b(%rip),%rdi
call   1040 <system@plt>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    14fd <main+0x36d>
mov    -0x8(%rbp),%esi
lea    0xd72(%rip),%rdi
call   1090 <get_val_str@plt>
mov    %rax,-0xa8(%rbp)
cmpq   $0x0,-0xa8(%rbp)
jne    1476 <main+0x2e6>
mov    0x2b90(%rip),%rax
mov    (%rax),%edi
mov    -0x8(%rbp),%ecx
lea    0xd4f(%rip),%rsi
lea    0xd3e(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
mov    -0x8(%rbp),%esi
mov    -0xa8(%rbp),%rdx
lea    0xd46(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    -0x40(%rbp),%rdi
mov    -0x8(%rbp),%edx
lea    0xbd0(%rip),%rsi
call   10a0 <sprintf@plt>
mov    -0xa8(%rbp),%rdi
lea    -0x40(%rbp),%r9
mov    -0x20(%rbp),%r10
lea    -0xa0(%rbp),%rax
lea    0xd24(%rip),%rsi
lea    0xd22(%rip),%rdx
lea    0xc58(%rip),%rcx
lea    0xd1f(%rip),%r8
xor    %r11d,%r11d
mov    %r10,(%rsp)
mov    %rax,0x8(%rsp)
movq   $0x0,0x10(%rsp)
mov    $0x0,%al
call   1080 <exec_ssh@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1419 <main+0x289>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    15ee <main+0x45e>
mov    -0x8(%rbp),%esi
lea    0xcdf(%rip),%rdi
call   1090 <get_val_str@plt>
mov    %rax,-0xb0(%rbp)
cmpq   $0x0,-0xb0(%rbp)
jne    1561 <main+0x3d1>
mov    0x2aa5(%rip),%rax
mov    (%rax),%edi
mov    -0x8(%rbp),%ecx
lea    0xc64(%rip),%rsi
lea    0xcab(%rip),%rdx
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    1612 <main+0x482>
mov    -0x8(%rbp),%esi
add    -0xc(%rbp),%esi
mov    -0xb0(%rbp),%rdx
lea    0xc8e(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    -0x40(%rbp),%rdi
mov    -0x8(%rbp),%edx
add    -0xc(%rbp),%edx
lea    0xadf(%rip),%rsi
call   10a0 <sprintf@plt>
mov    -0xb0(%rbp),%rdi
lea    -0x40(%rbp),%r9
mov    -0x20(%rbp),%r10
lea    -0xa0(%rbp),%rax
lea    0xc33(%rip),%rsi
lea    0xc31(%rip),%rdx
lea    0xb67(%rip),%rcx
lea    0xc54(%rip),%r8
xor    %r11d,%r11d
mov    %r10,(%rsp)
mov    %rax,0x8(%rsp)
movq   $0x0,0x10(%rsp)
mov    $0x0,%al
call   1080 <exec_ssh@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1504 <main+0x374>
jmp    15f3 <main+0x463>
xor    %eax,%eax
mov    %eax,%edi
call   10b0 <wait@plt>
cmp    $0x0,%rax
jle    160b <main+0x47b>
jmp    15f3 <main+0x463>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
lea    0x1030(%rip),%rbx
mov    %rbx,%rdi
call   1040 <puts@plt>
lea    0x1006(%rip),%rdi
call   1040 <puts@plt>
mov    %rbx,%rdi
call   1040 <puts@plt>
xor    %eax,%eax
call   1030 <read_conf@plt>
lea    0xe1e(%rip),%rdi
mov    $0xffffffff,%ebx
mov    $0xffffffff,%esi
call   1070 <get_val_int@plt>
test   %eax,%eax
js     14d0 <main+0x330>
lea    0xe34(%rip),%rsi
lea    0x10(%rsp),%rdi
mov    %eax,%edx
call   10b0 <sprintf@plt>
lea    0xe24(%rip),%rdi
mov    $0xffffffff,%ebx
mov    $0xffffffff,%esi
call   1070 <get_val_int@plt>
test   %eax,%eax
js     14e9 <main+0x349>
mov    %eax,%r12d
lea    0xe00(%rip),%rsi
lea    0x50(%rsp),%rdi
mov    %eax,%edx
call   10b0 <sprintf@plt>
lea    0xe03(%rip),%rdi
mov    %r12d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe05(%rip),%rdi
mov    $0xffffffff,%ebx
mov    $0xffffffff,%esi
call   1070 <get_val_int@plt>
test   %eax,%eax
js     1502 <main+0x362>
mov    %eax,%ebp
lea    0xdbc(%rip),%rsi
lea    0x30(%rsp),%rdi
mov    %eax,%edx
call   10b0 <sprintf@plt>
lea    0xde5(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xde8(%rip),%rdi
mov    $0xffffffff,%ebx
mov    $0xffffffff,%esi
call   10a0 <get_val_str@plt>
test   %rax,%rax
je     151b <main+0x37b>
mov    %rax,%r13
mov    %ebp,0xc(%rsp)
lea    0xdcc(%rip),%rdi
mov    %rax,%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xddb(%rip),%rsi
mov    %r13,%rdi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <exec_ssh@plt>
xor    %edi,%edi
call   10c0 <wait@plt>
lea    0xf17(%rip),%rdi
call   1040 <puts@plt>
lea    0xdd0(%rip),%rsi
lea    0xde8(%rip),%rdx
mov    %r13,%rdi
xor    %ecx,%ecx
xor    %eax,%eax
call   1090 <exec_ssh@plt>
lea    0xde1(%rip),%rsi
mov    %r13,%rdi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <exec_ssh@plt>
xor    %edi,%edi
call   10c0 <wait@plt>
lea    0xde2(%rip),%rdi
mov    %r13,%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xdef(%rip),%rsi
lea    0x50(%rsp),%rdx
lea    0x30(%rsp),%rcx
lea    0x10(%rsp),%r8
mov    %r13,%rdi
xor    %r9d,%r9d
xor    %eax,%eax
call   1090 <exec_ssh@plt>
lea    0xde6(%rip),%rdi
call   1050 <system@plt>
test   %r12d,%r12d
je     1405 <main+0x265>
lea    0x70(%rsp),%r15
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
lea    0xdc8(%rip),%rdi
mov    %ebx,%esi
call   10a0 <get_val_str@plt>
test   %rax,%rax
je     154d <main+0x3ad>
mov    %rax,%r14
lea    0xdda(%rip),%rdi
mov    %ebx,%esi
mov    %rax,%rdx
xor    %eax,%eax
call   1060 <printf@plt>
mov    %r15,%rdi
lea    0xc7d(%rip),%rsi
mov    %ebx,%edx
call   10b0 <sprintf@plt>
sub    $0x8,%rsp
mov    %r14,%rdi
lea    0xdc4(%rip),%rsi
lea    0xdc2(%rip),%rdx
lea    0xcf8(%rip),%rcx
lea    0xdbf(%rip),%r8
mov    %r15,%r9
xor    %eax,%eax
push   $0x0
lea    0x20(%rsp),%rbp
push   %rbp
push   %r13
call   1090 <exec_ssh@plt>
add    $0x20,%rsp
add    $0x1,%ebx
cmp    %ebx,%r12d
jne    1380 <main+0x1e0>
cmpl   $0x0,0xc(%rsp)
jle    14c0 <main+0x320>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0xd80(%rip),%rdi
mov    %ebx,%esi
call   10a0 <get_val_str@plt>
test   %rax,%rax
je     1568 <main+0x3c8>
mov    %rax,%r15
lea    (%r12,%rbx,1),%r14d
lea    0xd6c(%rip),%rdi
mov    %r14d,%esi
mov    %rax,%rdx
xor    %eax,%eax
call   1060 <printf@plt>
lea    0x70(%rsp),%rbp
mov    %rbp,%rdi
lea    0xbd3(%rip),%rsi
mov    %r14d,%edx
call   10b0 <sprintf@plt>
sub    $0x8,%rsp
mov    %r15,%rdi
lea    0xd19(%rip),%rsi
lea    0xd17(%rip),%rdx
lea    0xc4d(%rip),%rcx
lea    0xd3a(%rip),%r8
mov    %rbp,%r9
xor    %eax,%eax
push   $0x0
lea    0x20(%rsp),%rbp
push   %rbp
push   %r13
call   1090 <exec_ssh@plt>
add    $0x20,%rsp
add    $0x1,%ebx
cmp    %ebx,0xc(%rsp)
jne    1420 <main+0x280>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %ebx,%ebx
xor    %edi,%edi
call   10c0 <wait@plt>
test   %rax,%rax
jg     14c0 <main+0x320>
jmp    1539 <main+0x399>
mov    0x2b09(%rip),%rax
mov    (%rax),%edi
lea    0xb34(%rip),%rsi
lea    0xb19(%rip),%rdx
jmp    1532 <main+0x392>
mov    0x2af0(%rip),%rax
mov    (%rax),%edi
lea    0xb1b(%rip),%rsi
lea    0xb37(%rip),%rdx
jmp    1532 <main+0x392>
mov    0x2ad7(%rip),%rax
mov    (%rax),%edi
lea    0xb02(%rip),%rsi
lea    0xb44(%rip),%rdx
jmp    1532 <main+0x392>
mov    0x2abe(%rip),%rax
mov    (%rax),%edi
lea    0xae9(%rip),%rsi
lea    0xb51(%rip),%rdx
xor    %eax,%eax
call   1080 <fprintf@plt>
mov    %ebx,%eax
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x2a8c(%rip),%rax
mov    (%rax),%edi
lea    0xbfc(%rip),%rsi
lea    0xbeb(%rip),%rdx
mov    %ebx,%ecx
jmp    1581 <main+0x3e1>
mov    0x2a71(%rip),%rax
mov    (%rax),%edi
lea    0xbe1(%rip),%rsi
lea    0xc28(%rip),%rdx
mov    %ebx,%ecx
xor    %eax,%eax
call   1080 <fprintf@plt>
mov    $0xffffffff,%ebx
jmp    1539 <main+0x399>

LLVM IR (-O0):
@.str = [28 x i8] c"**************************\0A\00"
@.str.1 = [28 x i8] c"* Welcome to BBS system! *\0A\00"
@.str.2 = [20 x i8] c"RW.numberOfAccesses\00"
@stderr = global i32 0
@.str.3 = [32 x i8] c"Error: can't read %s property.\0A\00"
@.str.4 = [3 x i8] c"%d\00"
@.str.5 = [19 x i8] c"RW.numberOfReaders\00"
@.str.6 = [19 x i8] c"Readers count: %d\0A\00"
@.str.7 = [19 x i8] c"RW.numberOfWriters\00"
@.str.8 = [19 x i8] c"Writers count: %d\0A\00"
@.str.9 = [10 x i8] c"RW.server\00"
@.str.10 = [32 x i8] c"Starting RMI registry on %s...\0A\00"
@.str.11 = [27 x i8] c"/usr/local/bin/bbs_release\00"
@.str.12 = [26 x i8] c"Executing rmiregistry...\0A\00"
@.str.13 = [31 x i8] c"CLASSPATH=/usr/local/share/bbs\00"
@.str.14 = [12 x i8] c"rmiregistry\00"
@.str.15 = [27 x i8] c"/usr/local/bin/bbs_acquire\00"
@.str.16 = [30 x i8] c"Starting BBS server on %s...\0A\00"
@.str.17 = [26 x i8] c"/usr/local/bin/bbs_server\00"
@.str.18 = [9 x i8] c"sleep 15\00"
@.str.19 = [10 x i8] c"RW.reader\00"
@.str.20 = [34 x i8] c"Error: can't read %s%d property.\0A\00"
@.str.21 = [21 x i8] c"SSH reader %d on %s\0A\00"
@.str.22 = [5 x i8] c"java\00"
@.str.23 = [11 x i8] c"-classpath\00"
@.str.24 = [21 x i8] c"/usr/local/share/bbs\00"
@.str.25 = [7 x i8] c"Reader\00"
@.str.26 = [10 x i8] c"RW.writer\00"
@.str.27 = [21 x i8] c"SSH writer %d on %s\0A\00"
@.str.28 = [7 x i8] c"Writer\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca [20 x i8]
%8 = alloca [20 x i8]
%9 = alloca [20 x i8]
%10 = alloca [20 x i8]
%11 = alloca i8*
%12 = alloca i8*
store i32 0, i32* %1
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0))
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
%16 = call i32 (...) @read_conf()
%17 = call i32 @get_val_int(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 -1)
store i32 %17, i32* %5
%18 = load i32, i32* %5
%19 = icmp slt i32 %18, 0
br i1 %19, label %20, label %23
20: ; preds = %0
%21 = load i32, i32* @stderr
%22 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %21, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
store i32 -1, i32* %1
br label %144
23: ; preds = %0
%24 = getelementptr inbounds [20 x i8], [20 x i8]* %10, i64 0, i64 0
%25 = load i32, i32* %5
%26 = call i32 @sprintf(i8* %24, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %25)
%27 = call i32 @get_val_int(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0), i32 -1)
store i32 %27, i32* %3
%28 = load i32, i32* %3
%29 = icmp slt i32 %28, 0
br i1 %29, label %30, label %33
30: ; preds = %23
%31 = load i32, i32* @stderr
%32 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %31, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0))
store i32 -1, i32* %1
br label %144
33: ; preds = %23
%34 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 0
%35 = load i32, i32* %3
%36 = call i32 @sprintf(i8* %34, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %35)
%37 = load i32, i32* %3
%38 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0), i32 %37)
%39 = call i32 @get_val_int(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 -1)
store i32 %39, i32* %4
%40 = load i32, i32* %4
%41 = icmp slt i32 %40, 0
br i1 %41, label %42, label %45
42: ; preds = %33
%43 = load i32, i32* @stderr
%44 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %43, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
store i32 -1, i32* %1
br label %144
45: ; preds = %33
%46 = getelementptr inbounds [20 x i8], [20 x i8]* %9, i64 0, i64 0
%47 = load i32, i32* %4
%48 = call i32 @sprintf(i8* %46, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %47)
%49 = load i32, i32* %4
%50 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0), i32 %49)
%51 = call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0), i32 -1)
store i8* %51, i8** %6
%52 = load i8*, i8** %6
%53 = icmp ne i8* %52, null
br i1 %53, label %57, label %54
54: ; preds = %45
%55 = load i32, i32* @stderr
%56 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %55, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0))
store i32 -1, i32* %1
br label %144
57: ; preds = %45
%58 = load i8*, i8** %6
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.10, i64 0, i64 0), i8* %58)
%60 = load i8*, i8** %6
%61 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %60, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.11, i64 0, i64 0), i8* null)
%62 = call i64 @wait(i32* null)
%63 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.12, i64 0, i64 0))
%64 = load i8*, i8** %6
%65 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %64, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.14, i64 0, i64 0), i8* null)
%66 = load i8*, i8** %6
%67 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %66, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.15, i64 0, i64 0), i8* null)
%68 = call i64 @wait(i32* null)
%69 = load i8*, i8** %6
%70 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.16, i64 0, i64 0), i8* %69)
%71 = load i8*, i8** %6
%72 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 0
%73 = getelementptr inbounds [20 x i8], [20 x i8]* %9, i64 0, i64 0
%74 = getelementptr inbounds [20 x i8], [20 x i8]* %10, i64 0, i64 0
%75 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %71, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.17, i64 0, i64 0), i8* %72, i8* %73, i8* %74, i8* null)
%76 = call i32 @system(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.18, i64 0, i64 0))
store i32 0, i32* %2
br label %77
77: ; preds = %102, %57
%78 = load i32, i32* %2
%79 = load i32, i32* %3
%80 = icmp slt i32 %78, %79
br i1 %80, label %81, label %105
81: ; preds = %77
%82 = load i32, i32* %2
%83 = call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %82)
store i8* %83, i8** %11
%84 = load i8*, i8** %11
%85 = icmp ne i8* %84, null
br i1 %85, label %90, label %86
86: ; preds = %81
%87 = load i32, i32* @stderr
%88 = load i32, i32* %2
%89 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %87, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %88)
store i32 -1, i32* %1
br label %144
90: ; preds = %81
%91 = load i32, i32* %2
%92 = load i8*, i8** %11
%93 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.21, i64 0, i64 0), i32 %91, i8* %92)
%94 = getelementptr inbounds [20 x i8], [20 x i8]* %7, i64 0, i64 0
%95 = load i32, i32* %2
%96 = call i32 @sprintf(i8* %94, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %95)
%97 = load i8*, i8** %11
%98 = getelementptr inbounds [20 x i8], [20 x i8]* %7, i64 0, i64 0
%99 = load i8*, i8** %6
%100 = getelementptr inbounds [20 x i8], [20 x i8]* %10, i64 0, i64 0
%101 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %97, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.25, i64 0, i64 0), i8* %98, i8* %99, i8* %100, i8* null)
br label %102
102: ; preds = %90
%103 = load i32, i32* %2
%104 = add nsw i32 %103, 1
store i32 %104, i32* %2
br label %77
105: ; preds = %77
store i32 0, i32* %2
br label %106
106: ; preds = %135, %105
%107 = load i32, i32* %2
%108 = load i32, i32* %4
%109 = icmp slt i32 %107, %108
br i1 %109, label %110, label %138
110: ; preds = %106
%111 = load i32, i32* %2
%112 = call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.26, i64 0, i64 0), i32 %111)
store i8* %112, i8** %12
%113 = load i8*, i8** %12
%114 = icmp ne i8* %113, null
br i1 %114, label %119, label %115
115: ; preds = %110
%116 = load i32, i32* @stderr
%117 = load i32, i32* %2
%118 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %116, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.26, i64 0, i64 0), i32 %117)
store i32 -1, i32* %1
br label %144
119: ; preds = %110
%120 = load i32, i32* %2
%121 = load i32, i32* %3
%122 = add nsw i32 %120, %121
%123 = load i8*, i8** %12
%124 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.27, i64 0, i64 0), i32 %122, i8* %123)
%125 = getelementptr inbounds [20 x i8], [20 x i8]* %7, i64 0, i64 0
%126 = load i32, i32* %2
%127 = load i32, i32* %3
%128 = add nsw i32 %126, %127
%129 = call i32 @sprintf(i8* %125, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %128)
%130 = load i8*, i8** %12
%131 = getelementptr inbounds [20 x i8], [20 x i8]* %7, i64 0, i64 0
%132 = load i8*, i8** %6
%133 = getelementptr inbounds [20 x i8], [20 x i8]* %10, i64 0, i64 0
%134 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %130, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.28, i64 0, i64 0), i8* %131, i8* %132, i8* %133, i8* null)
br label %135
135: ; preds = %119
%136 = load i32, i32* %2
%137 = add nsw i32 %136, 1
store i32 %137, i32* %2
br label %106
138: ; preds = %106
br label %139
139: ; preds = %142, %138
%140 = call i64 @wait(i32* null)
%141 = icmp sgt i64 %140, 0
br i1 %141, label %142, label %143
142: ; preds = %139
br label %139
143: ; preds = %139
store i32 0, i32* %1
br label %144
144: ; preds = %143, %115, %86, %54, %42, %30, %20
%145 = load i32, i32* %1
ret i32 %145
}

LLVM IR (-O2):
@.str.2 = [20 x i8] c"RW.numberOfAccesses\00"
@stderr = global i32 0
@.str.3 = [32 x i8] c"Error: can't read %s property.\0A\00"
@.str.4 = [3 x i8] c"%d\00"
@.str.5 = [19 x i8] c"RW.numberOfReaders\00"
@.str.6 = [19 x i8] c"Readers count: %d\0A\00"
@.str.7 = [19 x i8] c"RW.numberOfWriters\00"
@.str.8 = [19 x i8] c"Writers count: %d\0A\00"
@.str.9 = [10 x i8] c"RW.server\00"
@.str.10 = [32 x i8] c"Starting RMI registry on %s...\0A\00"
@.str.11 = [27 x i8] c"/usr/local/bin/bbs_release\00"
@.str.13 = [31 x i8] c"CLASSPATH=/usr/local/share/bbs\00"
@.str.14 = [12 x i8] c"rmiregistry\00"
@.str.15 = [27 x i8] c"/usr/local/bin/bbs_acquire\00"
@.str.16 = [30 x i8] c"Starting BBS server on %s...\0A\00"
@.str.17 = [26 x i8] c"/usr/local/bin/bbs_server\00"
@.str.18 = [9 x i8] c"sleep 15\00"
@.str.19 = [10 x i8] c"RW.reader\00"
@.str.20 = [34 x i8] c"Error: can't read %s%d property.\0A\00"
@.str.21 = [21 x i8] c"SSH reader %d on %s\0A\00"
@.str.22 = [5 x i8] c"java\00"
@.str.23 = [11 x i8] c"-classpath\00"
@.str.24 = [21 x i8] c"/usr/local/share/bbs\00"
@.str.25 = [7 x i8] c"Reader\00"
@.str.26 = [10 x i8] c"RW.writer\00"
@.str.27 = [21 x i8] c"SSH writer %d on %s\0A\00"
@.str.28 = [7 x i8] c"Writer\00"
@str.29 = [27 x i8] c"* Welcome to BBS system! *\00"
@str.30 = [27 x i8] c"**************************\00"
@str.31 = [25 x i8] c"Executing rmiregistry...\00"
define i32 @main() {
%1 = alloca [20 x i8]
%2 = alloca [20 x i8]
%3 = alloca [20 x i8]
%4 = alloca [20 x i8]
%5 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 0
%6 = getelementptr inbounds [20 x i8], [20 x i8]* %2, i64 0, i64 0
%7 = getelementptr inbounds [20 x i8], [20 x i8]* %3, i64 0, i64 0
%8 = getelementptr inbounds [20 x i8], [20 x i8]* %4, i64 0, i64 0
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.30, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.29, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.30, i64 0, i64 0))
%12 = tail call i32 (...) @read_conf()
%13 = tail call i32 @get_val_int(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0), i32 -1)
%14 = icmp slt i32 %13, 0
br i1 %14, label %15, label %18
15: ; preds = %0
%16 = load i32, i32* @stderr
%17 = tail call i32 (i32, i8*, i8*, ...) @fprintf(i32 %16, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
br label %86
18: ; preds = %0
%19 = call i32 @sprintf(i8* %8, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %13)
%20 = tail call i32 @get_val_int(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0), i32 -1)
%21 = icmp slt i32 %20, 0
br i1 %21, label %22, label %25
22: ; preds = %18
%23 = load i32, i32* @stderr
%24 = tail call i32 (i32, i8*, i8*, ...) @fprintf(i32 %23, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.5, i64 0, i64 0))
br label %86
25: ; preds = %18
%26 = call i32 @sprintf(i8* %6, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %20)
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0), i32 %20)
%28 = tail call i32 @get_val_int(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 -1)
%29 = icmp slt i32 %28, 0
br i1 %29, label %30, label %33
30: ; preds = %25
%31 = load i32, i32* @stderr
%32 = tail call i32 (i32, i8*, i8*, ...) @fprintf(i32 %31, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0))
br label %86
33: ; preds = %25
%34 = call i32 @sprintf(i8* %7, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %28)
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0), i32 %28)
%36 = tail call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0), i32 -1)
%37 = icmp eq i8* %36, null
br i1 %37, label %38, label %41
38: ; preds = %33
%39 = load i32, i32* @stderr
%40 = tail call i32 (i32, i8*, i8*, ...) @fprintf(i32 %39, i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0))
br label %86
41: ; preds = %33
%42 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.10, i64 0, i64 0), i8* %36)
%43 = tail call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %36, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.11, i64 0, i64 0), i8* null)
%44 = tail call i64 @wait(i32* null)
%45 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str.31, i64 0, i64 0))
%46 = tail call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %36, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.14, i64 0, i64 0), i8* null)
%47 = tail call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %36, i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.15, i64 0, i64 0), i8* null)
%48 = tail call i64 @wait(i32* null)
%49 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.16, i64 0, i64 0), i8* %36)
%50 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %36, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.17, i64 0, i64 0), i8* %6, i8* %7, i8* %8, i8* null)
%51 = call i32 @system(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.18, i64 0, i64 0))
%52 = icmp eq i32 %20, 0
br i1 %52, label %53, label %55
53: ; preds = %62, %41
%54 = icmp sgt i32 %28, 0
br i1 %54, label %68, label %82
55: ; preds = %41, %62
%56 = phi i32 [ %66, %62 ], [ 0, %41 ]
%57 = call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %56)
%58 = icmp eq i8* %57, null
br i1 %58, label %59, label %62
59: ; preds = %55
%60 = load i32, i32* @stderr
%61 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %60, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %56)
br label %86
62: ; preds = %55
%63 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.21, i64 0, i64 0), i32 %56, i8* %57)
%64 = call i32 @sprintf(i8* %5, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %56)
%65 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %57, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.25, i64 0, i64 0), i8* %5, i8* %36, i8* %8, i8* null)
%66 = add nuw nsw i32 %56, 1
%67 = icmp eq i32 %66, %20
br i1 %67, label %53, label %55
68: ; preds = %53, %75
%69 = phi i32 [ %80, %75 ], [ 0, %53 ]
%70 = call i8* @get_val_str(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.26, i64 0, i64 0), i32 %69)
%71 = icmp eq i8* %70, null
br i1 %71, label %72, label %75
72: ; preds = %68
%73 = load i32, i32* @stderr
%74 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %73, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.26, i64 0, i64 0), i32 %69)
br label %86
75: ; preds = %68
%76 = add nsw i32 %69, %20
%77 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.27, i64 0, i64 0), i32 %76, i8* %70)
%78 = call i32 @sprintf(i8* %5, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %76)
%79 = call i32 (i8*, i8*, i8*, ...) @exec_ssh(i8* %70, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.28, i64 0, i64 0), i8* %5, i8* %36, i8* %8, i8* null)
%80 = add nuw nsw i32 %69, 1
%81 = icmp eq i32 %80, %28
br i1 %81, label %82, label %68
82: ; preds = %75, %53
br label %83
83: ; preds = %82, %83
%84 = call i64 @wait(i32* null)
%85 = icmp sgt i64 %84, 0
br i1 %85, label %83, label %86
86: ; preds = %83, %72, %59, %38, %30, %22, %15
%87 = phi i32 [ -1, %15 ], [ -1, %22 ], [ -1, %30 ], [ -1, %38 ], [ -1, %59 ], [ -1, %72 ], [ 0, %83 ]
ret i32 %87
}