#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 */
char getkeystroke();
scalar_t__ key_abort();
int /*<<< orphan*/ printf(char *, ...);
int EnterNum(char *msg, int numchars, long *value, long min, long max) {
  short tmp, cnt, isneg = 0;
  char ch;
  if (key_abort())
    return 0;
  do {
    printf("%s (%ld): ", msg, *value);
    cnt = 0;
    for (;;) {
      ch = getkeystroke();
      if (key_abort())
        return 0;
      if (ch == '-') {
        if (!isneg) {
          isneg = 1;
          printf("-");
          cnt++;
        }
      }
      if (ch == 0x08) {
        if (cnt) {
          if (isneg && (cnt == 1))
            isneg = 0;
          else
            *value /= 10;
          printf("%c %c", ch, ch);
          cnt--;
        }
      }
      if (ch == 0x1B) {
        printf("  Aborted\n\n");
        return 0;
      }
      if (ch == 0x0A) {
        printf("\n");
        break;
      } else if ((ch >= '0') && (ch <= '9')) {
        if (cnt == 0)
          *value = 0;
        if (cnt < numchars) {
          printf("%c", ch);
          tmp = ch - 0x30;
          *value *= 10;
          *value += tmp;
          cnt++;
        }
      }
    }
    if (isneg)
      *value = -*value;
  } while ((*value < min) || (*value > max));
  return 1;
}


x86 assembly (clang, -O0):
<EnterNum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
movw   $0x0,-0x36(%rbp)
mov    $0x0,%al
call   1050 <key_abort@plt>
cmp    $0x0,%rax
je     116e <EnterNum+0x3e>
movl   $0x0,-0x4(%rbp)
jmp    13aa <EnterNum+0x27a>
jmp    1173 <EnterNum+0x43>
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%rax
mov    (%rax),%rdx
lea    0xe7b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movw   $0x0,-0x34(%rbp)
mov    $0x0,%al
call   1030 <getkeystroke@plt>
mov    %al,-0x37(%rbp)
mov    $0x0,%al
call   1050 <key_abort@plt>
cmp    $0x0,%rax
je     11b9 <EnterNum+0x89>
movl   $0x0,-0x4(%rbp)
jmp    13aa <EnterNum+0x27a>
movsbl -0x37(%rbp),%eax
cmp    $0x2d,%eax
jne    11f6 <EnterNum+0xc6>
cmpw   $0x0,-0x36(%rbp)
jne    11f1 <EnterNum+0xc1>
movw   $0x1,-0x36(%rbp)
lea    0xe2d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x34(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x34(%rbp)
jmp    11f6 <EnterNum+0xc6>
movsbl -0x37(%rbp),%eax
cmp    $0x8,%eax
jne    1279 <EnterNum+0x149>
cmpw   $0x0,-0x34(%rbp)
je     1274 <EnterNum+0x144>
movswl -0x36(%rbp),%eax
cmp    $0x0,%eax
je     1233 <EnterNum+0x103>
movswl -0x34(%rbp),%eax
cmp    $0x1,%eax
jne    1233 <EnterNum+0x103>
movw   $0x0,-0x36(%rbp)
jmp    1252 <EnterNum+0x122>
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    (%rax),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,%rcx
mov    -0x40(%rbp),%rax
mov    %rcx,(%rax)
movsbl -0x37(%rbp),%esi
movsbl -0x37(%rbp),%edx
lea    0xdac(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x34(%rbp),%ax
add    $0xffff,%ax
mov    %ax,-0x34(%rbp)
jmp    1279 <EnterNum+0x149>
movsbl -0x37(%rbp),%eax
cmp    $0x1b,%eax
jne    12a0 <EnterNum+0x170>
lea    0xd86(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13aa <EnterNum+0x27a>
movsbl -0x37(%rbp),%eax
cmp    $0xa,%eax
jne    12c0 <EnterNum+0x190>
lea    0xd69(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    1351 <EnterNum+0x221>
movsbl -0x37(%rbp),%eax
cmp    $0x30,%eax
jl     1347 <EnterNum+0x217>
movsbl -0x37(%rbp),%eax
cmp    $0x39,%eax
jg     1347 <EnterNum+0x217>
movswl -0x34(%rbp),%eax
cmp    $0x0,%eax
jne    12f2 <EnterNum+0x1c2>
mov    -0x20(%rbp),%rax
movq   $0x0,(%rax)
movswl -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1342 <EnterNum+0x212>
movsbl -0x37(%rbp),%esi
lea    0xd06(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movsbl -0x37(%rbp),%eax
sub    $0x30,%eax
mov    %ax,-0x32(%rbp)
mov    -0x20(%rbp),%rax
imul   $0xa,(%rax),%rcx
mov    %rcx,(%rax)
movswq -0x32(%rbp),%rcx
mov    -0x20(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x34(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x34(%rbp)
jmp    1347 <EnterNum+0x217>
jmp    134c <EnterNum+0x21c>
jmp    1192 <EnterNum+0x62>
cmpw   $0x0,-0x36(%rbp)
je     136c <EnterNum+0x23c>
mov    -0x20(%rbp),%rax
xor    %ecx,%ecx
sub    (%rax),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    1371 <EnterNum+0x241>
mov    -0x20(%rbp),%rax
mov    (%rax),%rcx
mov    $0x1,%al
cmp    -0x28(%rbp),%rcx
mov    %al,-0x41(%rbp)
jl     1398 <EnterNum+0x268>
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
cmp    -0x30(%rbp),%rax
setg   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1173 <EnterNum+0x43>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<EnterNum>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,(%rsp)
mov    %rcx,0x8(%rsp)
mov    %rdx,%rbx
mov    %esi,%ebp
mov    %rdi,0x10(%rsp)
xor    %r15d,%r15d
xor    %eax,%eax
call   1070 <key_abort@plt>
test   %rax,%rax
je     1192 <EnterNum+0x42>
mov    %r15d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    (%rbx),%rdx
xor    %r12d,%r12d
lea    0xe61(%rip),%rdi
mov    0x10(%rsp),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
xor    %eax,%eax
call   1050 <getkeystroke@plt>
mov    %eax,%r14d
xor    %eax,%eax
call   1070 <key_abort@plt>
test   %rax,%rax
jne    1311 <EnterNum+0x1c1>
xor    %r13d,%r13d
jmp    11fc <EnterNum+0xac>
nopw   0x0(%rax,%rax,1)
mov    $0x2d,%edi
call   1030 <putchar@plt>
add    $0x1,%r13d
mov    $0x1,%r12w
xor    %r15d,%r15d
xor    %eax,%eax
call   1050 <getkeystroke@plt>
mov    %eax,%r14d
xor    %eax,%eax
call   1070 <key_abort@plt>
test   %rax,%rax
jne    1180 <EnterNum+0x30>
cmp    $0x2d,%r14b
jne    1208 <EnterNum+0xb8>
test   %r12w,%r12w
je     11d0 <EnterNum+0x80>
cmp    $0x8,%r14b
jne    1230 <EnterNum+0xe0>
test   %r13w,%r13w
je     1230 <EnterNum+0xe0>
test   %r12w,%r12w
je     128d <EnterNum+0x13d>
cmp    $0x1,%r13w
jne    128d <EnterNum+0x13d>
xor    %r12d,%r12d
jmp    12ab <EnterNum+0x15b>
nopl   0x0(%rax)
cmp    $0xa,%r14b
je     12cc <EnterNum+0x17c>
cmp    $0x1b,%r14b
je     1305 <EnterNum+0x1b5>
lea    -0x30(%r14),%eax
cmp    $0x9,%al
ja     11e3 <EnterNum+0x93>
test   %r13w,%r13w
jne    1259 <EnterNum+0x109>
movq   $0x0,(%rbx)
movswl %r13w,%eax
cmp    %ebp,%eax
jge    11e3 <EnterNum+0x93>
movsbl %r14b,%edi
call   1030 <putchar@plt>
movzbl %r14b,%eax
add    $0xffd0,%eax
mov    (%rbx),%rcx
lea    (%rcx,%rcx,4),%rcx
movzwl %ax,%eax
lea    (%rax,%rcx,2),%rax
mov    %rax,(%rbx)
add    $0x1,%r13d
jmp    11e3 <EnterNum+0x93>
movabs $0x6666666666666667,%rax
66 66 66
imulq  (%rbx)
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
mov    %rdx,(%rbx)
lea    0xd59(%rip),%rdi
mov    $0x8,%esi
mov    $0x8,%edx
xor    %eax,%eax
call   1060 <printf@plt>
add    $0xffffffff,%r13d
jmp    11e3 <EnterNum+0x93>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    (%rbx),%rdx
test   %r12w,%r12w
je     12e5 <EnterNum+0x195>
neg    %rdx
mov    %rdx,(%rbx)
cmp    0x8(%rsp),%rdx
jl     1198 <EnterNum+0x48>
mov    $0x1,%r15d
cmp    (%rsp),%rdx
jg     1198 <EnterNum+0x48>
jmp    1180 <EnterNum+0x30>
lea    0xd05(%rip),%rdi
call   1040 <puts@plt>
xor    %r15d,%r15d
jmp    1180 <EnterNum+0x30>

LLVM IR (-O0):
@.str = [11 x i8] c"%s (%ld): \00"
@.str.1 = [2 x i8] c"-\00"
@.str.2 = [6 x i8] c"%c %c\00"
@.str.3 = [12 x i8] c" Aborted\0A\0A\00"
@.str.4 = [2 x i8] c"\0A\00"
@.str.5 = [3 x i8] c"%c\00"
define i32 @EnterNum(i8* %0, i32 %1, i64* %2, i64 %3, i64 %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i64*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i16
%13 = alloca i16
%14 = alloca i16
%15 = alloca i8
store i8* %0, i8** %7
store i32 %1, i32* %8
store i64* %2, i64** %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store i16 0, i16* %14
%16 = call i64 (...) @key_abort()
%17 = icmp ne i64 %16, 0
br i1 %17, label %18, label %19
18: ; preds = %5
store i32 0, i32* %6
br label %145
19: ; preds = %5
br label %20
20: ; preds = %142, %19
%21 = load i8*, i8** %7
%22 = load i64*, i64** %9
%23 = load i64, i64* %22
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i8* %21, i64 %23)
store i16 0, i16* %13
br label %25
25: ; preds = %122, %20
%26 = call signext i8 (...) @getkeystroke()
store i8 %26, i8* %15
%27 = call i64 (...) @key_abort()
%28 = icmp ne i64 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %25
store i32 0, i32* %6
br label %145
30: ; preds = %25
%31 = load i8, i8* %15
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 45
br i1 %33, label %34, label %42
34: ; preds = %30
%35 = load i16, i16* %14
%36 = icmp ne i16 %35, 0
br i1 %36, label %41, label %37
37: ; preds = %34
store i16 1, i16* %14
%38 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%39 = load i16, i16* %13
%40 = add i16 %39, 1
store i16 %40, i16* %13
br label %41
41: ; preds = %37, %34
br label %42
42: ; preds = %41, %30
%43 = load i8, i8* %15
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 8
br i1 %45, label %46, label %71
46: ; preds = %42
%47 = load i16, i16* %13
%48 = icmp ne i16 %47, 0
br i1 %48, label %49, label %70
49: ; preds = %46
%50 = load i16, i16* %14
%51 = sext i16 %50 to i32
%52 = icmp ne i32 %51, 0
br i1 %52, label %53, label %58
53: ; preds = %49
%54 = load i16, i16* %13
%55 = sext i16 %54 to i32
%56 = icmp eq i32 %55, 1
br i1 %56, label %57, label %58
57: ; preds = %53
store i16 0, i16* %14
br label %62
58: ; preds = %53, %49
%59 = load i64*, i64** %9
%60 = load i64, i64* %59
%61 = sdiv i64 %60, 10
store i64 %61, i64* %59
br label %62
62: ; preds = %58, %57
%63 = load i8, i8* %15
%64 = sext i8 %63 to i32
%65 = load i8, i8* %15
%66 = sext i8 %65 to i32
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32 %64, i32 %66)
%68 = load i16, i16* %13
%69 = add i16 %68, -1
store i16 %69, i16* %13
br label %70
70: ; preds = %62, %46
br label %71
71: ; preds = %70, %42
%72 = load i8, i8* %15
%73 = sext i8 %72 to i32
%74 = icmp eq i32 %73, 27
br i1 %74, label %75, label %77
75: ; preds = %71
%76 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0))
store i32 0, i32* %6
br label %145
77: ; preds = %71
%78 = load i8, i8* %15
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 10
br i1 %80, label %81, label %83
81: ; preds = %77
%82 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0))
br label %123
83: ; preds = %77
%84 = load i8, i8* %15
%85 = sext i8 %84 to i32
%86 = icmp sge i32 %85, 48
br i1 %86, label %87, label %121
87: ; preds = %83
%88 = load i8, i8* %15
%89 = sext i8 %88 to i32
%90 = icmp sle i32 %89, 57
br i1 %90, label %91, label %121
91: ; preds = %87
%92 = load i16, i16* %13
%93 = sext i16 %92 to i32
%94 = icmp eq i32 %93, 0
br i1 %94, label %95, label %97
95: ; preds = %91
%96 = load i64*, i64** %9
store i64 0, i64* %96
br label %97
97: ; preds = %95, %91
%98 = load i16, i16* %13
%99 = sext i16 %98 to i32
%100 = load i32, i32* %8
%101 = icmp slt i32 %99, %100
br i1 %101, label %102, label %120
102: ; preds = %97
%103 = load i8, i8* %15
%104 = sext i8 %103 to i32
%105 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0), i32 %104)
%106 = load i8, i8* %15
%107 = sext i8 %106 to i32
%108 = sub nsw i32 %107, 48
%109 = trunc i32 %108 to i16
store i16 %109, i16* %12
%110 = load i64*, i64** %9
%111 = load i64, i64* %110
%112 = mul nsw i64 %111, 10
store i64 %112, i64* %110
%113 = load i16, i16* %12
%114 = sext i16 %113 to i64
%115 = load i64*, i64** %9
%116 = load i64, i64* %115
%117 = add nsw i64 %116, %114
store i64 %117, i64* %115
%118 = load i16, i16* %13
%119 = add i16 %118, 1
store i16 %119, i16* %13
br label %120
120: ; preds = %102, %97
br label %121
121: ; preds = %120, %87, %83
br label %122
122: ; preds = %121
br label %25
123: ; preds = %81
%124 = load i16, i16* %14
%125 = icmp ne i16 %124, 0
br i1 %125, label %126, label %131
126: ; preds = %123
%127 = load i64*, i64** %9
%128 = load i64, i64* %127
%129 = sub nsw i64 0, %128
%130 = load i64*, i64** %9
store i64 %129, i64* %130
br label %131
131: ; preds = %126, %123
br label %132
132: ; preds = %131
%133 = load i64*, i64** %9
%134 = load i64, i64* %133
%135 = load i64, i64* %10
%136 = icmp slt i64 %134, %135
br i1 %136, label %142, label %137
137: ; preds = %132
%138 = load i64*, i64** %9
%139 = load i64, i64* %138
%140 = load i64, i64* %11
%141 = icmp sgt i64 %139, %140
br label %142
142: ; preds = %137, %132
%143 = phi i1 [ true, %132 ], [ %141, %137 ]
br i1 %143, label %20, label %144
144: ; preds = %142
store i32 1, i32* %6
br label %145
145: ; preds = %144, %75, %29, %18
%146 = load i32, i32* %6
ret i32 %146
}

LLVM IR (-O2):
@.str = [11 x i8] c"%s (%ld): \00"
@.str.2 = [6 x i8] c"%c %c\00"
@str = [11 x i8] c" Aborted\0A\00"
define i32 @EnterNum(i8* %0, i32 %1, i64* nocapture %2, i64 %3, i64 %4) {
%6 = tail call i64 (...) @key_abort()
%7 = icmp eq i64 %6, 0
br i1 %7, label %8, label %80
8: ; preds = %5
%9 = load i64, i64* %2
br label %10
10: ; preds = %8, %75
%11 = phi i64 [ %76, %75 ], [ %9, %8 ]
%12 = phi i16 [ %19, %75 ], [ 0, %8 ]
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i8* %0, i64 %11)
%14 = tail call signext i8 (...) @getkeystroke()
%15 = tail call i64 (...) @key_abort()
%16 = icmp eq i64 %15, 0
br i1 %16, label %17, label %80
17: ; preds = %10, %67
%18 = phi i8 [ %70, %67 ], [ %14, %10 ]
%19 = phi i16 [ %68, %67 ], [ %12, %10 ]
%20 = phi i16 [ %69, %67 ], [ 0, %10 ]
%21 = sext i8 %18 to i32
%22 = icmp ne i8 %18, 45
%23 = icmp ne i16 %19, 0
%24 = select i1 %22, i1 true, i1 %23
br i1 %24, label %28, label %25
25: ; preds = %17
%26 = tail call i32 @putchar(i32 45)
%27 = add i16 %20, 1
br label %67
28: ; preds = %17
%29 = icmp eq i8 %18, 8
%30 = icmp ne i16 %20, 0
%31 = select i1 %29, i1 %30, i1 false
br i1 %31, label %32, label %42
32: ; preds = %28
%33 = icmp eq i16 %20, 1
%34 = select i1 %23, i1 %33, i1 false
br i1 %34, label %38, label %35
35: ; preds = %32
%36 = load i64, i64* %2
%37 = sdiv i64 %36, 10
store i64 %37, i64* %2
br label %38
38: ; preds = %32, %35
%39 = phi i16 [ %19, %35 ], [ 0, %32 ]
%40 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32 8, i32 8)
%41 = add i16 %20, -1
br label %67
42: ; preds = %28
switch i8 %18, label %49 [
i8 27, label %43
i8 10, label %45
]
43: ; preds = %42
%44 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str, i64 0, i64 0))
br label %80
45: ; preds = %42
%46 = tail call i32 @putchar(i32 10)
%47 = icmp eq i16 %19, 0
%48 = load i64, i64* %2
br i1 %47, label %75, label %73
49: ; preds = %42
%50 = add i8 %18, -48
%51 = icmp ult i8 %50, 10
br i1 %51, label %52, label %67
52: ; preds = %49
%53 = sext i16 %20 to i32
%54 = icmp eq i16 %20, 0
br i1 %54, label %55, label %56
55: ; preds = %52
store i64 0, i64* %2
br label %56
56: ; preds = %55, %52
%57 = icmp slt i32 %53, %1
br i1 %57, label %58, label %67
58: ; preds = %56
%59 = tail call i32 @putchar(i32 %21)
%60 = zext i8 %18 to i64
%61 = add nuw nsw i64 %60, 65488
%62 = load i64, i64* %2
%63 = mul nsw i64 %62, 10
%64 = and i64 %61, 65535
%65 = add nsw i64 %63, %64
store i64 %65, i64* %2
%66 = add i16 %20, 1
br label %67
67: ; preds = %25, %38, %49, %58, %56
%68 = phi i16 [ %19, %58 ], [ %19, %56 ], [ %19, %49 ], [ 1, %25 ], [ %39, %38 ]
%69 = phi i16 [ %66, %58 ], [ %20, %56 ], [ %20, %49 ], [ %27, %25 ], [ %41, %38 ]
%70 = tail call signext i8 (...) @getkeystroke()
%71 = tail call i64 (...) @key_abort()
%72 = icmp eq i64 %71, 0
br i1 %72, label %17, label %80
73: ; preds = %45
%74 = sub nsw i64 0, %48
store i64 %74, i64* %2
br label %75
75: ; preds = %45, %73
%76 = phi i64 [ %74, %73 ], [ %48, %45 ]
%77 = icmp slt i64 %76, %3
%78 = icmp sgt i64 %76, %4
%79 = or i1 %77, %78
br i1 %79, label %10, label %80
80: ; preds = %75, %10, %67, %5, %43
%81 = phi i32 [ 0, %43 ], [ 0, %5 ], [ 0, %67 ], [ 0, %10 ], [ 1, %75 ]
ret i32 %81
}