#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 getchar();
int /*<<< orphan*/ printf(char *, ...);
int main(void) {
  int words[40];
  int i = 0;
  printf("Enter a sentence: ");
  while ((words[i] = getchar()) != '\n') {
    i += 1;
  }
  i -= 1;
  printf("Words reversed: ");
  while (i > 0) {
    while (words[i] != ' ' && words[i] != '\n') {
      i -= 1;
      if (words[i] == ' ') {
        i += 1;
        break;
      }
      if (i == 0) {
        break;
      }
    }
    while (words[i] != ' ' && words[i] != '\n') {
      printf("%c", words[i]);
      i += 1;
    }
    if (words[i] == '\n' || words[i] == ' ') {
      i -= 1;
      break;
    }
    while (words[i] != ' ' && words[i] != '\n') {
      i -= 1;
      if (i == 0) {
        break;
      }
    }
    while (words[i] == ' ') {
      printf(" ");
      i -= 1;
    }
  }
  printf("\n");
  printf("i = %d\n", i);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xb4(%rbp)
lea    0xebd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    $0x0,%al
call   1040 <getchar@plt>
movslq -0xb4(%rbp),%rcx
mov    %eax,-0xb0(%rbp,%rcx,4)
cmp    $0xa,%eax
je     117c <main+0x5c>
mov    -0xb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb4(%rbp)
jmp    114a <main+0x2a>
mov    -0xb4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xb4(%rbp)
lea    0xe81(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0xb4(%rbp)
jle    13b1 <main+0x291>
jmp    11ab <main+0x8b>
movslq -0xb4(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x20,-0xb0(%rbp,%rcx,4)
20
mov    %al,-0xb5(%rbp)
je     11e0 <main+0xc0>
movslq -0xb4(%rbp),%rax
cmpl   $0xa,-0xb0(%rbp,%rax,4)
0a
setne  %al
mov    %al,-0xb5(%rbp)
mov    -0xb5(%rbp),%al
test   $0x1,%al
jne    11f3 <main+0xd3>
jmp    1242 <main+0x122>
mov    -0xb4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xb4(%rbp)
movslq -0xb4(%rbp),%rax
cmpl   $0x20,-0xb0(%rbp,%rax,4)
20
jne    122b <main+0x10b>
mov    -0xb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb4(%rbp)
jmp    1242 <main+0x122>
cmpl   $0x0,-0xb4(%rbp)
jne    123d <main+0x11d>
jmp    1242 <main+0x122>
jmp    11ab <main+0x8b>
jmp    1247 <main+0x127>
movslq -0xb4(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x20,-0xb0(%rbp,%rcx,4)
20
mov    %al,-0xb6(%rbp)
je     127c <main+0x15c>
movslq -0xb4(%rbp),%rax
cmpl   $0xa,-0xb0(%rbp,%rax,4)
0a
setne  %al
mov    %al,-0xb6(%rbp)
mov    -0xb6(%rbp),%al
test   $0x1,%al
jne    128f <main+0x16f>
jmp    12bf <main+0x19f>
movslq -0xb4(%rbp),%rax
mov    -0xb0(%rbp,%rax,4),%esi
lea    0xd80(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb4(%rbp)
jmp    1247 <main+0x127>
movslq -0xb4(%rbp),%rax
cmpl   $0xa,-0xb0(%rbp,%rax,4)
0a
je     12e9 <main+0x1c9>
movslq -0xb4(%rbp),%rax
cmpl   $0x20,-0xb0(%rbp,%rax,4)
20
jne    12fd <main+0x1dd>
mov    -0xb4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xb4(%rbp)
jmp    13b1 <main+0x291>
jmp    1302 <main+0x1e2>
movslq -0xb4(%rbp),%rcx
xor    %eax,%eax
cmpl   $0x20,-0xb0(%rbp,%rcx,4)
20
mov    %al,-0xb7(%rbp)
je     1337 <main+0x217>
movslq -0xb4(%rbp),%rax
cmpl   $0xa,-0xb0(%rbp,%rax,4)
0a
setne  %al
mov    %al,-0xb7(%rbp)
mov    -0xb7(%rbp),%al
test   $0x1,%al
jne    134a <main+0x22a>
jmp    1370 <main+0x250>
mov    -0xb4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xb4(%rbp)
cmpl   $0x0,-0xb4(%rbp)
jne    136b <main+0x24b>
jmp    1370 <main+0x250>
jmp    1302 <main+0x1e2>
jmp    1375 <main+0x255>
movslq -0xb4(%rbp),%rax
cmpl   $0x20,-0xb0(%rbp,%rax,4)
20
jne    13ac <main+0x28c>
lea    0xc91(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xb4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xb4(%rbp)
jmp    1375 <main+0x255>
jmp    1199 <main+0x79>
lea    0xc75(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xb4(%rbp),%esi
lea    0xc5b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0xa8,%rsp
lea    0xebc(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x2,%r15d
mov    $0xffffffff,%ebx
mov    %rsp,%rbp
nopl   0x0(%rax)
xor    %eax,%eax
call   1050 <getchar@plt>
mov    %eax,0x0(%rbp)
add    $0xffffffff,%r15d
add    $0x1,%ebx
add    $0x4,%rbp
cmp    $0xa,%eax
jne    1160 <main+0x30>
mov    %r15d,%r14d
neg    %r14d
lea    0xe8c(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    $0x2,%ebx
jb     11eb <main+0xbb>
movslq %r14d,%rax
cs nopw 0x0(%rax,%rax,1)
mov    (%rsp,%rax,4),%ecx
cmp    $0xa,%ecx
je     11c1 <main+0x91>
cmp    $0x20,%ecx
je     11c1 <main+0x91>
lea    -0x1(%rax),%ecx
cmpl   $0x20,(%rsp,%rcx,4)
je     11c1 <main+0x91>
add    $0xffffffffffffffff,%rax
inc    %r15d
jne    11a0 <main+0x70>
xor    %eax,%eax
cltq
lea    -0x1(%rax),%r14d
lea    (%rsp,%rax,4),%rbx
nopl   0x0(%rax,%rax,1)
mov    (%rbx),%edi
cmp    $0xa,%edi
je     11eb <main+0xbb>
cmp    $0x20,%edi
je     11eb <main+0xbb>
call   1030 <putchar@plt>
add    $0x1,%r14d
add    $0x4,%rbx
jmp    11d0 <main+0xa0>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xe28(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %eax,%eax
add    $0xa8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [19 x i8] c"Enter a sentence: \00"
@.str.1 = [17 x i8] c"Words reversed: \00"
@.str.5 = [8 x i8] c"i = %d\0A\00"
define i32 @main() {
%1 = alloca [40 x i32]
%2 = bitcast [40 x i32]* %1 to i8*
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
br label %4
4: ; preds = %4, %0
%5 = phi i64 [ %9, %4 ], [ 0, %0 ]
%6 = tail call i32 (...) @getchar()
%7 = getelementptr inbounds [40 x i32], [40 x i32]* %1, i64 0, i64 %5
store i32 %6, i32* %7
%8 = icmp eq i32 %6, 10
%9 = add nuw i64 %5, 1
br i1 %8, label %10, label %4
10: ; preds = %4
%11 = trunc i64 %5 to i32
%12 = add i32 %11, -1
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.1, i64 0, i64 0))
%14 = icmp ugt i32 %11, 1
br i1 %14, label %15, label %44
15: ; preds = %10
%16 = sext i32 %12 to i64
br label %17
17: ; preds = %15, %27
%18 = phi i64 [ %16, %15 ], [ %22, %27 ]
%19 = getelementptr inbounds [40 x i32], [40 x i32]* %1, i64 0, i64 %18
%20 = load i32, i32* %19
switch i32 %20, label %21 [
i32 32, label %30
i32 10, label %30
]
21: ; preds = %17
%22 = add nsw i64 %18, -1
%23 = and i64 %22, 4294967295
%24 = getelementptr inbounds [40 x i32], [40 x i32]* %1, i64 0, i64 %23
%25 = load i32, i32* %24
%26 = icmp eq i32 %25, 32
br i1 %26, label %30, label %27
27: ; preds = %21
%28 = trunc i64 %22 to i32
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %17
30: ; preds = %21, %17, %17, %27
%31 = phi i64 [ 0, %27 ], [ %18, %17 ], [ %18, %17 ], [ %18, %21 ]
%32 = shl i64 %31, 32
%33 = ashr exact i64 %32, 32
br label %34
34: ; preds = %38, %30
%35 = phi i64 [ %40, %38 ], [ %33, %30 ]
%36 = getelementptr inbounds [40 x i32], [40 x i32]* %1, i64 0, i64 %35
%37 = load i32, i32* %36
switch i32 %37, label %38 [
i32 10, label %41
i32 32, label %41
]
38: ; preds = %34
%39 = tail call i32 @putchar(i32 %37)
%40 = add i64 %35, 1
br label %34
41: ; preds = %34, %34
%42 = trunc i64 %35 to i32
%43 = add nsw i32 %42, -1
br label %44
44: ; preds = %41, %10
%45 = phi i32 [ %43, %41 ], [ %12, %10 ]
%46 = tail call i32 @putchar(i32 10)
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0), i32 %45)
ret i32 0
}