#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__ isdigit(unsigned char const);
scalar_t__ isprint(unsigned char);
void format_url_recoded(char *valbuf, size_t sizeof_valbuf, size_t *r_vallen,
                        const void *v_value, size_t length) {
  const unsigned char *value = (const unsigned char *)v_value;
  size_t i;
  size_t vallen = *r_vallen;
  if (value == 0)
    value = (const unsigned char *)"";
  if (vallen < sizeof_valbuf)
    valbuf[vallen++] = '\"';
  for (i = 0; vallen + 6 < sizeof_valbuf && i < length; i++) {
    unsigned char c = value[i];
    if (c == '%') {
      if (i < length && isdigit(value[i + 1]))
        c = (unsigned char)((value[++i] - '0') << 4);
      if (i < length && isdigit(value[i + 1]))
        c |= (unsigned char)((value[++i] - '0'));
    }
    if (isprint(c) && c != '\"' && c != '\\' && c != '%' && c != '=' &&
        c != '&') {
      valbuf[vallen++] = (char)c;
    } else {
      valbuf[vallen++] = '%';
      valbuf[vallen++] = "0123456789ABCDEF"[(c >> 4) & 0x0F];
      valbuf[vallen++] = "0123456789ABCDEF"[(c >> 0) & 0x0F];
    }
  }
  if (vallen < sizeof_valbuf - 1) {
    valbuf[vallen++] = '\"';
    valbuf[vallen] = '\0';
  }
  valbuf[sizeof_valbuf - 1] = '\0';
  *r_vallen = vallen;
}


x86 assembly (clang, -O0):
<format_url_recoded>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    1165 <format_url_recoded+0x45>
lea    0xeaf(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    118a <format_url_recoded+0x6a>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x22,(%rax,%rcx,1)
movq   $0x0,-0x38(%rbp)
mov    -0x40(%rbp),%rcx
add    $0x6,%rcx
xor    %eax,%eax
cmp    -0x10(%rbp),%rcx
mov    %al,-0x42(%rbp)
jae    11b7 <format_url_recoded+0x97>
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
test   $0x1,%al
jne    11c7 <format_url_recoded+0xa7>
jmp    137c <format_url_recoded+0x25c>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x41(%rbp)
movzbl -0x41(%rbp),%eax
cmp    $0x25,%eax
jne    1283 <format_url_recoded+0x163>
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    122d <format_url_recoded+0x10d>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
movzbl 0x1(%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     122d <format_url_recoded+0x10d>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
movzbl 0x1(%rax,%rcx,1),%eax
sub    $0x30,%eax
shl    $0x4,%eax
mov    %al,-0x41(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    127e <format_url_recoded+0x15e>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
movzbl 0x1(%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     127e <format_url_recoded+0x15e>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
movzbl 0x1(%rax,%rcx,1),%eax
sub    $0x30,%eax
movzbl %al,%ecx
movzbl -0x41(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x41(%rbp)
jmp    1283 <format_url_recoded+0x163>
movzbl -0x41(%rbp),%edi
call   1040 <isprint@plt>
cmp    $0x0,%rax
je     12f5 <format_url_recoded+0x1d5>
movzbl -0x41(%rbp),%eax
cmp    $0x22,%eax
je     12f5 <format_url_recoded+0x1d5>
movzbl -0x41(%rbp),%eax
cmp    $0x5c,%eax
je     12f5 <format_url_recoded+0x1d5>
movzbl -0x41(%rbp),%eax
cmp    $0x25,%eax
je     12f5 <format_url_recoded+0x1d5>
movzbl -0x41(%rbp),%eax
cmp    $0x3d,%eax
je     12f5 <format_url_recoded+0x1d5>
movzbl -0x41(%rbp),%eax
cmp    $0x26,%eax
je     12f5 <format_url_recoded+0x1d5>
mov    -0x41(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x40(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    1366 <format_url_recoded+0x246>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x25,(%rax,%rcx,1)
movzbl -0x41(%rbp),%eax
sar    $0x4,%eax
and    $0xf,%eax
movslq %eax,%rcx
lea    0xce0(%rip),%rax
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x40(%rbp)
mov    %dl,(%rax,%rcx,1)
movzbl -0x41(%rbp),%eax
sar    $0x0,%eax
and    $0xf,%eax
movslq %eax,%rcx
lea    0xcb3(%rip),%rax
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x40(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    136b <format_url_recoded+0x24b>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1192 <format_url_recoded+0x72>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jae    13b4 <format_url_recoded+0x294>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
movb   $0x22,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x40(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_url_recoded>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,0x8(%rsp)
mov    %rdi,%rbx
mov    (%rdx),%r14
test   %rcx,%rcx
lea    0xecd(%rip),%r13
cmovne %rcx,%r13
mov    %rsi,(%rsp)
cmp    %rsi,%r14
jae    1159 <format_url_recoded+0x39>
movb   $0x22,(%rbx,%r14,1)
add    $0x1,%r14
lea    0x6(%r14),%rax
cmp    (%rsp),%rax
mov    %rdx,0x10(%rsp)
jae    1271 <format_url_recoded+0x151>
cmpq   $0x0,0x8(%rsp)
je     1271 <format_url_recoded+0x151>
xor    %r15d,%r15d
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%r15,1),%r12d
cmp    $0x25,%r12b
jne    11e0 <format_url_recoded+0xc0>
movzbl 0x1(%r13,%r15,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     11b3 <format_url_recoded+0x93>
add    $0x1,%r15
movzbl 0x0(%r13,%r15,1),%r12d
shl    $0x4,%r12b
cmp    0x8(%rsp),%r15
jb     11bd <format_url_recoded+0x9d>
jmp    11e0 <format_url_recoded+0xc0>
mov    $0x25,%r12b
cmp    0x8(%rsp),%r15
jae    11e0 <format_url_recoded+0xc0>
movzbl 0x1(%r13,%r15,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     11e0 <format_url_recoded+0xc0>
add    $0x1,%r15
movzbl 0x0(%r13,%r15,1),%eax
add    $0xd0,%al
or     %r12b,%al
mov    %eax,%r12d
nop
movzbl %r12b,%ebp
mov    %ebp,%edi
call   1040 <isprint@plt>
test   %rax,%rax
je     1214 <format_url_recoded+0xf4>
mov    $0x1,%ecx
lea    -0x22(%r12),%eax
cmp    $0x3a,%al
ja     126c <format_url_recoded+0x14c>
movzbl %al,%eax
movabs $0x400000008000019,%rdx
bt     %rax,%rdx
mov    %r14,%rdx
jae    1243 <format_url_recoded+0x123>
movb   $0x25,(%rbx,%r14,1)
mov    %ebp,%eax
mov    %rax,%rcx
shr    $0x4,%rcx
lea    0xdd7(%rip),%rsi
movzbl (%rcx,%rsi,1),%ecx
lea    0x2(%r14),%rdx
mov    %cl,0x1(%rbx,%r14,1)
and    $0xf,%eax
movzbl (%rax,%rsi,1),%r12d
mov    $0x3,%ecx
lea    (%r14,%rcx,1),%rax
mov    %r12b,(%rbx,%rdx,1)
add    %r14,%rcx
add    $0x6,%rcx
cmp    (%rsp),%rcx
jae    1274 <format_url_recoded+0x154>
add    $0x1,%r15
mov    %rax,%r14
cmp    0x8(%rsp),%r15
jb     1180 <format_url_recoded+0x60>
jmp    1274 <format_url_recoded+0x154>
mov    %r14,%rdx
jmp    1243 <format_url_recoded+0x123>
mov    %r14,%rax
mov    (%rsp),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,%rdx
cmp    %rcx,%rax
jae    128e <format_url_recoded+0x16e>
movw   $0x22,(%rbx,%rax,1)
add    $0x1,%rax
mov    0x10(%rsp),%rcx
movb   $0x0,(%rbx,%rdx,1)
mov    %rax,(%rcx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
@.str.1 = [17 x i8] c"0123456789ABCDEF\00"
define void @format_url_recoded(i8* nocapture writeonly %0, i64 %1, i64* nocapture %2, i8* %3, i64 %4) {
%6 = load i64, i64* %2
%7 = icmp eq i8* %3, null
%8 = select i1 %7, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8* %3
%9 = icmp ult i64 %6, %1
br i1 %9, label %10, label %13
10: ; preds = %5
%11 = add nuw i64 %6, 1
%12 = getelementptr inbounds i8, i8* %0, i64 %6
store i8 34, i8* %12
br label %13
13: ; preds = %10, %5
%14 = phi i64 [ %11, %10 ], [ %6, %5 ]
%15 = add i64 %14, 6
%16 = icmp ult i64 %15, %1
%17 = icmp ne i64 %4, 0
%18 = and i1 %16, %17
br i1 %18, label %19, label %80
19: ; preds = %13, %69
%20 = phi i64 [ %73, %69 ], [ %14, %13 ]
%21 = phi i64 [ %75, %69 ], [ 0, %13 ]
%22 = getelementptr inbounds i8, i8* %8, i64 %21
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 37
br i1 %24, label %25, label %48
25: ; preds = %19
%26 = add nuw i64 %21, 1
%27 = getelementptr inbounds i8, i8* %8, i64 %26
%28 = load i8, i8* %27
%29 = tail call i64 @isdigit(i8 zeroext %28)
%30 = icmp eq i64 %29, 0
br i1 %30, label %34, label %31
31: ; preds = %25
%32 = load i8, i8* %27
%33 = shl i8 %32, 4
br label %34
34: ; preds = %31, %25
%35 = phi i64 [ %26, %31 ], [ %21, %25 ]
%36 = phi i8 [ %33, %31 ], [ 37, %25 ]
%37 = icmp ult i64 %35, %4
br i1 %37, label %38, label %48
38: ; preds = %34
%39 = add nuw i64 %35, 1
%40 = getelementptr inbounds i8, i8* %8, i64 %39
%41 = load i8, i8* %40
%42 = tail call i64 @isdigit(i8 zeroext %41)
%43 = icmp eq i64 %42, 0
br i1 %43, label %48, label %44
44: ; preds = %38
%45 = load i8, i8* %40
%46 = add i8 %45, -48
%47 = or i8 %46, %36
br label %48
48: ; preds = %34, %38, %44, %19
%49 = phi i64 [ %39, %44 ], [ %35, %38 ], [ %35, %34 ], [ %21, %19 ]
%50 = phi i8 [ %47, %44 ], [ %36, %38 ], [ %36, %34 ], [ %23, %19 ]
%51 = tail call i64 @isprint(i8 zeroext %50)
%52 = freeze i64 %51
%53 = icmp eq i64 %52, 0
%54 = zext i8 %50 to i32
br i1 %53, label %56, label %55
55: ; preds = %48
switch i8 %50, label %69 [
i8 92, label %56
i8 61, label %56
i8 38, label %56
i8 37, label %56
i8 34, label %56
]
56: ; preds = %55, %55, %55, %55, %55, %48
%57 = add i64 %20, 1
%58 = getelementptr inbounds i8, i8* %0, i64 %20
store i8 37, i8* %58
%59 = lshr i32 %54, 4
%60 = zext i32 %59 to i64
%61 = getelementptr inbounds [17 x i8], [17 x i8]* @.str.1, i64 0, i64 %60
%62 = load i8, i8* %61
%63 = add i64 %20, 2
%64 = getelementptr inbounds i8, i8* %0, i64 %57
store i8 %62, i8* %64
%65 = and i32 %54, 15
%66 = zext i32 %65 to i64
%67 = getelementptr inbounds [17 x i8], [17 x i8]* @.str.1, i64 0, i64 %66
%68 = load i8, i8* %67
br label %69
69: ; preds = %55, %56
%70 = phi i64 [ 3, %56 ], [ 1, %55 ]
%71 = phi i64 [ %63, %56 ], [ %20, %55 ]
%72 = phi i8 [ %68, %56 ], [ %50, %55 ]
%73 = add i64 %20, %70
%74 = getelementptr inbounds i8, i8* %0, i64 %71
store i8 %72, i8* %74
%75 = add i64 %49, 1
%76 = add i64 %73, 6
%77 = icmp ult i64 %76, %1
%78 = icmp ult i64 %75, %4
%79 = select i1 %77, i1 %78, i1 false
br i1 %79, label %19, label %80
80: ; preds = %69, %13
%81 = phi i64 [ %14, %13 ], [ %73, %69 ]
%82 = add i64 %1, -1
%83 = icmp ult i64 %81, %82
br i1 %83, label %84, label %88
84: ; preds = %80
%85 = add nuw i64 %81, 1
%86 = getelementptr inbounds i8, i8* %0, i64 %81
store i8 34, i8* %86
%87 = getelementptr inbounds i8, i8* %0, i64 %85
store i8 0, i8* %87
br label %88
88: ; preds = %84, %80
%89 = phi i64 [ %85, %84 ], [ %81, %80 ]
%90 = getelementptr inbounds i8, i8* %0, i64 %82
store i8 0, i8* %90
store i64 %89, i64* %2
ret void
}