#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 strlen(char *);
void split(char *line, char *fst, char *snd) {
  int index, diff, size;
  size = strlen(line);
  for (index = 0; index < size; index++) {
    if (line[index] == ':') {
      fst[index] = '\0';
      break;
    } else {
      fst[index] = line[index];
    }
  }
  index++;
  diff = index;
  for (; index < size; index++) {
    snd[index - diff] = line[index];
  }
  snd[index - diff] = '\0';
}


x86 assembly (clang, -O0):
<split>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1192 <split+0x82>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    1169 <split+0x59>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1192 <split+0x82>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1184 <split+0x74>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1137 <split+0x27>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11d6 <split+0xc6>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11a1 <split+0x91>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<split>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
call   1030 <strlen@plt>
test   %eax,%eax
jle    114b <split+0x3b>
mov    %eax,%ecx
xor    %edx,%edx
nop
movzbl (%r15,%rdx,1),%ebx
cmp    $0x3a,%bl
je     114f <split+0x3f>
mov    %bl,(%r12,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1130 <split+0x20>
mov    %ecx,%edx
jmp    1154 <split+0x44>
xor    %edx,%edx
jmp    1154 <split+0x44>
movb   $0x0,(%r12,%rdx,1)
lea    0x1(%rdx),%r13d
mov    %r13d,%esi
cmp    %eax,%r13d
jge    133c <split+0x22c>
movslq %r13d,%r8
mov    %eax,%r11d
sub    %edx,%r11d
add    $0xfffffffe,%r11d
mov    %r8,%rdx
cmp    $0x7,%r11d
jb     12af <split+0x19f>
lea    -0x1(%rax),%esi
mov    %r8,%rdx
cmp    %r13d,%esi
jb     12af <split+0x19f>
mov    %r13d,%esi
lea    (%r11,%rsi,1),%rdx
add    %r15,%rdx
add    $0x1,%rdx
cmp    %r14,%rdx
jbe    11b7 <split+0xa7>
lea    (%r11,%r14,1),%rdi
add    $0x1,%rdi
add    %r15,%rsi
mov    %r8,%rdx
cmp    %rdi,%rsi
jb     12af <split+0x19f>
movabs $0x1ffffffe0,%r12
cmp    $0x1f,%r11d
jae    11ce <split+0xbe>
xor    %ebx,%ebx
jmp    126f <split+0x15f>
lea    0x1(%r11),%r9
mov    %r9,%rbx
and    %r12,%rbx
lea    -0x20(%rbx),%rdx
mov    %rdx,%r10
shr    $0x5,%r10
add    $0x1,%r10
test   %rdx,%rdx
je     129f <split+0x18f>
mov    %r10,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edx,%edx
mov    %r8,%rdi
nopl   0x0(%rax)
mov    %edi,%ecx
movups (%r15,%rcx,1),%xmm0
movups 0x10(%r15,%rcx,1),%xmm1
movups %xmm0,(%r14,%rdx,1)
movups %xmm1,0x10(%r14,%rdx,1)
lea    0x20(%rdi),%ecx
movups (%r15,%rcx,1),%xmm0
movups 0x10(%r15,%rcx,1),%xmm1
movups %xmm0,0x20(%r14,%rdx,1)
movups %xmm1,0x30(%r14,%rdx,1)
add    $0x40,%rdx
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    1200 <split+0xf0>
test   $0x1,%r10b
je     1260 <split+0x150>
lea    (%rdx,%r13,1),%ecx
movups (%r15,%rcx,1),%xmm0
movups 0x10(%r15,%rcx,1),%xmm1
movups %xmm0,(%r14,%rdx,1)
movups %xmm1,0x10(%r14,%rdx,1)
cmp    %rbx,%r9
je     133a <split+0x22a>
test   $0x18,%r9b
je     12a9 <split+0x199>
add    $0x1,%r11
add    $0x18,%r12
and    %r11,%r12
lea    (%r12,%r8,1),%rdx
xchg   %ax,%ax
lea    (%rbx,%r13,1),%ecx
mov    (%r15,%rcx,1),%rcx
mov    %rcx,(%r14,%rbx,1)
add    $0x8,%rbx
cmp    %rbx,%r12
jne    1280 <split+0x170>
cmp    %r12,%r11
jne    12af <split+0x19f>
jmp    133a <split+0x22a>
xor    %edx,%edx
test   $0x1,%r10b
jne    1246 <split+0x136>
jmp    1260 <split+0x150>
add    %r8,%rbx
mov    %rbx,%rdx
mov    %eax,%edi
sub    %edx,%edi
mov    %edx,%esi
not    %esi
add    %eax,%esi
and    $0x3,%edi
je     12e3 <split+0x1d3>
mov    %r14,%rbx
sub    %r8,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %edx,%ecx
movzbl (%r15,%rcx,1),%ecx
mov    %cl,(%rbx,%rdx,1)
add    $0x1,%rdx
add    $0xffffffff,%edi
jne    12d0 <split+0x1c0>
cmp    $0x3,%esi
jb     133a <split+0x22a>
mov    %eax,%esi
neg    %esi
add    $0x3,%rdx
mov    %r14,%rdi
sub    %r8,%rdi
cs nopw 0x0(%rax,%rax,1)
lea    -0x3(%rdx),%ecx
movzbl (%r15,%rcx,1),%ecx
mov    %cl,-0x3(%rdi,%rdx,1)
lea    -0x2(%rdx),%ecx
movzbl (%r15,%rcx,1),%ecx
mov    %cl,-0x2(%rdi,%rdx,1)
lea    -0x1(%rdx),%ecx
movzbl (%r15,%rcx,1),%ecx
mov    %cl,-0x1(%rdi,%rdx,1)
mov    %edx,%ecx
movzbl (%r15,%rcx,1),%ecx
mov    %cl,(%rdi,%rdx,1)
add    $0x4,%rdx
lea    (%rsi,%rdx,1),%ecx
cmp    $0x3,%ecx
jne    1300 <split+0x1f0>
mov    %eax,%esi
sub    %r13d,%esi
movslq %esi,%rax
movb   $0x0,(%r14,%rax,1)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @split(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
%10 = load i8*, i8** %4
%11 = call i32 @strlen(i8* %10)
store i32 %11, i32* %9
store i32 0, i32* %7
br label %12
12: ; preds = %40, %3
%13 = load i32, i32* %7
%14 = load i32, i32* %9
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %43
16: ; preds = %12
%17 = load i8*, i8** %4
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 58
br i1 %23, label %24, label %29
24: ; preds = %16
%25 = load i8*, i8** %5
%26 = load i32, i32* %7
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %25, i64 %27
store i8 0, i8* %28
br label %43
29: ; preds = %16
%30 = load i8*, i8** %4
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i8, i8* %33
%35 = load i8*, i8** %5
%36 = load i32, i32* %7
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
store i8 %34, i8* %38
br label %39
39: ; preds = %29
br label %40
40: ; preds = %39
%41 = load i32, i32* %7
%42 = add nsw i32 %41, 1
store i32 %42, i32* %7
br label %12
43: ; preds = %24, %12
%44 = load i32, i32* %7
%45 = add nsw i32 %44, 1
store i32 %45, i32* %7
%46 = load i32, i32* %7
store i32 %46, i32* %8
br label %47
47: ; preds = %63, %43
%48 = load i32, i32* %7
%49 = load i32, i32* %9
%50 = icmp slt i32 %48, %49
br i1 %50, label %51, label %66
51: ; preds = %47
%52 = load i8*, i8** %4
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
%56 = load i8, i8* %55
%57 = load i8*, i8** %6
%58 = load i32, i32* %7
%59 = load i32, i32* %8
%60 = sub nsw i32 %58, %59
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %57, i64 %61
store i8 %56, i8* %62
br label %63
63: ; preds = %51
%64 = load i32, i32* %7
%65 = add nsw i32 %64, 1
store i32 %65, i32* %7
br label %47
66: ; preds = %47
%67 = load i8*, i8** %6
%68 = load i32, i32* %7
%69 = load i32, i32* %8
%70 = sub nsw i32 %68, %69
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %67, i64 %71
store i8 0, i8* %72
ret void
}

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