#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*/ enprintf(int, char *);
int /*<<< orphan*/ isdigit(char);
int strcmp(char *, char *);
scalar_t__ strlen(char *);
int intcmp(char *a, char *b) {
  char *s;
  int asign = *a == '-' ? -1 : 1;
  int bsign = *b == '-' ? -1 : 1;
  if (*a == '-' || *a == '+')
    a += 1;
  if (*b == '-' || *b == '+')
    b += 1;
  if (!*a || !*b)
    goto noint;
  for (s = a; *s; s++)
    if (!isdigit(*s))
      goto noint;
  for (s = b; *s; s++)
    if (!isdigit(*s))
      goto noint;
  while (*a == '0')
    a++;
  while (*b == '0')
    b++;
  asign *= !!*a;
  bsign *= !!*b;
  if (asign != bsign)
    return asign < bsign ? -1 : 1;
  else if (strlen(a) != strlen(b))
    return asign * (strlen(a) < strlen(b) ? -1 : 1);
  else
    return asign * strcmp(a, b);
noint:
  enprintf(2, "expected integer operands\n");
  return 0;
}


x86 assembly (clang, -O0):
<intcmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x2d,%edx
cmove  %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x2d,%edx
cmove  %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     11a4 <intcmp+0x64>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    11b0 <intcmp+0x70>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     11d0 <intcmp+0x90>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    11dc <intcmp+0x9c>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11f6 <intcmp+0xb6>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11fb <intcmp+0xbb>
jmp    13b8 <intcmp+0x278>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     1240 <intcmp+0x100>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    122a <intcmp+0xea>
jmp    13b8 <intcmp+0x278>
jmp    122f <intcmp+0xef>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1203 <intcmp+0xc3>
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     1285 <intcmp+0x145>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    126f <intcmp+0x12f>
jmp    13b8 <intcmp+0x278>
jmp    1274 <intcmp+0x134>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1248 <intcmp+0x108>
jmp    128a <intcmp+0x14a>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    12ab <intcmp+0x16b>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    128a <intcmp+0x14a>
jmp    12b0 <intcmp+0x170>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    12d1 <intcmp+0x191>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    12b0 <intcmp+0x170>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
setne  %al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
setne  %al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
je     132e <intcmp+0x1ee>
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%esi
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovl  %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    13d0 <intcmp+0x290>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,%rcx
mov    -0x30(%rbp),%rax
cmp    %rcx,%rax
je     1395 <intcmp+0x255>
mov    -0x24(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x40(%rbp),%rsi
mov    %rax,%rdi
mov    -0x34(%rbp),%eax
mov    $0x1,%ecx
mov    $0xffffffff,%edx
cmp    %rdi,%rsi
cmovl  %edx,%ecx
imul   %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    13d0 <intcmp+0x290>
mov    -0x24(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <strcmp@plt>
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    13d0 <intcmp+0x290>
mov    $0x2,%edi
lea    0xc3c(%rip),%rsi
call   1060 <enprintf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<intcmp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r15
mov    %rdi,%r14
mov    (%rdi),%r12b
mov    (%rsi),%r13b
lea    -0x2b(%r12),%eax
xor    %ebx,%ebx
test   $0xfd,%al
sete   %bl
cmp    $0x2d,%r13b
je     116f <intcmp+0x2f>
cmp    $0x2b,%r13b
jne    1173 <intcmp+0x33>
add    $0x1,%r15
mov    (%r14,%rbx,1),%al
test   %al,%al
je     126e <intcmp+0x12e>
cmpb   $0x0,(%r15)
je     126e <intcmp+0x12e>
lea    (%rbx,%r14,1),%rbp
add    $0x1,%rbp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %eax,%eax
je     126e <intcmp+0x12e>
movzbl 0x0(%rbp),%eax
add    $0x1,%rbp
test   %al,%al
jne    11a0 <intcmp+0x60>
mov    (%r15),%al
test   %al,%al
je     11ec <intcmp+0xac>
lea    0x1(%r15),%rbp
nopw   0x0(%rax,%rax,1)
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %eax,%eax
je     126e <intcmp+0x12e>
movzbl 0x0(%rbp),%eax
add    $0x1,%rbp
test   %al,%al
jne    11d0 <intcmp+0x90>
add    %r14,%rbx
add    $0xffffffffffffffff,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
cmp    $0x30,%al
je     1200 <intcmp+0xc0>
add    $0xffffffffffffffff,%r15
movzbl 0x1(%r15),%ecx
add    $0x1,%r15
cmp    $0x30,%cl
je     1210 <intcmp+0xd0>
xor    %edx,%edx
test   %al,%al
setne  %dl
mov    %edx,%ebp
neg    %ebp
cmp    $0x2d,%r12b
cmovne %edx,%ebp
xor    %eax,%eax
test   %cl,%cl
setne  %al
mov    %eax,%ecx
neg    %ecx
cmp    $0x2d,%r13b
cmovne %eax,%ecx
cmp    %ecx,%ebp
jne    1290 <intcmp+0x150>
mov    %rbx,%rdi
call   1040 <strlen@plt>
mov    %rax,%r14
mov    %r15,%rdi
call   1040 <strlen@plt>
cmp    %rax,%r14
jne    129d <intcmp+0x15d>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1050 <strcmp@plt>
imul   %ebp,%eax
jmp    1281 <intcmp+0x141>
lea    0xd8b(%rip),%rsi
mov    $0x2,%edi
call   1060 <enprintf@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
setge  %al
movzbl %al,%eax
add    %eax,%eax
add    $0xffffffff,%eax
jmp    1281 <intcmp+0x141>
mov    %rax,%rcx
mov    %ebp,%eax
neg    %eax
cmp    %rcx,%r14
cmovge %ebp,%eax
jmp    1281 <intcmp+0x141>

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

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