#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 *malloc(int);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncmp(char *, char *, int);
char *string_replace(char *string, char **mappings) {
  char *newstring;
  if (!string)
    return NULL;
  {
    int oldlen = strlen(string);
    int newlen = oldlen;
    char *inpos = string;
    while (*inpos) {
      int match = 0;
      char **cmap = mappings;
      while (*cmap && !match) {
        if (!strncmp(inpos, *cmap, strlen(*cmap))) {
          inpos += strlen(*cmap);
          newlen += (strlen(*(cmap + 1)) - strlen(*(cmap)));
          match = 1;
        }
        cmap += 2;
      }
      if (!match)
        inpos++;
    }
    newstring = malloc(newlen + 1);
  }
  if (!newstring)
    return NULL;
  {
    char *inpos = string;
    char *outpos = newstring;
    while (*inpos) {
      int match = 0;
      char **cmap = mappings;
      while (*cmap && !match) {
        if (!strncmp(inpos, *cmap, strlen(*cmap))) {
          strcpy(outpos, *(cmap + 1));
          outpos += strlen(*(cmap + 1));
          inpos += strlen(*cmap);
          match = 1;
        }
        cmap += 2;
      }
      if (!match) {
        *(outpos++) = *(inpos++);
      }
    }
    *outpos = '\0';
  }
  return newstring;
}


x86 assembly (clang, -O0):
<string_replace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    116b <string_replace+0x2b>
movq   $0x0,-0x8(%rbp)
jmp    13e6 <string_replace+0x2a6>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     127f <string_replace+0x13f>
movl   $0x0,-0x34(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rcx
xor    %eax,%eax
cmpq   $0x0,(%rcx)
mov    %al,-0x61(%rbp)
je     11c0 <string_replace+0x80>
cmpl   $0x0,-0x34(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    11d0 <string_replace+0x90>
jmp    1264 <string_replace+0x124>
mov    -0x30(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x70(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    -0x78(%rbp),%rdi
mov    -0x70(%rbp),%rsi
mov    %eax,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%eax
jne    1253 <string_replace+0x113>
mov    -0x40(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x7c(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x7c(%rbp),%eax
sub    %ecx,%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x40(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x40(%rbp)
jmp    11a1 <string_replace+0x61>
cmpl   $0x0,-0x34(%rbp)
jne    127a <string_replace+0x13a>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1185 <string_replace+0x45>
mov    -0x28(%rbp),%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    12a6 <string_replace+0x166>
movq   $0x0,-0x8(%rbp)
jmp    13e6 <string_replace+0x2a6>
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
cmpb   $0x0,(%rax)
je     13d7 <string_replace+0x297>
movl   $0x0,-0x54(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rcx
xor    %eax,%eax
cmpq   $0x0,(%rcx)
mov    %al,-0x7d(%rbp)
je     12f1 <string_replace+0x1b1>
cmpl   $0x0,-0x54(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x7d(%rbp)
mov    -0x7d(%rbp),%al
test   $0x1,%al
jne    1301 <string_replace+0x1c1>
jmp    13a6 <string_replace+0x266>
mov    -0x48(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x60(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x88(%rbp)
mov    -0x60(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    -0x90(%rbp),%rdi
mov    -0x88(%rbp),%rsi
mov    %eax,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%eax
jne    1395 <string_replace+0x255>
mov    -0x50(%rbp),%rdi
mov    -0x60(%rbp),%rax
mov    0x8(%rax),%rsi
call   1040 <strcpy@plt>
mov    -0x60(%rbp),%rax
mov    0x8(%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x60(%rbp),%rax
mov    (%rax),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
movl   $0x1,-0x54(%rbp)
mov    -0x60(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x60(%rbp)
jmp    12d2 <string_replace+0x192>
cmpl   $0x0,-0x54(%rbp)
jne    13d2 <string_replace+0x292>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cl
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x50(%rbp)
mov    %cl,(%rax)
jmp    12b6 <string_replace+0x176>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<string_replace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     12b8 <string_replace+0x178>
mov    %rsi,%r15
mov    %rdi,%r12
call   1050 <strlen@plt>
mov    %eax,(%rsp)
cmpb   $0x0,(%r12)
je     11ff <string_replace+0xbf>
mov    %r12,%r13
jmp    1192 <string_replace+0x52>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0x1,%al
movzbl %al,%eax
cmpb   $0x0,0x0(%r13,%rax,1)
lea    0x0(%r13,%rax,1),%r13
je     11ff <string_replace+0xbf>
mov    (%r15),%rbx
test   %rbx,%rbx
je     1180 <string_replace+0x40>
mov    %r15,%r14
nopl   (%rax)
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
call   1030 <strncmp@plt>
mov    %eax,%ebp
test   %eax,%eax
je     11d0 <string_replace+0x90>
je     11f8 <string_replace+0xb8>
mov    0x10(%r14),%rbx
add    $0x10,%r14
test   %rbx,%rbx
jne    11a0 <string_replace+0x60>
jmp    11f8 <string_replace+0xb8>
nopl   0x0(%rax)
mov    (%r14),%rdi
call   1050 <strlen@plt>
cltq
add    %rax,%r13
mov    0x8(%r14),%rdi
call   1050 <strlen@plt>
mov    %eax,%ebx
mov    (%r14),%rdi
call   1050 <strlen@plt>
add    (%rsp),%ebx
sub    %eax,%ebx
mov    %ebx,(%rsp)
test   %ebp,%ebp
setne  %al
jmp    1182 <string_replace+0x42>
mov    (%rsp),%edi
add    $0x1,%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     12b8 <string_replace+0x178>
cmpb   $0x0,(%r12)
mov    %rax,(%rsp)
mov    %rax,%rbx
je     12af <string_replace+0x16f>
lea    0x10(%r15),%r14
mov    (%rsp),%rbx
jmp    1245 <string_replace+0x105>
nop
mov    (%r12),%al
add    $0x1,%r12
mov    %al,(%rbx)
add    $0x1,%rbx
cmpb   $0x0,(%r12)
je     12af <string_replace+0x16f>
mov    (%r15),%rbp
test   %rbp,%rbp
je     1230 <string_replace+0xf0>
mov    %r14,%r13
mov    %rbp,%rdi
call   1050 <strlen@plt>
mov    %r12,%rdi
mov    %rbp,%rsi
mov    %eax,%edx
call   1030 <strncmp@plt>
test   %eax,%eax
je     1280 <string_replace+0x140>
je     1230 <string_replace+0xf0>
mov    0x0(%r13),%rbp
add    $0x10,%r13
test   %rbp,%rbp
jne    1250 <string_replace+0x110>
jmp    1230 <string_replace+0xf0>
nopw   0x0(%rax,%rax,1)
mov    -0x8(%r13),%rsi
mov    %rbx,%rdi
call   1040 <strcpy@plt>
mov    -0x8(%r13),%rdi
call   1050 <strlen@plt>
cltq
add    %rax,%rbx
mov    -0x10(%r13),%rdi
call   1050 <strlen@plt>
cltq
add    %rax,%r12
cmpb   $0x0,(%r12)
jne    1245 <string_replace+0x105>
movb   $0x0,(%rbx)
mov    (%rsp),%rax
jmp    12ba <string_replace+0x17a>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @string_replace(i8* %0, i8** nocapture %1) {
%3 = icmp eq i8* %0, null
br i1 %3, label %95, label %4
4: ; preds = %2
%5 = tail call i32 @strlen(i8* %0)
%6 = load i8, i8* %0
%7 = icmp eq i8 %6, 0
br i1 %7, label %48, label %8
8: ; preds = %4, %40
%9 = phi i8* [ %45, %40 ], [ %0, %4 ]
%10 = phi i32 [ %41, %40 ], [ %5, %4 ]
%11 = load i8*, i8** %1
%12 = icmp eq i8* %11, null
br i1 %12, label %40, label %13
13: ; preds = %8, %31
%14 = phi i8* [ %33, %31 ], [ %11, %8 ]
%15 = phi i8** [ %32, %31 ], [ %1, %8 ]
%16 = tail call i32 @strlen(i8* %14)
%17 = tail call i32 @strncmp(i8* %9, i8* %14, i32 %16)
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %31
19: ; preds = %13
%20 = load i8*, i8** %15
%21 = tail call i32 @strlen(i8* %20)
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %9, i64 %22
%24 = getelementptr inbounds i8*, i8** %15, i64 1
%25 = load i8*, i8** %24
%26 = tail call i32 @strlen(i8* %25)
%27 = load i8*, i8** %15
%28 = tail call i32 @strlen(i8* %27)
%29 = add i32 %26, %10
%30 = sub i32 %29, %28
br label %36
31: ; preds = %13
%32 = getelementptr inbounds i8*, i8** %15, i64 2
%33 = load i8*, i8** %32
%34 = icmp eq i8* %33, null
%35 = or i1 %18, %34
br i1 %35, label %36, label %13
36: ; preds = %31, %19
%37 = phi i8* [ %23, %19 ], [ %9, %31 ]
%38 = phi i32 [ %30, %19 ], [ %10, %31 ]
%39 = xor i1 %18, true
br label %40
40: ; preds = %36, %8
%41 = phi i32 [ %10, %8 ], [ %38, %36 ]
%42 = phi i8* [ %9, %8 ], [ %37, %36 ]
%43 = phi i1 [ true, %8 ], [ %39, %36 ]
%44 = zext i1 %43 to i64
%45 = getelementptr i8, i8* %42, i64 %44
%46 = load i8, i8* %45
%47 = icmp eq i8 %46, 0
br i1 %47, label %48, label %8
48: ; preds = %40, %4
%49 = phi i32 [ %5, %4 ], [ %41, %40 ]
%50 = add nsw i32 %49, 1
%51 = tail call i8* @malloc(i32 %50)
%52 = icmp eq i8* %51, null
br i1 %52, label %95, label %53
53: ; preds = %48
%54 = load i8, i8* %0
%55 = icmp eq i8 %54, 0
br i1 %55, label %93, label %56
56: ; preds = %53, %88
%57 = phi i8* [ %90, %88 ], [ %51, %53 ]
%58 = phi i8* [ %89, %88 ], [ %0, %53 ]
%59 = load i8*, i8** %1
%60 = icmp eq i8* %59, null
br i1 %60, label %84, label %61
61: ; preds = %56, %67
%62 = phi i8* [ %69, %67 ], [ %59, %56 ]
%63 = phi i8** [ %68, %67 ], [ %1, %56 ]
%64 = tail call i32 @strlen(i8* %62)
%65 = tail call i32 @strncmp(i8* %58, i8* %62, i32 %64)
%66 = icmp eq i32 %65, 0
br i1 %66, label %72, label %67
67: ; preds = %61
%68 = getelementptr inbounds i8*, i8** %63, i64 2
%69 = load i8*, i8** %68
%70 = icmp eq i8* %69, null
%71 = or i1 %66, %70
br i1 %71, label %84, label %61
72: ; preds = %61
%73 = getelementptr inbounds i8*, i8** %63, i64 1
%74 = load i8*, i8** %73
%75 = tail call i32 @strcpy(i8* %57, i8* %74)
%76 = load i8*, i8** %73
%77 = tail call i32 @strlen(i8* %76)
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %57, i64 %78
%80 = load i8*, i8** %63
%81 = tail call i32 @strlen(i8* %80)
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %58, i64 %82
br label %88
84: ; preds = %67, %56
%85 = getelementptr inbounds i8, i8* %58, i64 1
%86 = load i8, i8* %58
%87 = getelementptr inbounds i8, i8* %57, i64 1
store i8 %86, i8* %57
br label %88
88: ; preds = %72, %84
%89 = phi i8* [ %83, %72 ], [ %85, %84 ]
%90 = phi i8* [ %79, %72 ], [ %87, %84 ]
%91 = load i8, i8* %89
%92 = icmp eq i8 %91, 0
br i1 %92, label %93, label %56
93: ; preds = %88, %53
%94 = phi i8* [ %51, %53 ], [ %90, %88 ]
store i8 0, i8* %94
br label %95
95: ; preds = %48, %2, %93
%96 = phi i8* [ %51, %93 ], [ null, %2 ], [ null, %48 ]
ret i8* %96
}