#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 */
int /*<<< orphan*/ sprintf(char *, char *, char const *, ...);
int to_int(unsigned char const *, int);
const unsigned char *coupon_vli(const unsigned char *data, const int data_len,
                                const unsigned char *d, const char *name,
                                const int vli_offset, const int vli_min,
                                const int vli_max, const int vli_nine,
                                int *p_err_no, int *p_err_posn,
                                char err_msg[50]) {
  const unsigned char *de;
  int vli;
  if (d - data + 1 > data_len) {
    *p_err_no = 3;
    *p_err_posn = d - data + 1;
    sprintf(err_msg, "%s VLI missing", name);
    return NULL;
  }
  vli = to_int(d, 1);
  if ((vli < vli_min || vli > vli_max) && (vli != 9 || !vli_nine)) {
    *p_err_no = 3;
    *p_err_posn = d - data + 1;
    sprintf(err_msg,
            vli < 0 ? "Non-numeric %s VLI '%c'" : "Invalid %s VLI '%c'", name,
            *d);
    return NULL;
  }
  d++;
  if (vli != 9 || !vli_nine) {
    if (d - data + vli + vli_offset > data_len) {
      *p_err_no = 3;
      *p_err_posn = d - data + 1;
      sprintf(err_msg, "%s incomplete", name);
      return NULL;
    }
    de = d + vli + vli_offset;
    for (; d < de; d++) {
      if (*d < '0' || *d > '9') {
        *p_err_no = 3;
        *p_err_posn = d - data + 1;
        sprintf(err_msg, "Non-numeric %s '%c'", name, *d);
        return NULL;
      }
    }
  }
  return d;
}


x86 assembly (clang, -O0):
<coupon_vli>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    %r9d,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
jle    11b1 <coupon_vli+0x91>
mov    0x20(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    0x30(%rbp),%rdi
mov    -0x28(%rbp),%rdx
lea    0xe63(%rip),%rsi
mov    $0x0,%al
call   1040 <sprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1386 <coupon_vli+0x266>
mov    -0x20(%rbp),%rdi
mov    $0x1,%esi
call   1030 <to_int@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jl     11da <coupon_vli+0xba>
mov    -0x3c(%rbp),%eax
cmp    0x10(%rbp),%eax
jle    124a <coupon_vli+0x12a>
cmpl   $0x9,-0x3c(%rbp)
jne    11ee <coupon_vli+0xce>
cmpl   $0x0,0x18(%rbp)
jne    124a <coupon_vli+0x12a>
mov    0x20(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    0x30(%rbp),%rdi
mov    -0x3c(%rbp),%ecx
lea    0xe0a(%rip),%rsi
lea    0xdeb(%rip),%rax
cmp    $0x0,%ecx
cmovl  %rax,%rsi
mov    -0x28(%rbp),%rdx
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
mov    $0x0,%al
call   1040 <sprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1386 <coupon_vli+0x266>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x9,-0x3c(%rbp)
jne    126a <coupon_vli+0x14a>
cmpl   $0x0,0x18(%rbp)
jne    137e <coupon_vli+0x25e>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
movslq -0x3c(%rbp),%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
jle    12d4 <coupon_vli+0x1b4>
mov    0x20(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    0x30(%rbp),%rdi
mov    -0x28(%rbp),%rdx
lea    0xd7b(%rip),%rsi
mov    $0x0,%al
call   1040 <sprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1386 <coupon_vli+0x266>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    1379 <coupon_vli+0x259>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x30,%eax
jl     1318 <coupon_vli+0x1f8>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x39,%eax
jle    1363 <coupon_vli+0x243>
mov    0x20(%rbp),%rax
movl   $0x3,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    0x30(%rbp),%rdi
mov    -0x28(%rbp),%rdx
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
lea    0xcfa(%rip),%rsi
mov    $0x0,%al
call   1040 <sprintf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1386 <coupon_vli+0x266>
jmp    1368 <coupon_vli+0x248>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    12ea <coupon_vli+0x1ca>
jmp    137e <coupon_vli+0x25e>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<coupon_vli>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r12
mov    %rdi,%r13
mov    0x70(%rsp),%rdi
mov    0x68(%rsp),%rdx
mov    0x60(%rsp),%rbp
mov    %r12,%rax
sub    %r13,%rax
lea    0x1(%rax),%r15
movslq %esi,%r14
cmp    %r14,%rax
jge    11e7 <coupon_vli+0xc7>
mov    %r9d,%ebx
mov    %r8d,0x14(%rsp)
mov    %rcx,0x8(%rsp)
mov    0x58(%rsp),%ebp
mov    %r12,%rdi
mov    $0x1,%esi
call   1030 <to_int@plt>
cmp    %ebx,%eax
jl     1181 <coupon_vli+0x61>
cmp    0x50(%rsp),%eax
jle    118e <coupon_vli+0x6e>
test   %ebp,%ebp
je     1209 <coupon_vli+0xe9>
cmp    $0x9,%eax
jne    1209 <coupon_vli+0xe9>
lea    0x1(%r12),%rbx
test   %ebp,%ebp
mov    0x60(%rsp),%rdi
je     11a5 <coupon_vli+0x85>
cmp    $0x9,%eax
je     1287 <coupon_vli+0x167>
mov    %rbx,%rcx
sub    %r13,%rcx
cltq
movslq 0x14(%rsp),%rdx
lea    (%rcx,%rdx,1),%rsi
add    %rax,%rsi
cmp    %r14,%rsi
jle    124a <coupon_vli+0x12a>
movl   $0x3,(%rdi)
add    $0x1,%ecx
mov    0x68(%rsp),%rax
mov    %ecx,(%rax)
lea    0xe62(%rip),%rsi
xor    %ebx,%ebx
mov    0x70(%rsp),%rdi
mov    0x8(%rsp),%rdx
jmp    11fd <coupon_vli+0xdd>
movl   $0x3,0x0(%rbp)
mov    %r15d,(%rdx)
lea    0xe08(%rip),%rsi
xor    %ebx,%ebx
mov    %rcx,%rdx
xor    %eax,%eax
call   1040 <sprintf@plt>
jmp    1287 <coupon_vli+0x167>
mov    0x60(%rsp),%rcx
movl   $0x3,(%rcx)
mov    0x68(%rsp),%rcx
mov    %r15d,(%rcx)
test   %eax,%eax
lea    0xdea(%rip),%rax
lea    0xdfb(%rip),%rsi
cmovs  %rax,%rsi
movzbl (%r12),%ecx
xor    %ebx,%ebx
mov    0x70(%rsp),%rdi
mov    0x8(%rsp),%rdx
xor    %eax,%eax
call   1040 <sprintf@plt>
jmp    1287 <coupon_vli+0x167>
lea    (%rax,%rdx,1),%rcx
add    $0x1,%rcx
cmp    $0x2,%rcx
jl     1287 <coupon_vli+0x167>
add    %rdx,%rax
add    %r12,%rax
add    $0x1,%rax
mov    %ebx,%ecx
sub    %r13d,%ecx
add    $0x1,%ecx
nopw   0x0(%rax,%rax,1)
movzbl (%rbx),%edx
add    $0xc6,%dl
cmp    $0xf5,%dl
jbe    1299 <coupon_vli+0x179>
add    $0x1,%rbx
add    $0x1,%ecx
cmp    %rax,%rbx
jb     1270 <coupon_vli+0x150>
mov    %rbx,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movl   $0x3,(%rdi)
mov    0x68(%rsp),%rax
mov    %ecx,(%rax)
movzbl (%rbx),%ecx
lea    0xd99(%rip),%rsi
jmp    1235 <coupon_vli+0x115>

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

LLVM IR (-O2):
@.str = [15 x i8] c"%s VLI missing\00"
@.str.1 = [24 x i8] c"Non-numeric %s VLI '%c'\00"
@.str.2 = [20 x i8] c"Invalid %s VLI '%c'\00"
@.str.3 = [14 x i8] c"%s incomplete\00"
@.str.4 = [20 x i8] c"Non-numeric %s '%c'\00"
define i8* @coupon_vli(i8* %0, i32 %1, i8* %2, i8* %3, i32 %4, i32 %5, i32 %6, i32 %7, i32* nocapture writeonly %8, i32* nocapture writeonly %9, i8* nocapture writeonly %10) {
%12 = ptrtoint i8* %2 to i64
%13 = ptrtoint i8* %0 to i64
%14 = sub i64 %12, %13
%15 = add nsw i64 %14, 1
%16 = sext i32 %1 to i64
%17 = icmp slt i64 %14, %16
br i1 %17, label %21, label %18
18: ; preds = %11
store i32 3, i32* %8
%19 = trunc i64 %15 to i32
store i32 %19, i32* %9
%20 = tail call i32 (i8*, i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %10, i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* %3)
br label %75
21: ; preds = %11
%22 = tail call i32 @to_int(i8* %2, i32 1)
%23 = icmp slt i32 %22, %5
%24 = icmp sgt i32 %22, %6
%25 = or i1 %23, %24
br i1 %25, label %26, label %37
26: ; preds = %21
%27 = icmp eq i32 %22, 9
%28 = icmp ne i32 %7, 0
%29 = and i1 %28, %27
br i1 %29, label %37, label %30
30: ; preds = %26
store i32 3, i32* %8
%31 = trunc i64 %15 to i32
store i32 %31, i32* %9
%32 = icmp slt i32 %22, 0
%33 = select i1 %32, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0)
%34 = load i8, i8* %2
%35 = zext i8 %34 to i32
%36 = tail call i32 (i8*, i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %10, i8* dereferenceable(1) %33, i8* %3, i32 %35)
br label %75
37: ; preds = %21, %26
%38 = getelementptr inbounds i8, i8* %2, i64 1
%39 = icmp eq i32 %22, 9
%40 = icmp ne i32 %7, 0
%41 = and i1 %40, %39
br i1 %41, label %75, label %42
42: ; preds = %37
%43 = ptrtoint i8* %38 to i64
%44 = sub i64 %43, %13
%45 = sext i32 %22 to i64
%46 = sext i32 %4 to i64
%47 = add i64 %44, %46
%48 = add i64 %47, %45
%49 = icmp sgt i64 %48, %16
br i1 %49, label %50, label %54
50: ; preds = %42
store i32 3, i32* %8
%51 = trunc i64 %44 to i32
%52 = add i32 %51, 1
store i32 %52, i32* %9
%53 = tail call i32 (i8*, i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %10, i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0), i8* %3)
br label %75
54: ; preds = %42
%55 = add nsw i64 %45, 1
%56 = add nsw i64 %55, %46
%57 = getelementptr inbounds i8, i8* %2, i64 %56
%58 = icmp sgt i64 %56, 1
br i1 %58, label %59, label %75
59: ; preds = %54, %72
%60 = phi i8* [ %73, %72 ], [ %38, %54 ]
%61 = load i8, i8* %60
%62 = add i8 %61, -58
%63 = icmp ult i8 %62, -10
br i1 %63, label %64, label %72
64: ; preds = %59
store i32 3, i32* %8
%65 = ptrtoint i8* %60 to i64
%66 = sub i64 %65, %13
%67 = trunc i64 %66 to i32
%68 = add i32 %67, 1
store i32 %68, i32* %9
%69 = load i8, i8* %60
%70 = zext i8 %69 to i32
%71 = tail call i32 (i8*, i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %10, i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i8* %3, i32 %70)
br label %75
72: ; preds = %59
%73 = getelementptr inbounds i8, i8* %60, i64 1
%74 = icmp ult i8* %73, %57
br i1 %74, label %59, label %75
75: ; preds = %72, %54, %37, %64, %50, %30, %18
%76 = phi i8* [ null, %18 ], [ null, %50 ], [ null, %64 ], [ null, %30 ], [ %38, %37 ], [ %38, %54 ], [ %73, %72 ]
ret i8* %76
}