#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 */
scalar_t__ 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 = (char)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    %r13d,%r13d
lea    0xe61(%rip),%rdi
mov    0x10(%rsp),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
xor    %eax,%eax
call   1050 <getkeystroke@plt>
mov    %rax,%r14
xor    %eax,%eax
call   1070 <key_abort@plt>
test   %rax,%rax
jne    1330 <EnterNum+0x1e0>
xor    %r12d,%r12d
jmp    11fc <EnterNum+0xac>
nopw   0x0(%rax,%rax,1)
mov    $0x2d,%edi
call   1030 <putchar@plt>
add    $0x1,%r12d
mov    $0x1,%r13w
xor    %r15d,%r15d
xor    %eax,%eax
call   1050 <getkeystroke@plt>
mov    %rax,%r14
xor    %eax,%eax
call   1070 <key_abort@plt>
test   %rax,%rax
jne    1180 <EnterNum+0x30>
mov    %r14d,%eax
shl    $0x18,%eax
cmp    $0x2d000000,%eax
jne    120f <EnterNum+0xbf>
test   %r13w,%r13w
je     11d0 <EnterNum+0x80>
cmp    $0x8000000,%eax
jne    1240 <EnterNum+0xf0>
test   %r12w,%r12w
je     1240 <EnterNum+0xf0>
test   %r13w,%r13w
je     12ac <EnterNum+0x15c>
cmp    $0x1,%r12w
jne    12ac <EnterNum+0x15c>
xor    %r13d,%r13d
jmp    12ca <EnterNum+0x17a>
nopl   0x0(%rax)
cmp    $0xa000000,%eax
je     12eb <EnterNum+0x19b>
cmp    $0x1b000000,%eax
je     1324 <EnterNum+0x1d4>
add    $0xd0ffffff,%eax
cmp    $0xafffffe,%eax
ja     11e3 <EnterNum+0x93>
test   %r12w,%r12w
jne    126f <EnterNum+0x11f>
movq   $0x0,(%rbx)
movswl %r12w,%eax
cmp    %ebp,%eax
jge    11e3 <EnterNum+0x93>
mov    %ebp,%r15d
movsbl %r14b,%ebp
mov    %ebp,%edi
call   1030 <putchar@plt>
mov    (%rbx),%rax
lea    (%rax,%rax,4),%rax
add    $0xffd0,%ebp
movzwl %bp,%ecx
mov    %r15d,%ebp
lea    (%rcx,%rax,2),%rax
mov    %rax,(%rbx)
add    $0x1,%r12d
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    0xd3a(%rip),%rdi
mov    $0x8,%esi
mov    $0x8,%edx
xor    %eax,%eax
call   1060 <printf@plt>
add    $0xffffffff,%r12d
jmp    11e3 <EnterNum+0x93>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    (%rbx),%rdx
test   %r13w,%r13w
je     1304 <EnterNum+0x1b4>
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    0xce6(%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 %146
19: ; preds = %5
br label %20
20: ; preds = %143, %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 = %123, %20
%26 = call i64 (...) @getkeystroke()
%27 = trunc i64 %26 to i8
store i8 %27, i8* %15
%28 = call i64 (...) @key_abort()
%29 = icmp ne i64 %28, 0
br i1 %29, label %30, label %31
30: ; preds = %25
store i32 0, i32* %6
br label %146
31: ; preds = %25
%32 = load i8, i8* %15
%33 = sext i8 %32 to i32
%34 = icmp eq i32 %33, 45
br i1 %34, label %35, label %43
35: ; preds = %31
%36 = load i16, i16* %14
%37 = icmp ne i16 %36, 0
br i1 %37, label %42, label %38
38: ; preds = %35
store i16 1, i16* %14
%39 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%40 = load i16, i16* %13
%41 = add i16 %40, 1
store i16 %41, i16* %13
br label %42
42: ; preds = %38, %35
br label %43
43: ; preds = %42, %31
%44 = load i8, i8* %15
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 8
br i1 %46, label %47, label %72
47: ; preds = %43
%48 = load i16, i16* %13
%49 = icmp ne i16 %48, 0
br i1 %49, label %50, label %71
50: ; preds = %47
%51 = load i16, i16* %14
%52 = sext i16 %51 to i32
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %59
54: ; preds = %50
%55 = load i16, i16* %13
%56 = sext i16 %55 to i32
%57 = icmp eq i32 %56, 1
br i1 %57, label %58, label %59
58: ; preds = %54
store i16 0, i16* %14
br label %63
59: ; preds = %54, %50
%60 = load i64*, i64** %9
%61 = load i64, i64* %60
%62 = sdiv i64 %61, 10
store i64 %62, i64* %60
br label %63
63: ; preds = %59, %58
%64 = load i8, i8* %15
%65 = sext i8 %64 to i32
%66 = load i8, i8* %15
%67 = sext i8 %66 to i32
%68 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32 %65, i32 %67)
%69 = load i16, i16* %13
%70 = add i16 %69, -1
store i16 %70, i16* %13
br label %71
71: ; preds = %63, %47
br label %72
72: ; preds = %71, %43
%73 = load i8, i8* %15
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 27
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = 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 %146
78: ; preds = %72
%79 = load i8, i8* %15
%80 = sext i8 %79 to i32
%81 = icmp eq i32 %80, 10
br i1 %81, label %82, label %84
82: ; preds = %78
%83 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0))
br label %124
84: ; preds = %78
%85 = load i8, i8* %15
%86 = sext i8 %85 to i32
%87 = icmp sge i32 %86, 48
br i1 %87, label %88, label %122
88: ; preds = %84
%89 = load i8, i8* %15
%90 = sext i8 %89 to i32
%91 = icmp sle i32 %90, 57
br i1 %91, label %92, label %122
92: ; preds = %88
%93 = load i16, i16* %13
%94 = sext i16 %93 to i32
%95 = icmp eq i32 %94, 0
br i1 %95, label %96, label %98
96: ; preds = %92
%97 = load i64*, i64** %9
store i64 0, i64* %97
br label %98
98: ; preds = %96, %92
%99 = load i16, i16* %13
%100 = sext i16 %99 to i32
%101 = load i32, i32* %8
%102 = icmp slt i32 %100, %101
br i1 %102, label %103, label %121
103: ; preds = %98
%104 = load i8, i8* %15
%105 = sext i8 %104 to i32
%106 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0), i32 %105)
%107 = load i8, i8* %15
%108 = sext i8 %107 to i32
%109 = sub nsw i32 %108, 48
%110 = trunc i32 %109 to i16
store i16 %110, i16* %12
%111 = load i64*, i64** %9
%112 = load i64, i64* %111
%113 = mul nsw i64 %112, 10
store i64 %113, i64* %111
%114 = load i16, i16* %12
%115 = sext i16 %114 to i64
%116 = load i64*, i64** %9
%117 = load i64, i64* %116
%118 = add nsw i64 %117, %115
store i64 %118, i64* %116
%119 = load i16, i16* %13
%120 = add i16 %119, 1
store i16 %120, i16* %13
br label %121
121: ; preds = %103, %98
br label %122
122: ; preds = %121, %88, %84
br label %123
123: ; preds = %122
br label %25
124: ; preds = %82
%125 = load i16, i16* %14
%126 = icmp ne i16 %125, 0
br i1 %126, label %127, label %132
127: ; preds = %124
%128 = load i64*, i64** %9
%129 = load i64, i64* %128
%130 = sub nsw i64 0, %129
%131 = load i64*, i64** %9
store i64 %130, i64* %131
br label %132
132: ; preds = %127, %124
br label %133
133: ; preds = %132
%134 = load i64*, i64** %9
%135 = load i64, i64* %134
%136 = load i64, i64* %10
%137 = icmp slt i64 %135, %136
br i1 %137, label %143, label %138
138: ; preds = %133
%139 = load i64*, i64** %9
%140 = load i64, i64* %139
%141 = load i64, i64* %11
%142 = icmp sgt i64 %140, %141
br label %143
143: ; preds = %138, %133
%144 = phi i1 [ true, %133 ], [ %142, %138 ]
br i1 %144, label %20, label %145
145: ; preds = %143
store i32 1, i32* %6
br label %146
146: ; preds = %145, %76, %30, %18
%147 = load i32, i32* %6
ret i32 %147
}

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 %82
8: ; preds = %5
%9 = load i64, i64* %2
br label %10
10: ; preds = %8, %77
%11 = phi i64 [ %78, %77 ], [ %9, %8 ]
%12 = phi i16 [ %19, %77 ], [ 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 i64 (...) @getkeystroke()
%15 = tail call i64 (...) @key_abort()
%16 = icmp eq i64 %15, 0
br i1 %16, label %17, label %82
17: ; preds = %10, %69
%18 = phi i64 [ %72, %69 ], [ %14, %10 ]
%19 = phi i16 [ %70, %69 ], [ %12, %10 ]
%20 = phi i16 [ %71, %69 ], [ 0, %10 ]
%21 = trunc i64 %18 to i32
%22 = shl i32 %21, 24
%23 = ashr exact i32 %22, 24
%24 = icmp ne i32 %22, 754974720
%25 = icmp ne i16 %19, 0
%26 = select i1 %24, i1 true, i1 %25
br i1 %26, label %30, label %27
27: ; preds = %17
%28 = tail call i32 @putchar(i32 45)
%29 = add i16 %20, 1
br label %69
30: ; preds = %17
%31 = icmp eq i32 %22, 134217728
%32 = icmp ne i16 %20, 0
%33 = select i1 %31, i1 %32, i1 false
br i1 %33, label %34, label %44
34: ; preds = %30
%35 = icmp eq i16 %20, 1
%36 = select i1 %25, i1 %35, i1 false
br i1 %36, label %40, label %37
37: ; preds = %34
%38 = load i64, i64* %2
%39 = sdiv i64 %38, 10
store i64 %39, i64* %2
br label %40
40: ; preds = %34, %37
%41 = phi i16 [ %19, %37 ], [ 0, %34 ]
%42 = 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)
%43 = add i16 %20, -1
br label %69
44: ; preds = %30
switch i32 %22, label %51 [
i32 452984832, label %45
i32 167772160, label %47
]
45: ; preds = %44
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str, i64 0, i64 0))
br label %82
47: ; preds = %44
%48 = tail call i32 @putchar(i32 10)
%49 = icmp eq i16 %19, 0
%50 = load i64, i64* %2
br i1 %49, label %77, label %75
51: ; preds = %44
%52 = add i32 %22, -788529153
%53 = icmp ult i32 %52, 184549375
br i1 %53, label %54, label %69
54: ; preds = %51
%55 = sext i16 %20 to i32
%56 = icmp eq i16 %20, 0
br i1 %56, label %57, label %58
57: ; preds = %54
store i64 0, i64* %2
br label %58
58: ; preds = %57, %54
%59 = icmp slt i32 %55, %1
br i1 %59, label %60, label %69
60: ; preds = %58
%61 = tail call i32 @putchar(i32 %23)
%62 = load i64, i64* %2
%63 = mul nsw i64 %62, 10
%64 = add nsw i32 %23, 65488
%65 = and i32 %64, 65535
%66 = zext i32 %65 to i64
%67 = add nsw i64 %63, %66
store i64 %67, i64* %2
%68 = add i16 %20, 1
br label %69
69: ; preds = %27, %40, %51, %60, %58
%70 = phi i16 [ %19, %60 ], [ %19, %58 ], [ %19, %51 ], [ 1, %27 ], [ %41, %40 ]
%71 = phi i16 [ %68, %60 ], [ %20, %58 ], [ %20, %51 ], [ %29, %27 ], [ %43, %40 ]
%72 = tail call i64 (...) @getkeystroke()
%73 = tail call i64 (...) @key_abort()
%74 = icmp eq i64 %73, 0
br i1 %74, label %17, label %82
75: ; preds = %47
%76 = sub nsw i64 0, %50
store i64 %76, i64* %2
br label %77
77: ; preds = %47, %75
%78 = phi i64 [ %76, %75 ], [ %50, %47 ]
%79 = icmp slt i64 %78, %3
%80 = icmp sgt i64 %78, %4
%81 = or i1 %79, %80
br i1 %81, label %10, label %82
82: ; preds = %77, %10, %69, %5, %45
%83 = phi i32 [ 0, %45 ], [ 0, %5 ], [ 0, %69 ], [ 0, %10 ], [ 1, %77 ]
ret i32 %83
}