#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;
int getch();
scalar_t__ isdigit(char);
int /*<<< orphan*/ printf(char *, int, ...);
int /*<<< orphan*/ ungetch(int);
int getop(char s[]) {
  int i = 0;
  int c = 0;
  while (s[0] = (c = getch()) == ' ' || c == '\t')
    ;
  s[1] = '\0';
  if (!isdigit(c) && c != '.') {
    printf("in getop c is NOT a digit and = %c;\n", c);
    return c;
  };
  i = 0;
  if (isdigit(c)) {
    printf("first check, whole part, c = %c; i = %d; s [ i = %d ] = %c;\n", c,
           i, i, s[i]);
    while (isdigit(s[i] = c = getch())) {
      printf("at step %d symbol = %c; s [ i ] = %c;  whole search.\n", i, c,
             s[i]);
      ++i;
    };
    printf("after while s [ i = %d ] = %c; and s [ i - 1 = %d ] = %c; \n", i,
           s[i], i - 1, s[i - 1]);
  };
  if (c == '.')
    while (isdigit(s[++i] = c = getch())) {
      printf("at step %d symbol = %c;frational search.\n", i, c);
    };
  s[i] = '\0';
  if (c != EOF)
    ungetch(c);
  return '0';
}


x86 assembly (clang, -O0):
<getop>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    $0x0,%al
call   1060 <getch@plt>
mov    %eax,%ecx
mov    %ecx,-0x18(%rbp)
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x19(%rbp)
je     117e <getop+0x3e>
cmpl   $0x9,-0x18(%rbp)
sete   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    -0x10(%rbp),%rcx
mov    %al,(%rcx)
cmp    $0x0,%al
je     1199 <getop+0x59>
jmp    115a <getop+0x1a>
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x18(%rbp),%eax
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    11dc <getop+0x9c>
cmpl   $0x2e,-0x18(%rbp)
je     11dc <getop+0x9c>
mov    -0x18(%rbp),%esi
lea    0xe36(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    132f <getop+0x1ef>
movl   $0x0,-0x14(%rbp)
mov    -0x18(%rbp),%eax
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     12a6 <getop+0x166>
mov    -0x18(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdi
movsbl (%rax,%rdi,1),%r8d
lea    0xe10(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    $0x0,%al
call   1060 <getch@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
mov    %al,(%rcx,%rdx,1)
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1271 <getop+0x131>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
lea    0xe06(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    121c <getop+0xdc>
mov    -0x14(%rbp),%esi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%edi
sub    $0x1,%edi
movslq %edi,%rdi
movsbl (%rax,%rdi,1),%r8d
lea    0xdf9(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x2e,-0x18(%rbp)
jne    1302 <getop+0x1c2>
jmp    12b5 <getop+0x175>
mov    $0x0,%al
call   1060 <getch@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %edx,%rdx
mov    %al,(%rcx,%rdx,1)
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     12fd <getop+0x1bd>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    0xde3(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    12b5 <getop+0x175>
jmp    1302 <getop+0x1c2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    0x2cd0(%rip),%rcx
cmp    (%rcx),%eax
je     1328 <getop+0x1e8>
mov    -0x18(%rbp),%edi
call   1050 <ungetch@plt>
movl   $0x30,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getop>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%r14
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1060 <getch@plt>
mov    %eax,%ebp
cmp    $0x20,%eax
sete   %al
cmp    $0x9,%ebp
sete   %cl
or     %al,%cl
mov    %cl,(%r14)
cmp    $0x9,%ebp
je     1150 <getop+0x10>
cmp    $0x20,%ebp
je     1150 <getop+0x10>
movb   $0x0,0x1(%r14)
movsbl %bpl,%ebx
mov    %ebx,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11a3 <getop+0x63>
cmp    $0x2e,%ebp
je     11a3 <getop+0x63>
lea    0xe6b(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    12f2 <getop+0x1b2>
mov    %ebx,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     123e <getop+0xfe>
movsbl (%r14),%r8d
lea    0xe67(%rip),%rdi
xor    %r12d,%r12d
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
xor    %eax,%eax
call   1040 <printf@plt>
xor    %eax,%eax
call   1060 <getch@plt>
mov    %eax,%ebp
mov    %bpl,(%r14)
movsbl %bpl,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     124e <getop+0x10e>
lea    0xe73(%rip),%r15
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r12,%rbx
movsbl (%r14,%r12,1),%ecx
mov    %r15,%rdi
mov    %ebx,%esi
mov    %ebp,%edx
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%r12
xor    %eax,%eax
call   1060 <getch@plt>
mov    %eax,%ebp
mov    %bpl,0x1(%r14,%rbx,1)
movsbl %bpl,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1200 <getop+0xc0>
mov    %r12,%rax
add    %r14,%rax
jmp    1251 <getop+0x111>
xor    %r12d,%r12d
cmp    $0x2e,%ebp
je     1274 <getop+0x134>
mov    %ebp,%r15d
jmp    12d1 <getop+0x191>
mov    %r14,%rax
movsbl (%rax),%edx
movslq %r12d,%rsi
lea    -0x1(%rsi),%rcx
movsbl -0x1(%r14,%rsi,1),%r8d
lea    0xe30(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    $0x2e,%ebp
jne    1246 <getop+0x106>
xor    %eax,%eax
call   1060 <getch@plt>
mov    %eax,%r15d
mov    %r12d,%r12d
mov    %r15b,0x1(%r14,%r12,1)
add    $0x1,%r12
movsbl %r15b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     12d1 <getop+0x191>
lea    0xe35(%rip),%rbp
nop
mov    %rbp,%rdi
mov    %r12d,%esi
mov    %r15d,%edx
xor    %eax,%eax
call   1040 <printf@plt>
xor    %eax,%eax
call   1060 <getch@plt>
mov    %eax,%r15d
mov    %r15b,0x1(%r14,%r12,1)
add    $0x1,%r12
movsbl %r15b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    12a0 <getop+0x160>
movslq %r12d,%rax
movb   $0x0,(%r14,%rax,1)
mov    0x2d08(%rip),%rax
mov    $0x30,%ebp
cmp    (%rax),%r15d
je     12f2 <getop+0x1b2>
mov    %r15d,%edi
call   1050 <ungetch@plt>
mov    %ebp,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [37 x i8] c"in getop c is NOT a digit and = %c;\0A\00"
@.str.1 = [61 x i8] c"first check, whole part, c = %c; i = %d; s [ i = %d ] = %c;\0A\00"
@.str.2 = [54 x i8] c"at step %d symbol = %c; s [ i ] = %c; whole search.\0A\00"
@.str.3 = [60 x i8] c"after while s [ i = %d ] = %c; and s [ i - 1 = %d ] = %c; \0A\00"
@.str.4 = [42 x i8] c"at step %d symbol = %c;frational search.\0A\00"
@EOF = global i32 0
define i32 @getop(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
br label %6
6: ; preds = %19, %1
%7 = call i32 (...) @getch()
store i32 %7, i32* %5
%8 = icmp eq i32 %7, 32
br i1 %8, label %12, label %9
9: ; preds = %6
%10 = load i32, i32* %5
%11 = icmp eq i32 %10, 9
br label %12
12: ; preds = %9, %6
%13 = phi i1 [ true, %6 ], [ %11, %9 ]
%14 = zext i1 %13 to i32
%15 = trunc i32 %14 to i8
%16 = load i8*, i8** %3
%17 = getelementptr inbounds i8, i8* %16, i64 0
store i8 %15, i8* %17
%18 = icmp ne i8 %15, 0
br i1 %18, label %19, label %20
19: ; preds = %12
br label %6
20: ; preds = %12
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i64 1
store i8 0, i8* %22
%23 = load i32, i32* %5
%24 = trunc i32 %23 to i8
%25 = call i64 @isdigit(i8 signext %24)
%26 = icmp ne i64 %25, 0
br i1 %26, label %34, label %27
27: ; preds = %20
%28 = load i32, i32* %5
%29 = icmp ne i32 %28, 46
br i1 %29, label %30, label %34
30: ; preds = %27
%31 = load i32, i32* %5
%32 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0), i32 %31)
%33 = load i32, i32* %5
store i32 %33, i32* %2
br label %120
34: ; preds = %27, %20
store i32 0, i32* %4
%35 = load i32, i32* %5
%36 = trunc i32 %35 to i8
%37 = call i64 @isdigit(i8 signext %36)
%38 = icmp ne i64 %37, 0
br i1 %38, label %39, label %89
39: ; preds = %34
%40 = load i32, i32* %5
%41 = load i32, i32* %4
%42 = load i32, i32* %4
%43 = load i8*, i8** %3
%44 = load i32, i32* %4
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.1, i64 0, i64 0), i32 %40, i32 %41, i32 %42, i32 %48)
br label %50
50: ; preds = %59, %39
%51 = call i32 (...) @getch()
store i32 %51, i32* %5
%52 = trunc i32 %51 to i8
%53 = load i8*, i8** %3
%54 = load i32, i32* %4
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %53, i64 %55
store i8 %52, i8* %56
%57 = call i64 @isdigit(i8 signext %52)
%58 = icmp ne i64 %57, 0
br i1 %58, label %59, label %71
59: ; preds = %50
%60 = load i32, i32* %4
%61 = load i32, i32* %5
%62 = load i8*, i8** %3
%63 = load i32, i32* %4
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.2, i64 0, i64 0), i32 %60, i32 %61, i32 %67)
%69 = load i32, i32* %4
%70 = add nsw i32 %69, 1
store i32 %70, i32* %4
br label %50
71: ; preds = %50
%72 = load i32, i32* %4
%73 = load i8*, i8** %3
%74 = load i32, i32* %4
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8, i8* %73, i64 %75
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = load i32, i32* %4
%80 = sub nsw i32 %79, 1
%81 = load i8*, i8** %3
%82 = load i32, i32* %4
%83 = sub nsw i32 %82, 1
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %81, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), i32 %72, i32 %78, i32 %80, i32 %87)
br label %89
89: ; preds = %71, %34
%90 = load i32, i32* %5
%91 = icmp eq i32 %90, 46
br i1 %91, label %92, label %108
92: ; preds = %89
br label %93
93: ; preds = %103, %92
%94 = call i32 (...) @getch()
store i32 %94, i32* %5
%95 = trunc i32 %94 to i8
%96 = load i8*, i8** %3
%97 = load i32, i32* %4
%98 = add nsw i32 %97, 1
store i32 %98, i32* %4
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %96, i64 %99
store i8 %95, i8* %100
%101 = call i64 @isdigit(i8 signext %95)
%102 = icmp ne i64 %101, 0
br i1 %102, label %103, label %107
103: ; preds = %93
%104 = load i32, i32* %4
%105 = load i32, i32* %5
%106 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.4, i64 0, i64 0), i32 %104, i32 %105)
br label %93
107: ; preds = %93
br label %108
108: ; preds = %107, %89
%109 = load i8*, i8** %3
%110 = load i32, i32* %4
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i8, i8* %109, i64 %111
store i8 0, i8* %112
%113 = load i32, i32* %5
%114 = load i32, i32* @EOF
%115 = icmp ne i32 %113, %114
br i1 %115, label %116, label %119
116: ; preds = %108
%117 = load i32, i32* %5
%118 = call i32 @ungetch(i32 %117)
br label %119
119: ; preds = %116, %108
store i32 48, i32* %2
br label %120
120: ; preds = %119, %30
%121 = load i32, i32* %2
ret i32 %121
}

LLVM IR (-O2):
@.str = [37 x i8] c"in getop c is NOT a digit and = %c;\0A\00"
@.str.1 = [61 x i8] c"first check, whole part, c = %c; i = %d; s [ i = %d ] = %c;\0A\00"
@.str.2 = [54 x i8] c"at step %d symbol = %c; s [ i ] = %c; whole search.\0A\00"
@.str.3 = [60 x i8] c"after while s [ i = %d ] = %c; and s [ i - 1 = %d ] = %c; \0A\00"
@.str.4 = [42 x i8] c"at step %d symbol = %c;frational search.\0A\00"
@EOF = global i32 0
define i32 @getop(i8* nocapture %0) {
br label %2
2: ; preds = %8, %1
%3 = tail call i32 (...) @getch()
%4 = icmp eq i32 %3, 32
%5 = icmp eq i32 %3, 9
%6 = or i1 %4, %5
%7 = zext i1 %6 to i8
store i8 %7, i8* %0
switch i32 %3, label %9 [
i32 32, label %8
i32 9, label %8
]
8: ; preds = %2, %2
br label %2
9: ; preds = %2
%10 = getelementptr inbounds i8, i8* %0, i64 1
store i8 0, i8* %10
%11 = trunc i32 %3 to i8
%12 = tail call i64 @isdigit(i8 signext %11)
%13 = icmp eq i64 %12, 0
%14 = icmp ne i32 %3, 46
%15 = select i1 %13, i1 %14, i1 false
br i1 %15, label %16, label %18
16: ; preds = %9
%17 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0), i32 %3)
br label %91
18: ; preds = %9
%19 = tail call i64 @isdigit(i8 signext %11)
%20 = icmp eq i64 %19, 0
br i1 %20, label %57, label %21
21: ; preds = %18
%22 = load i8, i8* %0
%23 = sext i8 %22 to i32
%24 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.1, i64 0, i64 0), i32 %3, i32 0, i32 0, i32 %23)
%25 = tail call i32 (...) @getch()
%26 = trunc i32 %25 to i8
store i8 %26, i8* %0
%27 = tail call i64 @isdigit(i8 signext %26)
%28 = icmp eq i64 %27, 0
br i1 %28, label %45, label %29
29: ; preds = %21, %29
%30 = phi i64 [ %37, %29 ], [ 0, %21 ]
%31 = phi i8* [ %40, %29 ], [ %0, %21 ]
%32 = phi i32 [ %38, %29 ], [ %25, %21 ]
%33 = load i8, i8* %31
%34 = sext i8 %33 to i32
%35 = trunc i64 %30 to i32
%36 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.2, i64 0, i64 0), i32 %35, i32 %32, i32 %34)
%37 = add nuw i64 %30, 1
%38 = tail call i32 (...) @getch()
%39 = trunc i32 %38 to i8
%40 = getelementptr inbounds i8, i8* %0, i64 %37
store i8 %39, i8* %40
%41 = tail call i64 @isdigit(i8 signext %39)
%42 = icmp eq i64 %41, 0
br i1 %42, label %43, label %29
43: ; preds = %29
%44 = trunc i64 %37 to i32
br label %45
45: ; preds = %43, %21
%46 = phi i32 [ 0, %21 ], [ %44, %43 ]
%47 = phi i32 [ %25, %21 ], [ %38, %43 ]
%48 = phi i8* [ %0, %21 ], [ %40, %43 ]
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = add nsw i32 %46, -1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), i32 %46, i32 %50, i32 %51, i32 %55)
br label %57
57: ; preds = %45, %18
%58 = phi i32 [ %46, %45 ], [ 0, %18 ]
%59 = phi i32 [ %47, %45 ], [ %3, %18 ]
%60 = icmp eq i32 %59, 46
br i1 %60, label %61, label %82
61: ; preds = %57
%62 = tail call i32 (...) @getch()
%63 = trunc i32 %62 to i8
%64 = add nuw nsw i32 %58, 1
%65 = zext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %0, i64 %65
store i8 %63, i8* %66
%67 = tail call i64 @isdigit(i8 signext %63)
%68 = icmp eq i64 %67, 0
br i1 %68, label %82, label %69
69: ; preds = %61, %69
%70 = phi i64 [ %76, %69 ], [ %65, %61 ]
%71 = phi i32 [ %74, %69 ], [ %62, %61 ]
%72 = trunc i64 %70 to i32
%73 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.4, i64 0, i64 0), i32 %72, i32 %71)
%74 = tail call i32 (...) @getch()
%75 = trunc i32 %74 to i8
%76 = add nuw i64 %70, 1
%77 = getelementptr inbounds i8, i8* %0, i64 %76
store i8 %75, i8* %77
%78 = tail call i64 @isdigit(i8 signext %75)
%79 = icmp eq i64 %78, 0
br i1 %79, label %80, label %69
80: ; preds = %69
%81 = trunc i64 %76 to i32
br label %82
82: ; preds = %80, %61, %57
%83 = phi i32 [ %58, %57 ], [ %64, %61 ], [ %81, %80 ]
%84 = phi i32 [ %59, %57 ], [ %62, %61 ], [ %74, %80 ]
%85 = sext i32 %83 to i64
%86 = getelementptr inbounds i8, i8* %0, i64 %85
store i8 0, i8* %86
%87 = load i32, i32* @EOF
%88 = icmp eq i32 %84, %87
br i1 %88, label %91, label %89
89: ; preds = %82
%90 = tail call i32 @ungetch(i32 %84)
br label %91
91: ; preds = %82, %89, %16
%92 = phi i32 [ %3, %16 ], [ 48, %89 ], [ 48, %82 ]
ret i32 %92
}