#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 test_space(char *str, long len, long from, long *pos) {
  long j;
  if ((from + 1) >= len) {
    *pos = strlen(str) - 1;
    return;
  }
  for (j = from + 1; j < len; j++) {
    if ((str[j] == ' ') || (str[j] == '\0') || (str[j] == '\t') ||
        (str[j] == '\n') || (str[j] == ';') || (str[j] == '|') ||
        (str[j] == '!') || (str[j] == ':') || (str[j] == '?')) {
      *pos = j;
      return;
    }
  }
  *pos = strlen(str) - 1;
}


x86 assembly (clang, -O0):
<test_space>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
cmp    -0x10(%rbp),%rax
jl     1155 <test_space+0x45>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
sub    $0x1,%eax
movslq %eax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    1268 <test_space+0x158>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    1252 <test_space+0x142>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3b,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7c,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x21,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     122c <test_space+0x11c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3f,%eax
jne    123c <test_space+0x12c>
mov    -0x28(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    1268 <test_space+0x158>
jmp    1241 <test_space+0x131>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1161 <test_space+0x51>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
sub    $0x1,%eax
movslq %eax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_space>:
push   %rbx
mov    %rcx,%rbx
add    $0x1,%rdx
cmp    %rsi,%rdx
jge    1145 <test_space+0x35>
movabs $0x8c00000300000601,%rax
movzbl (%rdi,%rdx,1),%ecx
cmp    $0x3f,%rcx
ja     1137 <test_space+0x27>
bt     %rcx,%rax
jb     1150 <test_space+0x40>
cmp    $0x7c,%cl
je     1150 <test_space+0x40>
add    $0x1,%rdx
cmp    %rdx,%rsi
jne    1127 <test_space+0x17>
call   1030 <strlen@plt>
add    $0xffffffff,%eax
movslq %eax,%rdx
mov    %rdx,(%rbx)
pop    %rbx
ret

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

LLVM IR (-O2):
define void @test_space(i8* %0, i64 %1, i64 %2, i64* nocapture writeonly %3) {
%5 = add nsw i64 %2, 1
%6 = icmp slt i64 %5, %1
br i1 %6, label %11, label %7
7: ; preds = %4
%8 = tail call i32 @strlen(i8* %0)
%9 = add nsw i32 %8, -1
%10 = sext i32 %9 to i64
br label %22
11: ; preds = %4, %15
%12 = phi i64 [ %16, %15 ], [ %5, %4 ]
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
switch i8 %14, label %15 [
i8 32, label %22
i8 0, label %22
i8 9, label %22
i8 10, label %22
i8 59, label %22
i8 124, label %22
i8 33, label %22
i8 58, label %22
i8 63, label %22
]
15: ; preds = %11
%16 = add i64 %12, 1
%17 = icmp eq i64 %16, %1
br i1 %17, label %18, label %11
18: ; preds = %15
%19 = tail call i32 @strlen(i8* %0)
%20 = add nsw i32 %19, -1
%21 = sext i32 %20 to i64
br label %22
22: ; preds = %11, %11, %11, %11, %11, %11, %11, %11, %11, %18, %7
%23 = phi i64 [ %21, %18 ], [ %10, %7 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ], [ %12, %11 ]
store i64 %23, i64* %3
ret void
}