#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 */
typedef int uint8_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ code_ACC_consonant_one(int, int, int /*<<< orphan*/ *);
int /*<<< orphan*/ code_ACC_consonant_three(int, int, int,
                                            int /*<<< orphan*/ *);
int /*<<< orphan*/ code_ACC_consonant_two(int, int, int /*<<< orphan*/ *);
int /*<<< orphan*/ code_ACC_tone(int, int, int /*<<< orphan*/ *);
int /*<<< orphan*/ code_ACC_type(char const *, int const, int *,
                                 int /*<<< orphan*/ *);
int /*<<< orphan*/ code_ACC_vowel(int, int, int /*<<< orphan*/ *);
int consonant_Q(char);
int tone_Q(char);
int vowel_Q(char);
void code_ACC_word_DAT_number(const uint8_t ACC_GEN_size,
                              const char *restrict word,
                              uint16_t *restrict DAT_number) {
  uint8_t consonant_one = 0, consonant_two = 0, vowel = 0, tone = 0,
          consonant_three = 0, type = 1;
  uint16_t number = 0;
  assert(ACC_GEN_size > 0);
  assert(ACC_GEN_size <= 0x05);
  assert(word != NULL);
  assert(DAT_number != NULL);
  code_ACC_type(word, ACC_GEN_size, &type, &number);
  consonant_one = (uint8_t)word[0];
  if (consonant_Q((char)consonant_one) == 0) {
    *DAT_number = 0;
    return;
    ;
  }
  assert(consonant_Q((char)consonant_one) == 1);
  if (ACC_GEN_size == 2) {
    vowel = (uint8_t)word[1];
    if (vowel_Q((char)vowel) == 0) {
      *DAT_number = 0;
      return;
      ;
    }
    assert(vowel_Q((char)vowel) == 1);
  } else if (ACC_GEN_size == 3) {
    vowel = (uint8_t)word[1];
    tone = (uint8_t)word[2];
    if (vowel_Q((char)vowel) == 0 || tone_Q((char)tone) == 0) {
      *DAT_number = 0;
      return;
      ;
    }
    assert(vowel_Q((char)vowel) == 1);
    assert(tone_Q((char)tone) == 1);
  } else if (ACC_GEN_size == 4) {
    consonant_two = (uint8_t)word[1];
    vowel = (uint8_t)word[2];
    consonant_three = (uint8_t)word[3];
    if (consonant_Q((char)consonant_two) == 0 || vowel_Q((char)vowel) == 0 ||
        consonant_Q((char)consonant_three) == 0) {
      *DAT_number = 0;
      return;
      ;
    }
    assert(consonant_Q((char)consonant_two) == 1);
    assert(vowel_Q((char)vowel) == 1);
    assert(consonant_Q((char)consonant_three) == 1);
  } else if (ACC_GEN_size == 5) {
    consonant_two = (uint8_t)word[1];
    vowel = (uint8_t)word[2];
    tone = (uint8_t)word[3];
    consonant_three = (uint8_t)word[4];
    if (consonant_Q((char)consonant_two) == 0 || vowel_Q((char)vowel) == 0 ||
        tone_Q((char)tone) == 0 || consonant_Q((char)consonant_three) == 0) {
      *DAT_number = 0;
      return;
      ;
    }
    assert(consonant_Q((char)consonant_two) == 1);
    assert(vowel_Q((char)vowel) == 1);
    assert(tone_Q((char)tone) == 1);
    assert(consonant_Q((char)consonant_three) == 1);
  }
  if (consonant_one != 0 && type != 2) {
    code_ACC_consonant_one(type, consonant_one, &number);
  }
  if (consonant_two != 0) {
    code_ACC_consonant_two(type, consonant_two, &number);
  }
  code_ACC_vowel(type, vowel, &number);
  if (tone != 0) {
    code_ACC_tone(type, tone, &number);
  }
  if (consonant_three != 0 && type != 3) {
    code_ACC_consonant_three(type, consonant_three, tone, &number);
  }
  *DAT_number = number;
}


x86 assembly (clang, -O0):
<code_ACC_word_DAT_number>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x0,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpl   $0x5,-0x4(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    -0x4(%rbp),%esi
lea    -0x30(%rbp),%rdx
lea    -0x34(%rbp),%rcx
call   1060 <code_ACC_type@plt>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x0,%eax
jne    126b <code_ACC_word_DAT_number+0xcb>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
jmp    15df <code_ACC_word_DAT_number+0x43f>
mov    -0x1c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpl   $0x2,-0x4(%rbp)
jne    12de <code_ACC_word_DAT_number+0x13e>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x0,%eax
jne    12be <code_ACC_word_DAT_number+0x11e>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
jmp    15df <code_ACC_word_DAT_number+0x43f>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
jmp    154c <code_ACC_word_DAT_number+0x3ac>
cmpl   $0x3,-0x4(%rbp)
jne    1370 <code_ACC_word_DAT_number+0x1d0>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x0,%eax
je     1326 <code_ACC_word_DAT_number+0x186>
mov    -0x28(%rbp),%eax
movsbl %al,%edi
call   1040 <tone_Q@plt>
cmp    $0x0,%eax
jne    1335 <code_ACC_word_DAT_number+0x195>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
jmp    15df <code_ACC_word_DAT_number+0x43f>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x28(%rbp),%eax
movsbl %al,%edi
call   1040 <tone_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
jmp    1547 <code_ACC_word_DAT_number+0x3a7>
cmpl   $0x4,-0x4(%rbp)
jne    143c <code_ACC_word_DAT_number+0x29c>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x0,%eax
je     13d7 <code_ACC_word_DAT_number+0x237>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x0,%eax
je     13d7 <code_ACC_word_DAT_number+0x237>
mov    -0x2c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x0,%eax
jne    13e6 <code_ACC_word_DAT_number+0x246>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
jmp    15df <code_ACC_word_DAT_number+0x43f>
mov    -0x20(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x2c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
jmp    1542 <code_ACC_word_DAT_number+0x3a2>
cmpl   $0x5,-0x4(%rbp)
jne    153d <code_ACC_word_DAT_number+0x39d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x0,%eax
je     14c2 <code_ACC_word_DAT_number+0x322>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x0,%eax
je     14c2 <code_ACC_word_DAT_number+0x322>
mov    -0x28(%rbp),%eax
movsbl %al,%edi
call   1040 <tone_Q@plt>
cmp    $0x0,%eax
je     14c2 <code_ACC_word_DAT_number+0x322>
mov    -0x2c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x0,%eax
jne    14d1 <code_ACC_word_DAT_number+0x331>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
jmp    15df <code_ACC_word_DAT_number+0x43f>
mov    -0x20(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x24(%rbp),%eax
movsbl %al,%edi
call   1030 <vowel_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x28(%rbp),%eax
movsbl %al,%edi
call   1040 <tone_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x2c(%rbp),%eax
movsbl %al,%edi
call   10c0 <consonant_Q@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
jmp    1542 <code_ACC_word_DAT_number+0x3a2>
jmp    1547 <code_ACC_word_DAT_number+0x3a7>
jmp    154c <code_ACC_word_DAT_number+0x3ac>
cmpl   $0x0,-0x1c(%rbp)
je     156f <code_ACC_word_DAT_number+0x3cf>
cmpl   $0x2,-0x30(%rbp)
je     156f <code_ACC_word_DAT_number+0x3cf>
mov    -0x30(%rbp),%edi
mov    -0x1c(%rbp),%esi
lea    -0x34(%rbp),%rdx
call   1070 <code_ACC_consonant_one@plt>
cmpl   $0x0,-0x20(%rbp)
je     1588 <code_ACC_word_DAT_number+0x3e8>
mov    -0x30(%rbp),%edi
mov    -0x20(%rbp),%esi
lea    -0x34(%rbp),%rdx
call   1080 <code_ACC_consonant_two@plt>
mov    -0x30(%rbp),%edi
mov    -0x24(%rbp),%esi
lea    -0x34(%rbp),%rdx
call   10b0 <code_ACC_vowel@plt>
cmpl   $0x0,-0x28(%rbp)
je     15b0 <code_ACC_word_DAT_number+0x410>
mov    -0x30(%rbp),%edi
mov    -0x28(%rbp),%esi
lea    -0x34(%rbp),%rdx
call   1090 <code_ACC_tone@plt>
cmpl   $0x0,-0x2c(%rbp)
je     15d6 <code_ACC_word_DAT_number+0x436>
cmpl   $0x3,-0x30(%rbp)
je     15d6 <code_ACC_word_DAT_number+0x436>
mov    -0x30(%rbp),%edi
mov    -0x2c(%rbp),%esi
mov    -0x28(%rbp),%edx
lea    -0x34(%rbp),%rcx
call   1050 <code_ACC_consonant_three@plt>
mov    -0x34(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<code_ACC_word_DAT_number>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r13
mov    %rsi,%rbx
mov    %edi,%ebp
movl   $0x1,0x8(%rsp)
movl   $0x0,0x4(%rsp)
xor    %edi,%edi
test   %ebp,%ebp
setg   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmp    $0x6,%ebp
setl   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   10a0 <assert@plt>
xor    %edi,%edi
test   %r13,%r13
setne  %dil
call   10a0 <assert@plt>
lea    0x8(%rsp),%rdx
lea    0x4(%rsp),%rcx
mov    %rbx,%rdi
mov    %ebp,%esi
call   1060 <code_ACC_type@plt>
movsbl (%rbx),%r14d
mov    %r14d,%edi
call   10c0 <consonant_Q@plt>
test   %eax,%eax
je     127b <code_ACC_word_DAT_number+0xdb>
mov    %r14d,%edi
call   10c0 <consonant_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
add    $0xfffffffe,%ebp
cmp    $0x3,%ebp
ja     1282 <code_ACC_word_DAT_number+0xe2>
lea    0xdba(%rip),%rax
movslq (%rax,%rbp,4),%rcx
add    %rax,%rcx
jmp    *%rcx
mov    0x1(%rbx),%bpl
movsbl %bpl,%ebx
mov    %ebx,%edi
call   1030 <vowel_Q@plt>
test   %eax,%eax
je     127b <code_ACC_word_DAT_number+0xdb>
mov    %bpl,0x3(%rsp)
mov    %ebx,%edi
call   1030 <vowel_Q@plt>
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebx,%ebx
jmp    1429 <code_ACC_word_DAT_number+0x289>
xor    %ebp,%ebp
jmp    14b3 <code_ACC_word_DAT_number+0x313>
xor    %r12d,%r12d
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %ebx,%ebx
test   %r14b,%r14b
jne    1441 <code_ACC_word_DAT_number+0x2a1>
jmp    1457 <code_ACC_word_DAT_number+0x2b7>
mov    0x1(%rbx),%al
movsbl 0x2(%rbx),%r15d
mov    %al,0x3(%rsp)
movsbl %al,%ebx
mov    %ebx,%edi
call   1030 <vowel_Q@plt>
xor    %ebp,%ebp
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %r15d,%edi
call   1040 <tone_Q@plt>
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %ebx,%edi
call   1030 <vowel_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %r15d,%edi
call   1040 <tone_Q@plt>
xor    %r12d,%r12d
xor    %ebx,%ebx
jmp    1429 <code_ACC_word_DAT_number+0x289>
movsbl 0x1(%rbx),%r12d
mov    0x2(%rbx),%r15b
movsbl 0x3(%rbx),%ebx
mov    %r12d,%edi
call   10c0 <consonant_Q@plt>
xor    %ebp,%ebp
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %r15b,0x3(%rsp)
movsbl %r15b,%r15d
mov    %r15d,%edi
call   1030 <vowel_Q@plt>
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %ebx,%edi
call   10c0 <consonant_Q@plt>
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %r12d,%edi
call   10c0 <consonant_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %r15d,%edi
call   1030 <vowel_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %ebx,%edi
call   10c0 <consonant_Q@plt>
xor    %r15d,%r15d
jmp    1429 <code_ACC_word_DAT_number+0x289>
movsbl 0x1(%rbx),%edi
mov    0x2(%rbx),%r12b
movsbl 0x3(%rbx),%r15d
movsbl 0x4(%rbx),%ebx
mov    %edi,0x14(%rsp)
call   10c0 <consonant_Q@plt>
xor    %ebp,%ebp
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %ebx,0x10(%rsp)
mov    %r12b,0x3(%rsp)
movsbl %r12b,%ebx
mov    %ebx,%edi
call   1030 <vowel_Q@plt>
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %r15d,%edi
call   1040 <tone_Q@plt>
test   %eax,%eax
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %ebx,0xc(%rsp)
mov    0x10(%rsp),%ebx
mov    %ebx,%edi
call   10c0 <consonant_Q@plt>
test   %eax,%eax
mov    0x14(%rsp),%r12d
je     14b3 <code_ACC_word_DAT_number+0x313>
mov    %r12d,%edi
call   10c0 <consonant_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    0xc(%rsp),%edi
call   1030 <vowel_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %r15d,%edi
call   1040 <tone_Q@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %ebx,%edi
call   10c0 <consonant_Q@plt>
movsbl 0x3(%rsp),%ebp
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   10a0 <assert@plt>
test   %r14b,%r14b
je     1457 <code_ACC_word_DAT_number+0x2b7>
mov    0x8(%rsp),%edi
cmp    $0x2,%edi
je     1457 <code_ACC_word_DAT_number+0x2b7>
lea    0x4(%rsp),%rdx
mov    %r14d,%esi
call   1070 <code_ACC_consonant_one@plt>
test   %r12d,%r12d
je     146d <code_ACC_word_DAT_number+0x2cd>
mov    0x8(%rsp),%edi
lea    0x4(%rsp),%rdx
mov    %r12d,%esi
call   1080 <code_ACC_consonant_two@plt>
mov    0x8(%rsp),%edi
lea    0x4(%rsp),%rdx
mov    %ebp,%esi
call   10b0 <code_ACC_vowel@plt>
test   %r15d,%r15d
je     1493 <code_ACC_word_DAT_number+0x2f3>
mov    0x8(%rsp),%edi
lea    0x4(%rsp),%rdx
mov    %r15d,%esi
call   1090 <code_ACC_tone@plt>
test   %ebx,%ebx
je     14af <code_ACC_word_DAT_number+0x30f>
mov    0x8(%rsp),%edi
cmp    $0x3,%edi
je     14af <code_ACC_word_DAT_number+0x30f>
lea    0x4(%rsp),%rcx
mov    %ebx,%esi
mov    %r15d,%edx
call   1050 <code_ACC_consonant_three@plt>
mov    0x4(%rsp),%ebp
mov    %ebp,0x0(%r13)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @code_ACC_word_DAT_number(i32 %0, i8* noalias %1, i32* noalias %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %4
store i8* %1, i8** %5
store i32* %2, i32** %6
store i32 0, i32* %7
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %10
store i32 0, i32* %11
store i32 1, i32* %12
store i32 0, i32* %13
%14 = load i32, i32* %4
%15 = icmp sgt i32 %14, 0
%16 = zext i1 %15 to i32
%17 = call i32 @assert(i32 %16)
%18 = load i32, i32* %4
%19 = icmp sle i32 %18, 5
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load i8*, i8** %5
%23 = icmp ne i8* %22, null
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = load i32*, i32** %6
%27 = icmp ne i32* %26, null
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = load i8*, i8** %5
%31 = load i32, i32* %4
%32 = call i32 @code_ACC_type(i8* %30, i32 %31, i32* %12, i32* %13)
%33 = load i8*, i8** %5
%34 = getelementptr inbounds i8, i8* %33, i64 0
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
store i32 %36, i32* %7
%37 = load i32, i32* %7
%38 = trunc i32 %37 to i8
%39 = call i32 @consonant_Q(i8 signext %38)
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %43
41: ; preds = %3
%42 = load i32*, i32** %6
store i32 0, i32* %42
br label %267
43: ; preds = %3
%44 = load i32, i32* %7
%45 = trunc i32 %44 to i8
%46 = call i32 @consonant_Q(i8 signext %45)
%47 = icmp eq i32 %46, 1
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = load i32, i32* %4
%51 = icmp eq i32 %50, 2
br i1 %51, label %52, label %70
52: ; preds = %43
%53 = load i8*, i8** %5
%54 = getelementptr inbounds i8, i8* %53, i64 1
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
store i32 %56, i32* %9
%57 = load i32, i32* %9
%58 = trunc i32 %57 to i8
%59 = call i32 @vowel_Q(i8 signext %58)
%60 = icmp eq i32 %59, 0
br i1 %60, label %61, label %63
61: ; preds = %52
%62 = load i32*, i32** %6
store i32 0, i32* %62
br label %267
63: ; preds = %52
%64 = load i32, i32* %9
%65 = trunc i32 %64 to i8
%66 = call i32 @vowel_Q(i8 signext %65)
%67 = icmp eq i32 %66, 1
%68 = zext i1 %67 to i32
%69 = call i32 @assert(i32 %68)
br label %226
70: ; preds = %43
%71 = load i32, i32* %4
%72 = icmp eq i32 %71, 3
br i1 %72, label %73, label %106
73: ; preds = %70
%74 = load i8*, i8** %5
%75 = getelementptr inbounds i8, i8* %74, i64 1
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
store i32 %77, i32* %9
%78 = load i8*, i8** %5
%79 = getelementptr inbounds i8, i8* %78, i64 2
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
store i32 %81, i32* %10
%82 = load i32, i32* %9
%83 = trunc i32 %82 to i8
%84 = call i32 @vowel_Q(i8 signext %83)
%85 = icmp eq i32 %84, 0
br i1 %85, label %91, label %86
86: ; preds = %73
%87 = load i32, i32* %10
%88 = trunc i32 %87 to i8
%89 = call i32 @tone_Q(i8 signext %88)
%90 = icmp eq i32 %89, 0
br i1 %90, label %91, label %93
91: ; preds = %86, %73
%92 = load i32*, i32** %6
store i32 0, i32* %92
br label %267
93: ; preds = %86
%94 = load i32, i32* %9
%95 = trunc i32 %94 to i8
%96 = call i32 @vowel_Q(i8 signext %95)
%97 = icmp eq i32 %96, 1
%98 = zext i1 %97 to i32
%99 = call i32 @assert(i32 %98)
%100 = load i32, i32* %10
%101 = trunc i32 %100 to i8
%102 = call i32 @tone_Q(i8 signext %101)
%103 = icmp eq i32 %102, 1
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
br label %225
106: ; preds = %70
%107 = load i32, i32* %4
%108 = icmp eq i32 %107, 4
br i1 %108, label %109, label %157
109: ; preds = %106
%110 = load i8*, i8** %5
%111 = getelementptr inbounds i8, i8* %110, i64 1
%112 = load i8, i8* %111
%113 = sext i8 %112 to i32
store i32 %113, i32* %8
%114 = load i8*, i8** %5
%115 = getelementptr inbounds i8, i8* %114, i64 2
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
store i32 %117, i32* %9
%118 = load i8*, i8** %5
%119 = getelementptr inbounds i8, i8* %118, i64 3
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
store i32 %121, i32* %11
%122 = load i32, i32* %8
%123 = trunc i32 %122 to i8
%124 = call i32 @consonant_Q(i8 signext %123)
%125 = icmp eq i32 %124, 0
br i1 %125, label %136, label %126
126: ; preds = %109
%127 = load i32, i32* %9
%128 = trunc i32 %127 to i8
%129 = call i32 @vowel_Q(i8 signext %128)
%130 = icmp eq i32 %129, 0
br i1 %130, label %136, label %131
131: ; preds = %126
%132 = load i32, i32* %11
%133 = trunc i32 %132 to i8
%134 = call i32 @consonant_Q(i8 signext %133)
%135 = icmp eq i32 %134, 0
br i1 %135, label %136, label %138
136: ; preds = %131, %126, %109
%137 = load i32*, i32** %6
store i32 0, i32* %137
br label %267
138: ; preds = %131
%139 = load i32, i32* %8
%140 = trunc i32 %139 to i8
%141 = call i32 @consonant_Q(i8 signext %140)
%142 = icmp eq i32 %141, 1
%143 = zext i1 %142 to i32
%144 = call i32 @assert(i32 %143)
%145 = load i32, i32* %9
%146 = trunc i32 %145 to i8
%147 = call i32 @vowel_Q(i8 signext %146)
%148 = icmp eq i32 %147, 1
%149 = zext i1 %148 to i32
%150 = call i32 @assert(i32 %149)
%151 = load i32, i32* %11
%152 = trunc i32 %151 to i8
%153 = call i32 @consonant_Q(i8 signext %152)
%154 = icmp eq i32 %153, 1
%155 = zext i1 %154 to i32
%156 = call i32 @assert(i32 %155)
br label %224
157: ; preds = %106
%158 = load i32, i32* %4
%159 = icmp eq i32 %158, 5
br i1 %159, label %160, label %223
160: ; preds = %157
%161 = load i8*, i8** %5
%162 = getelementptr inbounds i8, i8* %161, i64 1
%163 = load i8, i8* %162
%164 = sext i8 %163 to i32
store i32 %164, i32* %8
%165 = load i8*, i8** %5
%166 = getelementptr inbounds i8, i8* %165, i64 2
%167 = load i8, i8* %166
%168 = sext i8 %167 to i32
store i32 %168, i32* %9
%169 = load i8*, i8** %5
%170 = getelementptr inbounds i8, i8* %169, i64 3
%171 = load i8, i8* %170
%172 = sext i8 %171 to i32
store i32 %172, i32* %10
%173 = load i8*, i8** %5
%174 = getelementptr inbounds i8, i8* %173, i64 4
%175 = load i8, i8* %174
%176 = sext i8 %175 to i32
store i32 %176, i32* %11
%177 = load i32, i32* %8
%178 = trunc i32 %177 to i8
%179 = call i32 @consonant_Q(i8 signext %178)
%180 = icmp eq i32 %179, 0
br i1 %180, label %196, label %181
181: ; preds = %160
%182 = load i32, i32* %9
%183 = trunc i32 %182 to i8
%184 = call i32 @vowel_Q(i8 signext %183)
%185 = icmp eq i32 %184, 0
br i1 %185, label %196, label %186
186: ; preds = %181
%187 = load i32, i32* %10
%188 = trunc i32 %187 to i8
%189 = call i32 @tone_Q(i8 signext %188)
%190 = icmp eq i32 %189, 0
br i1 %190, label %196, label %191
191: ; preds = %186
%192 = load i32, i32* %11
%193 = trunc i32 %192 to i8
%194 = call i32 @consonant_Q(i8 signext %193)
%195 = icmp eq i32 %194, 0
br i1 %195, label %196, label %198
196: ; preds = %191, %186, %181, %160
%197 = load i32*, i32** %6
store i32 0, i32* %197
br label %267
198: ; preds = %191
%199 = load i32, i32* %8
%200 = trunc i32 %199 to i8
%201 = call i32 @consonant_Q(i8 signext %200)
%202 = icmp eq i32 %201, 1
%203 = zext i1 %202 to i32
%204 = call i32 @assert(i32 %203)
%205 = load i32, i32* %9
%206 = trunc i32 %205 to i8
%207 = call i32 @vowel_Q(i8 signext %206)
%208 = icmp eq i32 %207, 1
%209 = zext i1 %208 to i32
%210 = call i32 @assert(i32 %209)
%211 = load i32, i32* %10
%212 = trunc i32 %211 to i8
%213 = call i32 @tone_Q(i8 signext %212)
%214 = icmp eq i32 %213, 1
%215 = zext i1 %214 to i32
%216 = call i32 @assert(i32 %215)
%217 = load i32, i32* %11
%218 = trunc i32 %217 to i8
%219 = call i32 @consonant_Q(i8 signext %218)
%220 = icmp eq i32 %219, 1
%221 = zext i1 %220 to i32
%222 = call i32 @assert(i32 %221)
br label %223
223: ; preds = %198, %157
br label %224
224: ; preds = %223, %138
br label %225
225: ; preds = %224, %93
br label %226
226: ; preds = %225, %63
%227 = load i32, i32* %7
%228 = icmp ne i32 %227, 0
br i1 %228, label %229, label %236
229: ; preds = %226
%230 = load i32, i32* %12
%231 = icmp ne i32 %230, 2
br i1 %231, label %232, label %236
232: ; preds = %229
%233 = load i32, i32* %12
%234 = load i32, i32* %7
%235 = call i32 @code_ACC_consonant_one(i32 %233, i32 %234, i32* %13)
br label %236
236: ; preds = %232, %229, %226
%237 = load i32, i32* %8
%238 = icmp ne i32 %237, 0
br i1 %238, label %239, label %243
239: ; preds = %236
%240 = load i32, i32* %12
%241 = load i32, i32* %8
%242 = call i32 @code_ACC_consonant_two(i32 %240, i32 %241, i32* %13)
br label %243
243: ; preds = %239, %236
%244 = load i32, i32* %12
%245 = load i32, i32* %9
%246 = call i32 @code_ACC_vowel(i32 %244, i32 %245, i32* %13)
%247 = load i32, i32* %10
%248 = icmp ne i32 %247, 0
br i1 %248, label %249, label %253
249: ; preds = %243
%250 = load i32, i32* %12
%251 = load i32, i32* %10
%252 = call i32 @code_ACC_tone(i32 %250, i32 %251, i32* %13)
br label %253
253: ; preds = %249, %243
%254 = load i32, i32* %11
%255 = icmp ne i32 %254, 0
br i1 %255, label %256, label %264
256: ; preds = %253
%257 = load i32, i32* %12
%258 = icmp ne i32 %257, 3
br i1 %258, label %259, label %264
259: ; preds = %256
%260 = load i32, i32* %12
%261 = load i32, i32* %11
%262 = load i32, i32* %10
%263 = call i32 @code_ACC_consonant_three(i32 %260, i32 %261, i32 %262, i32* %13)
br label %264
264: ; preds = %259, %256, %253
%265 = load i32, i32* %13
%266 = load i32*, i32** %6
store i32 %265, i32* %266
br label %267
267: ; preds = %264, %196, %136, %91, %61, %41
ret void
}

LLVM IR (-O2):
define void @code_ACC_word_DAT_number(i32 %0, i8* noalias %1, i32* noalias writeonly %2) {
%4 = alloca i32
%5 = alloca i32
%6 = bitcast i32* %4 to i8*
store i32 1, i32* %4
%7 = bitcast i32* %5 to i8*
store i32 0, i32* %5
%8 = icmp sgt i32 %0, 0
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = icmp slt i32 %0, 6
%12 = zext i1 %11 to i32
%13 = tail call i32 @assert(i32 %12)
%14 = icmp ne i8* %1, null
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = icmp ne i32* %2, null
%18 = zext i1 %17 to i32
%19 = tail call i32 @assert(i32 %18)
%20 = call i32 @code_ACC_type(i8* %1, i32 %0, i32* %4, i32* %5)
%21 = load i8, i8* %1
%22 = sext i8 %21 to i32
%23 = call i32 @consonant_Q(i8 signext %21)
%24 = icmp eq i32 %23, 0
br i1 %24, label %160, label %25
25: ; preds = %3
%26 = call i32 @consonant_Q(i8 signext %21)
%27 = icmp eq i32 %26, 1
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
switch i32 %0, label %128 [
i32 2, label %30
i32 3, label %37
i32 4, label %54
i32 5, label %81
]
30: ; preds = %25
%31 = getelementptr inbounds i8, i8* %1, i64 1
%32 = load i8, i8* %31
%33 = call i32 @vowel_Q(i8 signext %32)
%34 = icmp eq i32 %33, 0
br i1 %34, label %160, label %35
35: ; preds = %30
%36 = call i32 @vowel_Q(i8 signext %32)
br label %118
37: ; preds = %25
%38 = getelementptr inbounds i8, i8* %1, i64 1
%39 = load i8, i8* %38
%40 = getelementptr inbounds i8, i8* %1, i64 2
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = call i32 @vowel_Q(i8 signext %39)
%44 = icmp eq i32 %43, 0
br i1 %44, label %160, label %45
45: ; preds = %37
%46 = call i32 @tone_Q(i8 signext %41)
%47 = icmp eq i32 %46, 0
br i1 %47, label %160, label %48
48: ; preds = %45
%49 = call i32 @vowel_Q(i8 signext %39)
%50 = icmp eq i32 %49, 1
%51 = zext i1 %50 to i32
%52 = call i32 @assert(i32 %51)
%53 = call i32 @tone_Q(i8 signext %41)
br label %118
54: ; preds = %25
%55 = getelementptr inbounds i8, i8* %1, i64 1
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = getelementptr inbounds i8, i8* %1, i64 2
%59 = load i8, i8* %58
%60 = getelementptr inbounds i8, i8* %1, i64 3
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = call i32 @consonant_Q(i8 signext %56)
%64 = icmp eq i32 %63, 0
br i1 %64, label %160, label %65
65: ; preds = %54
%66 = call i32 @vowel_Q(i8 signext %59)
%67 = icmp eq i32 %66, 0
br i1 %67, label %160, label %68
68: ; preds = %65
%69 = call i32 @consonant_Q(i8 signext %61)
%70 = icmp eq i32 %69, 0
br i1 %70, label %160, label %71
71: ; preds = %68
%72 = call i32 @consonant_Q(i8 signext %56)
%73 = icmp eq i32 %72, 1
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
%76 = call i32 @vowel_Q(i8 signext %59)
%77 = icmp eq i32 %76, 1
%78 = zext i1 %77 to i32
%79 = call i32 @assert(i32 %78)
%80 = call i32 @consonant_Q(i8 signext %61)
br label %118
81: ; preds = %25
%82 = getelementptr inbounds i8, i8* %1, i64 1
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = getelementptr inbounds i8, i8* %1, i64 2
%86 = load i8, i8* %85
%87 = getelementptr inbounds i8, i8* %1, i64 3
%88 = load i8, i8* %87
%89 = sext i8 %88 to i32
%90 = getelementptr inbounds i8, i8* %1, i64 4
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = call i32 @consonant_Q(i8 signext %83)
%94 = icmp eq i32 %93, 0
br i1 %94, label %160, label %95
95: ; preds = %81
%96 = call i32 @vowel_Q(i8 signext %86)
%97 = icmp eq i32 %96, 0
br i1 %97, label %160, label %98
98: ; preds = %95
%99 = call i32 @tone_Q(i8 signext %88)
%100 = icmp eq i32 %99, 0
br i1 %100, label %160, label %101
101: ; preds = %98
%102 = call i32 @consonant_Q(i8 signext %91)
%103 = icmp eq i32 %102, 0
br i1 %103, label %160, label %104
104: ; preds = %101
%105 = call i32 @consonant_Q(i8 signext %83)
%106 = icmp eq i32 %105, 1
%107 = zext i1 %106 to i32
%108 = call i32 @assert(i32 %107)
%109 = call i32 @vowel_Q(i8 signext %86)
%110 = icmp eq i32 %109, 1
%111 = zext i1 %110 to i32
%112 = call i32 @assert(i32 %111)
%113 = call i32 @tone_Q(i8 signext %88)
%114 = icmp eq i32 %113, 1
%115 = zext i1 %114 to i32
%116 = call i32 @assert(i32 %115)
%117 = call i32 @consonant_Q(i8 signext %91)
br label %118
118: ; preds = %35, %71, %104, %48
%119 = phi i32 [ %53, %48 ], [ %117, %104 ], [ %80, %71 ], [ %36, %35 ]
%120 = phi i32 [ 0, %48 ], [ %84, %104 ], [ %57, %71 ], [ 0, %35 ]
%121 = phi i8 [ %39, %48 ], [ %86, %104 ], [ %59, %71 ], [ %32, %35 ]
%122 = phi i32 [ %42, %48 ], [ %89, %104 ], [ 0, %71 ], [ 0, %35 ]
%123 = phi i32 [ 0, %48 ], [ %92, %104 ], [ %62, %71 ], [ 0, %35 ]
%124 = sext i8 %121 to i32
%125 = icmp eq i32 %119, 1
%126 = zext i1 %125 to i32
%127 = call i32 @assert(i32 %126)
br label %128
128: ; preds = %118, %25
%129 = phi i32 [ 0, %25 ], [ %120, %118 ]
%130 = phi i32 [ 0, %25 ], [ %124, %118 ]
%131 = phi i32 [ 0, %25 ], [ %122, %118 ]
%132 = phi i32 [ 0, %25 ], [ %123, %118 ]
%133 = icmp ne i8 %21, 0
%134 = load i32, i32* %4
%135 = icmp ne i32 %134, 2
%136 = select i1 %133, i1 %135, i1 false
br i1 %136, label %137, label %139
137: ; preds = %128
%138 = call i32 @code_ACC_consonant_one(i32 %134, i32 %22, i32* %5)
br label %139
139: ; preds = %137, %128
%140 = icmp eq i32 %129, 0
br i1 %140, label %144, label %141
141: ; preds = %139
%142 = load i32, i32* %4
%143 = call i32 @code_ACC_consonant_two(i32 %142, i32 %129, i32* %5)
br label %144
144: ; preds = %141, %139
%145 = load i32, i32* %4
%146 = call i32 @code_ACC_vowel(i32 %145, i32 %130, i32* %5)
%147 = icmp eq i32 %131, 0
br i1 %147, label %151, label %148
148: ; preds = %144
%149 = load i32, i32* %4
%150 = call i32 @code_ACC_tone(i32 %149, i32 %131, i32* %5)
br label %151
151: ; preds = %148, %144
%152 = icmp ne i32 %132, 0
%153 = load i32, i32* %4
%154 = icmp ne i32 %153, 3
%155 = select i1 %152, i1 %154, i1 false
br i1 %155, label %156, label %158
156: ; preds = %151
%157 = call i32 @code_ACC_consonant_three(i32 %153, i32 %132, i32 %131, i32* %5)
br label %158
158: ; preds = %156, %151
%159 = load i32, i32* %5
br label %160
160: ; preds = %81, %95, %98, %101, %54, %65, %68, %37, %45, %30, %3, %158
%161 = phi i32 [ %159, %158 ], [ 0, %3 ], [ 0, %30 ], [ 0, %45 ], [ 0, %37 ], [ 0, %68 ], [ 0, %65 ], [ 0, %54 ], [ 0, %101 ], [ 0, %98 ], [ 0, %95 ], [ 0, %81 ]
store i32 %161, i32* %2
ret void
}