#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 *strchr(char const *, int);
char *mystrtok(char **ptr, char const *sep) {
  char *res;
  char *tmp;
  char *tmp___0;
  char *tmp___1;
  char *__cil_tmp7;
  char __cil_tmp8;
  int __cil_tmp9;
  void *__cil_tmp10;
  char *__cil_tmp11;
  char *__cil_tmp12;
  char __cil_tmp13;
  int __cil_tmp14;
  char *__cil_tmp15;
  char *__cil_tmp16;
  char __cil_tmp17;
  int __cil_tmp18;
  void *__cil_tmp19;
  char *__cil_tmp20;
  char *__cil_tmp21;
  char __cil_tmp22;
  int __cil_tmp23;
  void *__cil_tmp24;
  unsigned long __cil_tmp25;
  unsigned long __cil_tmp26;
  char *__cil_tmp27;
  char *__cil_tmp28;
  char __cil_tmp29;
  int __cil_tmp30;
  char *__cil_tmp31;
  {
    {
      __cil_tmp7 = *ptr;
      __cil_tmp8 = *__cil_tmp7;
      __cil_tmp9 = (int)__cil_tmp8;
      if (__cil_tmp9 == 0) {
        {
          __cil_tmp10 = (void *)0;
          return ((char *)__cil_tmp10);
        }
      } else {
      }
    }
    {
      while (1) {
      while_13_continue:;
        {
          __cil_tmp11 = *ptr;
          if (*__cil_tmp11) {
            {
              __cil_tmp12 = *ptr;
              __cil_tmp13 = *__cil_tmp12;
              __cil_tmp14 = (int)__cil_tmp13;
              tmp = strchr(sep, __cil_tmp14);
            }
            if (tmp) {
            } else {
              goto while_13_break;
            }
          } else {
            goto while_13_break;
          }
        }
        __cil_tmp15 = *ptr;
        *ptr = __cil_tmp15 + 1;
      }
    while_13_break:;
    }
    {
      __cil_tmp16 = *ptr;
      __cil_tmp17 = *__cil_tmp16;
      __cil_tmp18 = (int)__cil_tmp17;
      if (__cil_tmp18 == 0) {
        {
          __cil_tmp19 = (void *)0;
          return ((char *)__cil_tmp19);
        }
      } else {
      }
    }
    res = *ptr;
    {
      while (1) {
      while_14_continue:;
        {
          __cil_tmp20 = *ptr;
          if (*__cil_tmp20) {
            {
              __cil_tmp21 = *ptr;
              __cil_tmp22 = *__cil_tmp21;
              __cil_tmp23 = (int)__cil_tmp22;
              tmp___0 = strchr(sep, __cil_tmp23);
            }
            {
              __cil_tmp24 = (void *)0;
              __cil_tmp25 = (unsigned long)__cil_tmp24;
              __cil_tmp26 = (unsigned long)tmp___0;
              if (__cil_tmp26 == __cil_tmp25) {
              } else {
                goto while_14_break;
              }
            }
          } else {
            goto while_14_break;
          }
        }
        __cil_tmp27 = *ptr;
        *ptr = __cil_tmp27 + 1;
      }
    while_14_break:;
    }
    {
      __cil_tmp28 = *ptr;
      __cil_tmp29 = *__cil_tmp28;
      __cil_tmp30 = (int)__cil_tmp29;
      if (__cil_tmp30 != 0) {
        tmp___1 = *ptr;
        __cil_tmp31 = *ptr;
        *ptr = __cil_tmp31 + 1;
        *tmp___1 = (char)0;
      } else {
      }
    }
    return (res);
  }
}


x86 assembly (clang, -O0):
<mystrtok>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x41(%rbp)
movsbl -0x41(%rbp),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x48(%rbp)
jne    115d <mystrtok+0x4d>
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1389 <mystrtok+0x279>
jmp    1162 <mystrtok+0x52>
jmp    1167 <mystrtok+0x57>
jmp    116c <mystrtok+0x5c>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmpb   $0x0,(%rax)
je     11c9 <mystrtok+0xb9>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x61(%rbp)
movsbl -0x61(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x68(%rbp),%esi
call   1030 <strchr@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     11bf <mystrtok+0xaf>
jmp    11c4 <mystrtok+0xb4>
jmp    11ed <mystrtok+0xdd>
jmp    11ce <mystrtok+0xbe>
jmp    11ed <mystrtok+0xdd>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rcx
add    $0x1,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    1167 <mystrtok+0x57>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x79(%rbp)
movsbl -0x79(%rbp),%eax
mov    %eax,-0x80(%rbp)
cmpl   $0x0,-0x80(%rbp)
jne    122d <mystrtok+0x11d>
movq   $0x0,-0x88(%rbp)
mov    -0x88(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1389 <mystrtok+0x279>
jmp    1232 <mystrtok+0x122>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
jmp    1242 <mystrtok+0x132>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
cmpb   $0x0,(%rax)
je     12e4 <mystrtok+0x1d4>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x99(%rbp)
movsbl -0x99(%rbp),%eax
mov    %eax,-0xa0(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0xa0(%rbp),%esi
call   1030 <strchr@plt>
mov    %rax,-0x30(%rbp)
movq   $0x0,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
cmp    -0xb0(%rbp),%rax
jne    12da <mystrtok+0x1ca>
jmp    12df <mystrtok+0x1cf>
jmp    130e <mystrtok+0x1fe>
jmp    12e9 <mystrtok+0x1d9>
jmp    130e <mystrtok+0x1fe>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rcx
add    $0x1,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    123d <mystrtok+0x12d>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0xc9(%rbp)
movsbl -0xc9(%rbp),%eax
mov    %eax,-0xd0(%rbp)
cmpl   $0x0,-0xd0(%rbp)
je     137c <mystrtok+0x26c>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rcx
add    $0x1,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
jmp    1381 <mystrtok+0x271>
jmp    1381 <mystrtok+0x271>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mystrtok>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    (%rdi),%rbx
mov    (%rbx),%bpl
test   %bpl,%bpl
je     1153 <mystrtok+0x43>
mov    %rsi,%r15
mov    %rdi,%r12
add    $0x1,%rbx
xor    %r14d,%r14d
movsbl %bpl,%esi
mov    %r15,%rdi
call   1030 <strchr@plt>
test   %rax,%rax
je     1158 <mystrtok+0x48>
mov    %rbx,(%r12)
movzbl (%rbx),%ebp
add    $0x1,%rbx
test   %bpl,%bpl
jne    1130 <mystrtok+0x20>
jmp    1187 <mystrtok+0x77>
xor    %r14d,%r14d
jmp    1187 <mystrtok+0x77>
lea    -0x1(%rbx),%r14
nopl   0x0(%rax)
movsbl %bpl,%esi
mov    %r15,%rdi
call   1030 <strchr@plt>
mov    %rbx,(%r12)
test   %rax,%rax
jne    1183 <mystrtok+0x73>
movzbl (%rbx),%ebp
add    $0x1,%rbx
test   %bpl,%bpl
jne    1160 <mystrtok+0x50>
jmp    1187 <mystrtok+0x77>
movb   $0x0,-0x1(%rbx)
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @mystrtok(i8** nocapture %0, i8* %1) {
%3 = load i8*, i8** %0
%4 = load i8, i8* %3
%5 = icmp eq i8 %4, 0
br i1 %5, label %27, label %6
6: ; preds = %2, %12
%7 = phi i8 [ %14, %12 ], [ %4, %2 ]
%8 = phi i8* [ %13, %12 ], [ %3, %2 ]
%9 = sext i8 %7 to i32
%10 = tail call i8* @strchr(i8* dereferenceable(1) %1, i32 %9)
%11 = icmp eq i8* %10, null
br i1 %11, label %16, label %12
12: ; preds = %6
%13 = getelementptr inbounds i8, i8* %8, i64 1
store i8* %13, i8** %0
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 0
br i1 %15, label %27, label %6
16: ; preds = %6, %23
%17 = phi i8 [ %24, %23 ], [ %7, %6 ]
%18 = phi i8* [ %22, %23 ], [ %8, %6 ]
%19 = sext i8 %17 to i32
%20 = tail call i8* @strchr(i8* dereferenceable(1) %1, i32 %19)
%21 = icmp eq i8* %20, null
%22 = getelementptr inbounds i8, i8* %18, i64 1
store i8* %22, i8** %0
br i1 %21, label %23, label %26
23: ; preds = %16
%24 = load i8, i8* %22
%25 = icmp eq i8 %24, 0
br i1 %25, label %27, label %16
26: ; preds = %16
store i8 0, i8* %18
br label %27
27: ; preds = %12, %23, %26, %2
%28 = phi i8* [ null, %2 ], [ %8, %26 ], [ %8, %23 ], [ null, %12 ]
ret i8* %28
}