#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 EOF;
void *getch();
scalar_t__ is_useless_input(int);
int /*<<< orphan*/ isvalid_varchar(char);
int /*<<< orphan*/ ungetch(char);
int getword(char *word, int wordlen) {
  int c;
  char *w = word;
  while (is_useless_input(c = getch())) {
    ;
  }
  if (c != EOF) {
    *w++ = c;
  }
  if (!isvalid_varchar(c)) {
    *w = '\0';
    return c;
  }
  for (; --wordlen > 0; w++) {
    if (!isvalid_varchar(*w = getch())) {
      ungetch(*w);
      break;
    }
  }
  *w = '\0';
  return word[0];
}


x86 assembly (clang, -O0):
<getword>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    $0x0,%al
call   1050 <getch@plt>
mov    %eax,%edi
mov    %edi,-0x18(%rbp)
call   1060 <is_useless_input@plt>
cmp    $0x0,%rax
je     1177 <getword+0x37>
jmp    1157 <getword+0x17>
mov    -0x18(%rbp),%eax
mov    0x2e67(%rip),%rcx
cmp    (%rcx),%eax
je     119f <getword+0x5f>
mov    -0x18(%rbp),%eax
mov    %al,%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
movsbl %al,%edi
call   1030 <isvalid_varchar@plt>
cmp    $0x0,%eax
jne    11c5 <getword+0x85>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1232 <getword+0xf2>
jmp    11ca <getword+0x8a>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jle    1221 <getword+0xe1>
mov    $0x0,%al
call   1050 <getch@plt>
mov    -0x20(%rbp),%rcx
mov    %al,(%rcx)
movsbl %al,%edi
call   1030 <isvalid_varchar@plt>
cmp    $0x0,%eax
jne    120b <getword+0xcb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1040 <ungetch@plt>
jmp    1221 <getword+0xe1>
jmp    1210 <getword+0xd0>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11ca <getword+0x8a>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getword>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r15d
mov    %rdi,%r14
nopl   (%rax)
xor    %eax,%eax
call   1050 <getch@plt>
mov    %rax,%rbx
mov    %ebx,%edi
call   1060 <is_useless_input@plt>
test   %rax,%rax
jne    1150 <getword+0x10>
mov    0x2e7b(%rip),%rax
mov    %r14,%rbp
cmp    %ebx,(%rax)
je     117b <getword+0x3b>
lea    0x1(%r14),%rbp
mov    %bl,(%r14)
movsbl %bl,%edi
call   1030 <isvalid_varchar@plt>
test   %eax,%eax
je     11c6 <getword+0x86>
cmp    $0x2,%r15d
jl     11d5 <getword+0x95>
add    $0x1,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1050 <getch@plt>
mov    %al,0x0(%rbp)
movsbl %al,%edi
call   1030 <isvalid_varchar@plt>
test   %eax,%eax
je     11cc <getword+0x8c>
add    $0x1,%rbp
add    $0xffffffff,%r15d
cmp    $0x2,%r15d
jg     11a0 <getword+0x60>
jmp    11d5 <getword+0x95>
movb   $0x0,0x0(%rbp)
jmp    11dd <getword+0x9d>
movsbl 0x0(%rbp),%edi
call   1040 <ungetch@plt>
movb   $0x0,0x0(%rbp)
movsbl (%r14),%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@EOF = global i32 0
define i32 @getword(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
%8 = load i8*, i8** %4
store i8* %8, i8** %7
br label %9
9: ; preds = %14, %2
%10 = call i8* (...) @getch()
%11 = ptrtoint i8* %10 to i32
store i32 %11, i32* %6
%12 = call i64 @is_useless_input(i32 %11)
%13 = icmp ne i64 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %9
br label %9
15: ; preds = %9
%16 = load i32, i32* %6
%17 = load i32, i32* @EOF
%18 = icmp ne i32 %16, %17
br i1 %18, label %19, label %24
19: ; preds = %15
%20 = load i32, i32* %6
%21 = trunc i32 %20 to i8
%22 = load i8*, i8** %7
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %7
store i8 %21, i8* %22
br label %24
24: ; preds = %19, %15
%25 = load i32, i32* %6
%26 = trunc i32 %25 to i8
%27 = call i32 @isvalid_varchar(i8 signext %26)
%28 = icmp ne i32 %27, 0
br i1 %28, label %32, label %29
29: ; preds = %24
%30 = load i8*, i8** %7
store i8 0, i8* %30
%31 = load i32, i32* %6
store i32 %31, i32* %3
br label %57
32: ; preds = %24
br label %33
33: ; preds = %48, %32
%34 = load i32, i32* %5
%35 = add nsw i32 %34, -1
store i32 %35, i32* %5
%36 = icmp sgt i32 %35, 0
br i1 %36, label %37, label %51
37: ; preds = %33
%38 = call i8* (...) @getch()
%39 = ptrtoint i8* %38 to i8
%40 = load i8*, i8** %7
store i8 %39, i8* %40
%41 = call i32 @isvalid_varchar(i8 signext %39)
%42 = icmp ne i32 %41, 0
br i1 %42, label %47, label %43
43: ; preds = %37
%44 = load i8*, i8** %7
%45 = load i8, i8* %44
%46 = call i32 @ungetch(i8 signext %45)
br label %51
47: ; preds = %37
br label %48
48: ; preds = %47
%49 = load i8*, i8** %7
%50 = getelementptr inbounds i8, i8* %49, i32 1
store i8* %50, i8** %7
br label %33
51: ; preds = %43, %33
%52 = load i8*, i8** %7
store i8 0, i8* %52
%53 = load i8*, i8** %4
%54 = getelementptr inbounds i8, i8* %53, i64 0
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
store i32 %56, i32* %3
br label %57
57: ; preds = %51, %29
%58 = load i32, i32* %3
ret i32 %58
}

LLVM IR (-O2):
@EOF = global i32 0
define i32 @getword(i8* nocapture %0, i32 %1) {
br label %3
3: ; preds = %3, %2
%4 = tail call i8* (...) @getch()
%5 = ptrtoint i8* %4 to i64
%6 = trunc i64 %5 to i32
%7 = tail call i64 @is_useless_input(i32 %6)
%8 = icmp eq i64 %7, 0
br i1 %8, label %9, label %3
9: ; preds = %3
%10 = ptrtoint i8* %4 to i64
%11 = trunc i64 %10 to i32
%12 = load i32, i32* @EOF
%13 = icmp eq i32 %12, %11
%14 = trunc i64 %10 to i8
br i1 %13, label %17, label %15
15: ; preds = %9
%16 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %14, i8* %0
br label %17
17: ; preds = %9, %15
%18 = phi i8* [ %16, %15 ], [ %0, %9 ]
%19 = tail call i32 @isvalid_varchar(i8 signext %14)
%20 = icmp eq i32 %19, 0
br i1 %20, label %23, label %21
21: ; preds = %17
%22 = icmp sgt i32 %1, 1
br i1 %22, label %24, label %39
23: ; preds = %17
store i8 0, i8* %18
br label %43
24: ; preds = %21, %35
%25 = phi i32 [ %36, %35 ], [ %1, %21 ]
%26 = phi i8* [ %37, %35 ], [ %18, %21 ]
%27 = tail call i8* (...) @getch()
%28 = ptrtoint i8* %27 to i64
%29 = trunc i64 %28 to i8
store i8 %29, i8* %26
%30 = tail call i32 @isvalid_varchar(i8 signext %29)
%31 = icmp eq i32 %30, 0
br i1 %31, label %32, label %35
32: ; preds = %24
%33 = load i8, i8* %26
%34 = tail call i32 @ungetch(i8 signext %33)
br label %39
35: ; preds = %24
%36 = add nsw i32 %25, -1
%37 = getelementptr inbounds i8, i8* %26, i64 1
%38 = icmp sgt i32 %25, 2
br i1 %38, label %24, label %39
39: ; preds = %35, %21, %32
%40 = phi i8* [ %26, %32 ], [ %18, %21 ], [ %37, %35 ]
store i8 0, i8* %40
%41 = load i8, i8* %0
%42 = sext i8 %41 to i32
br label %43
43: ; preds = %39, %23
%44 = phi i32 [ %42, %39 ], [ %11, %23 ]
ret i32 %44
}