#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__ anything_between(char *, int, int);
int find_next_digit_group(char *, int, int *, int *);
int /*<<< orphan*/ replace_segment(char *, int, int, char *);
int /*<<< orphan*/ sprintf(char *, char *, int);
int strlen(char *);
int value_of_digit_group(char *, int, int);
int combine_numeric_values_once(char *input) {
  int len, first_group, fs, fe, second_group, ss, se;
  int start = 0;
  int v1, v2, v3;
  char new_number[100];
  int changed_something = 0;
  len = strlen(input);
  do {
    first_group = find_next_digit_group(input, start, &fs, &fe);
    if (first_group < 0)
      return changed_something;
    second_group = find_next_digit_group(input, fe + 1, &ss, &se);
    if (second_group < 0)
      return changed_something;
    if (anything_between(input, fe, ss)) {
      start = se + 1;
      if (start > len)
        return changed_something;
      continue;
    }
    v1 = value_of_digit_group(input, fs, fe);
    v2 = value_of_digit_group(input, ss, se);
    if ((v2 % 1000) == 0 && v1 < v2) {
      v3 = v1 * v2;
    } else if ((v2 % 100) == 0 && v1 < v2) {
      v3 = v1 * v2;
    } else {
      v3 = v1 + v2;
    }
    sprintf(new_number, "%d", v3);
    replace_segment(input, fs, se, new_number);
    start = fs + strlen(new_number);
    changed_something = 1;
  } while (1);
}


x86 assembly (clang, -O0):
<combine_numeric_values_once>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0xa4(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%esi
lea    -0x1c(%rbp),%rdx
lea    -0x20(%rbp),%rcx
call   1060 <find_next_digit_group@plt>
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jge    11bb <combine_numeric_values_once+0x5b>
mov    -0xa4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1325 <combine_numeric_values_once+0x1c5>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
add    $0x1,%esi
lea    -0x28(%rbp),%rdx
lea    -0x2c(%rbp),%rcx
call   1060 <find_next_digit_group@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    11ed <combine_numeric_values_once+0x8d>
mov    -0xa4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1325 <combine_numeric_values_once+0x1c5>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x28(%rbp),%edx
call   1040 <anything_between@plt>
cmp    $0x0,%rax
je     122e <combine_numeric_values_once+0xce>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1229 <combine_numeric_values_once+0xc9>
mov    -0xa4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1325 <combine_numeric_values_once+0x1c5>
jmp    1316 <combine_numeric_values_once+0x1b6>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1030 <value_of_digit_group@plt>
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%esi
mov    -0x2c(%rbp),%edx
call   1030 <value_of_digit_group@plt>
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x3e8,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1281 <combine_numeric_values_once+0x121>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1281 <combine_numeric_values_once+0x121>
mov    -0x34(%rbp),%eax
imul   -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    12be <combine_numeric_values_once+0x15e>
mov    -0x38(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12b0 <combine_numeric_values_once+0x150>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12b0 <combine_numeric_values_once+0x150>
mov    -0x34(%rbp),%eax
imul   -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    12b9 <combine_numeric_values_once+0x159>
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    12be <combine_numeric_values_once+0x15e>
lea    -0xa0(%rbp),%rdi
mov    -0x3c(%rbp),%edx
lea    0xd31(%rip),%rsi
call   1070 <sprintf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x2c(%rbp),%edx
lea    -0xa0(%rbp),%rcx
call   1080 <replace_segment@plt>
mov    -0x1c(%rbp),%eax
mov    %eax,-0xa8(%rbp)
lea    -0xa0(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0xa8(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
movl   $0x1,-0xa4(%rbp)
mov    $0x1,%al
test   $0x1,%al
jne    118c <combine_numeric_values_once+0x2c>
jmp    1325 <combine_numeric_values_once+0x1c5>
mov    -0x4(%rbp),%eax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<combine_numeric_values_once>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rdi,%rbx
call   1050 <strlen@plt>
mov    %eax,%r14d
xor    %r12d,%r12d
lea    0x10(%rsp),%rdx
lea    0xc(%rsp),%rcx
mov    %rbx,%rdi
xor    %esi,%esi
call   1060 <find_next_digit_group@plt>
test   %eax,%eax
js     12da <combine_numeric_values_once+0x17a>
xor    %r12d,%r12d
lea    0x18(%rsp),%r15
lea    0x14(%rsp),%r13
lea    0x10(%rsp),%rbp
mov    %r14d,0x1c(%rsp)
jmp    1222 <combine_numeric_values_once+0xc2>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
imul   %ebp,%eax
lea    0x20(%rsp),%r12
mov    %r12,%rdi
lea    0xe2e(%rip),%rsi
mov    %eax,%edx
call   1070 <sprintf@plt>
mov    0x10(%rsp),%esi
mov    0x14(%rsp),%edx
mov    %rbx,%rdi
mov    %r12,%rcx
call   1080 <replace_segment@plt>
mov    0x10(%rsp),%ebp
mov    %r12,%rdi
call   1050 <strlen@plt>
mov    %eax,%esi
add    %ebp,%esi
mov    $0x1,%r12d
mov    %r14,%rbp
mov    0x1c(%rsp),%r14d
mov    %rbx,%rdi
mov    %rbp,%rdx
lea    0xc(%rsp),%rcx
call   1060 <find_next_digit_group@plt>
test   %eax,%eax
js     12da <combine_numeric_values_once+0x17a>
mov    0xc(%rsp),%esi
add    $0x1,%esi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r13,%rcx
call   1060 <find_next_digit_group@plt>
test   %eax,%eax
js     12da <combine_numeric_values_once+0x17a>
mov    0xc(%rsp),%esi
mov    0x18(%rsp),%edx
mov    %rbx,%rdi
call   1040 <anything_between@plt>
test   %rax,%rax
je     1270 <combine_numeric_values_once+0x110>
mov    0x14(%rsp),%esi
cmp    %r14d,%esi
jge    12da <combine_numeric_values_once+0x17a>
add    $0x1,%esi
jmp    120a <combine_numeric_values_once+0xaa>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %rbp,%r14
mov    0x10(%rsp),%esi
mov    0xc(%rsp),%edx
mov    %rbx,%rdi
call   1030 <value_of_digit_group@plt>
mov    %eax,%ebp
mov    0x18(%rsp),%esi
mov    0x14(%rsp),%edx
mov    %rbx,%rdi
call   1030 <value_of_digit_group@plt>
imul   $0x26e978d5,%eax,%ecx
add    $0x10624d8,%ecx
ror    $0x3,%ecx
cmp    $0x418936,%ecx
ja     12b4 <combine_numeric_values_once+0x154>
cmp    %eax,%ebp
jl     11c0 <combine_numeric_values_once+0x60>
imul   $0xc28f5c29,%eax,%ecx
add    $0x51eb850,%ecx
ror    $0x2,%ecx
cmp    $0x28f5c28,%ecx
ja     12d3 <combine_numeric_values_once+0x173>
cmp    %eax,%ebp
jl     11c0 <combine_numeric_values_once+0x60>
add    %ebp,%eax
jmp    11c3 <combine_numeric_values_once+0x63>
mov    %r12d,%eax
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
define i32 @combine_numeric_values_once(i8* %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [100 x i8]
%7 = bitcast i32* %2 to i8*
%8 = bitcast i32* %3 to i8*
%9 = bitcast i32* %4 to i8*
%10 = bitcast i32* %5 to i8*
%11 = getelementptr inbounds [100 x i8], [100 x i8]* %6, i64 0, i64 0
%12 = tail call i32 @strlen(i8* %0)
%13 = call i32 @find_next_digit_group(i8* %0, i32 0, i32* %2, i32* %3)
%14 = icmp slt i32 %13, 0
br i1 %14, label %65, label %15
15: ; preds = %1, %60
%16 = phi i32 [ %62, %60 ], [ 0, %1 ]
%17 = load i32, i32* %3
%18 = add nsw i32 %17, 1
%19 = call i32 @find_next_digit_group(i8* %0, i32 %18, i32* %4, i32* %5)
%20 = icmp slt i32 %19, 0
br i1 %20, label %65, label %21
21: ; preds = %15
%22 = load i32, i32* %3
%23 = load i32, i32* %4
%24 = call i64 @anything_between(i8* %0, i32 %22, i32 %23)
%25 = icmp eq i64 %24, 0
br i1 %25, label %30, label %26
26: ; preds = %21
%27 = load i32, i32* %5
%28 = add nsw i32 %27, 1
%29 = icmp slt i32 %27, %12
br i1 %29, label %60, label %65
30: ; preds = %21
%31 = load i32, i32* %2
%32 = load i32, i32* %3
%33 = call i32 @value_of_digit_group(i8* %0, i32 %31, i32 %32)
%34 = load i32, i32* %4
%35 = load i32, i32* %5
%36 = call i32 @value_of_digit_group(i8* %0, i32 %34, i32 %35)
%37 = srem i32 %36, 1000
%38 = icmp eq i32 %37, 0
%39 = icmp slt i32 %33, %36
%40 = select i1 %38, i1 %39, i1 false
br i1 %40, label %41, label %43
41: ; preds = %30
%42 = mul nsw i32 %36, %33
br label %51
43: ; preds = %30
%44 = srem i32 %36, 100
%45 = icmp eq i32 %44, 0
%46 = select i1 %45, i1 %39, i1 false
br i1 %46, label %47, label %49
47: ; preds = %43
%48 = mul nsw i32 %36, %33
br label %51
49: ; preds = %43
%50 = add nsw i32 %36, %33
br label %51
51: ; preds = %47, %49, %41
%52 = phi i32 [ %42, %41 ], [ %48, %47 ], [ %50, %49 ]
%53 = call i32 @sprintf(i8* %11, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %52)
%54 = load i32, i32* %2
%55 = load i32, i32* %5
%56 = call i32 @replace_segment(i8* %0, i32 %54, i32 %55, i8* %11)
%57 = load i32, i32* %2
%58 = call i32 @strlen(i8* %11)
%59 = add nsw i32 %58, %57
br label %60
60: ; preds = %26, %51
%61 = phi i32 [ %28, %26 ], [ %59, %51 ]
%62 = phi i32 [ %16, %26 ], [ 1, %51 ]
%63 = call i32 @find_next_digit_group(i8* %0, i32 %61, i32* %2, i32* %3)
%64 = icmp slt i32 %63, 0
br i1 %64, label %65, label %15
65: ; preds = %60, %15, %26, %1
%66 = phi i32 [ 0, %1 ], [ %16, %26 ], [ %16, %15 ], [ %62, %60 ]
ret i32 %66
}