#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*/ addch(short);
int /*<<< orphan*/ check_message();
int /*<<< orphan*/ message(char const *, int /*<<< orphan*/);
int /*<<< orphan*/ move(int, size_t);
int /*<<< orphan*/ mvaddch(int /*<<< orphan*/, size_t, char);
int /*<<< orphan*/ mvaddstr(int /*<<< orphan*/, size_t, char const *);
int /*<<< orphan*/ refresh();
short rgetchar();
int /*<<< orphan*/ strlcpy(char *, char const *, size_t);
size_t strlen(char const *);
int get_input_line(const char *prompt, const char *insert, char *buf,
                   size_t buflen, const char *if_cancelled, char add_blank,
                   char do_echo) {
  short ch;
  size_t i = 0, n;
  message(prompt, 0);
  n = strlen(prompt);
  if (insert[0]) {
    mvaddstr(0, n + 1, insert);
    (void)strlcpy(buf, insert, buflen);
    i = strlen(buf);
    move(0, (n + i + 1));
    refresh();
  }
  while (((ch = rgetchar()) != '\r') && (ch != '\n') && (ch != '\033')) {
    if ((ch >= ' ') && (ch <= '~') && (i < buflen - 2)) {
      if ((ch != ' ') || (i > 0)) {
        buf[i++] = ch;
        if (do_echo) {
          addch(ch);
        }
      }
    }
    if ((ch == '\b') && (i > 0)) {
      if (do_echo) {
        mvaddch(0, i + n, ' ');
        move(1 - 1, i + n);
      }
      i--;
    }
    refresh();
  }
  check_message();
  if (add_blank) {
    buf[i++] = ' ';
  } else {
    while ((i > 0) && (buf[i - 1] == ' ')) {
      i--;
    }
  }
  buf[i] = 0;
  if ((ch == '\033') || (i == 0) || ((i == 1) && add_blank)) {
    if (if_cancelled) {
      message(if_cancelled, 0);
    }
    return (0);
  }
  return (i);
}


x86 assembly (clang, -O0):
<get_input_line>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %r9b,%al
mov    0x10(%rbp),%r9b
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %al,-0x31(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1030 <message@plt>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     123e <get_input_line+0x9e>
mov    -0x48(%rbp),%rsi
add    $0x1,%rsi
mov    -0x18(%rbp),%rdx
xor    %edi,%edi
call   10b0 <mvaddstr@plt>
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x28(%rbp),%rdx
call   1060 <strlcpy@plt>
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rsi
add    -0x40(%rbp),%rsi
add    $0x1,%rsi
xor    %edi,%edi
call   10c0 <move@plt>
mov    $0x0,%al
call   1080 <refresh@plt>
jmp    1243 <get_input_line+0xa3>
mov    $0x0,%al
call   1040 <rgetchar@plt>
mov    %ax,-0x34(%rbp)
movswl %ax,%ecx
xor    %eax,%eax
cmp    $0xd,%ecx
mov    %al,-0x49(%rbp)
je     127e <get_input_line+0xde>
movswl -0x34(%rbp),%ecx
xor    %eax,%eax
cmp    $0xa,%ecx
mov    %al,-0x49(%rbp)
je     127e <get_input_line+0xde>
movswl -0x34(%rbp),%eax
cmp    $0x1b,%eax
setne  %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    128e <get_input_line+0xee>
jmp    136b <get_input_line+0x1cb>
movswl -0x34(%rbp),%eax
cmp    $0x20,%eax
jl     130e <get_input_line+0x16e>
movswl -0x34(%rbp),%eax
cmp    $0x7e,%eax
jg     130e <get_input_line+0x16e>
mov    -0x40(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x2,%rcx
cmp    %rcx,%rax
jae    130e <get_input_line+0x16e>
movswl -0x34(%rbp),%eax
cmp    $0x20,%eax
jne    12d5 <get_input_line+0x135>
cmpq   $0x0,-0x40(%rbp)
jbe    1309 <get_input_line+0x169>
mov    -0x34(%rbp),%ax
mov    %al,%dl
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x40(%rbp)
mov    %dl,(%rax,%rcx,1)
cmpb   $0x0,0x10(%rbp)
je     1304 <get_input_line+0x164>
movswl -0x34(%rbp),%edi
call   1070 <addch@plt>
jmp    1309 <get_input_line+0x169>
jmp    130e <get_input_line+0x16e>
movswl -0x34(%rbp),%eax
cmp    $0x8,%eax
jne    135f <get_input_line+0x1bf>
cmpq   $0x0,-0x40(%rbp)
jbe    135f <get_input_line+0x1bf>
cmpb   $0x0,0x10(%rbp)
je     1353 <get_input_line+0x1b3>
mov    -0x40(%rbp),%rsi
add    -0x48(%rbp),%rsi
xor    %edi,%edi
mov    $0x20,%edx
call   10a0 <mvaddch@plt>
mov    -0x40(%rbp),%rsi
add    -0x48(%rbp),%rsi
xor    %edi,%edi
call   10c0 <move@plt>
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
mov    $0x0,%al
call   1080 <refresh@plt>
jmp    1243 <get_input_line+0xa3>
mov    $0x0,%al
call   1090 <check_message@plt>
cmpb   $0x0,-0x31(%rbp)
je     1398 <get_input_line+0x1f8>
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x20,(%rax,%rcx,1)
jmp    13ec <get_input_line+0x24c>
jmp    139d <get_input_line+0x1fd>
xor    %eax,%eax
cmpq   $0x0,-0x40(%rbp)
mov    %al,-0x4a(%rbp)
jbe    13c6 <get_input_line+0x226>
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
sub    $0x1,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
sete   %al
mov    %al,-0x4a(%rbp)
mov    -0x4a(%rbp),%al
test   $0x1,%al
jne    13d6 <get_input_line+0x236>
jmp    13e7 <get_input_line+0x247>
mov    -0x40(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
jmp    139d <get_input_line+0x1fd>
jmp    13ec <get_input_line+0x24c>
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movswl -0x34(%rbp),%eax
cmp    $0x1b,%eax
je     1428 <get_input_line+0x288>
cmpq   $0x0,-0x40(%rbp)
je     1428 <get_input_line+0x288>
cmpq   $0x1,-0x40(%rbp)
jne    144a <get_input_line+0x2aa>
movsbl -0x31(%rbp),%eax
cmp    $0x0,%eax
je     144a <get_input_line+0x2aa>
cmpq   $0x0,-0x30(%rbp)
je     143e <get_input_line+0x29e>
mov    -0x30(%rbp),%rdi
xor    %esi,%esi
call   1030 <message@plt>
movl   $0x0,-0x4(%rbp)
jmp    1451 <get_input_line+0x2b1>
mov    -0x40(%rbp),%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_input_line>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,%r12d
mov    %r8,0x8(%rsp)
mov    %rcx,%r15
mov    %rdx,%r13
mov    %rsi,%r14
mov    %rdi,%rbp
xor    %ebx,%ebx
xor    %esi,%esi
call   1030 <message@plt>
mov    %rbp,%rdi
call   1050 <strlen@plt>
cmpb   $0x0,(%r14)
mov    %r12d,0x4(%rsp)
mov    %rax,0x10(%rsp)
je     1223 <get_input_line+0x83>
lea    0x1(%rax),%rsi
xor    %edi,%edi
mov    %r14,%rdx
mov    %rax,%rbp
call   10b0 <mvaddstr@plt>
mov    %r13,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1060 <strlcpy@plt>
mov    %r13,%rdi
call   1050 <strlen@plt>
mov    %rax,%rbx
lea    (%rax,%rbp,1),%rsi
add    $0x1,%rsi
xor    %edi,%edi
call   10c0 <move@plt>
xor    %eax,%eax
call   1080 <refresh@plt>
add    $0xfffffffffffffffe,%r15
mov    $0x8002400,%r12d
jmp    1241 <get_input_line+0xa1>
nop
add    $0xffffffffffffffff,%rbx
mov    %rbx,%rbp
xor    %eax,%eax
call   1080 <refresh@plt>
mov    %rbp,%rbx
xor    %eax,%eax
call   1040 <rgetchar@plt>
mov    %eax,%r14d
cmp    $0x1b,%ax
ja     125f <get_input_line+0xbf>
movzwl %r14w,%eax
bt     %rax,%r12
jb     12e2 <get_input_line+0x142>
lea    -0x20(%r14),%eax
cmp    $0x5e,%ax
ja     1280 <get_input_line+0xe0>
cmp    %r15,%rbx
jae    1280 <get_input_line+0xe0>
cmp    $0x20,%r14w
jne    12c0 <get_input_line+0x120>
test   %rbx,%rbx
jne    12c0 <get_input_line+0x120>
xor    %ebp,%ebp
jmp    1237 <get_input_line+0x97>
xchg   %ax,%ax
cmp    $0x8,%r14w
jne    1234 <get_input_line+0x94>
test   %rbx,%rbx
je     1234 <get_input_line+0x94>
cmpb   $0x0,0x50(%rsp)
je     1230 <get_input_line+0x90>
mov    0x10(%rsp),%rax
lea    (%rbx,%rax,1),%rbp
xor    %edi,%edi
mov    %rbp,%rsi
mov    $0x20,%edx
call   10a0 <mvaddch@plt>
xor    %edi,%edi
mov    %rbp,%rsi
call   10c0 <move@plt>
jmp    1230 <get_input_line+0x90>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rbx),%rbp
mov    %r14b,0x0(%r13,%rbx,1)
cmpb   $0x0,0x50(%rsp)
je     1237 <get_input_line+0x97>
movswl %r14w,%edi
call   1070 <addch@plt>
jmp    1237 <get_input_line+0x97>
xor    %eax,%eax
call   1090 <check_message@plt>
mov    0x4(%rsp),%eax
test   %al,%al
je     1300 <get_input_line+0x160>
movb   $0x20,0x0(%r13,%rbx,1)
add    $0x1,%rbx
mov    %rbx,%rbp
jmp    1325 <get_input_line+0x185>
add    $0x1,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    $0x1,%rbx
je     1343 <get_input_line+0x1a3>
lea    -0x1(%rbx),%rbp
cmpb   $0x20,-0x2(%r13,%rbx,1)
mov    %rbp,%rbx
je     1310 <get_input_line+0x170>
movb   $0x0,0x0(%r13,%rbp,1)
cmp    $0x1b,%r14w
je     1348 <get_input_line+0x1a8>
test   %rbp,%rbp
je     1348 <get_input_line+0x1a8>
test   %al,%al
je     135b <get_input_line+0x1bb>
cmp    $0x1,%rbp
je     1348 <get_input_line+0x1a8>
jmp    135b <get_input_line+0x1bb>
movb   $0x0,0x0(%r13)
mov    0x8(%rsp),%rdi
xor    %ebp,%ebp
test   %rdi,%rdi
je     135b <get_input_line+0x1bb>
xor    %esi,%esi
call   1030 <message@plt>
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @get_input_line(i8* %0, i8* %1, i8* %2, i64 %3, i8* %4, i8 signext %5, i8 signext %6) {
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i8*
%14 = alloca i8
%15 = alloca i8
%16 = alloca i16
%17 = alloca i64
%18 = alloca i64
store i8* %0, i8** %9
store i8* %1, i8** %10
store i8* %2, i8** %11
store i64 %3, i64* %12
store i8* %4, i8** %13
store i8 %5, i8* %14
store i8 %6, i8* %15
store i64 0, i64* %17
%19 = load i8*, i8** %9
%20 = call i32 @message(i8* %19, i32 0)
%21 = load i8*, i8** %9
%22 = call i64 @strlen(i8* %21)
store i64 %22, i64* %18
%23 = load i8*, i8** %10
%24 = getelementptr inbounds i8, i8* %23, i64 0
%25 = load i8, i8* %24
%26 = icmp ne i8 %25, 0
br i1 %26, label %27, label %44
27: ; preds = %7
%28 = load i64, i64* %18
%29 = add i64 %28, 1
%30 = load i8*, i8** %10
%31 = call i32 @mvaddstr(i32 0, i64 %29, i8* %30)
%32 = load i8*, i8** %11
%33 = load i8*, i8** %10
%34 = load i64, i64* %12
%35 = call i32 @strlcpy(i8* %32, i8* %33, i64 %34)
%36 = load i8*, i8** %11
%37 = call i64 @strlen(i8* %36)
store i64 %37, i64* %17
%38 = load i64, i64* %18
%39 = load i64, i64* %17
%40 = add i64 %38, %39
%41 = add i64 %40, 1
%42 = call i32 @move(i32 0, i64 %41)
%43 = call i32 (...) @refresh()
br label %44
44: ; preds = %27, %7
br label %45
45: ; preds = %115, %44
%46 = call signext i16 (...) @rgetchar()
store i16 %46, i16* %16
%47 = sext i16 %46 to i32
%48 = icmp ne i32 %47, 13
br i1 %48, label %49, label %57
49: ; preds = %45
%50 = load i16, i16* %16
%51 = sext i16 %50 to i32
%52 = icmp ne i32 %51, 10
br i1 %52, label %53, label %57
53: ; preds = %49
%54 = load i16, i16* %16
%55 = sext i16 %54 to i32
%56 = icmp ne i32 %55, 27
br label %57
57: ; preds = %53, %49, %45
%58 = phi i1 [ false, %49 ], [ false, %45 ], [ %56, %53 ]
br i1 %58, label %59, label %117
59: ; preds = %57
%60 = load i16, i16* %16
%61 = sext i16 %60 to i32
%62 = icmp sge i32 %61, 32
br i1 %62, label %63, label %93
63: ; preds = %59
%64 = load i16, i16* %16
%65 = sext i16 %64 to i32
%66 = icmp sle i32 %65, 126
br i1 %66, label %67, label %93
67: ; preds = %63
%68 = load i64, i64* %17
%69 = load i64, i64* %12
%70 = sub i64 %69, 2
%71 = icmp ult i64 %68, %70
br i1 %71, label %72, label %93
72: ; preds = %67
%73 = load i16, i16* %16
%74 = sext i16 %73 to i32
%75 = icmp ne i32 %74, 32
br i1 %75, label %79, label %76
76: ; preds = %72
%77 = load i64, i64* %17
%78 = icmp ugt i64 %77, 0
br i1 %78, label %79, label %92
79: ; preds = %76, %72
%80 = load i16, i16* %16
%81 = trunc i16 %80 to i8
%82 = load i8*, i8** %11
%83 = load i64, i64* %17
%84 = add i64 %83, 1
store i64 %84, i64* %17
%85 = getelementptr inbounds i8, i8* %82, i64 %83
store i8 %81, i8* %85
%86 = load i8, i8* %15
%87 = icmp ne i8 %86, 0
br i1 %87, label %88, label %91
88: ; preds = %79
%89 = load i16, i16* %16
%90 = call i32 @addch(i16 signext %89)
br label %91
91: ; preds = %88, %79
br label %92
92: ; preds = %91, %76
br label %93
93: ; preds = %92, %67, %63, %59
%94 = load i16, i16* %16
%95 = sext i16 %94 to i32
%96 = icmp eq i32 %95, 8
br i1 %96, label %97, label %115
97: ; preds = %93
%98 = load i64, i64* %17
%99 = icmp ugt i64 %98, 0
br i1 %99, label %100, label %115
100: ; preds = %97
%101 = load i8, i8* %15
%102 = icmp ne i8 %101, 0
br i1 %102, label %103, label %112
103: ; preds = %100
%104 = load i64, i64* %17
%105 = load i64, i64* %18
%106 = add i64 %104, %105
%107 = call i32 @mvaddch(i32 0, i64 %106, i8 signext 32)
%108 = load i64, i64* %17
%109 = load i64, i64* %18
%110 = add i64 %108, %109
%111 = call i32 @move(i32 0, i64 %110)
br label %112
112: ; preds = %103, %100
%113 = load i64, i64* %17
%114 = add i64 %113, -1
store i64 %114, i64* %17
br label %115
115: ; preds = %112, %97, %93
%116 = call i32 (...) @refresh()
br label %45
117: ; preds = %57
%118 = call i32 (...) @check_message()
%119 = load i8, i8* %14
%120 = icmp ne i8 %119, 0
br i1 %120, label %121, label %126
121: ; preds = %117
%122 = load i8*, i8** %11
%123 = load i64, i64* %17
%124 = add i64 %123, 1
store i64 %124, i64* %17
%125 = getelementptr inbounds i8, i8* %122, i64 %123
store i8 32, i8* %125
br label %144
126: ; preds = %117
br label %127
127: ; preds = %140, %126
%128 = load i64, i64* %17
%129 = icmp ugt i64 %128, 0
br i1 %129, label %130, label %138
130: ; preds = %127
%131 = load i8*, i8** %11
%132 = load i64, i64* %17
%133 = sub i64 %132, 1
%134 = getelementptr inbounds i8, i8* %131, i64 %133
%135 = load i8, i8* %134
%136 = sext i8 %135 to i32
%137 = icmp eq i32 %136, 32
br label %138
138: ; preds = %130, %127
%139 = phi i1 [ false, %127 ], [ %137, %130 ]
br i1 %139, label %140, label %143
140: ; preds = %138
%141 = load i64, i64* %17
%142 = add i64 %141, -1
store i64 %142, i64* %17
br label %127
143: ; preds = %138
br label %144
144: ; preds = %143, %121
%145 = load i8*, i8** %11
%146 = load i64, i64* %17
%147 = getelementptr inbounds i8, i8* %145, i64 %146
store i8 0, i8* %147
%148 = load i16, i16* %16
%149 = sext i16 %148 to i32
%150 = icmp eq i32 %149, 27
br i1 %150, label %161, label %151
151: ; preds = %144
%152 = load i64, i64* %17
%153 = icmp eq i64 %152, 0
br i1 %153, label %161, label %154
154: ; preds = %151
%155 = load i64, i64* %17
%156 = icmp eq i64 %155, 1
br i1 %156, label %157, label %168
157: ; preds = %154
%158 = load i8, i8* %14
%159 = sext i8 %158 to i32
%160 = icmp ne i32 %159, 0
br i1 %160, label %161, label %168
161: ; preds = %157, %151, %144
%162 = load i8*, i8** %13
%163 = icmp ne i8* %162, null
br i1 %163, label %164, label %167
164: ; preds = %161
%165 = load i8*, i8** %13
%166 = call i32 @message(i8* %165, i32 0)
br label %167
167: ; preds = %164, %161
store i32 0, i32* %8
br label %171
168: ; preds = %157, %154
%169 = load i64, i64* %17
%170 = trunc i64 %169 to i32
store i32 %170, i32* %8
br label %171
171: ; preds = %168, %167
%172 = load i32, i32* %8
ret i32 %172
}

LLVM IR (-O2):
define i32 @get_input_line(i8* %0, i8* %1, i8* %2, i64 %3, i8* %4, i8 signext %5, i8 signext %6) {
%8 = tail call i32 @message(i8* %0, i32 0)
%9 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%10 = load i8, i8* %1
%11 = icmp eq i8 %10, 0
br i1 %11, label %20, label %12
12: ; preds = %7
%13 = add i64 %9, 1
%14 = tail call i32 @mvaddstr(i32 0, i64 %13, i8* %1)
%15 = tail call i32 @strlcpy(i8* %2, i8* %1, i64 %3)
%16 = tail call i64 @strlen(i8* dereferenceable(1) %2)
%17 = add i64 %13, %16
%18 = tail call i32 @move(i32 0, i64 %17)
%19 = tail call i32 (...) @refresh()
br label %20
20: ; preds = %12, %7
%21 = phi i64 [ %16, %12 ], [ 0, %7 ]
%22 = add i64 %3, -2
%23 = icmp eq i8 %6, 0
br label %24
24: ; preds = %53, %20
%25 = phi i64 [ %21, %20 ], [ %54, %53 ]
%26 = tail call signext i16 (...) @rgetchar()
switch i16 %26, label %27 [
i16 27, label %56
i16 13, label %56
i16 10, label %56
]
27: ; preds = %24
%28 = add i16 %26, -32
%29 = icmp ult i16 %28, 95
%30 = icmp ult i64 %25, %22
%31 = select i1 %29, i1 %30, i1 false
br i1 %31, label %32, label %42
32: ; preds = %27
%33 = icmp ne i16 %26, 32
%34 = icmp ne i64 %25, 0
%35 = select i1 %33, i1 true, i1 %34
br i1 %35, label %36, label %53
36: ; preds = %32
%37 = trunc i16 %26 to i8
%38 = add nuw i64 %25, 1
%39 = getelementptr inbounds i8, i8* %2, i64 %25
store i8 %37, i8* %39
br i1 %23, label %53, label %40
40: ; preds = %36
%41 = tail call i32 @addch(i16 signext %26)
br label %53
42: ; preds = %27
%43 = icmp eq i16 %26, 8
%44 = icmp ne i64 %25, 0
%45 = select i1 %43, i1 %44, i1 false
br i1 %45, label %46, label %53
46: ; preds = %42
br i1 %23, label %51, label %47
47: ; preds = %46
%48 = add i64 %25, %9
%49 = tail call i32 @mvaddch(i32 0, i64 %48, i8 signext 32)
%50 = tail call i32 @move(i32 0, i64 %48)
br label %51
51: ; preds = %47, %46
%52 = add i64 %25, -1
br label %53
53: ; preds = %36, %40, %32, %51, %42
%54 = phi i64 [ %52, %51 ], [ %25, %42 ], [ 0, %32 ], [ %38, %36 ], [ %38, %40 ]
%55 = tail call i32 (...) @refresh()
br label %24
56: ; preds = %24, %24, %24
%57 = tail call i32 (...) @check_message()
%58 = icmp eq i8 %5, 0
br i1 %58, label %62, label %59
59: ; preds = %56
%60 = add i64 %25, 1
%61 = getelementptr inbounds i8, i8* %2, i64 %25
store i8 32, i8* %61
br label %71
62: ; preds = %56, %66
%63 = phi i64 [ %67, %66 ], [ %25, %56 ]
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %66
65: ; preds = %62
store i8 0, i8* %2
br label %81
66: ; preds = %62
%67 = add i64 %63, -1
%68 = getelementptr inbounds i8, i8* %2, i64 %67
%69 = load i8, i8* %68
%70 = icmp eq i8 %69, 32
br i1 %70, label %62, label %71
71: ; preds = %66, %59
%72 = phi i64 [ %60, %59 ], [ %63, %66 ]
%73 = getelementptr inbounds i8, i8* %2, i64 %72
store i8 0, i8* %73
%74 = icmp eq i16 %26, 27
%75 = icmp eq i64 %72, 0
%76 = select i1 %74, i1 true, i1 %75
br i1 %76, label %81, label %77
77: ; preds = %71
%78 = icmp eq i64 %72, 1
%79 = icmp ne i8 %5, 0
%80 = and i1 %79, %78
br i1 %80, label %81, label %85
81: ; preds = %65, %77, %71
%82 = icmp eq i8* %4, null
br i1 %82, label %87, label %83
83: ; preds = %81
%84 = tail call i32 @message(i8* %4, i32 0)
br label %87
85: ; preds = %77
%86 = trunc i64 %72 to i32
br label %87
87: ; preds = %81, %83, %85
%88 = phi i32 [ %86, %85 ], [ 0, %83 ], [ 0, %81 ]
ret i32 %88
}