#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*/ assert(int /*<<< orphan*/);
int /*<<< orphan*/ free(char *);
char *malloc(size_t);
int /*<<< orphan*/ memcpy(char *, char const *, size_t const);
int /*<<< orphan*/ memmove(char *, char *, int);
char *realloc(char *, size_t);
char **smf_core_strsplit(char const *, char *, int *);
int /*<<< orphan*/ smf_core_strsplit_free(char **);
int strlen(char const *);
int /*<<< orphan*/ strncpy(char *, char const *, size_t);
int smf_core_expand_string(const char *format, const char *addr, char **buf) {
  int rep_made = 0;
  int nelems;
  char **parts = smf_core_strsplit(addr, "@", &nelems);
  char *out;
  size_t out_size;
  int offs;
  assert(format != NULL);
  assert(addr != NULL);
  assert(buf != NULL);
  out_size = strlen(format) + 1;
  if ((out = malloc(out_size)) == NULL) {
    return -1;
  }
  strncpy(out, format, out_size);
  out[out_size - 1] = '\0';
  offs = 0;
  while (out[offs] != '\0') {
    if (out[offs] == '%') {
      const char *insert = NULL;
      switch (out[offs + 1]) {
      case 's':
        insert = addr;
        break;
      case 'u':
        insert = parts[0];
        break;
      case 'd':
        if (nelems < 2) {
          smf_core_strsplit_free(parts);
          free(out);
          return -1;
        }
        insert = parts[1];
        break;
      default:
        smf_core_strsplit_free(parts);
        free(out);
        return (-2);
        break;
      }
      if (insert != NULL) {
        const size_t insert_len = strlen(insert);
        out_size += (insert_len - 2);
        out = realloc(out, out_size);
        memmove(out + offs + insert_len, out + offs + 2,
                strlen(out + offs + 2) + 1);
        memcpy(out + offs, insert, insert_len);
        offs += insert_len - 1;
      } else {
        offs++;
      }
      rep_made++;
    }
    offs++;
  }
  *buf = out;
  smf_core_strsplit_free(parts);
  return (rep_made);
}


x86 assembly (clang, -O0):
<smf_core_expand_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x18(%rbp),%rdi
lea    0xe3a(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1060 <smf_core_strsplit@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
cmpq   $0x0,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
add    $0x1,%eax
cltq
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
call   10a0 <malloc@plt>
mov    %rax,-0x38(%rbp)
cmp    $0x0,%rax
jne    123e <smf_core_expand_string+0x9e>
movl   $0xffffffff,-0x4(%rbp)
jmp    143c <smf_core_expand_string+0x29c>
mov    -0x38(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x40(%rbp),%rdx
call   1040 <strncpy@plt>
mov    -0x38(%rbp),%rax
mov    -0x40(%rbp),%rcx
sub    $0x1,%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x44(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1422 <smf_core_expand_string+0x282>
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x25,%eax
jne    1414 <smf_core_expand_string+0x274>
movq   $0x0,-0x50(%rbp)
mov    -0x38(%rbp),%rcx
movslq -0x44(%rbp),%rax
movsbl 0x1(%rax,%rcx,1),%eax
mov    %eax,-0x5c(%rbp)
sub    $0x64,%eax
je     12f5 <smf_core_expand_string+0x155>
jmp    12b6 <smf_core_expand_string+0x116>
mov    -0x5c(%rbp),%eax
sub    $0x73,%eax
je     12d8 <smf_core_expand_string+0x138>
jmp    12c7 <smf_core_expand_string+0x127>
mov    -0x5c(%rbp),%eax
sub    $0x75,%eax
je     12e5 <smf_core_expand_string+0x145>
jmp    132e <smf_core_expand_string+0x18e>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    134c <smf_core_expand_string+0x1ac>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x50(%rbp)
jmp    134c <smf_core_expand_string+0x1ac>
cmpl   $0x2,-0x28(%rbp)
jge    131d <smf_core_expand_string+0x17d>
mov    -0x30(%rbp),%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    143c <smf_core_expand_string+0x29c>
mov    -0x30(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x50(%rbp)
jmp    134c <smf_core_expand_string+0x1ac>
mov    -0x30(%rbp),%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
movl   $0xfffffffe,-0x4(%rbp)
jmp    143c <smf_core_expand_string+0x29c>
cmpq   $0x0,-0x50(%rbp)
je     1402 <smf_core_expand_string+0x262>
mov    -0x50(%rbp),%rdi
call   1050 <strlen@plt>
cltq
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
sub    $0x2,%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   10b0 <realloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
add    %rcx,%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
add    %rcx,%rax
add    $0x2,%rax
mov    %rax,-0x68(%rbp)
mov    -0x38(%rbp),%rdi
movslq -0x44(%rbp),%rax
add    %rax,%rdi
add    $0x2,%rdi
call   1050 <strlen@plt>
mov    -0x70(%rbp),%rdi
mov    -0x68(%rbp),%rsi
mov    %eax,%edx
add    $0x1,%edx
call   10c0 <memmove@plt>
mov    -0x38(%rbp),%rdi
movslq -0x44(%rbp),%rax
add    %rax,%rdi
mov    -0x50(%rbp),%rsi
mov    -0x58(%rbp),%rdx
call   1080 <memcpy@plt>
mov    -0x58(%rbp),%rcx
sub    $0x1,%rcx
movslq -0x44(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x44(%rbp)
jmp    140b <smf_core_expand_string+0x26b>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1266 <smf_core_expand_string+0xc6>
mov    -0x38(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<smf_core_expand_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r14
mov    %rsi,%rbp
mov    %rdi,%rbx
lea    0xe42(%rip),%rsi
lea    0x4(%rsp),%rdx
mov    %rbp,%rdi
call   1060 <smf_core_strsplit@plt>
mov    %rax,%r15
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1070 <assert@plt>
xor    %edi,%edi
mov    %rbp,0x20(%rsp)
test   %rbp,%rbp
setne  %dil
call   1070 <assert@plt>
xor    %edi,%edi
test   %r14,%r14
setne  %dil
call   1070 <assert@plt>
mov    %rbx,%rdi
call   1050 <strlen@plt>
movslq %eax,%r13
add    $0x1,%r13
mov    %r13,%rdi
call   10a0 <malloc@plt>
mov    %rax,%r12
mov    $0xffffffff,%eax
test   %r12,%r12
je     1379 <smf_core_expand_string+0x1d9>
mov    %r14,0x8(%rsp)
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %r13,%rdx
call   1040 <strncpy@plt>
movb   $0x0,-0x1(%r13,%r12,1)
mov    %r15,%rax
add    $0x8,%rax
mov    %rax,0x10(%rsp)
xor    %ebp,%ebp
xor    %eax,%eax
mov    %r15,0x18(%rsp)
jmp    126b <smf_core_expand_string+0xcb>
cs nopw 0x0(%rax,%rax,1)
nop
test   %cl,%cl
je     1339 <smf_core_expand_string+0x199>
add    $0x1,%eax
movslq %eax,%r14
movzbl (%r12,%r14,1),%ecx
cmp    $0x25,%cl
jne    1260 <smf_core_expand_string+0xc0>
movsbl 0x1(%r12,%r14,1),%eax
mov    %r15,%rcx
cmp    $0x75,%eax
je     12a9 <smf_core_expand_string+0x109>
mov    0x20(%rsp),%rbx
cmp    $0x73,%eax
je     12ac <smf_core_expand_string+0x10c>
cmp    $0x64,%eax
jne    134d <smf_core_expand_string+0x1ad>
cmpl   $0x1,0x4(%rsp)
mov    0x10(%rsp),%rcx
jle    1364 <smf_core_expand_string+0x1c4>
mov    (%rcx),%rbx
test   %rbx,%rbx
je     132a <smf_core_expand_string+0x18a>
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %ebp,(%rsp)
movslq %eax,%rbp
add    %rbp,%r13
add    $0xfffffffffffffffe,%r13
mov    %r13,0x30(%rsp)
mov    %r12,%rdi
mov    %r13,%rsi
call   10b0 <realloc@plt>
mov    %rax,%r12
lea    (%rax,%r14,1),%r15
lea    (%r15,%rbp,1),%rax
mov    %rax,0x28(%rsp)
lea    (%r12,%r14,1),%r13
add    $0x2,%r13
mov    %r13,%rdi
call   1050 <strlen@plt>
lea    0x1(%rax),%edx
mov    0x28(%rsp),%rdi
mov    %r13,%rsi
mov    0x30(%rsp),%r13
call   10c0 <memmove@plt>
mov    %r15,%rdi
mov    0x18(%rsp),%r15
mov    %rbx,%rsi
mov    %rbp,%rdx
call   1080 <memcpy@plt>
lea    (%r14,%rbp,1),%eax
add    $0xffffffff,%eax
mov    (%rsp),%ebp
jmp    1331 <smf_core_expand_string+0x191>
add    $0x1,%r14
mov    %r14d,%eax
add    $0x1,%ebp
jmp    1268 <smf_core_expand_string+0xc8>
mov    0x8(%rsp),%rax
mov    %r12,(%rax)
mov    %r15,%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    %ebp,%eax
jmp    1379 <smf_core_expand_string+0x1d9>
mov    %r15,%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    %r12,%rdi
call   1030 <free@plt>
mov    $0xfffffffe,%eax
jmp    1379 <smf_core_expand_string+0x1d9>
mov    %r15,%rdi
call   1090 <smf_core_strsplit_free@plt>
mov    %r12,%rdi
call   1030 <free@plt>
mov    $0xffffffff,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [2 x i8] c"@\00"
define i32 @smf_core_expand_string(i8* %0, i8* %1, i8** writeonly %2) {
%4 = alloca i32
%5 = bitcast i32* %4 to i8*
%6 = call i8** @smf_core_strsplit(i8* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32* %4)
%7 = icmp ne i8* %0, null
%8 = zext i1 %7 to i32
%9 = call i32 @assert(i32 %8)
%10 = icmp ne i8* %1, null
%11 = zext i1 %10 to i32
%12 = call i32 @assert(i32 %11)
%13 = icmp ne i8** %2, null
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = call i32 @strlen(i8* %0)
%17 = add nsw i32 %16, 1
%18 = sext i32 %17 to i64
%19 = call i8* @malloc(i64 %18)
%20 = icmp eq i8* %19, null
br i1 %20, label %83, label %21
21: ; preds = %3
%22 = call i32 @strncpy(i8* %19, i8* %0, i64 %18)
%23 = add nsw i64 %18, -1
%24 = getelementptr inbounds i8, i8* %19, i64 %23
store i8 0, i8* %24
%25 = getelementptr inbounds i8*, i8** %6, i64 1
br label %26
26: ; preds = %75, %21
%27 = phi i32 [ 0, %21 ], [ %76, %75 ]
%28 = phi i8* [ %19, %21 ], [ %77, %75 ]
%29 = phi i64 [ %18, %21 ], [ %78, %75 ]
%30 = phi i32 [ 0, %21 ], [ %80, %75 ]
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %28, i64 %31
%33 = load i8, i8* %32
switch i8 %33, label %75 [
i8 0, label %81
i8 37, label %34
]
34: ; preds = %26
%35 = add nsw i32 %30, 1
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %28, i64 %36
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
switch i32 %39, label %46 [
i32 115, label %52
i32 117, label %49
i32 100, label %40
]
40: ; preds = %34
%41 = load i32, i32* %4
%42 = icmp slt i32 %41, 2
br i1 %42, label %43, label %49
43: ; preds = %40
%44 = call i32 @smf_core_strsplit_free(i8** %6)
%45 = call i32 @free(i8* %28)
br label %83
46: ; preds = %34
%47 = call i32 @smf_core_strsplit_free(i8** %6)
%48 = call i32 @free(i8* %28)
br label %83
49: ; preds = %40, %34
%50 = phi i8** [ %6, %34 ], [ %25, %40 ]
%51 = load i8*, i8** %50
br label %52
52: ; preds = %49, %34
%53 = phi i8* [ %1, %34 ], [ %51, %49 ]
%54 = icmp eq i8* %53, null
br i1 %54, label %70, label %55
55: ; preds = %52
%56 = call i32 @strlen(i8* %53)
%57 = sext i32 %56 to i64
%58 = add i64 %29, -2
%59 = add i64 %58, %57
%60 = call i8* @realloc(i8* %28, i64 %59)
%61 = getelementptr inbounds i8, i8* %60, i64 %31
%62 = getelementptr inbounds i8, i8* %61, i64 %57
%63 = getelementptr inbounds i8, i8* %61, i64 2
%64 = call i32 @strlen(i8* %63)
%65 = add nsw i32 %64, 1
%66 = call i32 @memmove(i8* %62, i8* %63, i32 %65)
%67 = call i32 @memcpy(i8* %61, i8* %53, i64 %57)
%68 = add i32 %30, -1
%69 = add i32 %68, %56
br label %70
70: ; preds = %55, %52
%71 = phi i8* [ %60, %55 ], [ %28, %52 ]
%72 = phi i64 [ %59, %55 ], [ %29, %52 ]
%73 = phi i32 [ %69, %55 ], [ %35, %52 ]
%74 = add nsw i32 %27, 1
br label %75
75: ; preds = %70, %26
%76 = phi i32 [ %74, %70 ], [ %27, %26 ]
%77 = phi i8* [ %71, %70 ], [ %28, %26 ]
%78 = phi i64 [ %72, %70 ], [ %29, %26 ]
%79 = phi i32 [ %73, %70 ], [ %30, %26 ]
%80 = add nsw i32 %79, 1
br label %26
81: ; preds = %26
store i8* %28, i8** %2
%82 = call i32 @smf_core_strsplit_free(i8** %6)
br label %83
83: ; preds = %43, %46, %3, %81
%84 = phi i32 [ %27, %81 ], [ -1, %3 ], [ -1, %43 ], [ -2, %46 ]
ret i32 %84
}