void escape(char s[], char t[]) {
  int i = 0;
  int j = 0;
  while (s[i] != '\0') {
    switch (s[i]) {
    case '\a':
      t[j++] = '\\';
      t[j++] = 'a';
      i++;
      break;
    case '\b':
      t[j++] = '\\';
      t[j++] = 'b';
      i++;
      break;
    case '\f':
      t[j++] = '\\';
      t[j++] = 'f';
      i++;
      break;
    case '\n':
      t[j++] = '\\';
      t[j++] = 'n';
      i++;
      break;
    case '\r':
      t[j++] = '\\';
      t[j++] = 'r';
      i++;
      break;
    case '\t':
      t[j++] = '\\';
      t[j++] = 't';
      i++;
      break;
    case '\v':
      t[j++] = '\\';
      t[j++] = 'v';
      i++;
      break;
    case '\\':
      t[j++] = '\\';
      t[j++] = '\\';
      i++;
      break;
    case '\?':
      t[j++] = '\\';
      t[j++] = '?';
      i++;
      break;
    case '\'':
      t[j++] = '\\';
      t[j++] = '\'';
      i++;
      break;
    case '\"':
      t[j++] = '\\';
      t[j++] = '\"';
      i++;
      break;
    default:
      t[j++] = s[i++];
      break;
    }
  }
  t[j] = '\0';
}


x86 assembly (clang, -O0):
<escape>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     140e <escape+0x30e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0xfffffff9,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x55,%eax
ja     13df <escape+0x2df>
mov    -0x20(%rbp),%rax
lea    0xea8(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x61,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x62,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x66,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x6e,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x72,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x74,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x76,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x3f,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x27,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x5c,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x22,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1409 <escape+0x309>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    111a <escape+0x1a>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<escape>:
mov    (%rdi),%dl
xor    %eax,%eax
test   %dl,%dl
je     11a0 <escape+0xa0>
add    $0x1,%rdi
lea    0xee9(%rip),%r8
nopw   0x0(%rax,%rax,1)
movsbl %dl,%ecx
mov    $0x1,%r10d
add    $0xfffffff9,%ecx
cmp    $0x55,%ecx
ja     1199 <escape+0x99>
mov    $0x61,%r9b
movslq (%r8,%rcx,4),%rcx
add    %r8,%rcx
mov    %eax,%r11d
jmp    *%rcx
mov    $0x62,%r9b
jmp    1170 <escape+0x70>
mov    $0x74,%r9b
jmp    1170 <escape+0x70>
mov    $0x6e,%r9b
jmp    1170 <escape+0x70>
mov    $0x76,%r9b
jmp    1170 <escape+0x70>
mov    $0x66,%r9b
jmp    1170 <escape+0x70>
mov    $0x72,%r9b
jmp    1170 <escape+0x70>
mov    $0x22,%r9b
jmp    1170 <escape+0x70>
mov    $0x27,%r9b
jmp    1170 <escape+0x70>
mov    $0x3f,%r9b
jmp    1170 <escape+0x70>
mov    $0x5c,%r9b
lea    0x1(%rax),%r11d
mov    %eax,%ecx
movb   $0x5c,(%rsi,%rcx,1)
mov    $0x2,%r10d
mov    %r9d,%edx
add    %r10d,%eax
movslq %r11d,%rcx
mov    %dl,(%rsi,%rcx,1)
movzbl (%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
jne    1120 <escape+0x20>
jmp    119e <escape+0x9e>
mov    %eax,%r11d
jmp    1183 <escape+0x83>
mov    %eax,%eax
movb   $0x0,(%rsi,%rax,1)
ret

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

LLVM IR (-O2):
define void @escape(i8* nocapture %0, i8* writeonly %1) {
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
br i1 %4, label %38, label %5
5: ; preds = %2, %25
%6 = phi i64 [ %32, %25 ], [ 0, %2 ]
%7 = phi i8 [ %34, %25 ], [ %3, %2 ]
%8 = phi i32 [ %29, %25 ], [ 0, %2 ]
%9 = sext i8 %7 to i32
switch i32 %9, label %25 [
i32 7, label %20
i32 8, label %10
i32 12, label %11
i32 10, label %12
i32 13, label %13
i32 9, label %14
i32 11, label %15
i32 92, label %16
i32 63, label %17
i32 39, label %18
i32 34, label %19
]
10: ; preds = %5
br label %20
11: ; preds = %5
br label %20
12: ; preds = %5
br label %20
13: ; preds = %5
br label %20
14: ; preds = %5
br label %20
15: ; preds = %5
br label %20
16: ; preds = %5
br label %20
17: ; preds = %5
br label %20
18: ; preds = %5
br label %20
19: ; preds = %5
br label %20
20: ; preds = %5, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19
%21 = phi i8 [ 98, %10 ], [ 102, %11 ], [ 110, %12 ], [ 114, %13 ], [ 116, %14 ], [ 118, %15 ], [ 92, %16 ], [ 63, %17 ], [ 39, %18 ], [ 34, %19 ], [ 97, %5 ]
%22 = add nuw nsw i32 %8, 1
%23 = zext i32 %8 to i64
%24 = getelementptr inbounds i8, i8* %1, i64 %23
store i8 92, i8* %24
br label %25
25: ; preds = %20, %5
%26 = phi i32 [ 1, %5 ], [ 2, %20 ]
%27 = phi i32 [ %8, %5 ], [ %22, %20 ]
%28 = phi i8 [ %7, %5 ], [ %21, %20 ]
%29 = add nuw nsw i32 %8, %26
%30 = sext i32 %27 to i64
%31 = getelementptr inbounds i8, i8* %1, i64 %30
store i8 %28, i8* %31
%32 = add nuw i64 %6, 1
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 0
br i1 %35, label %36, label %5
36: ; preds = %25
%37 = zext i32 %29 to i64
br label %38
38: ; preds = %36, %2
%39 = phi i64 [ 0, %2 ], [ %37, %36 ]
%40 = getelementptr inbounds i8, i8* %1, i64 %39
store i8 0, i8* %40
ret void
}