#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 /*<<< orphan*/ assert(int);
int /*<<< orphan*/ number_to_words(int, char *);
int range_sum(int, int, char *);
scalar_t__ strcmp(char *, int /*<<< orphan*/);
int main() {
  int test_data[20] = {1,    10,   15,   35,   83,    100,  110,
                       117,  155,  223,  577,  999,   1000, 1100,
                       1222, 5000, 5555, 7654, 70004, 9999};
  char *test_string[20] = {"One",
                           "Ten",
                           "Fifteen",
                           "Thirty Five",
                           "Eighty Three",
                           "One Hundred",
                           "One Hundred and Ten",
                           "One Hundred and Seventeen",
                           "One Hundred and Fifty Five",
                           "Two Hundred and Twenty Three",
                           "Five Hundred and Seventy Seven",
                           "Nine Hundred and Ninety Nine",
                           "One Thousand",
                           "One Thousand One Hundred",
                           "One Thousand Two Hundred and Twenty Two",
                           "Five Thousand",
                           "Five Thousand Five Hundred and Fifty Five",
                           "Seven Thousand Six Hundred and Fifty Four",
                           "Seven Thousand and Four",
                           "Nine Thousand Nine Hundred and Ninety Nine"};
  char *test_string_2[20] = {"One",
                             "Ten",
                             "Fifteen",
                             "Thirty-Five",
                             "Eighty-Three",
                             "One-Hundred",
                             "One-Hundred-and-Ten",
                             "One-Hundred-and-Seventeen",
                             "One-Hundred-and-Fifty-Five",
                             "Two-Hundred-and-Twenty-Three",
                             "Five-Hundred-and-Seventy-Seven",
                             "Nine-Hundred-and-Ninety-Nine",
                             "One-Thousand",
                             "One-Thousand-One-Hundred",
                             "One-Thousand-Two-Hundred-and-Twenty-Two",
                             "Five-Thousand",
                             "Five-Thousand-Five-Hundred-and-Fifty-Five",
                             "Seven-Thousand-Six-Hundred-and-Fifty-Four",
                             "Seven-Thousand-and-Four",
                             "Nine-Thousand-Nine-Hundred-and-Ninety-Nine"};
  for (int i = 0; i < 13; i++) {
    assert(strcmp(test_string[i], number_to_words(test_data[i], " ")) == 0);
    assert(strcmp(test_string_2[i], number_to_words(test_data[i], "-")) == 0);
  }
  assert(36 == range_sum(1, 9, ""));
  assert(70 == range_sum(10, 19, ""));
  assert(748 == range_sum(20, 99, ""));
  assert(20259 == range_sum(100, 999, ""));
  assert(21124 == range_sum(1, 1000, ""));
  assert(152577 == range_sum(1, 5000, ""));
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1c0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x60(%rbp),%rdi
lea    0xe93(%rip),%rsi
mov    $0x50,%edx
call   1070 <memcpy@plt>
lea    -0x100(%rbp),%rdi
lea    0x2b5b(%rip),%rsi
mov    $0xa0,%edx
call   1070 <memcpy@plt>
lea    -0x1a0(%rbp),%rdi
lea    0x2be3(%rip),%rsi
mov    $0xa0,%edx
call   1070 <memcpy@plt>
movl   $0x0,-0x1a4(%rbp)
cmpl   $0xd,-0x1a4(%rbp)
jge    126a <main+0x11a>
movslq -0x1a4(%rbp),%rax
mov    -0x100(%rbp,%rax,8),%rax
ff
mov    %rax,-0x1b8(%rbp)
movslq -0x1a4(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%edi
lea    0x1198(%rip),%rsi
call   1030 <number_to_words@plt>
mov    -0x1b8(%rbp),%rdi
mov    %eax,%esi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
movslq -0x1a4(%rbp),%rax
mov    -0x1a0(%rbp,%rax,8),%rax
ff
mov    %rax,-0x1b0(%rbp)
movslq -0x1a4(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%edi
lea    0x114e(%rip),%rsi
call   1030 <number_to_words@plt>
mov    -0x1b0(%rbp),%rdi
mov    %eax,%esi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x1a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a4(%rbp)
jmp    11b1 <main+0x61>
mov    $0x1,%edi
mov    $0x9,%esi
lea    0x1104(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x24,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    $0xa,%edi
mov    $0x13,%esi
lea    0x10d8(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x46,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    $0x14,%edi
mov    $0x63,%esi
lea    0x10ac(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x2ec,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    $0x64,%edi
mov    $0x3e7,%esi
lea    0x1080(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x4f23,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    $0x1,%edi
mov    $0x3e8,%esi
lea    0x1054(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x5284,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    $0x1,%edi
mov    $0x1388,%esi
lea    0x1028(%rip),%rdx
call   1040 <range_sum@plt>
mov    %eax,%ecx
mov    $0x25401,%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
xor    %eax,%eax
add    $0x1c0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
xor    %ebp,%ebp
lea    0xefc(%rip),%r13
lea    0xf45(%rip),%r14
lea    0x12be(%rip),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq 0x0(%rbp,%r13,1),%rbx
add    %r13,%rbx
lea    0xe81(%rip),%rax
mov    0x0(%rbp,%rax,1),%r12d
mov    %r12d,%edi
lea    0x1290(%rip),%rsi
call   1030 <number_to_words@plt>
mov    %rbx,%rdi
mov    %eax,%esi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
movslq 0x0(%rbp,%r14,1),%rbx
add    %r14,%rbx
mov    %r12d,%edi
mov    %r15,%rsi
call   1030 <number_to_words@plt>
mov    %rbx,%rdi
mov    %eax,%esi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
add    $0x4,%rbp
cmp    $0x34,%rbp
jne    1170 <main+0x30>
lea    0x1238(%rip),%rbx
mov    $0x1,%edi
mov    $0x9,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x24,%eax
sete   %dil
call   1060 <assert@plt>
mov    $0xa,%edi
mov    $0x13,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x46,%eax
sete   %dil
call   1060 <assert@plt>
mov    $0x14,%edi
mov    $0x63,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x2ec,%eax
sete   %dil
call   1060 <assert@plt>
mov    $0x64,%edi
mov    $0x3e7,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x4f23,%eax
sete   %dil
call   1060 <assert@plt>
mov    $0x1,%edi
mov    $0x3e8,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x5284,%eax
sete   %dil
call   1060 <assert@plt>
mov    $0x1,%edi
mov    $0x1388,%esi
mov    %rbx,%rdx
call   1040 <range_sum@plt>
xor    %edi,%edi
cmp    $0x25401,%eax
sete   %dil
call   1060 <assert@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.main.test_data = [20 x i32] [i32 1, i32 10, i32 15, i32 35, i32 83, i32 100, i32 110, i32 117, i32 155, i32 223, i32 577, i32 999, i32 1000, i32 1100, i32 1222, i32 5000, i32 5555, i32 7654, i32 70004, i32 9999]
@.str = [4 x i8] c"One\00"
@.str.1 = [4 x i8] c"Ten\00"
@.str.2 = [8 x i8] c"Fifteen\00"
@.str.3 = [12 x i8] c"Thirty Five\00"
@.str.4 = [13 x i8] c"Eighty Three\00"
@.str.5 = [12 x i8] c"One Hundred\00"
@.str.6 = [20 x i8] c"One Hundred and Ten\00"
@.str.7 = [26 x i8] c"One Hundred and Seventeen\00"
@.str.8 = [27 x i8] c"One Hundred and Fifty Five\00"
@.str.9 = [29 x i8] c"Two Hundred and Twenty Three\00"
@.str.10 = [31 x i8] c"Five Hundred and Seventy Seven\00"
@.str.11 = [29 x i8] c"Nine Hundred and Ninety Nine\00"
@.str.12 = [13 x i8] c"One Thousand\00"
@.str.13 = [25 x i8] c"One Thousand One Hundred\00"
@.str.14 = [40 x i8] c"One Thousand Two Hundred and Twenty Two\00"
@.str.15 = [14 x i8] c"Five Thousand\00"
@.str.16 = [42 x i8] c"Five Thousand Five Hundred and Fifty Five\00"
@.str.17 = [42 x i8] c"Seven Thousand Six Hundred and Fifty Four\00"
@.str.18 = [24 x i8] c"Seven Thousand and Four\00"
@.str.19 = [43 x i8] c"Nine Thousand Nine Hundred and Ninety Nine\00"
@__const.main.test_string = [20 x i8*] [i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.18, i32 0, i32 0), i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.19, i32 0, i32 0)]
@.str.20 = [12 x i8] c"Thirty-Five\00"
@.str.21 = [13 x i8] c"Eighty-Three\00"
@.str.22 = [12 x i8] c"One-Hundred\00"
@.str.23 = [20 x i8] c"One-Hundred-and-Ten\00"
@.str.24 = [26 x i8] c"One-Hundred-and-Seventeen\00"
@.str.25 = [27 x i8] c"One-Hundred-and-Fifty-Five\00"
@.str.26 = [29 x i8] c"Two-Hundred-and-Twenty-Three\00"
@.str.27 = [31 x i8] c"Five-Hundred-and-Seventy-Seven\00"
@.str.28 = [29 x i8] c"Nine-Hundred-and-Ninety-Nine\00"
@.str.29 = [13 x i8] c"One-Thousand\00"
@.str.30 = [25 x i8] c"One-Thousand-One-Hundred\00"
@.str.31 = [40 x i8] c"One-Thousand-Two-Hundred-and-Twenty-Two\00"
@.str.32 = [14 x i8] c"Five-Thousand\00"
@.str.33 = [42 x i8] c"Five-Thousand-Five-Hundred-and-Fifty-Five\00"
@.str.34 = [42 x i8] c"Seven-Thousand-Six-Hundred-and-Fifty-Four\00"
@.str.35 = [24 x i8] c"Seven-Thousand-and-Four\00"
@.str.36 = [43 x i8] c"Nine-Thousand-Nine-Hundred-and-Ninety-Nine\00"
@__const.main.test_string_2 = [20 x i8*] [i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.20, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.21, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.22, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.23, i32 0, i32 0), i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.24, i32 0, i32 0), i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.25, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.26, i32 0, i32 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.27, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.28, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.29, i32 0, i32 0), i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.30, i32 0, i32 0), i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.31, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.32, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.33, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.34, i32 0, i32 0), i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.35, i32 0, i32 0), i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.36, i32 0, i32 0)]
@.str.37 = [2 x i8] c" \00"
@.str.38 = [2 x i8] c"-\00"
@.str.39 = [1 x i8] zeroinitializer
define i32 @main() {
%1 = alloca i32
%2 = alloca [20 x i32]
%3 = alloca [20 x i8*]
%4 = alloca [20 x i8*]
%5 = alloca i32
store i32 0, i32* %1
%6 = bitcast [20 x i32]* %2 to i8*
%7 = bitcast [20 x i8*]* %3 to i8*
%8 = bitcast [20 x i8*]* %4 to i8*
store i32 0, i32* %5
br label %9
9: ; preds = %39, %0
%10 = load i32, i32* %5
%11 = icmp slt i32 %10, 13
br i1 %11, label %12, label %42
12: ; preds = %9
%13 = load i32, i32* %5
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds [20 x i8*], [20 x i8*]* %3, i64 0, i64 %14
%16 = load i8*, i8** %15
%17 = load i32, i32* %5
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %18
%20 = load i32, i32* %19
%21 = call i32 @number_to_words(i32 %20, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.37, i64 0, i64 0))
%22 = call i64 @strcmp(i8* %16, i32 %21)
%23 = icmp eq i64 %22, 0
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [20 x i8*], [20 x i8*]* %4, i64 0, i64 %27
%29 = load i8*, i8** %28
%30 = load i32, i32* %5
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %31
%33 = load i32, i32* %32
%34 = call i32 @number_to_words(i32 %33, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.38, i64 0, i64 0))
%35 = call i64 @strcmp(i8* %29, i32 %34)
%36 = icmp eq i64 %35, 0
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
br label %39
39: ; preds = %12
%40 = load i32, i32* %5
%41 = add nsw i32 %40, 1
store i32 %41, i32* %5
br label %9
42: ; preds = %9
%43 = call i32 @range_sum(i32 1, i32 9, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%44 = icmp eq i32 36, %43
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = call i32 @range_sum(i32 10, i32 19, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%48 = icmp eq i32 70, %47
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @range_sum(i32 20, i32 99, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%52 = icmp eq i32 748, %51
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = call i32 @range_sum(i32 100, i32 999, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%56 = icmp eq i32 20259, %55
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = call i32 @range_sum(i32 1, i32 1000, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%60 = icmp eq i32 21124, %59
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
%63 = call i32 @range_sum(i32 1, i32 5000, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%64 = icmp eq i32 152577, %63
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
ret i32 0
}

LLVM IR (-O2):
@__const.main.test_data = [20 x i32] [i32 1, i32 10, i32 15, i32 35, i32 83, i32 100, i32 110, i32 117, i32 155, i32 223, i32 577, i32 999, i32 1000, i32 1100, i32 1222, i32 5000, i32 5555, i32 7654, i32 70004, i32 9999]
@.str = [4 x i8] c"One\00"
@.str.1 = [4 x i8] c"Ten\00"
@.str.2 = [8 x i8] c"Fifteen\00"
@.str.3 = [12 x i8] c"Thirty Five\00"
@.str.4 = [13 x i8] c"Eighty Three\00"
@.str.5 = [12 x i8] c"One Hundred\00"
@.str.6 = [20 x i8] c"One Hundred and Ten\00"
@.str.7 = [26 x i8] c"One Hundred and Seventeen\00"
@.str.8 = [27 x i8] c"One Hundred and Fifty Five\00"
@.str.9 = [29 x i8] c"Two Hundred and Twenty Three\00"
@.str.10 = [31 x i8] c"Five Hundred and Seventy Seven\00"
@.str.11 = [29 x i8] c"Nine Hundred and Ninety Nine\00"
@.str.12 = [13 x i8] c"One Thousand\00"
@.str.13 = [25 x i8] c"One Thousand One Hundred\00"
@.str.14 = [40 x i8] c"One Thousand Two Hundred and Twenty Two\00"
@.str.15 = [14 x i8] c"Five Thousand\00"
@.str.16 = [42 x i8] c"Five Thousand Five Hundred and Fifty Five\00"
@.str.17 = [42 x i8] c"Seven Thousand Six Hundred and Fifty Four\00"
@.str.18 = [24 x i8] c"Seven Thousand and Four\00"
@.str.19 = [43 x i8] c"Nine Thousand Nine Hundred and Ninety Nine\00"
@reltable.main = [20 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([4 x i8]* @.str to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([4 x i8]* @.str.1 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str.2 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([12 x i8]* @.str.3 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([13 x i8]* @.str.4 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([12 x i8]* @.str.5 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([20 x i8]* @.str.6 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([26 x i8]* @.str.7 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([27 x i8]* @.str.8 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([29 x i8]* @.str.9 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([31 x i8]* @.str.10 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([29 x i8]* @.str.11 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([13 x i8]* @.str.12 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([25 x i8]* @.str.13 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.14 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([14 x i8]* @.str.15 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([42 x i8]* @.str.16 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([42 x i8]* @.str.17 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([24 x i8]* @.str.18 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([43 x i8]* @.str.19 to i64), i64 ptrtoint ([20 x i32]* @reltable.main to i64)) to i32)]
@.str.20 = [12 x i8] c"Thirty-Five\00"
@.str.21 = [13 x i8] c"Eighty-Three\00"
@.str.22 = [12 x i8] c"One-Hundred\00"
@.str.23 = [20 x i8] c"One-Hundred-and-Ten\00"
@.str.24 = [26 x i8] c"One-Hundred-and-Seventeen\00"
@.str.25 = [27 x i8] c"One-Hundred-and-Fifty-Five\00"
@.str.26 = [29 x i8] c"Two-Hundred-and-Twenty-Three\00"
@.str.27 = [31 x i8] c"Five-Hundred-and-Seventy-Seven\00"
@.str.28 = [29 x i8] c"Nine-Hundred-and-Ninety-Nine\00"
@.str.29 = [13 x i8] c"One-Thousand\00"
@.str.30 = [25 x i8] c"One-Thousand-One-Hundred\00"
@.str.31 = [40 x i8] c"One-Thousand-Two-Hundred-and-Twenty-Two\00"
@.str.32 = [14 x i8] c"Five-Thousand\00"
@.str.33 = [42 x i8] c"Five-Thousand-Five-Hundred-and-Fifty-Five\00"
@.str.34 = [42 x i8] c"Seven-Thousand-Six-Hundred-and-Fifty-Four\00"
@.str.35 = [24 x i8] c"Seven-Thousand-and-Four\00"
@.str.36 = [43 x i8] c"Nine-Thousand-Nine-Hundred-and-Ninety-Nine\00"
@reltable.main.40 = [20 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([4 x i8]* @.str to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([4 x i8]* @.str.1 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str.2 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([12 x i8]* @.str.20 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([13 x i8]* @.str.21 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([12 x i8]* @.str.22 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([20 x i8]* @.str.23 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([26 x i8]* @.str.24 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([27 x i8]* @.str.25 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([29 x i8]* @.str.26 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([31 x i8]* @.str.27 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([29 x i8]* @.str.28 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([13 x i8]* @.str.29 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([25 x i8]* @.str.30 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([40 x i8]* @.str.31 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([14 x i8]* @.str.32 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([42 x i8]* @.str.33 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([42 x i8]* @.str.34 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([24 x i8]* @.str.35 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([43 x i8]* @.str.36 to i64), i64 ptrtoint ([20 x i32]* @reltable.main.40 to i64)) to i32)]
@.str.37 = [2 x i8] c" \00"
@.str.38 = [2 x i8] c"-\00"
@.str.39 = [1 x i8] zeroinitializer
define i32 @main() {
br label %26
1: ; preds = %26
%2 = tail call i32 @range_sum(i32 1, i32 9, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%3 = icmp eq i32 %2, 36
%4 = zext i1 %3 to i32
%5 = tail call i32 @assert(i32 %4)
%6 = tail call i32 @range_sum(i32 10, i32 19, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%7 = icmp eq i32 %6, 70
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = tail call i32 @range_sum(i32 20, i32 99, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%11 = icmp eq i32 %10, 748
%12 = zext i1 %11 to i32
%13 = tail call i32 @assert(i32 %12)
%14 = tail call i32 @range_sum(i32 100, i32 999, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%15 = icmp eq i32 %14, 20259
%16 = zext i1 %15 to i32
%17 = tail call i32 @assert(i32 %16)
%18 = tail call i32 @range_sum(i32 1, i32 1000, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%19 = icmp eq i32 %18, 21124
%20 = zext i1 %19 to i32
%21 = tail call i32 @assert(i32 %20)
%22 = tail call i32 @range_sum(i32 1, i32 5000, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.39, i64 0, i64 0))
%23 = icmp eq i32 %22, 152577
%24 = zext i1 %23 to i32
%25 = tail call i32 @assert(i32 %24)
ret i32 0
26: ; preds = %0, %26
%27 = phi i64 [ 0, %0 ], [ %44, %26 ]
%28 = shl i64 %27, 2
%29 = call i8* @llvm.load.relative.i64(i8* bitcast ([20 x i32]* @reltable.main to i8*), i64 %28)
%30 = getelementptr inbounds [20 x i32], [20 x i32]* @__const.main.test_data, i64 0, i64 %27
%31 = load i32, i32* %30
%32 = tail call i32 @number_to_words(i32 %31, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.37, i64 0, i64 0))
%33 = tail call i64 @strcmp(i8* %29, i32 %32)
%34 = icmp eq i64 %33, 0
%35 = zext i1 %34 to i32
%36 = tail call i32 @assert(i32 %35)
%37 = shl i64 %27, 2
%38 = call i8* @llvm.load.relative.i64(i8* bitcast ([20 x i32]* @reltable.main.40 to i8*), i64 %37)
%39 = tail call i32 @number_to_words(i32 %31, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.38, i64 0, i64 0))
%40 = tail call i64 @strcmp(i8* %38, i32 %39)
%41 = icmp eq i64 %40, 0
%42 = zext i1 %41 to i32
%43 = tail call i32 @assert(i32 %42)
%44 = add nuw nsw i64 %27, 1
%45 = icmp eq i64 %44, 13
br i1 %45, label %1, label %26
}