#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 getchar();
int inc(int *);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ putchar(char);
int main() {
  char buffer[60 + 1];
  int c;
  int print_i = 0;
  int scan_i = 0;
  int char_i = 0;
  int state = 0;
  while (state != 5) {
    switch (state) {
    case 0:
      while (print_i != scan_i &&
             (buffer[print_i] == ' ' || buffer[print_i] == '\t' ||
              buffer[print_i] == '\n'))
        inc(&print_i);
      if (print_i == scan_i) {
        while ((c = getchar()) != EOF && (c == ' ' || c == '\t' || c == '\n'))
          ;
        if (c == EOF) {
          state = 5;
          break;
        }
        buffer[print_i] = c;
        inc(&scan_i);
      }
      char_i = (scan_i - 1 + 60 + 1) % (60 + 1);
      state = 1;
      break;
    case 1: {
      int first_word_found = 0;
      char prev_c = buffer[print_i];
      do {
        c = getchar();
        if (c == EOF)
          break;
        if (!first_word_found) {
          if (c != ' ' && c != '\t' && c != '\n')
            char_i = scan_i;
          else if (prev_c != ' ' && prev_c != '\t')
            first_word_found = 1;
        } else if (prev_c != ' ' && prev_c != '\t' &&
                   (c == ' ' || c == '\t' || c == '\n'))
          char_i = (scan_i - 1 + 60 + 1) % (60 + 1);
        if (c == '\n')
          break;
        buffer[scan_i] = c;
      } while (inc(&scan_i) != print_i);
      if (c == EOF)
        state = 5;
      else if (!first_word_found)
        state = 2;
      else
        state = 3;
      break;
    }
    case 2: {
      int end_i = (char_i - 2 + 60 + 1) % (60 + 1);
      do
        putchar(buffer[print_i]);
      while (inc(&print_i) != end_i);
      putchar('-');
      putchar('\n');
      state = 1;
      break;
    }
    case 3:
      inc(&char_i);
      do
        putchar(buffer[print_i]);
      while (inc(&print_i) != char_i);
      putchar('\n');
      state = 0;
      break;
    case 4:
      inc(&char_i);
      do
        putchar(buffer[print_i]);
      while (inc(&print_i) != scan_i);
      putchar('\n');
      state = 5;
      break;
    default:
      printf("Error! non-existent state.\n");
      return 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
cmpl   $0x5,-0x64(%rbp)
je     152c <main+0x3ec>
mov    -0x64(%rbp),%eax
mov    %rax,-0x78(%rbp)
sub    $0x4,%rax
ja     150f <main+0x3cf>
mov    -0x78(%rbp),%rax
lea    0xe6c(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    11a2 <main+0x62>
mov    -0x58(%rbp),%ecx
xor    %eax,%eax
cmp    -0x5c(%rbp),%ecx
mov    %al,-0x79(%rbp)
je     11f9 <main+0xb9>
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x7a(%rbp)
je     11f3 <main+0xb3>
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%ecx
mov    $0x1,%al
cmp    $0x9,%ecx
mov    %al,-0x7a(%rbp)
je     11f3 <main+0xb3>
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%eax
cmp    $0xa,%eax
sete   %al
mov    %al,-0x7a(%rbp)
mov    -0x7a(%rbp),%al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
test   $0x1,%al
jne    1209 <main+0xc9>
jmp    1217 <main+0xd7>
lea    -0x58(%rbp),%rdi
call   1060 <inc@plt>
jmp    11a2 <main+0x62>
mov    -0x58(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jne    12bf <main+0x17f>
jmp    1228 <main+0xe8>
mov    $0x0,%al
call   1050 <getchar@plt>
mov    %eax,%ecx
mov    %ecx,-0x54(%rbp)
xor    %eax,%eax
mov    0x2dab(%rip),%rdx
cmp    (%rdx),%ecx
mov    %al,-0x7b(%rbp)
je     1276 <main+0x136>
mov    $0x1,%al
cmpl   $0x20,-0x54(%rbp)
mov    %al,-0x7c(%rbp)
je     1270 <main+0x130>
mov    $0x1,%al
cmpl   $0x9,-0x54(%rbp)
mov    %al,-0x7c(%rbp)
je     1270 <main+0x130>
cmpl   $0xa,-0x54(%rbp)
sete   %al
mov    %al,-0x7c(%rbp)
mov    -0x7c(%rbp),%al
mov    %al,-0x7b(%rbp)
mov    -0x7b(%rbp),%al
test   $0x1,%al
jne    1286 <main+0x146>
jmp    128b <main+0x14b>
jmp    1228 <main+0xe8>
mov    -0x54(%rbp),%eax
mov    0x2d53(%rip),%rcx
cmp    (%rcx),%eax
jne    12a9 <main+0x169>
movl   $0x5,-0x64(%rbp)
jmp    1527 <main+0x3e7>
mov    -0x54(%rbp),%eax
mov    %al,%cl
movslq -0x58(%rbp),%rax
mov    %cl,-0x50(%rbp,%rax,1)
lea    -0x5c(%rbp),%rdi
call   1060 <inc@plt>
mov    -0x5c(%rbp),%eax
sub    $0x1,%eax
add    $0x3c,%eax
add    $0x1,%eax
mov    $0x3d,%ecx
cltd
idiv   %ecx
mov    %edx,-0x60(%rbp)
movl   $0x1,-0x64(%rbp)
jmp    1527 <main+0x3e7>
movl   $0x0,-0x68(%rbp)
movslq -0x58(%rbp),%rax
mov    -0x50(%rbp,%rax,1),%al
mov    %al,-0x69(%rbp)
mov    $0x0,%al
call   1050 <getchar@plt>
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    0x2ce0(%rip),%rcx
cmp    (%rcx),%eax
jne    1315 <main+0x1d5>
jmp    13f5 <main+0x2b5>
cmpl   $0x0,-0x68(%rbp)
jne    1373 <main+0x233>
cmpl   $0x20,-0x54(%rbp)
je     1348 <main+0x208>
cmpl   $0x9,-0x54(%rbp)
je     1348 <main+0x208>
cmpl   $0xa,-0x54(%rbp)
je     1348 <main+0x208>
mov    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
jmp    136e <main+0x22e>
movsbl -0x69(%rbp),%eax
cmp    $0x20,%eax
je     1369 <main+0x229>
movsbl -0x69(%rbp),%eax
cmp    $0x9,%eax
je     1369 <main+0x229>
movl   $0x1,-0x68(%rbp)
jmp    136e <main+0x22e>
jmp    13c7 <main+0x287>
movsbl -0x69(%rbp),%eax
cmp    $0x20,%eax
je     13c2 <main+0x282>
movsbl -0x69(%rbp),%eax
cmp    $0x9,%eax
je     13c2 <main+0x282>
cmpl   $0x20,-0x54(%rbp)
je     13ab <main+0x26b>
cmpl   $0x9,-0x54(%rbp)
je     13ab <main+0x26b>
cmpl   $0xa,-0x54(%rbp)
jne    13c2 <main+0x282>
mov    -0x5c(%rbp),%eax
sub    $0x1,%eax
add    $0x3c,%eax
add    $0x1,%eax
mov    $0x3d,%ecx
cltd
idiv   %ecx
mov    %edx,-0x60(%rbp)
jmp    13c7 <main+0x287>
cmpl   $0xa,-0x54(%rbp)
jne    13d6 <main+0x296>
jmp    13f5 <main+0x2b5>
mov    -0x54(%rbp),%eax
mov    %al,%cl
movslq -0x5c(%rbp),%rax
mov    %cl,-0x50(%rbp,%rax,1)
lea    -0x5c(%rbp),%rdi
call   1060 <inc@plt>
cmp    -0x58(%rbp),%eax
jne    12f4 <main+0x1b4>
mov    -0x54(%rbp),%eax
mov    0x2be9(%rip),%rcx
cmp    (%rcx),%eax
jne    1413 <main+0x2d3>
movl   $0x5,-0x64(%rbp)
jmp    1435 <main+0x2f5>
cmpl   $0x0,-0x68(%rbp)
jne    1429 <main+0x2e9>
movl   $0x2,-0x64(%rbp)
jmp    1430 <main+0x2f0>
movl   $0x3,-0x64(%rbp)
jmp    1435 <main+0x2f5>
jmp    1527 <main+0x3e7>
mov    -0x60(%rbp),%eax
sub    $0x2,%eax
add    $0x3c,%eax
add    $0x1,%eax
mov    $0x3d,%ecx
cltd
idiv   %ecx
mov    %edx,-0x70(%rbp)
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%edi
call   1030 <putchar@plt>
lea    -0x58(%rbp),%rdi
call   1060 <inc@plt>
cmp    -0x70(%rbp),%eax
jne    1451 <main+0x311>
mov    $0x2d,%edi
call   1030 <putchar@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x1,-0x64(%rbp)
jmp    1527 <main+0x3e7>
lea    -0x60(%rbp),%rdi
call   1060 <inc@plt>
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%edi
call   1030 <putchar@plt>
lea    -0x58(%rbp),%rdi
call   1060 <inc@plt>
cmp    -0x60(%rbp),%eax
jne    149a <main+0x35a>
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x0,-0x64(%rbp)
jmp    1527 <main+0x3e7>
lea    -0x60(%rbp),%rdi
call   1060 <inc@plt>
movslq -0x58(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%edi
call   1030 <putchar@plt>
lea    -0x58(%rbp),%rdi
call   1060 <inc@plt>
cmp    -0x5c(%rbp),%eax
jne    14d9 <main+0x399>
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x5,-0x64(%rbp)
jmp    1527 <main+0x3e7>
lea    0xafe(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    1533 <main+0x3f3>
jmp    116e <main+0x2e>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
movl   $0x0,0xc(%rsp)
lea    0xe93(%rip),%r14
movabs $0x100000600,%rbp
lea    0x8(%rsp),%r15
lea    0xc(%rsp),%r12
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %ebx,%ebx
cmp    $0x5,%ebx
ja     148c <main+0x34c>
mov    %ebx,%eax
movslq (%r14,%rax,4),%rax
add    %r14,%rax
jmp    *%rax
cs nopw 0x0(%rax,%rax,1)
mov    0x8(%rsp),%ecx
mov    0x4(%rsp),%eax
cmp    %eax,%ecx
je     1391 <main+0x251>
movslq %ecx,%rcx
movzbl 0x10(%rsp,%rcx,1),%ecx
cmp    $0x20,%rcx
ja     1416 <main+0x2d6>
bt     %rcx,%rbp
jae    1416 <main+0x2d6>
mov    %r15,%rdi
call   1060 <inc@plt>
jmp    11b0 <main+0x70>
movslq 0x8(%rsp),%rax
mov    0x10(%rsp,%rax,1),%r12b
cmp    $0x20,%r12b
setne  %al
cmp    $0x9,%r12b
setne  %r14b
and    %al,%r14b
xor    %r13d,%r13d
lea    0x4(%rsp),%rbx
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
call   1050 <getchar@plt>
mov    %eax,%ebp
mov    0x2dc8(%rip),%rax
mov    (%rax),%eax
cmp    %eax,%ebp
je     13ce <main+0x28e>
test   %r13d,%r13d
je     1290 <main+0x150>
mov    $0x1,%cl
cmp    $0x9,%r12b
je     12aa <main+0x16a>
cmp    $0x20,%r12b
je     12aa <main+0x16a>
mov    $0x1,%r13d
cmp    $0x20,%ebp
ja     12b7 <main+0x177>
mov    %ebp,%edx
movabs $0x100000600,%rsi
bt     %rdx,%rsi
jae    12b7 <main+0x177>
mov    0x4(%rsp),%edx
mov    %edx,%esi
add    $0x3c,%esi
movslq %esi,%rsi
imul   $0x4325c53f,%rsi,%rsi
mov    %rsi,%rdi
shr    $0x3f,%rdi
sar    $0x24,%rsi
add    %edi,%esi
imul   $0x3d,%esi,%esi
neg    %esi
add    %esi,%edx
add    $0x3c,%edx
mov    %edx,0xc(%rsp)
jmp    12aa <main+0x16a>
nopw   0x0(%rax,%rax,1)
cmp    $0x20,%ebp
ja     12d8 <main+0x198>
mov    %ebp,%ecx
movabs $0x100000600,%rdx
bt     %rcx,%rdx
mov    %r14d,%ecx
jae    12d8 <main+0x198>
movzbl %cl,%r13d
cmp    $0xa,%ebp
je     13ce <main+0x28e>
movslq 0x4(%rsp),%rax
mov    %bpl,0x10(%rsp,%rax,1)
mov    %rbx,%rdi
call   1060 <inc@plt>
cmp    0x8(%rsp),%eax
jne    1210 <main+0xd0>
jmp    13c5 <main+0x285>
mov    0x4(%rsp),%eax
mov    %eax,0xc(%rsp)
xor    %r13d,%r13d
jmp    12b7 <main+0x177>
mov    0xc(%rsp),%eax
add    $0x3b,%eax
movslq %eax,%rbx
imul   $0x4325c53f,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x24,%rax
add    %ecx,%eax
imul   $0x3d,%eax,%eax
sub    %eax,%ebx
nopl   0x0(%rax,%rax,1)
movslq 0x8(%rsp),%rax
movsbl 0x10(%rsp,%rax,1),%edi
call   1030 <putchar@plt>
mov    %r15,%rdi
call   1060 <inc@plt>
cmp    %ebx,%eax
jne    1310 <main+0x1d0>
mov    $0x2d,%edi
call   1030 <putchar@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0x1,%ebx
jmp    1192 <main+0x52>
mov    %r12,%rdi
call   1060 <inc@plt>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movslq 0x8(%rsp),%rax
movsbl 0x10(%rsp,%rax,1),%edi
call   1030 <putchar@plt>
mov    %r15,%rdi
call   1060 <inc@plt>
cmp    0x4(%rsp),%eax
jne    1360 <main+0x220>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0x5,%ebx
jmp    1192 <main+0x52>
xor    %eax,%eax
call   1050 <getchar@plt>
mov    $0x5,%ebx
nopl   (%rax)
mov    0x2c41(%rip),%rcx
cmp    (%rcx),%eax
je     1192 <main+0x52>
cmp    $0x20,%eax
ja     13ff <main+0x2bf>
mov    %eax,%ecx
bt     %rcx,%rbp
jae    13ff <main+0x2bf>
xor    %eax,%eax
call   1050 <getchar@plt>
jmp    13a0 <main+0x260>
mov    0x2c1c(%rip),%rax
mov    (%rax),%eax
cmp    $0x1,%r13d
mov    $0x3,%ebx
sbb    $0x0,%ebx
cmp    %eax,%ebp
mov    $0x5,%eax
cmove  %eax,%ebx
lea    0xc15(%rip),%r14
movabs $0x100000600,%rbp
lea    0xc(%rsp),%r12
jmp    1192 <main+0x52>
movslq 0x8(%rsp),%rcx
mov    %al,0x10(%rsp,%rcx,1)
lea    0x4(%rsp),%rdi
call   1060 <inc@plt>
mov    0x4(%rsp),%eax
add    $0x3c,%eax
cltq
imul   $0x4325c53f,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x24,%rcx
add    %edx,%ecx
imul   $0x3d,%ecx,%ecx
sub    %ecx,%eax
mov    %eax,0xc(%rsp)
mov    $0x1,%ebx
jmp    1192 <main+0x52>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r12,%rdi
call   1060 <inc@plt>
nopl   0x0(%rax,%rax,1)
movslq 0x8(%rsp),%rax
movsbl 0x10(%rsp,%rax,1),%edi
call   1030 <putchar@plt>
mov    %r15,%rdi
call   1060 <inc@plt>
cmp    0xc(%rsp),%eax
jne    1460 <main+0x320>
mov    $0xa,%edi
call   1030 <putchar@plt>
jmp    1190 <main+0x50>
lea    0xb85(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%eax
jmp    14a1 <main+0x361>
xor    %eax,%eax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@EOF = global i32 0
@.str = [28 x i8] c"Error! non-existent state.\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [61 x i8]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
%10 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
br label %11
11: ; preds = %224, %0
%12 = load i32, i32* %7
%13 = icmp ne i32 %12, 5
br i1 %13, label %14, label %225
14: ; preds = %11
%15 = load i32, i32* %7
switch i32 %15, label %222 [
i32 0, label %16
i32 1, label %89
i32 2, label %175
i32 3, label %194
i32 4, label %208
]
16: ; preds = %14
br label %17
17: ; preds = %46, %16
%18 = load i32, i32* %4
%19 = load i32, i32* %5
%20 = icmp ne i32 %18, %19
br i1 %20, label %21, label %44
21: ; preds = %17
%22 = load i32, i32* %4
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %23
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 32
br i1 %27, label %42, label %28
28: ; preds = %21
%29 = load i32, i32* %4
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp eq i32 %33, 9
br i1 %34, label %42, label %35
35: ; preds = %28
%36 = load i32, i32* %4
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %37
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %40, 10
br label %42
42: ; preds = %35, %28, %21
%43 = phi i1 [ true, %28 ], [ true, %21 ], [ %41, %35 ]
br label %44
44: ; preds = %42, %17
%45 = phi i1 [ false, %17 ], [ %43, %42 ]
br i1 %45, label %46, label %48
46: ; preds = %44
%47 = call i32 @inc(i32* %4)
br label %17
48: ; preds = %44
%49 = load i32, i32* %4
%50 = load i32, i32* %5
%51 = icmp eq i32 %49, %50
br i1 %51, label %52, label %83
52: ; preds = %48
br label %53
53: ; preds = %70, %52
%54 = call i32 (...) @getchar()
store i32 %54, i32* %3
%55 = load i32, i32* @EOF
%56 = icmp ne i32 %54, %55
br i1 %56, label %57, label %68
57: ; preds = %53
%58 = load i32, i32* %3
%59 = icmp eq i32 %58, 32
br i1 %59, label %66, label %60
60: ; preds = %57
%61 = load i32, i32* %3
%62 = icmp eq i32 %61, 9
br i1 %62, label %66, label %63
63: ; preds = %60
%64 = load i32, i32* %3
%65 = icmp eq i32 %64, 10
br label %66
66: ; preds = %63, %60, %57
%67 = phi i1 [ true, %60 ], [ true, %57 ], [ %65, %63 ]
br label %68
68: ; preds = %66, %53
%69 = phi i1 [ false, %53 ], [ %67, %66 ]
br i1 %69, label %70, label %71
70: ; preds = %68
br label %53
71: ; preds = %68
%72 = load i32, i32* %3
%73 = load i32, i32* @EOF
%74 = icmp eq i32 %72, %73
br i1 %74, label %75, label %76
75: ; preds = %71
store i32 5, i32* %7
br label %224
76: ; preds = %71
%77 = load i32, i32* %3
%78 = trunc i32 %77 to i8
%79 = load i32, i32* %4
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %80
store i8 %78, i8* %81
%82 = call i32 @inc(i32* %5)
br label %83
83: ; preds = %76, %48
%84 = load i32, i32* %5
%85 = sub nsw i32 %84, 1
%86 = add nsw i32 %85, 60
%87 = add nsw i32 %86, 1
%88 = srem i32 %87, 61
store i32 %88, i32* %6
store i32 1, i32* %7
br label %224
89: ; preds = %14
store i32 0, i32* %8
%90 = load i32, i32* %4
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %91
%93 = load i8, i8* %92
store i8 %93, i8* %9
br label %94
94: ; preds = %159, %89
%95 = call i32 (...) @getchar()
store i32 %95, i32* %3
%96 = load i32, i32* %3
%97 = load i32, i32* @EOF
%98 = icmp eq i32 %96, %97
br i1 %98, label %99, label %100
99: ; preds = %94
br label %163
100: ; preds = %94
%101 = load i32, i32* %8
%102 = icmp ne i32 %101, 0
br i1 %102, label %125, label %103
103: ; preds = %100
%104 = load i32, i32* %3
%105 = icmp ne i32 %104, 32
br i1 %105, label %106, label %114
106: ; preds = %103
%107 = load i32, i32* %3
%108 = icmp ne i32 %107, 9
br i1 %108, label %109, label %114
109: ; preds = %106
%110 = load i32, i32* %3
%111 = icmp ne i32 %110, 10
br i1 %111, label %112, label %114
112: ; preds = %109
%113 = load i32, i32* %5
store i32 %113, i32* %6
br label %124
114: ; preds = %109, %106, %103
%115 = load i8, i8* %9
%116 = sext i8 %115 to i32
%117 = icmp ne i32 %116, 32
br i1 %117, label %118, label %123
118: ; preds = %114
%119 = load i8, i8* %9
%120 = sext i8 %119 to i32
%121 = icmp ne i32 %120, 9
br i1 %121, label %122, label %123
122: ; preds = %118
store i32 1, i32* %8
br label %123
123: ; preds = %122, %118, %114
br label %124
124: ; preds = %123, %112
br label %149
125: ; preds = %100
%126 = load i8, i8* %9
%127 = sext i8 %126 to i32
%128 = icmp ne i32 %127, 32
br i1 %128, label %129, label %148
129: ; preds = %125
%130 = load i8, i8* %9
%131 = sext i8 %130 to i32
%132 = icmp ne i32 %131, 9
br i1 %132, label %133, label %148
133: ; preds = %129
%134 = load i32, i32* %3
%135 = icmp eq i32 %134, 32
br i1 %135, label %142, label %136
136: ; preds = %133
%137 = load i32, i32* %3
%138 = icmp eq i32 %137, 9
br i1 %138, label %142, label %139
139: ; preds = %136
%140 = load i32, i32* %3
%141 = icmp eq i32 %140, 10
br i1 %141, label %142, label %148
142: ; preds = %139, %136, %133
%143 = load i32, i32* %5
%144 = sub nsw i32 %143, 1
%145 = add nsw i32 %144, 60
%146 = add nsw i32 %145, 1
%147 = srem i32 %146, 61
store i32 %147, i32* %6
br label %148
148: ; preds = %142, %139, %129, %125
br label %149
149: ; preds = %148, %124
%150 = load i32, i32* %3
%151 = icmp eq i32 %150, 10
br i1 %151, label %152, label %153
152: ; preds = %149
br label %163
153: ; preds = %149
%154 = load i32, i32* %3
%155 = trunc i32 %154 to i8
%156 = load i32, i32* %5
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %157
store i8 %155, i8* %158
br label %159
159: ; preds = %153
%160 = call i32 @inc(i32* %5)
%161 = load i32, i32* %4
%162 = icmp ne i32 %160, %161
br i1 %162, label %94, label %163
163: ; preds = %159, %152, %99
%164 = load i32, i32* %3
%165 = load i32, i32* @EOF
%166 = icmp eq i32 %164, %165
br i1 %166, label %167, label %168
167: ; preds = %163
store i32 5, i32* %7
br label %174
168: ; preds = %163
%169 = load i32, i32* %8
%170 = icmp ne i32 %169, 0
br i1 %170, label %172, label %171
171: ; preds = %168
store i32 2, i32* %7
br label %173
172: ; preds = %168
store i32 3, i32* %7
br label %173
173: ; preds = %172, %171
br label %174
174: ; preds = %173, %167
br label %224
175: ; preds = %14
%176 = load i32, i32* %6
%177 = sub nsw i32 %176, 2
%178 = add nsw i32 %177, 60
%179 = add nsw i32 %178, 1
%180 = srem i32 %179, 61
store i32 %180, i32* %10
br label %181
181: ; preds = %187, %175
%182 = load i32, i32* %4
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %183
%185 = load i8, i8* %184
%186 = call i32 @putchar(i8 signext %185)
br label %187
187: ; preds = %181
%188 = call i32 @inc(i32* %4)
%189 = load i32, i32* %10
%190 = icmp ne i32 %188, %189
br i1 %190, label %181, label %191
191: ; preds = %187
%192 = call i32 @putchar(i8 signext 45)
%193 = call i32 @putchar(i8 signext 10)
store i32 1, i32* %7
br label %224
194: ; preds = %14
%195 = call i32 @inc(i32* %6)
br label %196
196: ; preds = %202, %194
%197 = load i32, i32* %4
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %198
%200 = load i8, i8* %199
%201 = call i32 @putchar(i8 signext %200)
br label %202
202: ; preds = %196
%203 = call i32 @inc(i32* %4)
%204 = load i32, i32* %6
%205 = icmp ne i32 %203, %204
br i1 %205, label %196, label %206
206: ; preds = %202
%207 = call i32 @putchar(i8 signext 10)
store i32 0, i32* %7
br label %224
208: ; preds = %14
%209 = call i32 @inc(i32* %6)
br label %210
210: ; preds = %216, %208
%211 = load i32, i32* %4
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds [61 x i8], [61 x i8]* %2, i64 0, i64 %212
%214 = load i8, i8* %213
%215 = call i32 @putchar(i8 signext %214)
br label %216
216: ; preds = %210
%217 = call i32 @inc(i32* %4)
%218 = load i32, i32* %5
%219 = icmp ne i32 %217, %218
br i1 %219, label %210, label %220
220: ; preds = %216
%221 = call i32 @putchar(i8 signext 10)
store i32 5, i32* %7
br label %224
222: ; preds = %14
%223 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %1
br label %226
224: ; preds = %220, %206, %191, %174, %83, %75
br label %11
225: ; preds = %11
store i32 0, i32* %1
br label %226
226: ; preds = %225, %222
%227 = load i32, i32* %1
ret i32 %227
}

LLVM IR (-O2):
@EOF = global i32 0
@str = [27 x i8] c"Error! non-existent state.\00"
define i32 @main() {
%1 = alloca [61 x i8]
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 0
%6 = bitcast i32* %2 to i8*
store i32 0, i32* %2
%7 = bitcast i32* %3 to i8*
store i32 0, i32* %3
%8 = bitcast i32* %4 to i8*
store i32 0, i32* %4
br label %9
9: ; preds = %19, %0
%10 = phi i32 [ 0, %0 ], [ %20, %19 ]
switch i32 %10, label %136 [
i32 5, label %138
i32 0, label %11
i32 1, label %49
i32 2, label %95
i32 3, label %110
i32 4, label %123
]
11: ; preds = %9
%12 = load i32, i32* %2
%13 = load i32, i32* %3
%14 = icmp eq i32 %12, %13
br i1 %14, label %15, label %21
15: ; preds = %27, %11
%16 = call i32 (...) @getchar()
%17 = load i32, i32* @EOF
%18 = icmp eq i32 %16, %17
br i1 %18, label %19, label %32
19: ; preds = %34, %15, %134, %121, %107, %88, %45
%20 = phi i32 [ 5, %134 ], [ 0, %121 ], [ 1, %107 ], [ %94, %88 ], [ 1, %45 ], [ 5, %15 ], [ 5, %34 ]
br label %9
21: ; preds = %11, %27
%22 = phi i32 [ %30, %27 ], [ %13, %11 ]
%23 = phi i32 [ %29, %27 ], [ %12, %11 ]
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %24
%26 = load i8, i8* %25
switch i8 %26, label %45 [
i8 32, label %27
i8 9, label %27
i8 10, label %27
]
27: ; preds = %21, %21, %21
%28 = call i32 @inc(i32* %2)
%29 = load i32, i32* %2
%30 = load i32, i32* %3
%31 = icmp eq i32 %29, %30
br i1 %31, label %15, label %21
32: ; preds = %15, %34
%33 = phi i32 [ %35, %34 ], [ %16, %15 ]
switch i32 %33, label %38 [
i32 32, label %34
i32 10, label %34
i32 9, label %34
]
34: ; preds = %32, %32, %32
%35 = call i32 (...) @getchar()
%36 = load i32, i32* @EOF
%37 = icmp eq i32 %35, %36
br i1 %37, label %19, label %32
38: ; preds = %32
%39 = trunc i32 %33 to i8
%40 = load i32, i32* %2
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %41
store i8 %39, i8* %42
%43 = call i32 @inc(i32* %3)
%44 = load i32, i32* %3
br label %45
45: ; preds = %21, %38
%46 = phi i32 [ %44, %38 ], [ %22, %21 ]
%47 = add nsw i32 %46, 60
%48 = srem i32 %47, 61
store i32 %48, i32* %4
br label %19
49: ; preds = %9
%50 = load i32, i32* %2
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %51
%53 = load i8, i8* %52
%54 = icmp ne i8 %53, 32
%55 = icmp ne i8 %53, 9
%56 = and i1 %54, %55
br label %57
57: ; preds = %77, %49
%58 = phi i32 [ 0, %49 ], [ %78, %77 ]
%59 = call i32 (...) @getchar()
%60 = load i32, i32* @EOF
%61 = icmp eq i32 %59, %60
br i1 %61, label %88, label %62
62: ; preds = %57
%63 = icmp eq i32 %58, 0
br i1 %63, label %64, label %67
64: ; preds = %62
switch i32 %59, label %65 [
i32 32, label %73
i32 10, label %73
i32 9, label %73
]
65: ; preds = %64
%66 = load i32, i32* %3
store i32 %66, i32* %4
br label %77
67: ; preds = %62
switch i8 %53, label %68 [
i8 32, label %73
i8 9, label %73
]
68: ; preds = %67
switch i32 %59, label %77 [
i32 32, label %69
i32 10, label %69
i32 9, label %69
]
69: ; preds = %68, %68, %68
%70 = load i32, i32* %3
%71 = add nsw i32 %70, 60
%72 = srem i32 %71, 61
store i32 %72, i32* %4
br label %73
73: ; preds = %64, %64, %64, %67, %67, %69
%74 = phi i1 [ true, %69 ], [ true, %67 ], [ true, %67 ], [ %56, %64 ], [ %56, %64 ], [ %56, %64 ]
%75 = zext i1 %74 to i32
%76 = icmp eq i32 %59, 10
br i1 %76, label %88, label %77
77: ; preds = %65, %68, %73
%78 = phi i32 [ %75, %73 ], [ 0, %65 ], [ 1, %68 ]
%79 = trunc i32 %59 to i8
%80 = load i32, i32* %3
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %81
store i8 %79, i8* %82
%83 = call i32 @inc(i32* %3)
%84 = load i32, i32* %2
%85 = icmp eq i32 %83, %84
br i1 %85, label %86, label %57
86: ; preds = %77
%87 = load i32, i32* @EOF
br label %88
88: ; preds = %73, %57, %86
%89 = phi i32 [ %87, %86 ], [ %60, %57 ], [ %60, %73 ]
%90 = phi i32 [ %78, %86 ], [ %75, %73 ], [ %58, %57 ]
%91 = icmp eq i32 %59, %89
%92 = icmp eq i32 %90, 0
%93 = select i1 %92, i32 2, i32 3
%94 = select i1 %91, i32 5, i32 %93
br label %19
95: ; preds = %9
%96 = load i32, i32* %4
%97 = add nsw i32 %96, 59
%98 = srem i32 %97, 61
br label %99
99: ; preds = %99, %95
%100 = load i32, i32* %2
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %101
%103 = load i8, i8* %102
%104 = call i32 @putchar(i8 signext %103)
%105 = call i32 @inc(i32* %2)
%106 = icmp eq i32 %105, %98
br i1 %106, label %107, label %99
107: ; preds = %99
%108 = call i32 @putchar(i8 signext 45)
%109 = call i32 @putchar(i8 signext 10)
br label %19
110: ; preds = %9
%111 = call i32 @inc(i32* %4)
br label %112
112: ; preds = %112, %110
%113 = load i32, i32* %2
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %114
%116 = load i8, i8* %115
%117 = call i32 @putchar(i8 signext %116)
%118 = call i32 @inc(i32* %2)
%119 = load i32, i32* %4
%120 = icmp eq i32 %118, %119
br i1 %120, label %121, label %112
121: ; preds = %112
%122 = call i32 @putchar(i8 signext 10)
br label %19
123: ; preds = %9
%124 = call i32 @inc(i32* %4)
br label %125
125: ; preds = %125, %123
%126 = load i32, i32* %2
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [61 x i8], [61 x i8]* %1, i64 0, i64 %127
%129 = load i8, i8* %128
%130 = call i32 @putchar(i8 signext %129)
%131 = call i32 @inc(i32* %2)
%132 = load i32, i32* %3
%133 = icmp eq i32 %131, %132
br i1 %133, label %134, label %125
134: ; preds = %125
%135 = call i32 @putchar(i8 signext 10)
br label %19
136: ; preds = %9
%137 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str, i64 0, i64 0))
br label %138
138: ; preds = %9, %136
%139 = phi i32 [ 1, %136 ], [ 0, %9 ]
ret i32 %139
}