#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__ isdigit(char);
char *backtrack_number(char *buf, const char *beg) {
  if (*buf == ' ')
    ++buf;
  else if (*buf == '.') {
    if (buf > beg && (buf[-1] == '-' || buf[-1] == '+'))
      --buf;
  } else if (isdigit(*buf)) {
    if (buf > beg && buf[-1] == '.')
      --buf;
    if (buf > beg && (buf[-1] == '-' || buf[-1] == '+'))
      --buf;
  }
  return buf;
}


x86 assembly (clang, -O0):
<backtrack_number>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x20,%eax
jne    1141 <backtrack_number+0x31>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    121e <backtrack_number+0x10e>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1192 <backtrack_number+0x82>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    118d <backtrack_number+0x7d>
mov    -0x8(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2d,%eax
je     1181 <backtrack_number+0x71>
mov    -0x8(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2b,%eax
jne    118d <backtrack_number+0x7d>
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    1219 <backtrack_number+0x109>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1214 <backtrack_number+0x104>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    11d3 <backtrack_number+0xc3>
mov    -0x8(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2e,%eax
jne    11d3 <backtrack_number+0xc3>
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    120f <backtrack_number+0xff>
mov    -0x8(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2d,%eax
je     1203 <backtrack_number+0xf3>
mov    -0x8(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2b,%eax
jne    120f <backtrack_number+0xff>
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    1214 <backtrack_number+0x104>
jmp    1219 <backtrack_number+0x109>
jmp    121e <backtrack_number+0x10e>
mov    -0x8(%rbp),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<backtrack_number>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
mov    (%rdi),%al
cmp    $0x2e,%al
je     112a <backtrack_number+0x1a>
cmp    $0x20,%al
jne    1145 <backtrack_number+0x35>
add    $0x1,%rbx
jmp    1177 <backtrack_number+0x67>
cmp    %r14,%rbx
jbe    1177 <backtrack_number+0x67>
lea    -0x1(%rbx),%rax
mov    -0x1(%rbx),%cl
cmp    $0x2d,%cl
je     1140 <backtrack_number+0x30>
cmp    $0x2b,%cl
jne    1177 <backtrack_number+0x67>
mov    %rax,%rbx
jmp    1177 <backtrack_number+0x67>
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     1177 <backtrack_number+0x67>
cmp    %r14,%rbx
jbe    1163 <backtrack_number+0x53>
lea    -0x1(%rbx),%rax
cmpb   $0x2e,-0x1(%rbx)
cmove  %rax,%rbx
cmp    %r14,%rbx
jbe    1177 <backtrack_number+0x67>
mov    -0x1(%rbx),%al
cmp    $0x2d,%al
je     1173 <backtrack_number+0x63>
cmp    $0x2b,%al
jne    1177 <backtrack_number+0x67>
add    $0xffffffffffffffff,%rbx
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i8* @backtrack_number(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
store i8* %1, i8** %4
%5 = load i8*, i8** %3
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp eq i32 %7, 32
br i1 %8, label %9, label %12
9: ; preds = %2
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i32 1
store i8* %11, i8** %3
br label %77
12: ; preds = %2
%13 = load i8*, i8** %3
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp eq i32 %15, 46
br i1 %16, label %17, label %37
17: ; preds = %12
%18 = load i8*, i8** %3
%19 = load i8*, i8** %4
%20 = icmp ugt i8* %18, %19
br i1 %20, label %21, label %36
21: ; preds = %17
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i64 -1
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, 45
br i1 %26, label %33, label %27
27: ; preds = %21
%28 = load i8*, i8** %3
%29 = getelementptr inbounds i8, i8* %28, i64 -1
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = icmp eq i32 %31, 43
br i1 %32, label %33, label %36
33: ; preds = %27, %21
%34 = load i8*, i8** %3
%35 = getelementptr inbounds i8, i8* %34, i32 -1
store i8* %35, i8** %3
br label %36
36: ; preds = %33, %27, %17
br label %76
37: ; preds = %12
%38 = load i8*, i8** %3
%39 = load i8, i8* %38
%40 = call i64 @isdigit(i8 signext %39)
%41 = icmp ne i64 %40, 0
br i1 %41, label %42, label %75
42: ; preds = %37
%43 = load i8*, i8** %3
%44 = load i8*, i8** %4
%45 = icmp ugt i8* %43, %44
br i1 %45, label %46, label %55
46: ; preds = %42
%47 = load i8*, i8** %3
%48 = getelementptr inbounds i8, i8* %47, i64 -1
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp eq i32 %50, 46
br i1 %51, label %52, label %55
52: ; preds = %46
%53 = load i8*, i8** %3
%54 = getelementptr inbounds i8, i8* %53, i32 -1
store i8* %54, i8** %3
br label %55
55: ; preds = %52, %46, %42
%56 = load i8*, i8** %3
%57 = load i8*, i8** %4
%58 = icmp ugt i8* %56, %57
br i1 %58, label %59, label %74
59: ; preds = %55
%60 = load i8*, i8** %3
%61 = getelementptr inbounds i8, i8* %60, i64 -1
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 45
br i1 %64, label %71, label %65
65: ; preds = %59
%66 = load i8*, i8** %3
%67 = getelementptr inbounds i8, i8* %66, i64 -1
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 43
br i1 %70, label %71, label %74
71: ; preds = %65, %59
%72 = load i8*, i8** %3
%73 = getelementptr inbounds i8, i8* %72, i32 -1
store i8* %73, i8** %3
br label %74
74: ; preds = %71, %65, %55
br label %75
75: ; preds = %74, %37
br label %76
76: ; preds = %75, %36
br label %77
77: ; preds = %76, %9
%78 = load i8*, i8** %3
ret i8* %78
}

LLVM IR (-O2):
define i8* @backtrack_number(i8* %0, i8* readnone %1) {
%3 = load i8, i8* %0
switch i8 %3, label %12 [
i8 32, label %4
i8 46, label %6
]
4: ; preds = %2
%5 = getelementptr inbounds i8, i8* %0, i64 1
br label %29
6: ; preds = %2
%7 = icmp ugt i8* %0, %1
br i1 %7, label %8, label %29
8: ; preds = %6
%9 = getelementptr inbounds i8, i8* %0, i64 -1
%10 = load i8, i8* %9
switch i8 %10, label %29 [
i8 45, label %11
i8 43, label %11
]
11: ; preds = %8, %8
br label %29
12: ; preds = %2
%13 = tail call i64 @isdigit(i8 signext %3)
%14 = icmp eq i64 %13, 0
br i1 %14, label %29, label %15
15: ; preds = %12
%16 = icmp ugt i8* %0, %1
br i1 %16, label %17, label %22
17: ; preds = %15
%18 = getelementptr inbounds i8, i8* %0, i64 -1
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 46
%21 = select i1 %20, i8* %18, i8* %0
br label %22
22: ; preds = %17, %15
%23 = phi i8* [ %0, %15 ], [ %21, %17 ]
%24 = icmp ugt i8* %23, %1
br i1 %24, label %25, label %29
25: ; preds = %22
%26 = getelementptr inbounds i8, i8* %23, i64 -1
%27 = load i8, i8* %26
switch i8 %27, label %29 [
i8 45, label %28
i8 43, label %28
]
28: ; preds = %25, %25
br label %29
29: ; preds = %25, %8, %11, %6, %22, %28, %12, %4
%30 = phi i8* [ %5, %4 ], [ %9, %11 ], [ %0, %6 ], [ %26, %28 ], [ %23, %22 ], [ %0, %12 ], [ %0, %8 ], [ %23, %25 ]
ret i8* %30
}