#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*/ free_strv(char **);
char **malloc(size_t);
char *obtener_str(char const *, size_t, size_t);
int strlen(char const *);
char **split(const char *str, char sep) {
  if (sep == '\0')
    return NULL;
  size_t cant = 2;
  ;
  size_t len = strlen(str) + 1;
  for (size_t i = 0; i < len; i++)
    if (str[i] == sep)
      cant++;
  char **strv = malloc(cant * sizeof(char *));
  if (!strv)
    return NULL;
  size_t cont = 0, j = 0;
  for (size_t i = 0; i < len; i++) {
    if (str[i] == sep || str[i] == '\0') {
      strv[j] = obtener_str(str, cont, i);
      if (!strv[j]) {
        free_strv(strv);
        return NULL;
      }
      j++;
      cont = 0;
    } else
      cont++;
  }
  strv[cant - 1] = NULL;
  return strv;
}


x86 assembly (clang, -O0):
<split>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %sil,%al
mov    %rdi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x0,%eax
jne    116c <split+0x2c>
movq   $0x0,-0x8(%rbp)
jmp    12f2 <split+0x1b2>
movq   $0x2,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
add    $0x1,%eax
cltq
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11d6 <split+0x96>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11c0 <split+0x80>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11c5 <split+0x85>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    118e <split+0x4e>
mov    -0x20(%rbp),%rdi
shl    $0x3,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    11ff <split+0xbf>
movq   $0x0,-0x8(%rbp)
jmp    12f2 <split+0x1b2>
movq   $0x0,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    12d6 <split+0x196>
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
je     1252 <split+0x112>
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12b4 <split+0x174>
mov    -0x10(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    -0x50(%rbp),%rdx
call   1040 <obtener_str@plt>
mov    %rax,%rdx
mov    -0x38(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x38(%rbp),%rax
mov    -0x48(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    129b <split+0x15b>
mov    -0x38(%rbp),%rdi
call   1060 <free_strv@plt>
movq   $0x0,-0x8(%rbp)
jmp    12f2 <split+0x1b2>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x40(%rbp)
jmp    12c0 <split+0x180>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    12c5 <split+0x185>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1217 <split+0xd7>
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
movq   $0x0,(%rax,%rcx,8)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<split>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r12d
test   %r12b,%r12b
je     13c8 <split+0x288>
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%ebp
inc    %ebp
jne    1185 <split+0x45>
mov    $0x10,%edi
call   1050 <malloc@plt>
test   %rax,%rax
je     13c8 <split+0x288>
mov    %rax,%rdi
mov    $0x2,%ebx
jmp    130a <split+0x1ca>
movslq %ebp,%r15
cmp    $0x2,%r15
mov    $0x1,%eax
cmovae %r15,%rax
cmp    $0x4,%rax
jae    11a7 <split+0x67>
mov    $0x2,%ebx
xor    %ecx,%ecx
jmp    1318 <split+0x1d8>
mov    %rax,%rcx
and    $0xfffffffffffffffc,%rcx
movzbl %r12b,%edx
movd   %edx,%xmm0
punpcklbw %xmm0,%xmm0
lea    -0x4(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     12f5 <split+0x1b5>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm2,%xmm2
movdqa 0xe1b(%rip),%xmm1
xor    %esi,%esi
movdqa 0xe21(%rip),%xmm3
nop
movzwl (%r14,%rsi,1),%ebx
movd   %ebx,%xmm4
movzwl 0x2(%r14,%rsi,1),%ebx
movd   %ebx,%xmm5
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
pshuflw $0xd4,%xmm4,%xmm4
pshufd $0xd4,%xmm4,%xmm4
pand   %xmm3,%xmm4
paddq  %xmm1,%xmm4
pcmpeqb %xmm0,%xmm5
punpcklbw %xmm5,%xmm5
pshuflw $0xd4,%xmm5,%xmm1
pshufd $0xd4,%xmm1,%xmm5
pand   %xmm3,%xmm5
paddq  %xmm2,%xmm5
movzwl 0x4(%r14,%rsi,1),%ebx
movd   %ebx,%xmm1
movzwl 0x6(%r14,%rsi,1),%ebx
movd   %ebx,%xmm2
pcmpeqb %xmm0,%xmm1
punpcklbw %xmm1,%xmm1
pshuflw $0xd4,%xmm1,%xmm1
pshufd $0xd4,%xmm1,%xmm1
pand   %xmm3,%xmm1
paddq  %xmm4,%xmm1
pcmpeqb %xmm0,%xmm2
punpcklbw %xmm2,%xmm2
pshuflw $0xd4,%xmm2,%xmm2
pshufd $0xd4,%xmm2,%xmm2
pand   %xmm3,%xmm2
paddq  %xmm5,%xmm2
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rdi
jne    11f0 <split+0xb0>
test   $0x1,%dl
je     12e1 <split+0x1a1>
movzwl (%r14,%rsi,1),%edx
movd   %edx,%xmm3
movzwl 0x2(%r14,%rsi,1),%edx
movd   %edx,%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
pshuflw $0xd4,%xmm3,%xmm3
pshufd $0xd4,%xmm3,%xmm3
movdqa 0xd51(%rip),%xmm5
pand   %xmm5,%xmm3
paddq  %xmm3,%xmm1
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
pshuflw $0xd4,%xmm4,%xmm0
pshufd $0xd4,%xmm0,%xmm0
pand   %xmm5,%xmm0
paddq  %xmm0,%xmm2
paddq  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddq  %xmm1,%xmm0
movq   %xmm0,%rbx
jmp    1328 <split+0x1e8>
pxor   %xmm2,%xmm2
movdqa 0xcff(%rip),%xmm1
xor    %esi,%esi
test   $0x1,%dl
jne    1292 <split+0x152>
jmp    12e1 <split+0x1a1>
movq   $0x0,-0x8(%rdi,%rbx,8)
jmp    13ca <split+0x28a>
xor    %edx,%edx
cmp    %r12b,(%r14,%rcx,1)
sete   %dl
add    %rdx,%rbx
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1318 <split+0x1d8>
lea    0x0(,%rbx,8),%rdi
call   1050 <malloc@plt>
test   %rax,%rax
je     13c8 <split+0x288>
mov    %rax,%rdi
test   %ebp,%ebp
je     130a <split+0x1ca>
cmp    $0x2,%r15
mov    $0x1,%ecx
cmovae %r15,%rcx
xor    %ebp,%ebp
xor    %edx,%edx
xor    %esi,%esi
mov    %rdi,(%rsp)
jmp    137d <split+0x23d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rsi
add    $0x1,%rbp
cmp    %rbp,%rcx
je     130a <split+0x1ca>
movzbl (%r14,%rbp,1),%eax
cmp    %r12b,%al
je     138b <split+0x24b>
test   %al,%al
jne    1370 <split+0x230>
mov    %r12d,%r15d
mov    %rcx,%r12
mov    %r14,%r13
mov    %r14,%rdi
mov    %rdx,%r14
mov    %rbp,%rdx
call   1040 <obtener_str@plt>
mov    (%rsp),%rdi
mov    %rax,(%rdi,%r14,8)
test   %rax,%rax
je     13c3 <split+0x283>
mov    %r14,%rdx
add    $0x1,%rdx
xor    %esi,%esi
mov    %r12,%rcx
mov    %r15d,%r12d
mov    %r13,%r14
jmp    1374 <split+0x234>
call   1060 <free_strv@plt>
xor    %edi,%edi
mov    %rdi,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8** @split(i8* %0, i8 signext %1) {
%3 = alloca i8**
%4 = alloca i8*
%5 = alloca i8
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i8**
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store i8* %0, i8** %4
store i8 %1, i8* %5
%13 = load i8, i8* %5
%14 = sext i8 %13 to i32
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %2
store i8** null, i8*** %3
br label %102
17: ; preds = %2
store i64 2, i64* %6
%18 = load i8*, i8** %4
%19 = call i32 @strlen(i8* %18)
%20 = add nsw i32 %19, 1
%21 = sext i32 %20 to i64
store i64 %21, i64* %7
store i64 0, i64* %8
br label %22
22: ; preds = %39, %17
%23 = load i64, i64* %8
%24 = load i64, i64* %7
%25 = icmp ult i64 %23, %24
br i1 %25, label %26, label %42
26: ; preds = %22
%27 = load i8*, i8** %4
%28 = load i64, i64* %8
%29 = getelementptr inbounds i8, i8* %27, i64 %28
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = load i8, i8* %5
%33 = sext i8 %32 to i32
%34 = icmp eq i32 %31, %33
br i1 %34, label %35, label %38
35: ; preds = %26
%36 = load i64, i64* %6
%37 = add i64 %36, 1
store i64 %37, i64* %6
br label %38
38: ; preds = %35, %26
br label %39
39: ; preds = %38
%40 = load i64, i64* %8
%41 = add i64 %40, 1
store i64 %41, i64* %8
br label %22
42: ; preds = %22
%43 = load i64, i64* %6
%44 = mul i64 %43, 8
%45 = call i8** @malloc(i64 %44)
store i8** %45, i8*** %9
%46 = load i8**, i8*** %9
%47 = icmp ne i8** %46, null
br i1 %47, label %49, label %48
48: ; preds = %42
store i8** null, i8*** %3
br label %102
49: ; preds = %42
store i64 0, i64* %10
store i64 0, i64* %11
store i64 0, i64* %12
br label %50
50: ; preds = %93, %49
%51 = load i64, i64* %12
%52 = load i64, i64* %7
%53 = icmp ult i64 %51, %52
br i1 %53, label %54, label %96
54: ; preds = %50
%55 = load i8*, i8** %4
%56 = load i64, i64* %12
%57 = getelementptr inbounds i8, i8* %55, i64 %56
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = load i8, i8* %5
%61 = sext i8 %60 to i32
%62 = icmp eq i32 %59, %61
br i1 %62, label %70, label %63
63: ; preds = %54
%64 = load i8*, i8** %4
%65 = load i64, i64* %12
%66 = getelementptr inbounds i8, i8* %64, i64 %65
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = icmp eq i32 %68, 0
br i1 %69, label %70, label %89
70: ; preds = %63, %54
%71 = load i8*, i8** %4
%72 = load i64, i64* %10
%73 = load i64, i64* %12
%74 = call i8* @obtener_str(i8* %71, i64 %72, i64 %73)
%75 = load i8**, i8*** %9
%76 = load i64, i64* %11
%77 = getelementptr inbounds i8*, i8** %75, i64 %76
store i8* %74, i8** %77
%78 = load i8**, i8*** %9
%79 = load i64, i64* %11
%80 = getelementptr inbounds i8*, i8** %78, i64 %79
%81 = load i8*, i8** %80
%82 = icmp ne i8* %81, null
br i1 %82, label %86, label %83
83: ; preds = %70
%84 = load i8**, i8*** %9
%85 = call i32 @free_strv(i8** %84)
store i8** null, i8*** %3
br label %102
86: ; preds = %70
%87 = load i64, i64* %11
%88 = add i64 %87, 1
store i64 %88, i64* %11
store i64 0, i64* %10
br label %92
89: ; preds = %63
%90 = load i64, i64* %10
%91 = add i64 %90, 1
store i64 %91, i64* %10
br label %92
92: ; preds = %89, %86
br label %93
93: ; preds = %92
%94 = load i64, i64* %12
%95 = add i64 %94, 1
store i64 %95, i64* %12
br label %50
96: ; preds = %50
%97 = load i8**, i8*** %9
%98 = load i64, i64* %6
%99 = sub i64 %98, 1
%100 = getelementptr inbounds i8*, i8** %97, i64 %99
store i8* null, i8** %100
%101 = load i8**, i8*** %9
store i8** %101, i8*** %3
br label %102
102: ; preds = %96, %83, %48, %16
%103 = load i8**, i8*** %3
ret i8** %103
}

LLVM IR (-O2):
define i8** @split(i8* %0, i8 signext %1) {
%3 = icmp eq i8 %1, 0
br i1 %3, label %137, label %4
4: ; preds = %2
%5 = tail call i32 @strlen(i8* %0)
%6 = add nsw i32 %5, 1
%7 = sext i32 %6 to i64
%8 = icmp eq i32 %6, 0
br i1 %8, label %92, label %9
9: ; preds = %4
%10 = call i64 @llvm.umax.i64(i64 %7, i64 1)
%11 = icmp ult i64 %10, 4
br i1 %11, label %84, label %12
12: ; preds = %9
%13 = and i64 %10, -4
%14 = insertelement <2 x i8> poison, i8 %1, i64 0
%15 = shufflevector <2 x i8> %14, <2 x i8> poison, <2 x i32> zeroinitializer
%16 = insertelement <2 x i8> poison, i8 %1, i64 0
%17 = shufflevector <2 x i8> %16, <2 x i8> poison, <2 x i32> zeroinitializer
%18 = add i64 %13, -4
%19 = lshr exact i64 %18, 2
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 1
%22 = icmp eq i64 %18, 0
br i1 %22, label %58, label %23
23: ; preds = %12
%24 = and i64 %20, 9223372036854775806
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %55, %25 ]
%27 = phi <2 x i64> [ <i64 2, i64 0>, %23 ], [ %53, %25 ]
%28 = phi <2 x i64> [ zeroinitializer, %23 ], [ %54, %25 ]
%29 = phi i64 [ 0, %23 ], [ %56, %25 ]
%30 = getelementptr inbounds i8, i8* %0, i64 %26
%31 = bitcast i8* %30 to <2 x i8>*
%32 = load <2 x i8>, <2 x i8>* %31
%33 = getelementptr inbounds i8, i8* %30, i64 2
%34 = bitcast i8* %33 to <2 x i8>*
%35 = load <2 x i8>, <2 x i8>* %34
%36 = icmp eq <2 x i8> %32, %15
%37 = icmp eq <2 x i8> %35, %17
%38 = zext <2 x i1> %36 to <2 x i64>
%39 = zext <2 x i1> %37 to <2 x i64>
%40 = add <2 x i64> %27, %38
%41 = add <2 x i64> %28, %39
%42 = or i64 %26, 4
%43 = getelementptr inbounds i8, i8* %0, i64 %42
%44 = bitcast i8* %43 to <2 x i8>*
%45 = load <2 x i8>, <2 x i8>* %44
%46 = getelementptr inbounds i8, i8* %43, i64 2
%47 = bitcast i8* %46 to <2 x i8>*
%48 = load <2 x i8>, <2 x i8>* %47
%49 = icmp eq <2 x i8> %45, %15
%50 = icmp eq <2 x i8> %48, %17
%51 = zext <2 x i1> %49 to <2 x i64>
%52 = zext <2 x i1> %50 to <2 x i64>
%53 = add <2 x i64> %40, %51
%54 = add <2 x i64> %41, %52
%55 = add nuw i64 %26, 8
%56 = add i64 %29, 2
%57 = icmp eq i64 %56, %24
br i1 %57, label %58, label %25
58: ; preds = %25, %12
%59 = phi <2 x i64> [ undef, %12 ], [ %53, %25 ]
%60 = phi <2 x i64> [ undef, %12 ], [ %54, %25 ]
%61 = phi i64 [ 0, %12 ], [ %55, %25 ]
%62 = phi <2 x i64> [ <i64 2, i64 0>, %12 ], [ %53, %25 ]
%63 = phi <2 x i64> [ zeroinitializer, %12 ], [ %54, %25 ]
%64 = icmp eq i64 %21, 0
br i1 %64, label %78, label %65
65: ; preds = %58
%66 = getelementptr inbounds i8, i8* %0, i64 %61
%67 = bitcast i8* %66 to <2 x i8>*
%68 = load <2 x i8>, <2 x i8>* %67
%69 = getelementptr inbounds i8, i8* %66, i64 2
%70 = bitcast i8* %69 to <2 x i8>*
%71 = load <2 x i8>, <2 x i8>* %70
%72 = icmp eq <2 x i8> %68, %15
%73 = icmp eq <2 x i8> %71, %17
%74 = zext <2 x i1> %72 to <2 x i64>
%75 = zext <2 x i1> %73 to <2 x i64>
%76 = add <2 x i64> %62, %74
%77 = add <2 x i64> %63, %75
br label %78
78: ; preds = %58, %65
%79 = phi <2 x i64> [ %59, %58 ], [ %76, %65 ]
%80 = phi <2 x i64> [ %60, %58 ], [ %77, %65 ]
%81 = add <2 x i64> %80, %79
%82 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %81)
%83 = icmp eq i64 %10, %13
br i1 %83, label %87, label %84
84: ; preds = %9, %78
%85 = phi i64 [ 0, %9 ], [ %13, %78 ]
%86 = phi i64 [ 2, %9 ], [ %82, %78 ]
br label %98
87: ; preds = %98, %78
%88 = phi i64 [ %82, %78 ], [ %105, %98 ]
%89 = shl i64 %88, 3
%90 = tail call i8** @malloc(i64 %89)
%91 = icmp eq i8** %90, null
br i1 %91, label %137, label %95
92: ; preds = %4
%93 = tail call i8** @malloc(i64 16)
%94 = icmp eq i8** %93, null
br i1 %94, label %137, label %132
95: ; preds = %87
br i1 %8, label %132, label %96
96: ; preds = %95
%97 = call i64 @llvm.umax.i64(i64 %7, i64 1)
br label %108
98: ; preds = %84, %98
%99 = phi i64 [ %106, %98 ], [ %85, %84 ]
%100 = phi i64 [ %105, %98 ], [ %86, %84 ]
%101 = getelementptr inbounds i8, i8* %0, i64 %99
%102 = load i8, i8* %101
%103 = icmp eq i8 %102, %1
%104 = zext i1 %103 to i64
%105 = add i64 %100, %104
%106 = add nuw i64 %99, 1
%107 = icmp eq i64 %106, %10
br i1 %107, label %87, label %98
108: ; preds = %96, %127
%109 = phi i64 [ %130, %127 ], [ 0, %96 ]
%110 = phi i64 [ %129, %127 ], [ 0, %96 ]
%111 = phi i64 [ %128, %127 ], [ 0, %96 ]
%112 = getelementptr inbounds i8, i8* %0, i64 %109
%113 = load i8, i8* %112
%114 = icmp eq i8 %113, %1
%115 = icmp eq i8 %113, 0
%116 = or i1 %114, %115
br i1 %116, label %117, label %125
117: ; preds = %108
%118 = tail call i8* @obtener_str(i8* %0, i64 %111, i64 %109)
%119 = getelementptr inbounds i8*, i8** %90, i64 %110
store i8* %118, i8** %119
%120 = icmp eq i8* %118, null
br i1 %120, label %121, label %123
121: ; preds = %117
%122 = tail call i32 @free_strv(i8** %90)
br label %137
123: ; preds = %117
%124 = add i64 %110, 1
br label %127
125: ; preds = %108
%126 = add i64 %111, 1
br label %127
127: ; preds = %123, %125
%128 = phi i64 [ 0, %123 ], [ %126, %125 ]
%129 = phi i64 [ %124, %123 ], [ %110, %125 ]
%130 = add nuw i64 %109, 1
%131 = icmp eq i64 %130, %97
br i1 %131, label %132, label %108
132: ; preds = %127, %92, %95
%133 = phi i64 [ %88, %95 ], [ 2, %92 ], [ %88, %127 ]
%134 = phi i8** [ %90, %95 ], [ %93, %92 ], [ %90, %127 ]
%135 = add i64 %133, -1
%136 = getelementptr inbounds i8*, i8** %134, i64 %135
store i8* null, i8** %136
br label %137
137: ; preds = %92, %121, %87, %132, %2
%138 = phi i8** [ null, %2 ], [ null, %87 ], [ %134, %132 ], [ null, %121 ], [ null, %92 ]
ret i8** %138
}