#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__ malloc(int);
scalar_t__ slash_followed(char const *);
int slash_preceded(char const *);
int sprintf(char *, char *, char const *);
int strlen(char const *);
int link_pathname(char **p, const char *root, const char *parent,
                  const char *file, const char *sfx) {
  int len;
  char *buf;
  char *fmt;
  *p = NULL;
  if (!root || ((len = strlen(root)) == 0)) {
    return -1;
  }
  if (slash_followed(root) == 0) {
    len++;
  }
  if (parent) {
    len += strlen(parent);
    if (slash_preceded(parent) == 1) {
      len--;
    }
    if (slash_followed(parent) == 0) {
      len++;
    }
  }
  if (file) {
    len += strlen(file);
    if (slash_preceded(file) == 1) {
      len--;
    }
  }
  if (sfx) {
    len += strlen(sfx);
  }
  buf = (char *)malloc(len + 1);
  if (!buf) {
    *p = NULL;
    return -1;
  }
  fmt = (slash_followed(root) == 0) ? "%s/" : "%s";
  len = sprintf(buf, fmt, root);
  if (parent) {
    if (slash_preceded(parent) == 1) {
      parent++;
    }
    if (*parent != '\0') {
      fmt = (slash_followed(parent) == 0) ? "%s/" : "%s";
      len += sprintf(buf + len, fmt, parent);
    }
  }
  if (file) {
    if (slash_preceded(file) == 1) {
      file++;
    }
    len += sprintf(buf + len, "%s", file);
  }
  if (sfx) {
    len += sprintf(buf + len, "%s", sfx);
  }
  buf[len] = '\0';
  *p = buf;
  return 0;
}


x86 assembly (clang, -O0):
<link_pathname>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movq   $0x0,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     1197 <link_pathname+0x47>
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jne    11a3 <link_pathname+0x53>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ea <link_pathname+0x29a>
mov    -0x18(%rbp),%rdi
call   1050 <slash_followed@plt>
cmp    $0x0,%rax
jne    11bf <link_pathname+0x6f>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1215 <link_pathname+0xc5>
mov    -0x20(%rbp),%rdi
call   1040 <strlen@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <slash_preceded@plt>
cmp    $0x1,%eax
jne    11f4 <link_pathname+0xa4>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <slash_followed@plt>
cmp    $0x0,%rax
jne    1210 <link_pathname+0xc0>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1215 <link_pathname+0xc5>
cmpq   $0x0,-0x28(%rbp)
je     124f <link_pathname+0xff>
mov    -0x28(%rbp),%rdi
call   1040 <strlen@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <slash_preceded@plt>
cmp    $0x1,%eax
jne    124a <link_pathname+0xfa>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    124f <link_pathname+0xff>
cmpq   $0x0,-0x30(%rbp)
je     1269 <link_pathname+0x119>
mov    -0x30(%rbp),%rdi
call   1040 <strlen@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edi
add    $0x1,%edi
call   1060 <malloc@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
jne    129a <link_pathname+0x14a>
mov    -0x10(%rbp),%rax
movq   $0x0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    13ea <link_pathname+0x29a>
mov    -0x18(%rbp),%rdi
call   1050 <slash_followed@plt>
mov    %rax,%rdx
lea    0xd57(%rip),%rax
lea    0xd4c(%rip),%rcx
cmp    $0x0,%rdx
cmove  %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1070 <sprintf@plt>
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     1356 <link_pathname+0x206>
mov    -0x20(%rbp),%rdi
call   1030 <slash_preceded@plt>
cmp    $0x1,%eax
jne    12fd <link_pathname+0x1ad>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1351 <link_pathname+0x201>
mov    -0x20(%rbp),%rdi
call   1050 <slash_followed@plt>
mov    %rax,%rdx
lea    0xce4(%rip),%rax
lea    0xcd9(%rip),%rcx
cmp    $0x0,%rdx
cmove  %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rdi
movslq -0x34(%rbp),%rax
add    %rax,%rdi
mov    -0x48(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1070 <sprintf@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    1356 <link_pathname+0x206>
cmpq   $0x0,-0x28(%rbp)
je     13a0 <link_pathname+0x250>
mov    -0x28(%rbp),%rdi
call   1030 <slash_preceded@plt>
cmp    $0x1,%eax
jne    137f <link_pathname+0x22f>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x40(%rbp),%rdi
movslq -0x34(%rbp),%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rdx
lea    0xc6f(%rip),%rsi
call   1070 <sprintf@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     13cc <link_pathname+0x27c>
mov    -0x40(%rbp),%rdi
movslq -0x34(%rbp),%rax
add    %rax,%rdi
mov    -0x30(%rbp),%rdx
lea    0xc43(%rip),%rsi
call   1070 <sprintf@plt>
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x34(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x40(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<link_pathname>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
movq   $0x0,(%rdi)
mov    $0xffffffff,%r15d
test   %rsi,%rsi
je     132a <link_pathname+0x1ca>
mov    %rcx,%rbp
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r13
mov    %r8,0x8(%rsp)
mov    %rsi,%rdi
call   1050 <strlen@plt>
test   %eax,%eax
je     132a <link_pathname+0x1ca>
mov    %eax,%ebx
mov    %r12,%rdi
call   1060 <slash_followed@plt>
cmp    $0x1,%rax
adc    $0x0,%ebx
test   %r14,%r14
je     11f0 <link_pathname+0x90>
mov    %r14,%rdi
call   1050 <strlen@plt>
mov    %rbp,%r15
mov    %eax,%ebp
add    %ebx,%ebp
mov    %r14,%rdi
call   1030 <slash_preceded@plt>
xor    %ecx,%ecx
cmp    $0x1,%eax
sete   %cl
sub    %ecx,%ebp
mov    %r14,%rdi
call   1060 <slash_followed@plt>
cmp    $0x1,%rax
adc    $0x0,%ebp
mov    %ebp,%ebx
mov    %r15,%rbp
test   %rbp,%rbp
je     121a <link_pathname+0xba>
mov    %rbp,%rdi
call   1050 <strlen@plt>
mov    %rbp,%rdi
mov    %eax,%ebp
add    %ebx,%ebp
mov    %rdi,%r15
call   1030 <slash_preceded@plt>
xor    %ecx,%ecx
cmp    $0x1,%eax
sete   %cl
sub    %ecx,%ebp
mov    %ebp,%ebx
jmp    121d <link_pathname+0xbd>
mov    %rbp,%r15
mov    0x8(%rsp),%rdi
test   %rdi,%rdi
mov    %r13,0x10(%rsp)
je     1233 <link_pathname+0xd3>
call   1050 <strlen@plt>
add    %eax,%ebx
add    $0x1,%ebx
mov    %ebx,%edi
call   1070 <malloc@plt>
test   %rax,%rax
je     1319 <link_pathname+0x1b9>
mov    %rax,%r13
mov    %r12,%rdi
call   1060 <slash_followed@plt>
test   %rax,%rax
lea    0xda5(%rip),%rax
lea    0xda2(%rip),%rbx
mov    %rbx,%rsi
cmove  %rax,%rsi
mov    %r13,%rdi
mov    %r12,%rdx
call   1080 <sprintf@plt>
mov    %eax,%ebp
test   %r14,%r14
je     12be <link_pathname+0x15e>
mov    %r14,%rdi
call   1030 <slash_preceded@plt>
xor    %ecx,%ecx
cmp    $0x1,%eax
sete   %cl
cmpb   $0x0,(%r14,%rcx,1)
je     12be <link_pathname+0x15e>
add    %rcx,%r14
mov    %r14,%rdi
call   1060 <slash_followed@plt>
test   %rax,%rax
lea    0xd59(%rip),%rax
cmove  %rax,%rbx
movslq %ebp,%rdi
add    %r13,%rdi
mov    %rbx,%rsi
mov    %r14,%rdx
call   1080 <sprintf@plt>
add    %eax,%ebp
test   %r15,%r15
je     12ec <link_pathname+0x18c>
mov    %r15,%rdi
call   1030 <slash_preceded@plt>
xor    %esi,%esi
cmp    $0x1,%eax
sete   %sil
add    %r15,%rsi
movslq %ebp,%rbp
mov    %r13,%rbx
add    %rbp,%rbx
mov    %rbx,%rdi
call   1040 <stpcpy@plt>
sub    %ebx,%eax
add    %eax,%ebp
mov    0x8(%rsp),%rsi
test   %rsi,%rsi
je     130b <link_pathname+0x1ab>
movslq %ebp,%rbp
mov    %r13,%rbx
add    %rbp,%rbx
mov    %rbx,%rdi
call   1040 <stpcpy@plt>
sub    %ebx,%eax
add    %eax,%ebp
movslq %ebp,%rax
movb   $0x0,0x0(%r13,%rax,1)
xor    %r15d,%r15d
jmp    1322 <link_pathname+0x1c2>
mov    $0xffffffff,%r15d
xor    %r13d,%r13d
mov    0x10(%rsp),%rax
mov    %r13,(%rax)
mov    %r15d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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