#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 */
size_t ft_strlen(char *);
size_t nbr_words(char *, size_t (*)(char));
void pinit(char **s, size_t (*l)[2], size_t *n_wrd, size_t (*wfct)(char)) {
  (*l)[1] = ft_strlen(*s);
  (*l)[0] = (*l)[1] - 1;
  *n_wrd = nbr_words(*s, wfct);
  while ((*l)[0] > 1 && !wfct((*s)[(*l)[0]]))
    --((*l)[0]);
}


x86 assembly (clang, -O0):
<pinit>:
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    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1040 <ft_strlen@plt>
mov    %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rcx
sub    $0x1,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
mov    -0x20(%rbp),%rsi
call   1030 <nbr_words@plt>
mov    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmpq   $0x1,(%rcx)
mov    %al,-0x21(%rbp)
jbe    11b3 <pinit+0x93>
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    (%rcx),%rcx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%rdx
movsbl (%rcx,%rdx,1),%edi
call   *%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    11c3 <pinit+0xa3>
jmp    11d6 <pinit+0xb6>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,(%rax)
jmp    117c <pinit+0x5c>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pinit>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %rdx,%r12
mov    %rsi,%rbx
mov    %rdi,%r15
mov    (%rdi),%rdi
call   1040 <ft_strlen@plt>
mov    %rax,0x8(%rbx)
add    $0xffffffffffffffff,%rax
mov    %rax,(%rbx)
mov    (%r15),%rdi
mov    %r14,%rsi
call   1030 <nbr_words@plt>
mov    %rax,(%r12)
mov    (%rbx),%rax
cmp    $0x2,%rax
jb     117f <pinit+0x5f>
nop
mov    (%r15),%rcx
movsbl (%rcx,%rax,1),%edi
call   *%r14
test   %rax,%rax
jne    117f <pinit+0x5f>
mov    (%rbx),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,(%rbx)
cmp    $0x1,%rax
ja     1160 <pinit+0x40>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @pinit(i8** %0, [2 x i64]* %1, i64* %2, i64 (i8)* %3) {
%5 = alloca i8**
%6 = alloca [2 x i64]*
%7 = alloca i64*
%8 = alloca i64 (i8)*
store i8** %0, i8*** %5
store [2 x i64]* %1, [2 x i64]** %6
store i64* %2, i64** %7
store i64 (i8)* %3, i64 (i8)** %8
%9 = load i8**, i8*** %5
%10 = load i8*, i8** %9
%11 = call i64 @ft_strlen(i8* %10)
%12 = load [2 x i64]*, [2 x i64]** %6
%13 = getelementptr inbounds [2 x i64], [2 x i64]* %12, i64 0, i64 1
store i64 %11, i64* %13
%14 = load [2 x i64]*, [2 x i64]** %6
%15 = getelementptr inbounds [2 x i64], [2 x i64]* %14, i64 0, i64 1
%16 = load i64, i64* %15
%17 = sub i64 %16, 1
%18 = load [2 x i64]*, [2 x i64]** %6
%19 = getelementptr inbounds [2 x i64], [2 x i64]* %18, i64 0, i64 0
store i64 %17, i64* %19
%20 = load i8**, i8*** %5
%21 = load i8*, i8** %20
%22 = load i64 (i8)*, i64 (i8)** %8
%23 = call i64 @nbr_words(i8* %21, i64 (i8)* %22)
%24 = load i64*, i64** %7
store i64 %23, i64* %24
br label %25
25: ; preds = %44, %4
%26 = load [2 x i64]*, [2 x i64]** %6
%27 = getelementptr inbounds [2 x i64], [2 x i64]* %26, i64 0, i64 0
%28 = load i64, i64* %27
%29 = icmp ugt i64 %28, 1
br i1 %29, label %30, label %42
30: ; preds = %25
%31 = load i64 (i8)*, i64 (i8)** %8
%32 = load i8**, i8*** %5
%33 = load i8*, i8** %32
%34 = load [2 x i64]*, [2 x i64]** %6
%35 = getelementptr inbounds [2 x i64], [2 x i64]* %34, i64 0, i64 0
%36 = load i64, i64* %35
%37 = getelementptr inbounds i8, i8* %33, i64 %36
%38 = load i8, i8* %37
%39 = call i64 %31(i8 signext %38)
%40 = icmp ne i64 %39, 0
%41 = xor i1 %40, true
br label %42
42: ; preds = %30, %25
%43 = phi i1 [ false, %25 ], [ %41, %30 ]
br i1 %43, label %44, label %49
44: ; preds = %42
%45 = load [2 x i64]*, [2 x i64]** %6
%46 = getelementptr inbounds [2 x i64], [2 x i64]* %45, i64 0, i64 0
%47 = load i64, i64* %46
%48 = add i64 %47, -1
store i64 %48, i64* %46
br label %25
49: ; preds = %42
ret void
}

LLVM IR (-O2):
define void @pinit(i8** nocapture %0, [2 x i64]* nocapture %1, i64* nocapture writeonly %2, i64 (i8)* %3) {
%5 = load i8*, i8** %0
%6 = tail call i64 @ft_strlen(i8* %5)
%7 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 1
store i64 %6, i64* %7
%8 = add i64 %6, -1
%9 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 0
store i64 %8, i64* %9
%10 = load i8*, i8** %0
%11 = tail call i64 @nbr_words(i8* %10, i64 (i8)* %3)
store i64 %11, i64* %2
%12 = load i64, i64* %9
%13 = icmp ugt i64 %12, 1
br i1 %13, label %14, label %25
14: ; preds = %4, %21
%15 = phi i64 [ %23, %21 ], [ %12, %4 ]
%16 = load i8*, i8** %0
%17 = getelementptr inbounds i8, i8* %16, i64 %15
%18 = load i8, i8* %17
%19 = tail call i64 %3(i8 signext %18)
%20 = icmp eq i64 %19, 0
br i1 %20, label %21, label %25
21: ; preds = %14
%22 = load i64, i64* %9
%23 = add i64 %22, -1
store i64 %23, i64* %9
%24 = icmp ugt i64 %23, 1
br i1 %24, label %14, label %25
25: ; preds = %14, %21, %4
ret void
}