#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 /*<<< orphan*/ tests;
typedef int /*<<< orphan*/ strings;

/* Variables and functions */
int check_translation(char *, char const *, int /*<<< orphan*/ *, char const *);
int main(int argc, char **argv) {
  int i;
  int result = 0;
  const char *tests[] = {" ",
                         " ",
                         "                                                     "
                         "                           ",
                         " ",
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           ",
                         " ",
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           "
                         "                                                     "
                         "                           ",
                         " ",
                         "    \t",
                         " \t",
                         "    \t    ",
                         " \t ",
                         "\t    ",
                         "\t ",
                         "    \n",
                         " \n",
                         "    \n    ",
                         " \n ",
                         "\n    ",
                         "\n "};
  const char *strings[] = {
      " ",
      "                                                                        "
      "        ",
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        ",
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        "
      "                                                                        "
      "        ",
      "    \t",
      "    \t    ",
      "\t    ",
      "    \n",
      "    \n    ",
      "\n    ",
      "    \n    \t    \n    \t\t    \n\n\n\t\t    ",
  };
  const char *expected = " ";
  int tests_len = sizeof(tests) / sizeof(char *);
  for (i = 0; i < tests_len; i += 2)
    result |= check_translation("squash_space_with_repeated.utb", tests[i],
                                NULL, tests[i + 1]);
  tests_len = sizeof(strings) / sizeof(char *);
  for (i = 0; i < tests_len; i++)
    result |= check_translation("squash_space_with_correct.utb", strings[i],
                                NULL, expected);
  for (i = 0; i < tests_len; i++)
    result |= check_translation("squash_space_with_context_1.utb", strings[i],
                                NULL, expected);
  for (i = 0; i < tests_len; i++)
    result |= check_translation("squash_space_with_context_2.utb", strings[i],
                                NULL, expected);
  return result;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x130,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
lea    -0xc0(%rbp),%rdi
lea    0x2bd2(%rip),%rsi
mov    $0xa0,%edx
call   1040 <memcpy@plt>
lea    -0x120(%rbp),%rdi
lea    0x2c5a(%rip),%rsi
mov    $0x58,%edx
call   1040 <memcpy@plt>
lea    0x139c(%rip),%rax
mov    %rax,-0x128(%rbp)
movl   $0x14,-0x12c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x12c(%rbp),%eax
jge    11de <main+0xbe>
movslq -0x14(%rbp),%rax
mov    -0xc0(%rbp,%rax,8),%rsi
ff
mov    -0x14(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0xc0(%rbp,%rax,8),%rcx
ff
lea    0x138b(%rip),%rdi
xor    %eax,%eax
mov    %eax,%edx
call   1030 <check_translation@plt>
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    118f <main+0x6f>
movl   $0xb,-0x12c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x12c(%rbp),%eax
jge    1235 <main+0x115>
movslq -0x14(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rsi
ff
mov    -0x128(%rbp),%rcx
lea    0x1353(%rip),%rdi
xor    %eax,%eax
mov    %eax,%edx
call   1030 <check_translation@plt>
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11ef <main+0xcf>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x12c(%rbp),%eax
jge    1282 <main+0x162>
movslq -0x14(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rsi
ff
mov    -0x128(%rbp),%rcx
lea    0x1324(%rip),%rdi
xor    %eax,%eax
mov    %eax,%edx
call   1030 <check_translation@plt>
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    123c <main+0x11c>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x12c(%rbp),%eax
jge    12cf <main+0x1af>
movslq -0x14(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rsi
ff
mov    -0x128(%rbp),%rcx
lea    0x12f7(%rip),%rdi
xor    %eax,%eax
mov    %eax,%edx
call   1030 <check_translation@plt>
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1289 <main+0x169>
mov    -0x18(%rbp),%eax
add    $0x130,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0x142a(%rip),%r14
lea    0x13ea(%rip),%r12
mov    %r14,%rdi
mov    %r12,%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
lea    0x136e(%rip),%rsi
mov    %r14,%rdi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
lea    0x11c6(%rip),%rsi
mov    %r14,%rdi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
lea    0xe8f(%rip),%rsi
mov    %r14,%rdi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %r15d,%ebp
or     %ebx,%ebp
lea    0x1375(%rip),%rsi
lea    0x1371(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%r15d
lea    0x1360(%rip),%rsi
lea    0x1363(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %r15d,%ebx
lea    0x1382(%rip),%rsi
lea    0x1347(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%r15d
or     %ebx,%r15d
or     %ebp,%r15d
lea    0x1330(%rip),%rsi
lea    0x132c(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%ebx
lea    0x131c(%rip),%rsi
lea    0x131f(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
lea    0x1304(%rip),%rsi
lea    0x1304(%rip),%rcx
mov    %r14,%rdi
xor    %edx,%edx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
lea    0x1334(%rip),%r14
mov    %r14,%rdi
mov    %r12,%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r13d
or     %ebx,%r13d
or     %r15d,%r13d
mov    %r14,%rdi
lea    0x1256(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
mov    %r14,%rdi
lea    0x10af(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %r15d,%ebx
mov    %r14,%rdi
lea    0xd76(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x125f(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0x124d(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
or     %ebx,%r15d
or     %r13d,%r15d
mov    %r14,%rdi
lea    0x126f(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
mov    %r14,%rdi
lea    0x1228(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x1216(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0x1202(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
lea    0x11f7(%rip),%rsi
mov    %r14,%rdi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
lea    0x123f(%rip),%r14
mov    %r14,%rdi
mov    %r12,%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r13d
or     %ebx,%r13d
or     %r15d,%r13d
mov    %r14,%rdi
lea    0x1143(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
mov    %r14,%rdi
lea    0xf9c(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %r15d,%ebx
mov    %r14,%rdi
lea    0xc63(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x114c(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0x113a(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x1161(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0x1118(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
or     %ebx,%r15d
or     %r13d,%r15d
mov    %r14,%rdi
lea    0x1101(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
mov    %r14,%rdi
lea    0x10ef(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x10e1(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
lea    0x114c(%rip),%r14
mov    %r14,%rdi
mov    %r12,%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0x1035(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0xe8d(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0xb55(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0x103e(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r13d
or     %ebx,%r13d
or     %r15d,%r13d
mov    %r14,%rdi
lea    0x1027(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%r15d
mov    %r14,%rdi
lea    0x104f(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %r15d,%ebx
mov    %r14,%rdi
lea    0x1005(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0xff3(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebx
or     %ebp,%ebx
mov    %r14,%rdi
lea    0xfdf(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
mov    %eax,%ebp
or     %ebx,%ebp
mov    %r14,%rdi
lea    0xfd1(%rip),%rsi
xor    %edx,%edx
mov    %r12,%rcx
call   1030 <check_translation@plt>
or     %ebp,%eax
or     %r13d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c" \00"
@.str.1 = [81 x i8] c" \00"
@.str.2 = [481 x i8] c" \00"
@.str.3 = [1281 x i8] c" \00"
@.str.4 = [6 x i8] c" \09\00"
@.str.5 = [3 x i8] c" \09\00"
@.str.6 = [10 x i8] c" \09 \00"
@.str.7 = [4 x i8] c" \09 \00"
@.str.8 = [6 x i8] c"\09 \00"
@.str.9 = [3 x i8] c"\09 \00"
@.str.10 = [6 x i8] c" \0A\00"
@.str.11 = [3 x i8] c" \0A\00"
@.str.12 = [10 x i8] c" \0A \00"
@.str.13 = [4 x i8] c" \0A \00"
@.str.14 = [6 x i8] c"\0A \00"
@.str.15 = [3 x i8] c"\0A \00"
@__const.main.tests = [20 x i8*] [i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.15, i32 0, i32 0)]
@.str.16 = [35 x i8] c" \0A \09 \0A \09\09 \0A\0A\0A\09\09 \00"
@__const.main.strings = [11 x i8*] [i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.16, i32 0, i32 0)]
@.str.17 = [31 x i8] c"squash_space_with_repeated.utb\00"
@.str.18 = [30 x i8] c"squash_space_with_correct.utb\00"
@.str.19 = [32 x i8] c"squash_space_with_context_1.utb\00"
@.str.20 = [32 x i8] c"squash_space_with_context_2.utb\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca [20 x i8*]
%9 = alloca [11 x i8*]
%10 = alloca i8*
%11 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 0, i32* %7
%12 = bitcast [20 x i8*]* %8 to i8*
%13 = bitcast [11 x i8*]* %9 to i8*
store i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8** %10
store i32 20, i32* %11
store i32 0, i32* %6
br label %14
14: ; preds = %31, %2
%15 = load i32, i32* %6
%16 = load i32, i32* %11
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %34
18: ; preds = %14
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [20 x i8*], [20 x i8*]* %8, i64 0, i64 %20
%22 = load i8*, i8** %21
%23 = load i32, i32* %6
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [20 x i8*], [20 x i8*]* %8, i64 0, i64 %25
%27 = load i8*, i8** %26
%28 = call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* %22, i32* null, i8* %27)
%29 = load i32, i32* %7
%30 = or i32 %29, %28
store i32 %30, i32* %7
br label %31
31: ; preds = %18
%32 = load i32, i32* %6
%33 = add nsw i32 %32, 2
store i32 %33, i32* %6
br label %14
34: ; preds = %14
store i32 11, i32* %11
store i32 0, i32* %6
br label %35
35: ; preds = %48, %34
%36 = load i32, i32* %6
%37 = load i32, i32* %11
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %51
39: ; preds = %35
%40 = load i32, i32* %6
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [11 x i8*], [11 x i8*]* %9, i64 0, i64 %41
%43 = load i8*, i8** %42
%44 = load i8*, i8** %10
%45 = call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* %43, i32* null, i8* %44)
%46 = load i32, i32* %7
%47 = or i32 %46, %45
store i32 %47, i32* %7
br label %48
48: ; preds = %39
%49 = load i32, i32* %6
%50 = add nsw i32 %49, 1
store i32 %50, i32* %6
br label %35
51: ; preds = %35
store i32 0, i32* %6
br label %52
52: ; preds = %65, %51
%53 = load i32, i32* %6
%54 = load i32, i32* %11
%55 = icmp slt i32 %53, %54
br i1 %55, label %56, label %68
56: ; preds = %52
%57 = load i32, i32* %6
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [11 x i8*], [11 x i8*]* %9, i64 0, i64 %58
%60 = load i8*, i8** %59
%61 = load i8*, i8** %10
%62 = call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* %60, i32* null, i8* %61)
%63 = load i32, i32* %7
%64 = or i32 %63, %62
store i32 %64, i32* %7
br label %65
65: ; preds = %56
%66 = load i32, i32* %6
%67 = add nsw i32 %66, 1
store i32 %67, i32* %6
br label %52
68: ; preds = %52
store i32 0, i32* %6
br label %69
69: ; preds = %82, %68
%70 = load i32, i32* %6
%71 = load i32, i32* %11
%72 = icmp slt i32 %70, %71
br i1 %72, label %73, label %85
73: ; preds = %69
%74 = load i32, i32* %6
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [11 x i8*], [11 x i8*]* %9, i64 0, i64 %75
%77 = load i8*, i8** %76
%78 = load i8*, i8** %10
%79 = call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* %77, i32* null, i8* %78)
%80 = load i32, i32* %7
%81 = or i32 %80, %79
store i32 %81, i32* %7
br label %82
82: ; preds = %73
%83 = load i32, i32* %6
%84 = add nsw i32 %83, 1
store i32 %84, i32* %6
br label %69
85: ; preds = %69
%86 = load i32, i32* %7
ret i32 %86
}

LLVM IR (-O2):
@.str = [2 x i8] c" \00"
@.str.1 = [81 x i8] c" \00"
@.str.2 = [481 x i8] c" \00"
@.str.3 = [1281 x i8] c" \00"
@.str.4 = [6 x i8] c" \09\00"
@.str.5 = [3 x i8] c" \09\00"
@.str.6 = [10 x i8] c" \09 \00"
@.str.7 = [4 x i8] c" \09 \00"
@.str.8 = [6 x i8] c"\09 \00"
@.str.9 = [3 x i8] c"\09 \00"
@.str.10 = [6 x i8] c" \0A\00"
@.str.11 = [3 x i8] c" \0A\00"
@.str.12 = [10 x i8] c" \0A \00"
@.str.13 = [4 x i8] c" \0A \00"
@.str.14 = [6 x i8] c"\0A \00"
@.str.15 = [3 x i8] c"\0A \00"
@.str.16 = [35 x i8] c" \0A \09 \0A \09\09 \0A\0A\0A\09\09 \00"
@.str.17 = [31 x i8] c"squash_space_with_repeated.utb\00"
@.str.18 = [30 x i8] c"squash_space_with_correct.utb\00"
@.str.19 = [32 x i8] c"squash_space_with_context_1.utb\00"
@.str.20 = [32 x i8] c"squash_space_with_context_2.utb\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%4 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%5 = or i32 %4, %3
%6 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%7 = or i32 %6, %5
%8 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%9 = or i32 %8, %7
%10 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0))
%11 = or i32 %10, %9
%12 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.7, i64 0, i64 0))
%13 = or i32 %12, %11
%14 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i64 0, i64 0))
%15 = or i32 %14, %13
%16 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.11, i64 0, i64 0))
%17 = or i32 %16, %15
%18 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.13, i64 0, i64 0))
%19 = or i32 %18, %17
%20 = tail call i32 @check_translation(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.15, i64 0, i64 0))
%21 = or i32 %20, %19
%22 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%23 = or i32 %22, %21
%24 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%25 = or i32 %24, %23
%26 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%27 = or i32 %26, %25
%28 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%29 = or i32 %28, %27
%30 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%31 = or i32 %30, %29
%32 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%33 = or i32 %32, %31
%34 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%35 = or i32 %34, %33
%36 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%37 = or i32 %36, %35
%38 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%39 = or i32 %38, %37
%40 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%41 = or i32 %40, %39
%42 = tail call i32 @check_translation(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.16, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%43 = or i32 %42, %41
%44 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%45 = or i32 %44, %43
%46 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%47 = or i32 %46, %45
%48 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%49 = or i32 %48, %47
%50 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%51 = or i32 %50, %49
%52 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%53 = or i32 %52, %51
%54 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%55 = or i32 %54, %53
%56 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%57 = or i32 %56, %55
%58 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%59 = or i32 %58, %57
%60 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%61 = or i32 %60, %59
%62 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%63 = or i32 %62, %61
%64 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.16, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%65 = or i32 %64, %63
%66 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%67 = or i32 %66, %65
%68 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%69 = or i32 %68, %67
%70 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([481 x i8], [481 x i8]* @.str.2, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%71 = or i32 %70, %69
%72 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([1281 x i8], [1281 x i8]* @.str.3, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%73 = or i32 %72, %71
%74 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.4, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%75 = or i32 %74, %73
%76 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%77 = or i32 %76, %75
%78 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%79 = or i32 %78, %77
%80 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%81 = or i32 %80, %79
%82 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%83 = or i32 %82, %81
%84 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%85 = or i32 %84, %83
%86 = tail call i32 @check_translation(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.16, i64 0, i64 0), i32* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%87 = or i32 %86, %85
ret i32 %87
}