#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 *getenv(char *);
int /*<<< orphan*/ memcpy(char *, char *, int const);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char const *);
void *strlen(char *);
char *strstr(char *, char *);
void buildConfigPath(char *path, const char *pathTemplate) {
  char pathBuffer[512], newPath[512];
  int pathLen, pathPos = 0, newPathPos = 0;
  strcpy(pathBuffer, pathTemplate);
  strcat(pathBuffer, "dumpasn1.cfg");
  pathLen = strlen(pathBuffer);
  while (pathPos < pathLen) {
    char *strPtr;
    int substringSize;
    if ((strPtr = strstr(pathBuffer + pathPos, "$")) != NULL)
      substringSize = (int)((strPtr - pathBuffer) - pathPos);
    else
      substringSize = pathLen - pathPos;
    if (substringSize > 0)
      memcpy(newPath + newPathPos, pathBuffer + pathPos, substringSize);
    newPathPos += substringSize;
    pathPos += substringSize;
    if (strPtr != NULL) {
      char envName[512], *envString;
      int i;
      pathPos++;
      for (i = 0; !(((pathBuffer[pathPos + i]) == '/') ||
                    ((pathBuffer[pathPos + i]) == '.') ||
                    ((pathBuffer[pathPos + i]) == '$') ||
                    ((pathBuffer[pathPos + i]) == '\0') ||
                    ((pathBuffer[pathPos + i]) == '~'));
           i++)
        ;
      memcpy(envName, pathBuffer + pathPos, i);
      envName[i] = '\0';
      if ((envString = getenv(envName)) != NULL) {
        const int envStrLen = strlen(envString);
        if (newPathPos + envStrLen < 512 - 2) {
          memcpy(newPath + newPathPos, envString, envStrLen);
          newPathPos += envStrLen;
        }
      }
      pathPos += i;
    }
  }
  newPath[newPathPos] = '\0';
  strcpy(path, newPath);
}


x86 assembly (clang, -O0):
<buildConfigPath>:
push   %rbp
mov    %rsp,%rbp
sub    $0x650,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x418(%rbp)
movl   $0x0,-0x41c(%rbp)
lea    -0x210(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <strcpy@plt>
lea    -0x210(%rbp),%rdi
lea    0xe5b(%rip),%rsi
call   1070 <strcat@plt>
lea    -0x210(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x414(%rbp)
mov    -0x418(%rbp),%eax
cmp    -0x414(%rbp),%eax
jge    146e <buildConfigPath+0x30e>
lea    -0x210(%rbp),%rdi
movslq -0x418(%rbp),%rax
add    %rax,%rdi
lea    0xe27(%rip),%rsi
call   1080 <strstr@plt>
mov    %rax,-0x428(%rbp)
cmp    $0x0,%rax
je     1222 <buildConfigPath+0xc2>
mov    -0x428(%rbp),%rax
lea    -0x210(%rbp),%rcx
sub    %rcx,%rax
movslq -0x418(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x42c(%rbp)
jmp    1234 <buildConfigPath+0xd4>
mov    -0x414(%rbp),%eax
sub    -0x418(%rbp),%eax
mov    %eax,-0x42c(%rbp)
cmpl   $0x0,-0x42c(%rbp)
jle    126e <buildConfigPath+0x10e>
lea    -0x410(%rbp),%rdi
movslq -0x41c(%rbp),%rax
add    %rax,%rdi
lea    -0x210(%rbp),%rsi
movslq -0x418(%rbp),%rax
add    %rax,%rsi
mov    -0x42c(%rbp),%edx
call   1060 <memcpy@plt>
mov    -0x42c(%rbp),%eax
add    -0x41c(%rbp),%eax
mov    %eax,-0x41c(%rbp)
mov    -0x42c(%rbp),%eax
add    -0x418(%rbp),%eax
mov    %eax,-0x418(%rbp)
cmpq   $0x0,-0x428(%rbp)
je     1469 <buildConfigPath+0x309>
mov    -0x418(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x418(%rbp)
movl   $0x0,-0x63c(%rbp)
mov    -0x418(%rbp),%eax
add    -0x63c(%rbp),%eax
cltq
movsbl -0x210(%rbp,%rax,1),%ecx
ff
mov    $0x1,%al
cmp    $0x2f,%ecx
mov    %al,-0x641(%rbp)
je     1377 <buildConfigPath+0x217>
mov    -0x418(%rbp),%eax
add    -0x63c(%rbp),%eax
cltq
movsbl -0x210(%rbp,%rax,1),%ecx
ff
mov    $0x1,%al
cmp    $0x2e,%ecx
mov    %al,-0x641(%rbp)
je     1377 <buildConfigPath+0x217>
mov    -0x418(%rbp),%eax
add    -0x63c(%rbp),%eax
cltq
movsbl -0x210(%rbp,%rax,1),%ecx
ff
mov    $0x1,%al
cmp    $0x24,%ecx
mov    %al,-0x641(%rbp)
je     1377 <buildConfigPath+0x217>
mov    -0x418(%rbp),%eax
add    -0x63c(%rbp),%eax
cltq
movsbl -0x210(%rbp,%rax,1),%ecx
ff
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x641(%rbp)
je     1377 <buildConfigPath+0x217>
mov    -0x418(%rbp),%eax
add    -0x63c(%rbp),%eax
cltq
movsbl -0x210(%rbp,%rax,1),%eax
ff
cmp    $0x7e,%eax
sete   %al
mov    %al,-0x641(%rbp)
mov    -0x641(%rbp),%al
xor    $0xff,%al
test   $0x1,%al
jne    138c <buildConfigPath+0x22c>
jmp    13a5 <buildConfigPath+0x245>
jmp    1391 <buildConfigPath+0x231>
mov    -0x63c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x63c(%rbp)
jmp    12b9 <buildConfigPath+0x159>
lea    -0x630(%rbp),%rdi
lea    -0x210(%rbp),%rsi
movslq -0x418(%rbp),%rax
add    %rax,%rsi
mov    -0x63c(%rbp),%edx
call   1060 <memcpy@plt>
movslq -0x63c(%rbp),%rax
movb   $0x0,-0x630(%rbp,%rax,1)
lea    -0x630(%rbp),%rdi
call   1030 <getenv@plt>
mov    %rax,-0x638(%rbp)
cmp    $0x0,%rax
je     1457 <buildConfigPath+0x2f7>
mov    -0x638(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x640(%rbp)
mov    -0x41c(%rbp),%eax
add    -0x640(%rbp),%eax
cmp    $0x1fe,%eax
jge    1452 <buildConfigPath+0x2f2>
lea    -0x410(%rbp),%rdi
movslq -0x41c(%rbp),%rax
add    %rax,%rdi
mov    -0x638(%rbp),%rsi
mov    -0x640(%rbp),%edx
call   1060 <memcpy@plt>
mov    -0x640(%rbp),%eax
add    -0x41c(%rbp),%eax
mov    %eax,-0x41c(%rbp)
jmp    1457 <buildConfigPath+0x2f7>
mov    -0x63c(%rbp),%eax
add    -0x418(%rbp),%eax
mov    %eax,-0x418(%rbp)
jmp    11bc <buildConfigPath+0x5c>
movslq -0x41c(%rbp),%rax
movb   $0x0,-0x410(%rbp,%rax,1)
mov    -0x8(%rbp),%rdi
lea    -0x410(%rbp),%rsi
call   1040 <strcpy@plt>
add    $0x650,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<buildConfigPath>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x618,%rsp
mov    %rdi,0x8(%rsp)
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
call   1040 <strcpy@plt>
lea    0xe76(%rip),%rsi
mov    %rbx,%rdi
call   1080 <strcat@plt>
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %rax,%rbp
test   %ebp,%ebp
jle    12e3 <buildConfigPath+0x183>
xor    %r14d,%r14d
xor    %r15d,%r15d
mov    %rbp,(%rsp)
jmp    11d3 <buildConfigPath+0x73>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r15d,%ebp
mov    %ebp,%r15d
mov    (%rsp),%rbp
cmp    %ebp,%r14d
jge    12e6 <buildConfigPath+0x186>
movslq %r14d,%r12
lea    (%rsp,%r12,1),%r13
add    $0x10,%r13
mov    %r13,%rdi
mov    $0x24,%esi
call   1060 <strchr@plt>
mov    %rax,%rbx
lea    0x10(%rsp),%rax
add    %r12d,%eax
mov    %ebx,%ecx
sub    %eax,%ecx
sub    %r12d,%ebp
test   %rbx,%rbx
cmovne %ecx,%ebp
test   %ebp,%ebp
jle    121f <buildConfigPath+0xbf>
movslq %r15d,%rax
lea    (%rsp,%rax,1),%rdi
add    $0x210,%rdi
mov    %r13,%rsi
mov    %ebp,%edx
call   1070 <memcpy@plt>
add    %ebp,%r15d
add    %ebp,%r14d
test   %rbx,%rbx
je     11c6 <buildConfigPath+0x66>
movslq %r14d,%rax
lea    (%rsp,%rax,1),%rcx
add    $0x11,%rcx
add    $0x1,%rax
xor    %ebx,%ebx
movabs $0xc01000000001,%rsi
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%rcx,%rbx,1),%edx
cmp    $0x2f,%rdx
ja     1260 <buildConfigPath+0x100>
bt     %rdx,%rsi
jb     1270 <buildConfigPath+0x110>
cmp    $0x7e,%dl
je     1270 <buildConfigPath+0x110>
add    $0x1,%rbx
jmp    1250 <buildConfigPath+0xf0>
nopl   0x0(%rax,%rax,1)
mov    %eax,%r14d
add    %rbx,%r14
lea    (%rsp,%rax,1),%rsi
add    $0x10,%rsi
lea    0x410(%rsp),%rbp
mov    %rbp,%rdi
mov    %ebx,%edx
call   1070 <memcpy@plt>
mov    %ebx,%eax
movb   $0x0,0x410(%rsp,%rax,1)
mov    %rbp,%rdi
call   1030 <getenv@plt>
test   %rax,%rax
je     11c0 <buildConfigPath+0x60>
mov    %rax,%rbx
mov    %rax,%rdi
call   1050 <strlen@plt>
lea    (%r15,%rax,1),%ebp
cmp    $0x1fd,%ebp
jg     11c0 <buildConfigPath+0x60>
movslq %r15d,%rcx
lea    (%rsp,%rcx,1),%rdi
add    $0x210,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
call   1070 <memcpy@plt>
jmp    11c3 <buildConfigPath+0x63>
xor    %r15d,%r15d
movslq %r15d,%rax
movb   $0x0,0x210(%rsp,%rax,1)
lea    0x210(%rsp),%rsi
mov    0x8(%rsp),%rdi
call   1040 <strcpy@plt>
add    $0x618,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [13 x i8] c"dumpasn1.cfg\00"
define void @buildConfigPath(i8* %0, i8* %1) {
%3 = alloca [512 x i8]
%4 = alloca [512 x i8]
%5 = alloca [512 x i8]
%6 = getelementptr inbounds [512 x i8], [512 x i8]* %3, i64 0, i64 0
%7 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%8 = call i32 @strcpy(i8* %6, i8* %1)
%9 = call i32 @strcat(i8* %6, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0))
%10 = call i8* @strlen(i8* %6)
%11 = ptrtoint i8* %10 to i64
%12 = trunc i64 %11 to i32
%13 = icmp sgt i32 %12, 0
br i1 %13, label %14, label %73
14: ; preds = %2
%15 = ptrtoint [512 x i8]* %3 to i64
%16 = getelementptr inbounds [512 x i8], [512 x i8]* %5, i64 0, i64 0
br label %17
17: ; preds = %14, %69
%18 = phi i32 [ 0, %14 ], [ %71, %69 ]
%19 = phi i32 [ 0, %14 ], [ %70, %69 ]
%20 = sext i32 %18 to i64
%21 = getelementptr inbounds [512 x i8], [512 x i8]* %3, i64 0, i64 %20
%22 = call i8* @strchr(i8* %21, i32 36)
%23 = icmp eq i8* %22, null
%24 = ptrtoint i8* %22 to i64
%25 = add i64 %20, %15
%26 = sub i64 %24, %25
%27 = trunc i64 %26 to i32
%28 = sub nsw i32 %12, %18
%29 = select i1 %23, i32 %28, i32 %27
%30 = icmp sgt i32 %29, 0
br i1 %30, label %31, label %35
31: ; preds = %17
%32 = sext i32 %19 to i64
%33 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 %32
%34 = call i32 @memcpy(i8* %33, i8* %21, i32 %29)
br label %35
35: ; preds = %31, %17
%36 = add nsw i32 %29, %19
%37 = add nsw i32 %29, %18
br i1 %23, label %69, label %38
38: ; preds = %35
%39 = add nsw i32 %37, 1
%40 = sext i32 %39 to i64
br label %41
41: ; preds = %46, %38
%42 = phi i64 [ %47, %46 ], [ 0, %38 ]
%43 = add nsw i64 %42, %40
%44 = getelementptr inbounds [512 x i8], [512 x i8]* %3, i64 0, i64 %43
%45 = load i8, i8* %44
switch i8 %45, label %46 [
i8 47, label %48
i8 46, label %48
i8 36, label %48
i8 0, label %48
i8 126, label %48
]
46: ; preds = %41
%47 = add nuw i64 %42, 1
br label %41
48: ; preds = %41, %41, %41, %41, %41
%49 = trunc i64 %43 to i32
%50 = trunc i64 %42 to i32
%51 = getelementptr inbounds [512 x i8], [512 x i8]* %3, i64 0, i64 %40
%52 = call i32 @memcpy(i8* %16, i8* %51, i32 %50)
%53 = and i64 %42, 4294967295
%54 = getelementptr inbounds [512 x i8], [512 x i8]* %5, i64 0, i64 %53
store i8 0, i8* %54
%55 = call i8* @getenv(i8* %16)
%56 = icmp eq i8* %55, null
br i1 %56, label %67, label %57
57: ; preds = %48
%58 = call i8* @strlen(i8* %55)
%59 = ptrtoint i8* %58 to i64
%60 = trunc i64 %59 to i32
%61 = add nsw i32 %36, %60
%62 = icmp slt i32 %61, 510
br i1 %62, label %63, label %67
63: ; preds = %57
%64 = sext i32 %36 to i64
%65 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 %64
%66 = call i32 @memcpy(i8* %65, i8* %55, i32 %60)
br label %67
67: ; preds = %57, %63, %48
%68 = phi i32 [ %36, %48 ], [ %61, %63 ], [ %36, %57 ]
br label %69
69: ; preds = %67, %35
%70 = phi i32 [ %68, %67 ], [ %36, %35 ]
%71 = phi i32 [ %49, %67 ], [ %37, %35 ]
%72 = icmp slt i32 %71, %12
br i1 %72, label %17, label %73
73: ; preds = %69, %2
%74 = phi i32 [ 0, %2 ], [ %70, %69 ]
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 %75
store i8 0, i8* %76
%77 = call i32 @strcpy(i8* %0, i8* %7)
ret void
}