#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__ malloc(int);
int strlen(char *);
void search(int section, char *s, int *stack, char **table, int *size) {
  int len = strlen(s);
  if (section == 4) {
    int sum = stack[0] + stack[1] + stack[2] + stack[3];
    if (sum == len) {
      table[*size] = (char *)malloc(sizeof(char) * (len + 4));
      int start = 0;
      int index = 0;
      for (int i = 0; i < 4; i++) {
        for (int j = 0; j < stack[i]; j++)
          table[*size][index++] = s[start + j];
        start += stack[i];
        table[*size][index++] = '.';
      }
      table[*size][index - 1] = '\0';
      (*size)++;
    }
    return;
  }
  int start = 0;
  for (int i = 0; i < section; i++)
    start += stack[i];
  for (int i = 1; i < 4; i++) {
    if (i == 2 || i == 3) {
      if (s[start] == '0')
        continue;
      if (i == 3) {
        int sum = 0;
        for (int j = 0; j < 3; j++)
          sum = 10 * sum + (s[start + j] - '0');
        if (sum > 255)
          continue;
      }
    }
    stack[section] = i;
    search(section + 1, s, stack, table, size);
  }
}


x86 assembly (clang, -O0):
<search>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x4,-0x4(%rbp)
jne    1294 <search+0x164>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
add    0x4(%rcx),%eax
mov    -0x18(%rbp),%rcx
add    0x8(%rcx),%eax
mov    -0x18(%rbp),%rcx
add    0xc(%rcx),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jne    128f <search+0x15f>
mov    -0x2c(%rbp),%eax
add    $0x4,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %rdx,(%rax,%rcx,8)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
cmpl   $0x4,-0x3c(%rbp)
jge    1268 <search+0x138>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1228 <search+0xf8>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x38(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11d6 <search+0xa6>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x38(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11c5 <search+0x95>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    13ac <search+0x27c>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12cd <search+0x19d>
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    12a2 <search+0x172>
movl   $0x1,-0x4c(%rbp)
cmpl   $0x4,-0x4c(%rbp)
jge    13ac <search+0x27c>
cmpl   $0x2,-0x4c(%rbp)
je     12f2 <search+0x1c2>
cmpl   $0x3,-0x4c(%rbp)
jne    1375 <search+0x245>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    130c <search+0x1dc>
jmp    139e <search+0x26e>
cmpl   $0x3,-0x4c(%rbp)
jne    1370 <search+0x240>
movl   $0x0,-0x50(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x3,-0x54(%rbp)
jge    1359 <search+0x229>
imul   $0xa,-0x50(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x44(%rbp),%edx
add    -0x54(%rbp),%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1324 <search+0x1f4>
cmpl   $0xff,-0x50(%rbp)
jle    136b <search+0x23b>
jmp    139e <search+0x26e>
jmp    1370 <search+0x240>
jmp    1375 <search+0x245>
mov    -0x4c(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
call   1040 <search@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12d4 <search+0x1a4>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8,%r15
mov    %rcx,%r14
mov    %rdx,%r13
mov    %rsi,%r12
mov    %edi,%ebx
mov    %rsi,%rdi
call   1030 <strlen@plt>
cmp    $0x4,%ebx
jne    11e5 <search+0xb5>
movdqu 0x0(%r13),%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ecx
cmp    %eax,%ecx
jne    149c <search+0x36c>
add    $0x4,%eax
mov    %eax,%edi
call   1050 <malloc@plt>
movslq (%r15),%rcx
mov    %rax,(%r14,%rcx,8)
mov    0x0(%r13),%r8d
test   %r8d,%r8d
jle    122f <search+0xff>
mov    (%r12),%cl
mov    %cl,(%rax)
mov    0x0(%r13),%r8d
mov    $0x1,%ecx
cmp    $0x2,%r8d
jl     11dc <search+0xac>
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
movslq (%r15),%rax
mov    (%r14,%rax,8),%rax
movzbl (%r12,%rcx,1),%edx
mov    %dl,(%rax,%rcx,1)
add    $0x1,%rcx
movslq 0x0(%r13),%r8
cmp    %r8,%rcx
jl     11c0 <search+0x90>
movslq (%r15),%rax
mov    (%r14,%rax,8),%rax
jmp    1231 <search+0x101>
xor    %ebp,%ebp
test   %ebx,%ebx
jle    1421 <search+0x2f1>
mov    %ebx,%eax
cmp    $0x8,%ebx
jae    11fd <search+0xcd>
xor    %ecx,%ecx
jmp    1410 <search+0x2e0>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x18,%rsi
jae    1333 <search+0x203>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
jmp    13b2 <search+0x282>
xor    %ecx,%ecx
movslq %ecx,%rsi
add    $0x1,%ecx
movb   $0x2e,(%rax,%rsi,1)
mov    0x4(%r13),%eax
test   %eax,%eax
jle    1270 <search+0x140>
movslq %r8d,%rdi
movslq %ecx,%rbp
add    %r12,%rdi
xor    %esi,%esi
xchg   %ax,%ax
movzbl (%rdi,%rsi,1),%eax
movslq (%r15),%rdx
mov    (%r14,%rdx,8),%rdx
add    %rbp,%rdx
mov    %al,(%rsi,%rdx,1)
add    $0x1,%rsi
movslq 0x4(%r13),%rax
cmp    %rax,%rsi
jl     1250 <search+0x120>
add    %esi,%ecx
add    %r8d,%eax
movslq (%r15),%rdx
mov    (%r14,%rdx,8),%rdx
movslq %ecx,%rsi
add    $0x1,%ecx
movb   $0x2e,(%rdx,%rsi,1)
mov    0x8(%r13),%edx
test   %edx,%edx
jle    12c0 <search+0x190>
movslq %eax,%rdi
movslq %ecx,%rbp
add    %r12,%rdi
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movzbl (%rdi,%rsi,1),%edx
movslq (%r15),%rbx
mov    (%r14,%rbx,8),%rbx
add    %rbp,%rbx
mov    %dl,(%rsi,%rbx,1)
add    $0x1,%rsi
movslq 0x8(%r13),%rdx
cmp    %rdx,%rsi
jl     12a0 <search+0x170>
add    %esi,%ecx
movslq (%r15),%rsi
mov    (%r14,%rsi,8),%rsi
movslq %ecx,%rdi
add    $0x1,%ecx
movb   $0x2e,(%rsi,%rdi,1)
cmpl   $0x0,0xc(%r13)
jle    1311 <search+0x1e1>
add    %eax,%edx
movslq %edx,%rax
movslq %ecx,%rdx
add    %rax,%r12
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%r12,%rax,1),%ebx
movslq (%r15),%rsi
mov    (%r14,%rsi,8),%rsi
add    %rdx,%rsi
mov    %bl,(%rax,%rsi,1)
add    $0x1,%rax
movslq 0xc(%r13),%rsi
cmp    %rsi,%rax
jl     12f0 <search+0x1c0>
add    %eax,%ecx
movslq (%r15),%rax
mov    (%r14,%rax,8),%rax
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
movslq (%r15),%rax
mov    (%r14,%rax,8),%rax
movb   $0x0,(%rax,%rcx,1)
addl   $0x1,(%r15)
jmp    149c <search+0x36c>
and    $0xfffffffffffffffc,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu 0x0(%r13,%rsi,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r13,%rsi,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x20(%r13,%rsi,4),%xmm1
movdqu 0x30(%r13,%rsi,4),%xmm3
movdqu 0x40(%r13,%rsi,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x50(%r13,%rsi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x60(%r13,%rsi,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x70(%r13,%rsi,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1350 <search+0x220>
test   %rdx,%rdx
je     13ec <search+0x2bc>
lea    0x10(,%rsi,4),%rsi
add    %r13,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movdqu -0x10(%rsi,%rdi,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rsi,%rdi,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    13d0 <search+0x2a0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ebp
cmp    %rax,%rcx
je     141e <search+0x2ee>
nopl   0x0(%rax,%rax,1)
add    0x0(%r13,%rcx,4),%ebp
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1410 <search+0x2e0>
movslq %ebp,%rbp
movslq %ebx,%rax
add    $0x1,%ebx
mov    %rax,(%rsp)
movl   $0x1,0x0(%r13,%rax,4)
mov    %ebx,%edi
mov    %r12,%rsi
mov    %r13,%rdx
mov    %r14,%rcx
mov    %r15,%r8
call   1040 <search@plt>
cmpb   $0x30,(%r12,%rbp,1)
je     149c <search+0x36c>
mov    (%rsp),%rax
movl   $0x2,0x0(%r13,%rax,4)
mov    %ebx,%edi
mov    %r12,%rsi
mov    %r13,%rdx
mov    %r14,%rcx
mov    %r15,%r8
call   1040 <search@plt>
movsbl (%r12,%rbp,1),%eax
cmp    $0x30,%eax
je     149c <search+0x36c>
lea    (%rax,%rax,4),%eax
movsbl 0x1(%rbp,%r12,1),%ecx
lea    (%rcx,%rax,2),%eax
lea    (%rax,%rax,4),%eax
movsbl 0x2(%rbp,%r12,1),%ecx
lea    (%rcx,%rax,2),%eax
add    $0xffffeb30,%eax
cmp    $0xff,%eax
jle    14ab <search+0x37b>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    (%rsp),%rax
movl   $0x3,0x0(%r13,%rax,4)
mov    %ebx,%edi
mov    %r12,%rsi
mov    %r13,%rdx
mov    %r14,%rcx
mov    %r15,%r8
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <search@plt>

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

LLVM IR (-O2):
define void @search(i32 %0, i8* %1, i32* nocapture %2, i8** nocapture %3, i32* nocapture %4) {
%6 = tail call i32 @strlen(i8* %1)
%7 = icmp eq i32 %0, 4
br i1 %7, label %97, label %8
8: ; preds = %5
%9 = icmp sgt i32 %0, 0
br i1 %9, label %10, label %264
10: ; preds = %8
%11 = zext i32 %0 to i64
%12 = icmp ult i32 %0, 8
br i1 %12, label %94, label %13
13: ; preds = %10
%14 = and i64 %11, 4294967288
%15 = add nsw i64 %14, -8
%16 = lshr exact i64 %15, 3
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 3
%19 = icmp ult i64 %15, 24
br i1 %19, label %65, label %20
20: ; preds = %13
%21 = and i64 %17, 4611686018427387900
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %62, %22 ]
%24 = phi <4 x i32> [ zeroinitializer, %20 ], [ %60, %22 ]
%25 = phi <4 x i32> [ zeroinitializer, %20 ], [ %61, %22 ]
%26 = phi i64 [ 0, %20 ], [ %63, %22 ]
%27 = getelementptr inbounds i32, i32* %2, i64 %23
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = getelementptr inbounds i32, i32* %27, i64 4
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = add <4 x i32> %29, %24
%34 = add <4 x i32> %32, %25
%35 = or i64 %23, 8
%36 = getelementptr inbounds i32, i32* %2, i64 %35
%37 = bitcast i32* %36 to <4 x i32>*
%38 = load <4 x i32>, <4 x i32>* %37
%39 = getelementptr inbounds i32, i32* %36, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
%41 = load <4 x i32>, <4 x i32>* %40
%42 = add <4 x i32> %38, %33
%43 = add <4 x i32> %41, %34
%44 = or i64 %23, 16
%45 = getelementptr inbounds i32, i32* %2, i64 %44
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = getelementptr inbounds i32, i32* %45, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = add <4 x i32> %47, %42
%52 = add <4 x i32> %50, %43
%53 = or i64 %23, 24
%54 = getelementptr inbounds i32, i32* %2, i64 %53
%55 = bitcast i32* %54 to <4 x i32>*
%56 = load <4 x i32>, <4 x i32>* %55
%57 = getelementptr inbounds i32, i32* %54, i64 4
%58 = bitcast i32* %57 to <4 x i32>*
%59 = load <4 x i32>, <4 x i32>* %58
%60 = add <4 x i32> %56, %51
%61 = add <4 x i32> %59, %52
%62 = add nuw i64 %23, 32
%63 = add i64 %26, 4
%64 = icmp eq i64 %63, %21
br i1 %64, label %65, label %22
65: ; preds = %22, %13
%66 = phi <4 x i32> [ undef, %13 ], [ %60, %22 ]
%67 = phi <4 x i32> [ undef, %13 ], [ %61, %22 ]
%68 = phi i64 [ 0, %13 ], [ %62, %22 ]
%69 = phi <4 x i32> [ zeroinitializer, %13 ], [ %60, %22 ]
%70 = phi <4 x i32> [ zeroinitializer, %13 ], [ %61, %22 ]
%71 = icmp eq i64 %18, 0
br i1 %71, label %88, label %72
72: ; preds = %65, %72
%73 = phi i64 [ %85, %72 ], [ %68, %65 ]
%74 = phi <4 x i32> [ %83, %72 ], [ %69, %65 ]
%75 = phi <4 x i32> [ %84, %72 ], [ %70, %65 ]
%76 = phi i64 [ %86, %72 ], [ 0, %65 ]
%77 = getelementptr inbounds i32, i32* %2, i64 %73
%78 = bitcast i32* %77 to <4 x i32>*
%79 = load <4 x i32>, <4 x i32>* %78
%80 = getelementptr inbounds i32, i32* %77, i64 4
%81 = bitcast i32* %80 to <4 x i32>*
%82 = load <4 x i32>, <4 x i32>* %81
%83 = add <4 x i32> %79, %74
%84 = add <4 x i32> %82, %75
%85 = add nuw i64 %73, 8
%86 = add i64 %76, 1
%87 = icmp eq i64 %86, %18
br i1 %87, label %88, label %72
88: ; preds = %72, %65
%89 = phi <4 x i32> [ %66, %65 ], [ %83, %72 ]
%90 = phi <4 x i32> [ %67, %65 ], [ %84, %72 ]
%91 = add <4 x i32> %90, %89
%92 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %91)
%93 = icmp eq i64 %14, %11
br i1 %93, label %253, label %94
94: ; preds = %10, %88
%95 = phi i64 [ 0, %10 ], [ %14, %88 ]
%96 = phi i32 [ 0, %10 ], [ %92, %88 ]
br label %256
97: ; preds = %5
%98 = getelementptr inbounds i32, i32* %2, i64 1
%99 = getelementptr inbounds i32, i32* %2, i64 2
%100 = getelementptr inbounds i32, i32* %2, i64 3
%101 = bitcast i32* %2 to <4 x i32>*
%102 = load <4 x i32>, <4 x i32>* %101
%103 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %102)
%104 = icmp eq i32 %103, %6
br i1 %104, label %105, label %293
105: ; preds = %97
%106 = add nsw i32 %6, 4
%107 = tail call i64 @malloc(i32 %106)
%108 = inttoptr i64 %107 to i8*
%109 = load i32, i32* %4
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8*, i8** %3, i64 %110
store i8* %108, i8** %111
%112 = load i32, i32* %2
%113 = icmp sgt i32 %112, 0
br i1 %113, label %114, label %127
114: ; preds = %105
%115 = load i8, i8* %1
store i8 %115, i8* %108
%116 = load i32, i32* %2
%117 = icmp sgt i32 %116, 1
br i1 %117, label %240, label %120
118: ; preds = %240
%119 = trunc i64 %248 to i32
br label %120
120: ; preds = %118, %114
%121 = phi i32 [ %119, %118 ], [ 1, %114 ]
%122 = phi i32 [ %250, %118 ], [ %116, %114 ]
%123 = load i32, i32* %4
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8*, i8** %3, i64 %124
%126 = load i8*, i8** %125
br label %127
127: ; preds = %120, %105
%128 = phi i8* [ %108, %105 ], [ %126, %120 ]
%129 = phi i32 [ 0, %105 ], [ %121, %120 ]
%130 = phi i32 [ %112, %105 ], [ %122, %120 ]
%131 = add nsw i32 %129, 1
%132 = sext i32 %129 to i64
%133 = getelementptr inbounds i8, i8* %128, i64 %132
store i8 46, i8* %133
%134 = load i32, i32* %98
%135 = icmp sgt i32 %134, 0
br i1 %135, label %136, label %157
136: ; preds = %127
%137 = sext i32 %130 to i64
%138 = sext i32 %131 to i64
br label %139
139: ; preds = %139, %136
%140 = phi i64 [ %138, %136 ], [ %149, %139 ]
%141 = phi i64 [ 0, %136 ], [ %151, %139 ]
%142 = add nsw i64 %141, %137
%143 = getelementptr inbounds i8, i8* %1, i64 %142
%144 = load i8, i8* %143
%145 = load i32, i32* %4
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds i8*, i8** %3, i64 %146
%148 = load i8*, i8** %147
%149 = add nsw i64 %140, 1
%150 = getelementptr inbounds i8, i8* %148, i64 %140
store i8 %144, i8* %150
%151 = add nuw nsw i64 %141, 1
%152 = load i32, i32* %98
%153 = sext i32 %152 to i64
%154 = icmp slt i64 %151, %153
br i1 %154, label %139, label %155
155: ; preds = %139
%156 = trunc i64 %149 to i32
br label %157
157: ; preds = %155, %127
%158 = phi i32 [ %131, %127 ], [ %156, %155 ]
%159 = phi i32 [ %134, %127 ], [ %152, %155 ]
%160 = add nsw i32 %159, %130
%161 = load i32, i32* %4
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds i8*, i8** %3, i64 %162
%164 = load i8*, i8** %163
%165 = add nsw i32 %158, 1
%166 = sext i32 %158 to i64
%167 = getelementptr inbounds i8, i8* %164, i64 %166
store i8 46, i8* %167
%168 = load i32, i32* %99
%169 = icmp sgt i32 %168, 0
br i1 %169, label %170, label %191
170: ; preds = %157
%171 = sext i32 %160 to i64
%172 = sext i32 %165 to i64
br label %173
173: ; preds = %173, %170
%174 = phi i64 [ %172, %170 ], [ %183, %173 ]
%175 = phi i64 [ 0, %170 ], [ %185, %173 ]
%176 = add nsw i64 %175, %171
%177 = getelementptr inbounds i8, i8* %1, i64 %176
%178 = load i8, i8* %177
%179 = load i32, i32* %4
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i8*, i8** %3, i64 %180
%182 = load i8*, i8** %181
%183 = add nsw i64 %174, 1
%184 = getelementptr inbounds i8, i8* %182, i64 %174
store i8 %178, i8* %184
%185 = add nuw nsw i64 %175, 1
%186 = load i32, i32* %99
%187 = sext i32 %186 to i64
%188 = icmp slt i64 %185, %187
br i1 %188, label %173, label %189
189: ; preds = %173
%190 = trunc i64 %183 to i32
br label %191
191: ; preds = %189, %157
%192 = phi i32 [ %165, %157 ], [ %190, %189 ]
%193 = phi i32 [ %168, %157 ], [ %186, %189 ]
%194 = load i32, i32* %4
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds i8*, i8** %3, i64 %195
%197 = load i8*, i8** %196
%198 = add nsw i32 %192, 1
%199 = sext i32 %192 to i64
%200 = getelementptr inbounds i8, i8* %197, i64 %199
store i8 46, i8* %200
%201 = load i32, i32* %100
%202 = icmp sgt i32 %201, 0
br i1 %202, label %203, label %225
203: ; preds = %191
%204 = add nsw i32 %193, %160
%205 = sext i32 %204 to i64
%206 = sext i32 %198 to i64
br label %207
207: ; preds = %207, %203
%208 = phi i64 [ %206, %203 ], [ %217, %207 ]
%209 = phi i64 [ 0, %203 ], [ %219, %207 ]
%210 = add nsw i64 %209, %205
%211 = getelementptr inbounds i8, i8* %1, i64 %210
%212 = load i8, i8* %211
%213 = load i32, i32* %4
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds i8*, i8** %3, i64 %214
%216 = load i8*, i8** %215
%217 = add nsw i64 %208, 1
%218 = getelementptr inbounds i8, i8* %216, i64 %208
store i8 %212, i8* %218
%219 = add nuw nsw i64 %209, 1
%220 = load i32, i32* %100
%221 = sext i32 %220 to i64
%222 = icmp slt i64 %219, %221
br i1 %222, label %207, label %223
223: ; preds = %207
%224 = trunc i64 %217 to i32
br label %225
225: ; preds = %223, %191
%226 = phi i32 [ %198, %191 ], [ %224, %223 ]
%227 = load i32, i32* %4
%228 = sext i32 %227 to i64
%229 = getelementptr inbounds i8*, i8** %3, i64 %228
%230 = load i8*, i8** %229
%231 = sext i32 %226 to i64
%232 = getelementptr inbounds i8, i8* %230, i64 %231
store i8 46, i8* %232
%233 = load i32, i32* %4
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i8*, i8** %3, i64 %234
%236 = load i8*, i8** %235
%237 = getelementptr inbounds i8, i8* %236, i64 %231
store i8 0, i8* %237
%238 = load i32, i32* %4
%239 = add nsw i32 %238, 1
store i32 %239, i32* %4
br label %293
240: ; preds = %114, %240
%241 = phi i64 [ %248, %240 ], [ 1, %114 ]
%242 = load i32, i32* %4
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds i8*, i8** %3, i64 %243
%245 = load i8*, i8** %244
%246 = getelementptr inbounds i8, i8* %1, i64 %241
%247 = load i8, i8* %246
%248 = add nuw nsw i64 %241, 1
%249 = getelementptr inbounds i8, i8* %245, i64 %241
store i8 %247, i8* %249
%250 = load i32, i32* %2
%251 = sext i32 %250 to i64
%252 = icmp slt i64 %248, %251
br i1 %252, label %240, label %118
253: ; preds = %256, %88
%254 = phi i32 [ %92, %88 ], [ %261, %256 ]
%255 = sext i32 %254 to i64
br label %264
256: ; preds = %94, %256
%257 = phi i64 [ %262, %256 ], [ %95, %94 ]
%258 = phi i32 [ %261, %256 ], [ %96, %94 ]
%259 = getelementptr inbounds i32, i32* %2, i64 %257
%260 = load i32, i32* %259
%261 = add nsw i32 %260, %258
%262 = add nuw nsw i64 %257, 1
%263 = icmp eq i64 %262, %11
br i1 %263, label %253, label %256
264: ; preds = %8, %253
%265 = phi i64 [ 0, %8 ], [ %255, %253 ]
%266 = getelementptr inbounds i8, i8* %1, i64 %265
%267 = sext i32 %0 to i64
%268 = getelementptr inbounds i32, i32* %2, i64 %267
%269 = add nsw i32 %0, 1
store i32 1, i32* %268
tail call void @search(i32 %269, i8* %1, i32* %2, i8** %3, i32* %4)
%270 = load i8, i8* %266
%271 = icmp eq i8 %270, 48
br i1 %271, label %293, label %272
272: ; preds = %264
store i32 2, i32* %268
tail call void @search(i32 %269, i8* %1, i32* %2, i8** %3, i32* %4)
%273 = load i8, i8* %266
%274 = icmp eq i8 %273, 48
br i1 %274, label %293, label %275
275: ; preds = %272
%276 = sext i8 %273 to i32
%277 = mul nsw i32 %276, 10
%278 = add nsw i64 %265, 1
%279 = getelementptr inbounds i8, i8* %1, i64 %278
%280 = load i8, i8* %279
%281 = sext i8 %280 to i32
%282 = add nsw i32 %277, -528
%283 = add nsw i32 %282, %281
%284 = mul nsw i32 %283, 10
%285 = add nsw i64 %265, 2
%286 = getelementptr inbounds i8, i8* %1, i64 %285
%287 = load i8, i8* %286
%288 = sext i8 %287 to i32
%289 = add nsw i32 %284, -48
%290 = add nsw i32 %289, %288
%291 = icmp sgt i32 %290, 255
br i1 %291, label %293, label %292
292: ; preds = %275
store i32 3, i32* %268
tail call void @search(i32 %269, i8* %1, i32* %2, i8** %3, i32* %4)
br label %293
293: ; preds = %264, %272, %275, %292, %97, %225
ret void
}