#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 /*<<< orphan*/ ungetch(int);
int getop(char s[]) {
  int i = 0;
  int c = 0;
  while ((s[0] = c = getch()) == ' ' || c == '\t')
    printf("c = %c;\n");
  s[1] = '\0';
  printf("after first while s [ 0 ] = %c in char = %d in digit ;\n", s[0],
         s[0]);
  if (!isdigit(c) && c != '.') {
    printf("in getop c is not digit or point and is returned;\n");
    return c;
  };
  i = 0;
  if (isdigit(c)) {
    while (isdigit(s[++i] = c = getch())) {
      printf("in second while ( if (isdigit ( c ) ) ) s [ i = %d ]  = %c in "
             "char = %d in digit;\n",
             i, c, c);
    }
  };
  printf("After second while s [ i = %d ] = %c in char and %d in digit;\n", i,
         s[i], s[i]);
  if (c == '.')
    while (isdigit(s[++i] = c = getch())) {
    };
  s[i] = '\0';
  if (c != EOF)
    ungetch(c);
  printf("Whole string = %s;\n", s);
  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,-0x18(%rbp)
mov    -0x10(%rbp),%rcx
mov    %al,(%rcx)
movsbl %al,%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x19(%rbp)
je     1185 <getop+0x45>
cmpl   $0x9,-0x18(%rbp)
sete   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1195 <getop+0x55>
jmp    11a8 <getop+0x68>
lea    0xe64(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    115a <getop+0x1a>
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x10(%rbp),%rax
movsbl (%rax),%esi
mov    -0x10(%rbp),%rax
movsbl (%rax),%edx
lea    0xe44(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x18(%rbp),%eax
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    1204 <getop+0xc4>
cmpl   $0x2e,-0x18(%rbp)
je     1204 <getop+0xc4>
lea    0xe4f(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1325 <getop+0x1e5>
movl   $0x0,-0x14(%rbp)
mov    -0x18(%rbp),%eax
movsbl %al,%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1275 <getop+0x135>
jmp    1225 <getop+0xe5>
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     1270 <getop+0x130>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x18(%rbp),%ecx
lea    0xe10(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    1225 <getop+0xe5>
jmp    1275 <getop+0x135>
mov    -0x14(%rbp),%esi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
lea    0xe30(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x2e,-0x18(%rbp)
jne    12e6 <getop+0x1a6>
jmp    12ad <getop+0x16d>
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     12e1 <getop+0x1a1>
jmp    12ad <getop+0x16d>
jmp    12e6 <getop+0x1a6>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
mov    0x2cec(%rip),%rcx
cmp    (%rcx),%eax
je     130c <getop+0x1cc>
mov    -0x18(%rbp),%edi
call   1050 <ungetch@plt>
mov    -0x10(%rbp),%rsi
lea    0xdef(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@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
xor    %eax,%eax
call   1070 <getch@plt>
mov    %eax,%ebp
mov    %bpl,(%r14)
cmp    $0x9,%eax
je     1175 <getop+0x25>
movzbl %bpl,%eax
cmp    $0x20,%eax
jne    11a4 <getop+0x54>
lea    0xe84(%rip),%rbx
nopl   0x0(%rax)
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
xor    %eax,%eax
call   1070 <getch@plt>
mov    %eax,%ebp
mov    %bpl,(%r14)
cmp    $0x9,%eax
je     1180 <getop+0x30>
movzbl %bpl,%eax
cmp    $0x20,%eax
je     1180 <getop+0x30>
movb   $0x0,0x1(%r14)
movsbl %bpl,%edx
lea    0xe55(%rip),%rdi
xor    %ebx,%ebx
mov    %edx,%esi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl %bpl,%r15d
mov    %r15d,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11e6 <getop+0x96>
cmp    $0x2e,%ebp
je     11e6 <getop+0x96>
lea    0xf0b(%rip),%rdi
call   1040 <puts@plt>
jmp    12e2 <getop+0x192>
mov    %r15d,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     125a <getop+0x10a>
xor    %eax,%eax
call   1070 <getch@plt>
mov    %eax,%ebp
mov    %bpl,0x1(%r14)
movsbl %bpl,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     1255 <getop+0x105>
mov    $0x2,%ebx
lea    0xe27(%rip),%r15
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rbx),%esi
mov    %r15,%rdi
mov    %ebp,%edx
mov    %ebp,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
xor    %eax,%eax
call   1070 <getch@plt>
mov    %eax,%ebp
mov    %bpl,(%r14,%rbx,1)
movsbl %bpl,%edi
call   1030 <isdigit@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    1220 <getop+0xd0>
add    $0xffffffff,%ebx
jmp    125a <getop+0x10a>
mov    $0x1,%ebx
movslq %ebx,%r15
movsbl (%r14,%r15,1),%ecx
lea    0xe2b(%rip),%rdi
mov    %r15d,%esi
mov    %ecx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
cmp    $0x2e,%ebp
jne    12b5 <getop+0x165>
lea    (%r15,%r14,1),%rbx
add    $0x1,%rbx
shl    $0x20,%r15
movabs $0x100000000,%r12
add    %r12,%r15
xor    %eax,%eax
call   1070 <getch@plt>
mov    %eax,%ebp
mov    %bpl,(%rbx)
movsbl %bpl,%edi
call   1030 <isdigit@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    1290 <getop+0x140>
sar    $0x20,%r15
movb   $0x0,(%r14,%r15,1)
mov    0x2d27(%rip),%rax
cmp    (%rax),%ebp
je     12cc <getop+0x17c>
mov    %ebp,%edi
call   1060 <ungetch@plt>
lea    0xe00(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0x30,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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