#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 *end_of_token(int /*<<< orphan*/);
int /*<<< orphan*/ next_token(char const *);
unsigned int strlen(char const *);
char *strstr(char const *, char const *);
char *variable_buffer_output(char *, char const *, unsigned int);
char *subst_expand(char *o, const char *text, const char *subst,
                   const char *replace, unsigned int slen, unsigned int rlen,
                   int by_word) {
  const char *t = text;
  const char *p;
  if (slen == 0 && !by_word) {
    o = variable_buffer_output(o, t, strlen(t));
    if (rlen > 0)
      o = variable_buffer_output(o, replace, rlen);
    return o;
  }
  do {
    if (by_word && slen == 0)
      p = end_of_token(next_token(t));
    else {
      p = strstr(t, subst);
      if (p == 0) {
        o = variable_buffer_output(o, t, strlen(t));
        return o;
      }
    }
    if (p > t)
      o = variable_buffer_output(o, t, p - t);
    if (by_word && ((p > text && !(((unsigned char)p[-1]) == ' ' ||
                                   ((unsigned char)p[-1]) == '\t')) ||
                    (p[slen] != '\0' && !(((unsigned char)p[slen]) == ' ' ||
                                          ((unsigned char)p[slen]) == '\t'))))
      o = variable_buffer_output(o, subst, slen);
    else if (rlen > 0)
      o = variable_buffer_output(o, replace, rlen);
    t = p + slen;
  } while (*t != '\0');
  return o;
}


x86 assembly (clang, -O0):
<subst_expand>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    %r9d,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    11e6 <subst_expand+0x96>
cmpl   $0x0,0x10(%rbp)
jne    11e6 <subst_expand+0x96>
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x50(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    %eax,%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x30(%rbp)
jbe    11d9 <subst_expand+0x89>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1376 <subst_expand+0x226>
jmp    11eb <subst_expand+0x9b>
cmpl   $0x0,0x10(%rbp)
je     1218 <subst_expand+0xc8>
cmpl   $0x0,-0x2c(%rbp)
jne    1218 <subst_expand+0xc8>
mov    -0x38(%rbp),%rdi
call   1040 <next_token@plt>
mov    %eax,%edi
call   1060 <end_of_token@plt>
mov    %rax,-0x40(%rbp)
jmp    1272 <subst_expand+0x122>
mov    -0x38(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
jne    126d <subst_expand+0x11d>
mov    -0x10(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x60(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    %eax,%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1376 <subst_expand+0x226>
jmp    1272 <subst_expand+0x122>
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    129e <subst_expand+0x14e>
mov    -0x10(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x40(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
cmpl   $0x0,0x10(%rbp)
je     132d <subst_expand+0x1dd>
mov    -0x40(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    12d8 <subst_expand+0x188>
mov    -0x40(%rbp),%rax
movzbl -0x1(%rax),%eax
cmp    $0x20,%eax
je     12d8 <subst_expand+0x188>
mov    -0x40(%rbp),%rax
movzbl -0x1(%rax),%eax
cmp    $0x9,%eax
jne    1314 <subst_expand+0x1c4>
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     132d <subst_expand+0x1dd>
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     132d <subst_expand+0x1dd>
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
je     132d <subst_expand+0x1dd>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x2c(%rbp),%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
jmp    1350 <subst_expand+0x200>
cmpl   $0x0,-0x30(%rbp)
jbe    134b <subst_expand+0x1fb>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,-0x10(%rbp)
jmp    1350 <subst_expand+0x200>
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11eb <subst_expand+0x9b>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subst_expand>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,%ebp
mov    %rcx,0x10(%rsp)
mov    %rdx,0x18(%rsp)
mov    %rsi,%r15
mov    %rdi,%rbx
mov    0x60(%rsp),%r14d
mov    %r14d,%eax
or     %r8d,%eax
je     127c <subst_expand+0x12c>
mov    %ebp,0xc(%rsp)
test   %r14d,%r14d
setne  %al
test   %r8d,%r8d
sete   %r13b
and    %al,%r13b
mov    %r8d,0x8(%rsp)
mov    %r8d,%ebp
mov    %r15,0x20(%rsp)
jmp    11d3 <subst_expand+0x83>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbx,%rdi
mov    0x18(%rsp),%rsi
mov    0x8(%rsp),%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,%rbx
lea    (%r12,%rbp,1),%r15
cmpb   $0x0,(%r12,%rbp,1)
je     12a4 <subst_expand+0x154>
mov    %r15,%rdi
test   %r13b,%r13b
je     11f0 <subst_expand+0xa0>
call   1040 <next_token@plt>
mov    %eax,%edi
call   1060 <end_of_token@plt>
mov    %rax,%r12
jmp    1206 <subst_expand+0xb6>
nopl   0x0(%rax)
mov    0x18(%rsp),%rsi
call   1070 <strstr@plt>
mov    %rax,%r12
test   %rax,%rax
je     12b6 <subst_expand+0x166>
cmp    %r15,%r12
jbe    121f <subst_expand+0xcf>
mov    %r12d,%edx
sub    %r15d,%edx
mov    %rbx,%rdi
mov    %r15,%rsi
call   1050 <variable_buffer_output@plt>
mov    %rax,%rbx
test   %r14d,%r14d
je     1263 <subst_expand+0x113>
cmp    0x20(%rsp),%r12
jbe    1240 <subst_expand+0xf0>
movzbl -0x1(%r12),%eax
cmp    $0x20,%al
je     1240 <subst_expand+0xf0>
cmp    $0x9,%al
jne    11b0 <subst_expand+0x60>
nopl   (%rax)
movzbl (%r12,%rbp,1),%eax
cmp    $0x20,%rax
ja     11b0 <subst_expand+0x60>
movabs $0x100000201,%rcx
bt     %rax,%rcx
jae    11b0 <subst_expand+0x60>
mov    0xc(%rsp),%edx
test   %edx,%edx
je     11c4 <subst_expand+0x74>
mov    %rbx,%rdi
mov    0x10(%rsp),%rsi
jmp    11bc <subst_expand+0x6c>
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %eax,%edx
call   1050 <variable_buffer_output@plt>
mov    %rax,%rbx
test   %ebp,%ebp
je     12a4 <subst_expand+0x154>
mov    %rbx,%rdi
mov    0x10(%rsp),%rsi
mov    %ebp,%edx
jmp    12c6 <subst_expand+0x176>
mov    %rbx,%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %eax,%edx
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <variable_buffer_output@plt>

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

LLVM IR (-O2):
define i8* @subst_expand(i8* %0, i8* %1, i8* %2, i8* %3, i32 %4, i32 %5, i32 %6) {
%8 = icmp ne i32 %6, 0
%9 = or i32 %6, %4
%10 = icmp eq i32 %9, 0
br i1 %10, label %16, label %11
11: ; preds = %7
%12 = icmp eq i32 %4, 0
%13 = and i1 %12, %8
%14 = zext i32 %4 to i64
%15 = icmp eq i32 %5, 0
br label %22
16: ; preds = %7
%17 = tail call i32 @strlen(i8* %1)
%18 = tail call i8* @variable_buffer_output(i8* %0, i8* %1, i32 %17)
%19 = icmp eq i32 %5, 0
br i1 %19, label %63, label %20
20: ; preds = %16
%21 = tail call i8* @variable_buffer_output(i8* %18, i8* %3, i32 %5)
br label %63
22: ; preds = %11, %58
%23 = phi i8* [ %59, %58 ], [ %0, %11 ]
%24 = phi i8* [ %60, %58 ], [ %1, %11 ]
br i1 %13, label %25, label %28
25: ; preds = %22
%26 = tail call i32 @next_token(i8* %24)
%27 = tail call i8* @end_of_token(i32 %26)
br label %34
28: ; preds = %22
%29 = tail call i8* @strstr(i8* dereferenceable(1) %24, i8* dereferenceable(1) %2)
%30 = icmp eq i8* %29, null
br i1 %30, label %31, label %34
31: ; preds = %28
%32 = tail call i32 @strlen(i8* %24)
%33 = tail call i8* @variable_buffer_output(i8* %23, i8* %24, i32 %32)
br label %63
34: ; preds = %28, %25
%35 = phi i8* [ %27, %25 ], [ %29, %28 ]
%36 = icmp ugt i8* %35, %24
br i1 %36, label %37, label %43
37: ; preds = %34
%38 = ptrtoint i8* %35 to i64
%39 = ptrtoint i8* %24 to i64
%40 = sub i64 %38, %39
%41 = trunc i64 %40 to i32
%42 = tail call i8* @variable_buffer_output(i8* %23, i8* %24, i32 %41)
br label %43
43: ; preds = %37, %34
%44 = phi i8* [ %42, %37 ], [ %23, %34 ]
br i1 %8, label %45, label %55
45: ; preds = %43
%46 = icmp ugt i8* %35, %1
br i1 %46, label %47, label %50
47: ; preds = %45
%48 = getelementptr inbounds i8, i8* %35, i64 -1
%49 = load i8, i8* %48
switch i8 %49, label %53 [
i8 32, label %50
i8 9, label %50
]
50: ; preds = %47, %47, %45
%51 = getelementptr inbounds i8, i8* %35, i64 %14
%52 = load i8, i8* %51
switch i8 %52, label %53 [
i8 0, label %55
i8 32, label %55
i8 9, label %55
]
53: ; preds = %50, %47
%54 = tail call i8* @variable_buffer_output(i8* %44, i8* %2, i32 %4)
br label %58
55: ; preds = %50, %50, %50, %43
br i1 %15, label %58, label %56
56: ; preds = %55
%57 = tail call i8* @variable_buffer_output(i8* %44, i8* %3, i32 %5)
br label %58
58: ; preds = %55, %56, %53
%59 = phi i8* [ %57, %56 ], [ %44, %55 ], [ %54, %53 ]
%60 = getelementptr inbounds i8, i8* %35, i64 %14
%61 = load i8, i8* %60
%62 = icmp eq i8 %61, 0
br i1 %62, label %63, label %22
63: ; preds = %58, %16, %20, %31
%64 = phi i8* [ %33, %31 ], [ %21, %20 ], [ %18, %16 ], [ %59, %58 ]
ret i8* %64
}