#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 */
char **add_atom(char **, unsigned int *, char const **);
char **add_string(char **, unsigned int *, char *);
char **add_token(char **, unsigned int *, char const **);
int /*<<< orphan*/ delete_blanks(char const **);
scalar_t__ ec_realloc(char **, int);
char **split_exp(char **tokens, unsigned int *tokens_num,
                 const char **exp_string) {
  delete_blanks(exp_string);
  if (**exp_string == '(') {
    tokens = add_token(tokens, tokens_num, exp_string);
    delete_blanks(exp_string);
    if (**exp_string == ')') {
      tokens = add_token(tokens, tokens_num, exp_string);
      delete_blanks(exp_string);
    } else {
      tokens = split_exp(tokens, tokens_num, exp_string);
      delete_blanks(exp_string);
      if (**exp_string == ')') {
        tokens = add_string(tokens, tokens_num, ".");
        tokens = add_string(tokens, tokens_num, "nil");
        tokens = add_token(tokens, tokens_num, exp_string);
      } else if (**exp_string == '.') {
        tokens = add_token(tokens, tokens_num, exp_string);
        delete_blanks(exp_string);
        tokens = split_exp(tokens, tokens_num, exp_string);
        delete_blanks(exp_string);
        if (**exp_string == ')')
          tokens = add_token(tokens, tokens_num, exp_string);
      } else {
        unsigned int nest_count = 0;
        while (**exp_string != '\0') {
          nest_count++;
          tokens = add_string(tokens, tokens_num, ".");
          tokens = add_string(tokens, tokens_num, "(");
          tokens = split_exp(tokens, tokens_num, exp_string);
          delete_blanks(exp_string);
          if (**exp_string == ')') {
            tokens = add_string(tokens, tokens_num, ".");
            tokens = add_string(tokens, tokens_num, "nil");
            for (unsigned int i = 0; i < nest_count; i++) {
              tokens = add_string(tokens, tokens_num, ")");
            }
            tokens = add_token(tokens, tokens_num, exp_string);
            break;
          } else if (**exp_string == '.') {
            tokens = add_token(tokens, tokens_num, exp_string);
            delete_blanks(exp_string);
            tokens = split_exp(tokens, tokens_num, exp_string);
            delete_blanks(exp_string);
            if (**exp_string == ')') {
              tokens = add_string(tokens, tokens_num, ")");
              tokens = add_token(tokens, tokens_num, exp_string);
              break;
            }
          }
        }
      }
    }
  } else if (**exp_string != '\0') {
    tokens = add_atom(tokens, tokens_num, exp_string);
    delete_blanks(exp_string);
  }
  tokens = (char **)ec_realloc(tokens, sizeof(char *) * (*tokens_num + 1));
  tokens[*tokens_num - 1 + 1] = NULL;
  return tokens;
}


x86 assembly (clang, -O0):
<split_exp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1499 <split_exp+0x339>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    11e4 <split_exp+0x84>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
jmp    1494 <split_exp+0x334>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <split_exp@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    125f <split_exp+0xff>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xddc(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xdc6(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
jmp    148f <split_exp+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12db <split_exp+0x17b>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <split_exp@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    12d6 <split_exp+0x176>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
jmp    148a <split_exp+0x32a>
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1485 <split_exp+0x325>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xcf3(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xce1(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <split_exp@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    13e2 <split_exp+0x282>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xc92(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xc7c(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jae    13c8 <split_exp+0x268>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xc57(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1396 <split_exp+0x236>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
jmp    1485 <split_exp+0x325>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    147b <split_exp+0x31b>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1080 <split_exp@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1476 <split_exp+0x316>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
lea    0xbb5(%rip),%rdx
call   1030 <add_string@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <add_token@plt>
mov    %rax,-0x8(%rbp)
jmp    1485 <split_exp+0x325>
jmp    147b <split_exp+0x31b>
jmp    1480 <split_exp+0x320>
jmp    12e2 <split_exp+0x182>
jmp    148a <split_exp+0x32a>
jmp    148f <split_exp+0x32f>
jmp    1494 <split_exp+0x334>
jmp    14cf <split_exp+0x36f>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     14ca <split_exp+0x36a>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <add_atom@plt>
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <delete_blanks@plt>
jmp    14cf <split_exp+0x36f>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
add    $0x1,%eax
mov    %eax,%eax
shl    $0x3,%rax
mov    %eax,%esi
call   1050 <ec_realloc@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movq   $0x0,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<split_exp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %rdx,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
mov    (%rax),%al
test   %al,%al
je     11ca <split_exp+0x6a>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
cmp    $0x28,%al
jne    11ba <split_exp+0x5a>
call   1060 <add_token@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
cmpb   $0x29,(%rax)
jne    11f6 <split_exp+0x96>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1060 <add_token@plt>
jmp    11bf <split_exp+0x5f>
call   1040 <add_atom@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r14),%eax
lea    0x8(,%rax,8),%esi
mov    %rbx,%rdi
call   1050 <ec_realloc@plt>
mov    (%r14),%ecx
movq   $0x0,(%rax,%rcx,8)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1080 <split_exp@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
mov    (%rax),%al
test   %al,%al
je     11ca <split_exp+0x6a>
cmp    $0x29,%al
je     1266 <split_exp+0x106>
cmp    $0x2e,%al
jne    1287 <split_exp+0x127>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1060 <add_token@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1080 <split_exp@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
cmpb   $0x29,(%rax)
jne    11ca <split_exp+0x6a>
mov    %rbx,%rdi
jmp    1347 <split_exp+0x1e7>
lea    0xd93(%rip),%rdx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <add_string@plt>
lea    0xd83(%rip),%rdx
mov    %rax,%rdi
jmp    133c <split_exp+0x1dc>
mov    $0x1,%ebp
lea    0xd6d(%rip),%r12
lea    0xd6c(%rip),%r13
jmp    12b3 <split_exp+0x153>
nopl   0x0(%rax)
cmp    $0x29,%al
je     135a <split_exp+0x1fa>
add    $0x1,%ebp
test   %al,%al
je     11ca <split_exp+0x6a>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r12,%rdx
call   1030 <add_string@plt>
mov    %rax,%rdi
mov    %r14,%rsi
mov    %r13,%rdx
call   1030 <add_string@plt>
mov    %rax,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1080 <split_exp@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
movzbl (%rax),%eax
cmp    $0x2e,%al
jne    12a0 <split_exp+0x140>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1060 <add_token@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1080 <split_exp@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1070 <delete_blanks@plt>
mov    (%r15),%rax
movzbl (%rax),%eax
cmp    $0x29,%al
jne    12a8 <split_exp+0x148>
lea    0xccf(%rip),%rdx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <add_string@plt>
mov    %rax,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1060 <add_token@plt>
mov    %rax,%rbx
jmp    11ca <split_exp+0x6a>
lea    0xc9f(%rip),%rdx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <add_string@plt>
lea    0xc8f(%rip),%rdx
mov    %rax,%rdi
mov    %r14,%rsi
call   1030 <add_string@plt>
test   %ebp,%ebp
je     1344 <split_exp+0x1e4>
lea    0xc7f(%rip),%rbx
nopl   0x0(%rax)
mov    %rax,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1030 <add_string@plt>
add    $0xffffffff,%ebp
jne    1390 <split_exp+0x230>
jmp    1344 <split_exp+0x1e4>

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

LLVM IR (-O2):
@.str = [2 x i8] c".\00"
@.str.1 = [4 x i8] c"nil\00"
@.str.2 = [2 x i8] c"(\00"
@.str.3 = [2 x i8] c")\00"
define i8** @split_exp(i8** %0, i32* %1, i8** %2) {
%4 = tail call i32 @delete_blanks(i8** %2)
%5 = load i8*, i8** %2
%6 = load i8, i8* %5
switch i8 %6, label %73 [
i8 40, label %7
i8 0, label %76
]
7: ; preds = %3
%8 = tail call i8** @add_token(i8** %0, i32* %1, i8** %2)
%9 = tail call i32 @delete_blanks(i8** %2)
%10 = load i8*, i8** %2
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 41
br i1 %12, label %13, label %16
13: ; preds = %7
%14 = tail call i8** @add_token(i8** %8, i32* %1, i8** %2)
%15 = tail call i32 @delete_blanks(i8** %2)
br label %76
16: ; preds = %7
%17 = tail call i8** @split_exp(i8** %8, i32* %1, i8** %2)
%18 = tail call i32 @delete_blanks(i8** %2)
%19 = load i8*, i8** %2
%20 = load i8, i8* %19
switch i8 %20, label %35 [
i8 41, label %21
i8 46, label %25
i8 0, label %76
]
21: ; preds = %16
%22 = tail call i8** @add_string(i8** %17, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%23 = tail call i8** @add_string(i8** %22, i32* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%24 = tail call i8** @add_token(i8** %23, i32* %1, i8** %2)
br label %76
25: ; preds = %16
%26 = tail call i8** @add_token(i8** %17, i32* %1, i8** %2)
%27 = tail call i32 @delete_blanks(i8** %2)
%28 = tail call i8** @split_exp(i8** %26, i32* %1, i8** %2)
%29 = tail call i32 @delete_blanks(i8** %2)
%30 = load i8*, i8** %2
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 41
br i1 %32, label %33, label %76
33: ; preds = %25
%34 = tail call i8** @add_token(i8** %28, i32* %1, i8** %2)
br label %76
35: ; preds = %16, %69
%36 = phi i32 [ %38, %69 ], [ 0, %16 ]
%37 = phi i8** [ %71, %69 ], [ %17, %16 ]
%38 = add i32 %36, 1
%39 = tail call i8** @add_string(i8** %37, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%40 = tail call i8** @add_string(i8** %39, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%41 = tail call i8** @split_exp(i8** %40, i32* %1, i8** %2)
%42 = tail call i32 @delete_blanks(i8** %2)
%43 = load i8*, i8** %2
%44 = load i8, i8* %43
switch i8 %44, label %69 [
i8 41, label %45
i8 46, label %58
]
45: ; preds = %35
%46 = tail call i8** @add_string(i8** %41, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%47 = tail call i8** @add_string(i8** %46, i32* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%48 = icmp eq i32 %38, 0
br i1 %48, label %49, label %52
49: ; preds = %52, %45
%50 = phi i8** [ %47, %45 ], [ %55, %52 ]
%51 = tail call i8** @add_token(i8** %50, i32* %1, i8** %2)
br label %76
52: ; preds = %45, %52
%53 = phi i32 [ %56, %52 ], [ 0, %45 ]
%54 = phi i8** [ %55, %52 ], [ %47, %45 ]
%55 = tail call i8** @add_string(i8** %54, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%56 = add nuw i32 %53, 1
%57 = icmp eq i32 %53, %36
br i1 %57, label %49, label %52
58: ; preds = %35
%59 = tail call i8** @add_token(i8** %41, i32* %1, i8** %2)
%60 = tail call i32 @delete_blanks(i8** %2)
%61 = tail call i8** @split_exp(i8** %59, i32* %1, i8** %2)
%62 = tail call i32 @delete_blanks(i8** %2)
%63 = load i8*, i8** %2
%64 = load i8, i8* %63
%65 = icmp eq i8 %64, 41
br i1 %65, label %66, label %69
66: ; preds = %58
%67 = tail call i8** @add_string(i8** %61, i32* %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%68 = tail call i8** @add_token(i8** %67, i32* %1, i8** %2)
br label %76
69: ; preds = %35, %58
%70 = phi i8 [ %64, %58 ], [ %44, %35 ]
%71 = phi i8** [ %61, %58 ], [ %41, %35 ]
%72 = icmp eq i8 %70, 0
br i1 %72, label %76, label %35
73: ; preds = %3
%74 = tail call i8** @add_atom(i8** %0, i32* %1, i8** %2)
%75 = tail call i32 @delete_blanks(i8** %2)
br label %76
76: ; preds = %69, %16, %3, %49, %66, %73, %13, %33, %25, %21
%77 = phi i8** [ %14, %13 ], [ %24, %21 ], [ %34, %33 ], [ %28, %25 ], [ %74, %73 ], [ %51, %49 ], [ %68, %66 ], [ %0, %3 ], [ %17, %16 ], [ %71, %69 ]
%78 = load i32, i32* %1
%79 = shl i32 %78, 3
%80 = add i32 %79, 8
%81 = tail call i64 @ec_realloc(i8** %77, i32 %80)
%82 = inttoptr i64 %81 to i8**
%83 = load i32, i32* %1
%84 = zext i32 %83 to i64
%85 = getelementptr inbounds i8*, i8** %82, i64 %84
store i8* null, i8** %85
ret i8** %82
}