#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*/ console_move(int, int);
int console_read();
int /*<<< orphan*/ console_write(char const *);
int /*<<< orphan*/ console_write_char(char);
int strlen(char const *);
int /*<<< orphan*/ update_cursor();
int prompt(int x, int y, const char *prompt_text, char *dst, int dst_limit) {
  int prompt_text_len;
  int pos;
  int key;
  int ret = 0;
  prompt_text_len = strlen(prompt_text);
  console_move(x, y);
  console_write(prompt_text);
  pos = 0;
  for (;;) {
    key = console_read();
    if (key >= ' ' && key < 127 && pos < dst_limit - 1) {
      console_write_char(key);
      dst[pos] = key;
      pos++;
    } else if (key == (-11) && pos > 0) {
      pos--;
      console_move(x + prompt_text_len + pos, y);
      console_write_char(' ');
      console_move(x + prompt_text_len + pos, y);
    } else if (key == (-12)) {
      dst[pos] = 0;
      ret = 1;
      break;
    } else if (key == 27) {
      break;
    }
  }
  console_move(x, y);
  for (pos = 0; pos < prompt_text_len + dst_limit; pos++) {
    console_write_char(' ');
  }
  update_cursor();
  return ret;
}


x86 assembly (clang, -O0):
<prompt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1050 <console_move@plt>
mov    -0x10(%rbp),%rdi
call   1070 <console_write@plt>
movl   $0x0,-0x24(%rbp)
mov    $0x0,%al
call   1080 <console_read@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x20,-0x28(%rbp)
jl     1200 <prompt+0xa0>
cmpl   $0x7f,-0x28(%rbp)
jge    1200 <prompt+0xa0>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1200 <prompt+0xa0>
mov    -0x28(%rbp),%eax
movsbl %al,%edi
call   1030 <console_write_char@plt>
mov    -0x28(%rbp),%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    128e <prompt+0x12e>
cmpl   $0xfffffff5,-0x28(%rbp)
jne    124e <prompt+0xee>
cmpl   $0x0,-0x24(%rbp)
jle    124e <prompt+0xee>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%edi
add    -0x20(%rbp),%edi
add    -0x24(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1050 <console_move@plt>
mov    $0x20,%edi
call   1030 <console_write_char@plt>
mov    -0x4(%rbp),%edi
add    -0x20(%rbp),%edi
add    -0x24(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1050 <console_move@plt>
jmp    1289 <prompt+0x129>
cmpl   $0xfffffff4,-0x28(%rbp)
jne    1270 <prompt+0x110>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x1,-0x2c(%rbp)
jmp    1293 <prompt+0x133>
cmpl   $0x1b,-0x28(%rbp)
jne    127f <prompt+0x11f>
jmp    1293 <prompt+0x133>
jmp    1284 <prompt+0x124>
jmp    1289 <prompt+0x129>
jmp    128e <prompt+0x12e>
jmp    11a8 <prompt+0x48>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1050 <console_move@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x20(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    12ce <prompt+0x16e>
mov    $0x20,%edi
call   1030 <console_write_char@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12a5 <prompt+0x145>
mov    $0x0,%al
call   1060 <update_cursor@plt>
mov    -0x2c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<prompt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r8d,%r15d
mov    %rcx,0x10(%rsp)
mov    %rdx,%r14
mov    %esi,%ebp
mov    %edi,%r13d
mov    %rdx,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebx
mov    %r13d,%edi
mov    %ebp,0xc(%rsp)
mov    %ebp,%esi
call   1050 <console_move@plt>
mov    %r14,%rdi
call   1070 <console_write@plt>
lea    -0x1(%r15),%r12d
lea    (%rbx,%r13,1),%eax
mov    %rax,0x20(%rsp)
xor    %r14d,%r14d
xchg   %ax,%ax
xor    %eax,%eax
call   1080 <console_read@plt>
lea    -0x20(%rax),%ecx
cmp    $0x5e,%ecx
ja     11c4 <prompt+0x64>
cmp    %r12d,%r14d
jl     11da <prompt+0x7a>
cmp    $0xfffffff5,%eax
jne    11ce <prompt+0x6e>
test   %r14d,%r14d
jg     11f6 <prompt+0x96>
cmp    $0x1b,%eax
je     123d <prompt+0xdd>
cmp    $0xfffffff4,%eax
jne    11b0 <prompt+0x50>
jmp    1241 <prompt+0xe1>
movsbl %al,%ebp
mov    %ebp,%edi
call   1030 <console_write_char@plt>
movslq %r14d,%rax
mov    0x10(%rsp),%rcx
mov    %bpl,(%rcx,%rax,1)
add    $0x1,%r14d
jmp    11b0 <prompt+0x50>
mov    %r15,0x18(%rsp)
mov    %r14d,%r15d
add    $0xffffffff,%r15d
mov    0x20(%rsp),%rax
add    %eax,%r14d
add    $0xffffffff,%r14d
mov    %r14d,%edi
mov    0xc(%rsp),%ebp
mov    %ebp,%esi
call   1050 <console_move@plt>
mov    $0x20,%edi
call   1030 <console_write_char@plt>
mov    %r14d,%edi
mov    %ebp,%esi
call   1050 <console_move@plt>
mov    %r15d,%r14d
mov    0x18(%rsp),%r15
jmp    11b0 <prompt+0x50>
xor    %ebp,%ebp
jmp    1252 <prompt+0xf2>
movslq %r14d,%rax
mov    0x10(%rsp),%rcx
movb   $0x0,(%rcx,%rax,1)
mov    $0x1,%ebp
mov    %r13d,%edi
mov    0xc(%rsp),%esi
call   1050 <console_move@plt>
add    %r15d,%ebx
test   %ebx,%ebx
jle    127f <prompt+0x11f>
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x20,%edi
call   1030 <console_write_char@plt>
add    $0xffffffff,%ebx
jne    1270 <prompt+0x110>
xor    %eax,%eax
call   1060 <update_cursor@plt>
mov    %ebp,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @prompt(i32 %0, i32 %1, i8* %2, i8* %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i8* %2, i8** %8
store i8* %3, i8** %9
store i32 %4, i32* %10
store i32 0, i32* %14
%15 = load i8*, i8** %8
%16 = call i32 @strlen(i8* %15)
store i32 %16, i32* %11
%17 = load i32, i32* %6
%18 = load i32, i32* %7
%19 = call i32 @console_move(i32 %17, i32 %18)
%20 = load i8*, i8** %8
%21 = call i32 @console_write(i8* %20)
store i32 0, i32* %12
br label %22
22: ; preds = %85, %5
%23 = call i32 (...) @console_read()
store i32 %23, i32* %13
%24 = load i32, i32* %13
%25 = icmp sge i32 %24, 32
br i1 %25, label %26, label %46
26: ; preds = %22
%27 = load i32, i32* %13
%28 = icmp slt i32 %27, 127
br i1 %28, label %29, label %46
29: ; preds = %26
%30 = load i32, i32* %12
%31 = load i32, i32* %10
%32 = sub nsw i32 %31, 1
%33 = icmp slt i32 %30, %32
br i1 %33, label %34, label %46
34: ; preds = %29
%35 = load i32, i32* %13
%36 = trunc i32 %35 to i8
%37 = call i32 @console_write_char(i8 signext %36)
%38 = load i32, i32* %13
%39 = trunc i32 %38 to i8
%40 = load i8*, i8** %9
%41 = load i32, i32* %12
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %40, i64 %42
store i8 %39, i8* %43
%44 = load i32, i32* %12
%45 = add nsw i32 %44, 1
store i32 %45, i32* %12
br label %85
46: ; preds = %29, %26, %22
%47 = load i32, i32* %13
%48 = icmp eq i32 %47, -11
br i1 %48, label %49, label %70
49: ; preds = %46
%50 = load i32, i32* %12
%51 = icmp sgt i32 %50, 0
br i1 %51, label %52, label %70
52: ; preds = %49
%53 = load i32, i32* %12
%54 = add nsw i32 %53, -1
store i32 %54, i32* %12
%55 = load i32, i32* %6
%56 = load i32, i32* %11
%57 = add nsw i32 %55, %56
%58 = load i32, i32* %12
%59 = add nsw i32 %57, %58
%60 = load i32, i32* %7
%61 = call i32 @console_move(i32 %59, i32 %60)
%62 = call i32 @console_write_char(i8 signext 32)
%63 = load i32, i32* %6
%64 = load i32, i32* %11
%65 = add nsw i32 %63, %64
%66 = load i32, i32* %12
%67 = add nsw i32 %65, %66
%68 = load i32, i32* %7
%69 = call i32 @console_move(i32 %67, i32 %68)
br label %84
70: ; preds = %49, %46
%71 = load i32, i32* %13
%72 = icmp eq i32 %71, -12
br i1 %72, label %73, label %78
73: ; preds = %70
%74 = load i8*, i8** %9
%75 = load i32, i32* %12
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %74, i64 %76
store i8 0, i8* %77
store i32 1, i32* %14
br label %86
78: ; preds = %70
%79 = load i32, i32* %13
%80 = icmp eq i32 %79, 27
br i1 %80, label %81, label %82
81: ; preds = %78
br label %86
82: ; preds = %78
br label %83
83: ; preds = %82
br label %84
84: ; preds = %83, %52
br label %85
85: ; preds = %84, %34
br label %22
86: ; preds = %81, %73
%87 = load i32, i32* %6
%88 = load i32, i32* %7
%89 = call i32 @console_move(i32 %87, i32 %88)
store i32 0, i32* %12
br label %90
90: ; preds = %98, %86
%91 = load i32, i32* %12
%92 = load i32, i32* %11
%93 = load i32, i32* %10
%94 = add nsw i32 %92, %93
%95 = icmp slt i32 %91, %94
br i1 %95, label %96, label %101
96: ; preds = %90
%97 = call i32 @console_write_char(i8 signext 32)
br label %98
98: ; preds = %96
%99 = load i32, i32* %12
%100 = add nsw i32 %99, 1
store i32 %100, i32* %12
br label %90
101: ; preds = %90
%102 = call i32 (...) @update_cursor()
%103 = load i32, i32* %14
ret i32 %103
}

LLVM IR (-O2):
define i32 @prompt(i32 %0, i32 %1, i8* %2, i8* nocapture writeonly %3, i32 %4) {
%6 = tail call i32 @strlen(i8* %2)
%7 = tail call i32 @console_move(i32 %0, i32 %1)
%8 = tail call i32 @console_write(i8* %2)
%9 = add nsw i32 %4, -1
%10 = add nsw i32 %6, %0
br label %11
11: ; preds = %26, %5
%12 = phi i32 [ 0, %5 ], [ %27, %26 ]
%13 = icmp slt i32 %12, %9
%14 = icmp sgt i32 %12, 0
br label %15
15: ; preds = %11, %37
%16 = tail call i32 (...) @console_read()
%17 = add i32 %16, -32
%18 = icmp ult i32 %17, 95
%19 = select i1 %18, i1 %13, i1 false
br i1 %19, label %20, label %28
20: ; preds = %15
%21 = trunc i32 %16 to i8
%22 = tail call i32 @console_write_char(i8 signext %21)
%23 = sext i32 %12 to i64
%24 = getelementptr inbounds i8, i8* %3, i64 %23
store i8 %21, i8* %24
%25 = add nsw i32 %12, 1
br label %26
26: ; preds = %20, %31
%27 = phi i32 [ %32, %31 ], [ %25, %20 ]
br label %11
28: ; preds = %15
%29 = icmp eq i32 %16, -11
%30 = select i1 %29, i1 %14, i1 false
br i1 %30, label %31, label %37
31: ; preds = %28
%32 = add nsw i32 %12, -1
%33 = add nsw i32 %10, %32
%34 = tail call i32 @console_move(i32 %33, i32 %1)
%35 = tail call i32 @console_write_char(i8 signext 32)
%36 = tail call i32 @console_move(i32 %33, i32 %1)
br label %26
37: ; preds = %28
switch i32 %16, label %15 [
i32 -12, label %38
i32 27, label %41
]
38: ; preds = %37
%39 = sext i32 %12 to i64
%40 = getelementptr inbounds i8, i8* %3, i64 %39
store i8 0, i8* %40
br label %41
41: ; preds = %37, %38
%42 = phi i32 [ 1, %38 ], [ 0, %37 ]
%43 = tail call i32 @console_move(i32 %0, i32 %1)
%44 = add i32 %6, %4
%45 = icmp sgt i32 %44, 0
br i1 %45, label %46, label %51
46: ; preds = %41, %46
%47 = phi i32 [ %49, %46 ], [ 0, %41 ]
%48 = tail call i32 @console_write_char(i8 signext 32)
%49 = add nuw nsw i32 %47, 1
%50 = icmp eq i32 %49, %44
br i1 %50, label %51, label %46
51: ; preds = %46, %41
%52 = tail call i32 (...) @update_cursor()
ret i32 %42
}