#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 UINT_MAX;
scalar_t__ Verify(char *, int, char *, char *, int, ...);
int /*<<< orphan*/ sprintf(char *, char *, int);
int VerifyFormattingIntegers(void) {
  int nerrors = 0;
  char buffer[256];
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    303, "Number 42", "Number %d", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    305, "Number -42", "Number %d", -42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    307, "Number 42", "Number %ld", 42L);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    309, "Number -42", "Number %ld", -42L);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    312, "  1234", "%6d", 1234);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    314, "  1234", "%*d", 6, 1234);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    317, "123456", "%4d", 123456);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    320, "0012", "%.4d", 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    322, "0012", "%.*d", 4, 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    324, "  0012", "%6.*d", 4, 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    326, "  0012", "%*.*d", 6, 4, 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    328, "  0012", "%*.*.*d", 6, 4, 2, 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    330, "  0012", "%*.*.*i", 6, 4, 10, 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    333, "+01234", "%+06d", 1234);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    335, " 01234", "% 06d", 1234);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    337, "+01234", "% +06d", 1234);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    340, "12      ", "%-08d", 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    343, "  000012", "%08.6d", 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    346, "42", "%u", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    348, "-1", "%d", -1);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    350, "52", "%o", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    352, "052", "%#o", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    354, "0", "%#o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    356, "2a", "%x", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    358, "2A", "%X", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    360, "0x2a", "%#x", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    362, "0X2A", "%#X", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    364, "0x00c ", "%-#6.3x", 12);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    366, "", "%.d", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    368, "", "%#.d", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    370, "42", "%.d", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    372, "", "%.o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    374, "    0000", "%8.4o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    376, "       0", "%8o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    378, "00000000", "%08o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    380, "0", "%#.o", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    382, "52", "%.o", 42);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    384, "", "%.x", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    386, "", "%#.x", 0);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    388, "2a", "%.x", 42);
  sprintf(buffer, "%u", UINT_MAX);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    391, buffer, "%u", -1);
  sprintf(buffer, "%x", UINT_MAX);
  nerrors += Verify("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/"
                    "outputs/2022-01-22/02-19-57/repos/hypermail-project/"
                    "hypermail/refs/heads/master/src/trio/regression.c",
                    394, buffer, "%x", -1);
  return nerrors;
}


x86 assembly (clang, -O0):
<VerifyFormattingIntegers>:
push   %rbp
mov    %rsp,%rbp
sub    $0x120,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xec7(%rip),%rdi
mov    $0x12f,%esi
lea    0xf59(%rip),%rdx
lea    0xf5c(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xe93(%rip),%rdi
mov    $0x131,%esi
lea    0xf39(%rip),%rdx
lea    0xf28(%rip),%rcx
mov    $0xffffffd6,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xe5f(%rip),%rdi
mov    $0x133,%esi
lea    0xef1(%rip),%rdx
lea    0xf09(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xe2b(%rip),%rdi
mov    $0x135,%esi
lea    0xed1(%rip),%rdx
lea    0xed5(%rip),%rcx
mov    $0xffffffd6,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xdf7(%rip),%rdi
mov    $0x138,%esi
lea    0xeb3(%rip),%rdx
lea    0xeb3(%rip),%rcx
mov    $0x4d2,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xdc3(%rip),%rdi
mov    $0x13a,%esi
lea    0xe7f(%rip),%rdx
lea    0xe83(%rip),%rcx
mov    $0x6,%r8d
mov    $0x4d2,%r9d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xd89(%rip),%rdi
mov    $0x13d,%esi
lea    0xe54(%rip),%rdx
lea    0xe54(%rip),%rcx
mov    $0x1e240,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xd55(%rip),%rdi
mov    $0x140,%esi
lea    0xe37(%rip),%rdx
lea    0xe24(%rip),%rcx
mov    $0xc,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xd21(%rip),%rdi
mov    $0x142,%esi
lea    0xe03(%rip),%rdx
lea    0xdf5(%rip),%rcx
mov    $0x4,%r8d
mov    $0xc,%r9d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xce7(%rip),%rdi
mov    $0x144,%esi
lea    0xdc7(%rip),%rdx
lea    0xdc7(%rip),%rcx
mov    $0x4,%r8d
mov    $0xc,%r9d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xcad(%rip),%rdi
mov    $0x146,%esi
lea    0xd8d(%rip),%rdx
lea    0xd93(%rip),%rcx
mov    $0x6,%r8d
mov    $0x4,%r9d
movl   $0xc,(%rsp)
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xc6c(%rip),%rdi
mov    $0x148,%esi
lea    0xd4c(%rip),%rdx
lea    0xd58(%rip),%rcx
mov    $0x6,%r8d
mov    $0x4,%r9d
movl   $0x2,(%rsp)
movl   $0xc,0x8(%rsp)
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xc23(%rip),%rdi
mov    $0x14a,%esi
lea    0xd03(%rip),%rdx
lea    0xd17(%rip),%rcx
mov    $0x6,%r8d
mov    $0x4,%r9d
movl   $0xa,(%rsp)
movl   $0xc,0x8(%rsp)
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xbda(%rip),%rdi
mov    $0x14d,%esi
lea    0xcdd(%rip),%rdx
lea    0xcdd(%rip),%rcx
mov    $0x4d2,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xba6(%rip),%rdi
mov    $0x14f,%esi
lea    0xcb6(%rip),%rdx
lea    0xcb6(%rip),%rcx
mov    $0x4d2,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xb72(%rip),%rdi
mov    $0x151,%esi
lea    0xc75(%rip),%rdx
lea    0xc88(%rip),%rcx
mov    $0x4d2,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xb3e(%rip),%rdi
mov    $0x154,%esi
lea    0xc62(%rip),%rdx
lea    0xc64(%rip),%rcx
mov    $0xc,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xb0a(%rip),%rdi
mov    $0x157,%esi
lea    0xc3d(%rip),%rdx
lea    0xc3f(%rip),%rcx
mov    $0xc,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xad6(%rip),%rdi
mov    $0x15a,%esi
lea    0xb6f(%rip),%rdx
lea    0xc12(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xaa2(%rip),%rdi
mov    $0x15c,%esi
lea    0xbe8(%rip),%rdx
lea    0xb3e(%rip),%rcx
mov    $0xffffffff,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xa6e(%rip),%rdi
mov    $0x15e,%esi
lea    0xbbb(%rip),%rdx
lea    0xbb0(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xa3a(%rip),%rdi
mov    $0x160,%esi
lea    0xb86(%rip),%rdx
lea    0xb83(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0xa06(%rip),%rdi
mov    $0x162,%esi
lea    0xba4(%rip),%rdx
lea    0xb4f(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x9d5(%rip),%rdi
mov    $0x164,%esi
lea    0xb31(%rip),%rdx
lea    0xb22(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x9a1(%rip),%rdi
mov    $0x166,%esi
lea    0xb06(%rip),%rdx
lea    0xaf1(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x96d(%rip),%rdi
mov    $0x168,%esi
lea    0xac7(%rip),%rdx
lea    0xac5(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x939(%rip),%rdi
mov    $0x16a,%esi
lea    0xa9c(%rip),%rdx
lea    0xa9a(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x905(%rip),%rdi
mov    $0x16c,%esi
lea    0xa71(%rip),%rdx
lea    0xa71(%rip),%rcx
mov    $0xc,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x8d1(%rip),%rdi
mov    $0x16e,%esi
lea    0x9fd(%rip),%rdx
lea    0xa45(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x8a0(%rip),%rdi
mov    $0x170,%esi
lea    0x9cc(%rip),%rdx
lea    0xa18(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x86f(%rip),%rdi
mov    $0x172,%esi
lea    0x908(%rip),%rdx
lea    0x9e3(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x83b(%rip),%rdi
mov    $0x174,%esi
lea    0x967(%rip),%rdx
lea    0x9b8(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x80a(%rip),%rdi
mov    $0x176,%esi
lea    0x992(%rip),%rdx
lea    0x994(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x7d9(%rip),%rdi
mov    $0x178,%esi
lea    0x970(%rip),%rdx
lea    0x972(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x7a8(%rip),%rdi
mov    $0x17a,%esi
lea    0x94c(%rip),%rdx
lea    0x94e(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x777(%rip),%rdi
mov    $0x17c,%esi
lea    0x915(%rip),%rdx
lea    0x922(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x746(%rip),%rdi
mov    $0x17e,%esi
lea    0x893(%rip),%rdx
lea    0x8c3(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x712(%rip),%rdi
mov    $0x180,%esi
lea    0x83e(%rip),%rdx
lea    0x8c2(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x6e1(%rip),%rdi
mov    $0x182,%esi
lea    0x80d(%rip),%rdx
lea    0x895(%rip),%rcx
xor    %r8d,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    0x6b0(%rip),%rdi
mov    $0x184,%esi
lea    0x80c(%rip),%rdx
lea    0x860(%rip),%rcx
mov    $0x2a,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    -0x110(%rbp),%rdi
mov    0x265d(%rip),%rax
mov    (%rax),%edx
lea    0x7bb(%rip),%rsi
call   1030 <sprintf@plt>
lea    -0x110(%rbp),%rdx
lea    0x659(%rip),%rdi
mov    $0x187,%esi
lea    0x79c(%rip),%rcx
mov    $0xffffffff,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
lea    -0x110(%rbp),%rdi
mov    0x260d(%rip),%rax
mov    (%rax),%edx
lea    0x77c(%rip),%rsi
call   1030 <sprintf@plt>
lea    -0x110(%rbp),%rdx
lea    0x609(%rip),%rdi
mov    $0x18a,%esi
lea    0x75d(%rip),%rcx
mov    $0xffffffff,%r8d
mov    $0x0,%al
call   1040 <Verify@plt>
mov    %rax,%rcx
movslq -0x4(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x120,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<VerifyFormattingIntegers>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x108,%rsp
lea    0xec8(%rip),%r13
lea    0xf5f(%rip),%r14
lea    0xf62(%rip),%rbp
mov    %r13,%rdi
mov    $0x12f,%esi
mov    %r14,%rdx
mov    %rbp,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
lea    0xf47(%rip),%r15
mov    %r13,%rdi
mov    $0x131,%esi
mov    %r15,%rdx
mov    %rbp,%rcx
mov    $0xffffffd6,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xf2b(%rip),%r12
mov    %r13,%rdi
mov    $0x133,%esi
mov    %r14,%rdx
mov    %r12,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
mov    %r13,%rdi
mov    $0x135,%esi
mov    %r15,%rdx
mov    %r12,%rcx
mov    $0xffffffd6,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xeef(%rip),%r14
lea    0xeef(%rip),%rcx
mov    %r13,%rdi
mov    $0x138,%esi
mov    %r14,%rdx
mov    $0x4d2,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xecf(%rip),%rcx
mov    %r13,%rdi
mov    $0x13a,%esi
mov    %r14,%rdx
mov    $0x6,%r8d
mov    $0x4d2,%r9d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xea9(%rip),%rdx
lea    0xea9(%rip),%rcx
mov    %r13,%rdi
mov    $0x13d,%esi
mov    $0x1e240,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xe98(%rip),%r14
lea    0xe85(%rip),%rcx
mov    %r13,%rdi
mov    $0x140,%esi
mov    %r14,%rdx
mov    $0xc,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xe66(%rip),%rcx
mov    %r13,%rdi
mov    $0x142,%esi
mov    %r14,%rdx
mov    $0x4,%r8d
mov    $0xc,%r9d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xe41(%rip),%r14
lea    0xe41(%rip),%rcx
mov    %r13,%rdi
mov    $0x144,%esi
mov    %r14,%rdx
mov    $0x4,%r8d
mov    $0xc,%r9d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
sub    $0x8,%rsp
lea    0xe19(%rip),%rcx
mov    %r13,%rdi
mov    $0x146,%esi
mov    %r14,%rdx
mov    $0x6,%r8d
mov    $0x4,%r9d
xor    %eax,%eax
push   $0xc
call   1040 <Verify@plt>
add    $0x10,%rsp
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xdef(%rip),%rcx
mov    %r13,%rdi
mov    $0x148,%esi
mov    %r14,%rdx
mov    $0x6,%r8d
mov    $0x4,%r9d
xor    %eax,%eax
push   $0xc
push   $0x2
call   1040 <Verify@plt>
add    $0x10,%rsp
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xdc5(%rip),%rcx
mov    %r13,%rdi
mov    $0x14a,%esi
mov    %r14,%rdx
mov    $0x6,%r8d
mov    $0x4,%r9d
xor    %eax,%eax
push   $0xc
push   $0xa
call   1040 <Verify@plt>
add    $0x10,%rsp
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xd9b(%rip),%r14
lea    0xd9b(%rip),%rcx
mov    %r13,%rdi
mov    $0x14d,%esi
mov    %r14,%rdx
mov    $0x4d2,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xd7d(%rip),%rdx
lea    0xd7d(%rip),%rcx
mov    %r13,%rdi
mov    $0x14f,%esi
mov    $0x4d2,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xd62(%rip),%rcx
mov    %r13,%rdi
mov    $0x151,%esi
mov    %r14,%rdx
mov    $0x4d2,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xd45(%rip),%rdx
lea    0xd47(%rip),%rcx
mov    %r13,%rdi
mov    $0x154,%esi
mov    $0xc,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xd2c(%rip),%rdx
lea    0xd2e(%rip),%rcx
mov    %r13,%rdi
mov    $0x157,%esi
mov    $0xc,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xc6a(%rip),%rdx
lea    0xd0d(%rip),%rcx
mov    %r13,%rdi
mov    $0x15a,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xcef(%rip),%rdx
lea    0xc45(%rip),%rcx
mov    %r13,%rdi
mov    $0x15c,%esi
mov    $0xffffffff,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xcce(%rip),%rdx
lea    0xcc3(%rip),%rcx
mov    %r13,%rdi
mov    $0x15e,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xca5(%rip),%rdx
lea    0xca2(%rip),%r15
mov    %r13,%rdi
mov    $0x160,%esi
mov    %r15,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xccc(%rip),%rdx
mov    %r13,%rdi
mov    $0x162,%esi
mov    %r15,%rcx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xc69(%rip),%rdx
lea    0xc5a(%rip),%rcx
mov    %r13,%rdi
mov    $0x164,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xc4a(%rip),%rdx
lea    0xc35(%rip),%rcx
mov    %r13,%rdi
mov    $0x166,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xc17(%rip),%rdx
lea    0xc15(%rip),%rcx
mov    %r13,%rdi
mov    $0x168,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xbf8(%rip),%rdx
lea    0xbf6(%rip),%rcx
mov    %r13,%rdi
mov    $0x16a,%esi
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xbd9(%rip),%rdx
lea    0xbd9(%rip),%rcx
mov    %r13,%rdi
mov    $0x16c,%esi
mov    $0xc,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%r15
add    %ebx,%r15d
lea    0xb70(%rip),%r12
lea    0xbb8(%rip),%r14
mov    %r13,%rdi
mov    $0x16e,%esi
mov    %r12,%rdx
mov    %r14,%rcx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %r15d,%ebx
lea    0xb97(%rip),%rcx
mov    %r13,%rdi
mov    $0x170,%esi
mov    %r12,%rdx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
mov    %r13,%rdi
mov    $0x172,%esi
lea    0xa88(%rip),%rdx
mov    %r14,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xb57(%rip),%r14
mov    %r13,%rdi
mov    $0x174,%esi
mov    %r12,%rdx
mov    %r14,%rcx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xb37(%rip),%rdx
lea    0xb39(%rip),%rcx
mov    %r13,%rdi
mov    $0x176,%esi
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xb21(%rip),%rdx
lea    0xb23(%rip),%rcx
mov    %r13,%rdi
mov    $0x178,%esi
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xb09(%rip),%rdx
lea    0xb0b(%rip),%rcx
mov    %r13,%rdi
mov    $0x17a,%esi
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xaf2(%rip),%rcx
mov    %r13,%rdi
mov    $0x17c,%esi
lea    0xacf(%rip),%rdx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
mov    %r13,%rdi
mov    $0x17e,%esi
lea    0xa60(%rip),%rdx
mov    %r14,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
lea    0xaae(%rip),%r14
mov    %r13,%rdi
mov    $0x180,%esi
mov    %r12,%rdx
mov    %r14,%rcx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
lea    0xa8e(%rip),%rcx
mov    %r13,%rdi
mov    $0x182,%esi
mov    %r12,%rdx
xor    %r8d,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
mov    %r13,%rdi
mov    $0x184,%esi
lea    0xa06(%rip),%rdx
mov    %r14,%rcx
mov    $0x2a,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbp
add    %ebx,%ebp
mov    0x286a(%rip),%r15
mov    (%r15),%edx
mov    %rsp,%r14
mov    %r14,%rdi
lea    0x9c1(%rip),%rbx
mov    %rbx,%rsi
call   1030 <sprintf@plt>
mov    %r13,%rdi
mov    $0x187,%esi
mov    %r14,%rdx
mov    %rbx,%rcx
mov    $0xffffffff,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
mov    %rax,%rbx
add    %ebp,%ebx
mov    (%r15),%edx
mov    %r14,%rdi
lea    0x99d(%rip),%rbp
mov    %rbp,%rsi
call   1030 <sprintf@plt>
mov    %r13,%rdi
mov    $0x18a,%esi
mov    %r14,%rdx
mov    %rbp,%rcx
mov    $0xffffffff,%r8d
xor    %eax,%eax
call   1040 <Verify@plt>
add    %ebx,%eax
add    $0x108,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [158 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/master/src/trio/regression.c\00"
@.str.1 = [10 x i8] c"Number 42\00"
@.str.2 = [10 x i8] c"Number %d\00"
@.str.3 = [11 x i8] c"Number -42\00"
@.str.4 = [11 x i8] c"Number %ld\00"
@.str.5 = [7 x i8] c" 1234\00"
@.str.6 = [4 x i8] c"%6d\00"
@.str.7 = [4 x i8] c"%*d\00"
@.str.8 = [7 x i8] c"123456\00"
@.str.9 = [4 x i8] c"%4d\00"
@.str.10 = [5 x i8] c"0012\00"
@.str.11 = [5 x i8] c"%.4d\00"
@.str.12 = [5 x i8] c"%.*d\00"
@.str.13 = [7 x i8] c" 0012\00"
@.str.14 = [6 x i8] c"%6.*d\00"
@.str.15 = [6 x i8] c"%*.*d\00"
@.str.16 = [8 x i8] c"%*.*.*d\00"
@.str.17 = [8 x i8] c"%*.*.*i\00"
@.str.18 = [7 x i8] c"+01234\00"
@.str.19 = [6 x i8] c"%+06d\00"
@.str.20 = [7 x i8] c" 01234\00"
@.str.21 = [6 x i8] c"% 06d\00"
@.str.22 = [7 x i8] c"% +06d\00"
@.str.23 = [9 x i8] c"12 \00"
@.str.24 = [6 x i8] c"%-08d\00"
@.str.25 = [9 x i8] c" 000012\00"
@.str.26 = [7 x i8] c"%08.6d\00"
@.str.27 = [3 x i8] c"42\00"
@.str.28 = [3 x i8] c"%u\00"
@.str.29 = [3 x i8] c"-1\00"
@.str.30 = [3 x i8] c"%d\00"
@.str.31 = [3 x i8] c"52\00"
@.str.32 = [3 x i8] c"%o\00"
@.str.33 = [4 x i8] c"052\00"
@.str.34 = [4 x i8] c"%#o\00"
@.str.35 = [2 x i8] c"0\00"
@.str.36 = [3 x i8] c"2a\00"
@.str.37 = [3 x i8] c"%x\00"
@.str.38 = [3 x i8] c"2A\00"
@.str.39 = [3 x i8] c"%X\00"
@.str.40 = [5 x i8] c"0x2a\00"
@.str.41 = [4 x i8] c"%#x\00"
@.str.42 = [5 x i8] c"0X2A\00"
@.str.43 = [4 x i8] c"%#X\00"
@.str.44 = [7 x i8] c"0x00c \00"
@.str.45 = [8 x i8] c"%-.3x\00"
@.str.46 = [1 x i8] zeroinitializer
@.str.47 = [4 x i8] c"%.d\00"
@.str.48 = [5 x i8] c"%#.d\00"
@.str.49 = [4 x i8] c"%.o\00"
@.str.50 = [9 x i8] c" 0000\00"
@.str.51 = [6 x i8] c"%8.4o\00"
@.str.52 = [9 x i8] c" 0\00"
@.str.53 = [4 x i8] c"%8o\00"
@.str.54 = [9 x i8] c"00000000\00"
@.str.55 = [5 x i8] c"%08o\00"
@.str.56 = [5 x i8] c"%#.o\00"
@.str.57 = [4 x i8] c"%.x\00"
@.str.58 = [5 x i8] c"%#.x\00"
@UINT_MAX = global i32 0
define i32 @VerifyFormattingIntegers() {
%1 = alloca i32
%2 = alloca [256 x i8]
store i32 0, i32* %1
%3 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 303, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 42)
%4 = load i32, i32* %1
%5 = sext i32 %4 to i64
%6 = add nsw i64 %5, %3
%7 = trunc i64 %6 to i32
store i32 %7, i32* %1
%8 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 305, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 -42)
%9 = load i32, i32* %1
%10 = sext i32 %9 to i64
%11 = add nsw i64 %10, %8
%12 = trunc i64 %11 to i32
store i32 %12, i32* %1
%13 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 307, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i32 42)
%14 = load i32, i32* %1
%15 = sext i32 %14 to i64
%16 = add nsw i64 %15, %13
%17 = trunc i64 %16 to i32
store i32 %17, i32* %1
%18 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 309, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i32 -42)
%19 = load i32, i32* %1
%20 = sext i32 %19 to i64
%21 = add nsw i64 %20, %18
%22 = trunc i64 %21 to i32
store i32 %22, i32* %1
%23 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 312, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 1234)
%24 = load i32, i32* %1
%25 = sext i32 %24 to i64
%26 = add nsw i64 %25, %23
%27 = trunc i64 %26 to i32
store i32 %27, i32* %1
%28 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 314, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.7, i64 0, i64 0), i32 6, i32 1234)
%29 = load i32, i32* %1
%30 = sext i32 %29 to i64
%31 = add nsw i64 %30, %28
%32 = trunc i64 %31 to i32
store i32 %32, i32* %1
%33 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 317, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0), i32 123456)
%34 = load i32, i32* %1
%35 = sext i32 %34 to i64
%36 = add nsw i64 %35, %33
%37 = trunc i64 %36 to i32
store i32 %37, i32* %1
%38 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 320, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.11, i64 0, i64 0), i32 12)
%39 = load i32, i32* %1
%40 = sext i32 %39 to i64
%41 = add nsw i64 %40, %38
%42 = trunc i64 %41 to i32
store i32 %42, i32* %1
%43 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 322, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), i32 4, i32 12)
%44 = load i32, i32* %1
%45 = sext i32 %44 to i64
%46 = add nsw i64 %45, %43
%47 = trunc i64 %46 to i32
store i32 %47, i32* %1
%48 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 324, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32 4, i32 12)
%49 = load i32, i32* %1
%50 = sext i32 %49 to i64
%51 = add nsw i64 %50, %48
%52 = trunc i64 %51 to i32
store i32 %52, i32* %1
%53 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 326, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i64 0, i64 0), i32 6, i32 4, i32 12)
%54 = load i32, i32* %1
%55 = sext i32 %54 to i64
%56 = add nsw i64 %55, %53
%57 = trunc i64 %56 to i32
store i32 %57, i32* %1
%58 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 328, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.16, i64 0, i64 0), i32 6, i32 4, i32 2, i32 12)
%59 = load i32, i32* %1
%60 = sext i32 %59 to i64
%61 = add nsw i64 %60, %58
%62 = trunc i64 %61 to i32
store i32 %62, i32* %1
%63 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 330, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.17, i64 0, i64 0), i32 6, i32 4, i32 10, i32 12)
%64 = load i32, i32* %1
%65 = sext i32 %64 to i64
%66 = add nsw i64 %65, %63
%67 = trunc i64 %66 to i32
store i32 %67, i32* %1
%68 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 333, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.19, i64 0, i64 0), i32 1234)
%69 = load i32, i32* %1
%70 = sext i32 %69 to i64
%71 = add nsw i64 %70, %68
%72 = trunc i64 %71 to i32
store i32 %72, i32* %1
%73 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 335, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.21, i64 0, i64 0), i32 1234)
%74 = load i32, i32* %1
%75 = sext i32 %74 to i64
%76 = add nsw i64 %75, %73
%77 = trunc i64 %76 to i32
store i32 %77, i32* %1
%78 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 337, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.22, i64 0, i64 0), i32 1234)
%79 = load i32, i32* %1
%80 = sext i32 %79 to i64
%81 = add nsw i64 %80, %78
%82 = trunc i64 %81 to i32
store i32 %82, i32* %1
%83 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 340, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.24, i64 0, i64 0), i32 12)
%84 = load i32, i32* %1
%85 = sext i32 %84 to i64
%86 = add nsw i64 %85, %83
%87 = trunc i64 %86 to i32
store i32 %87, i32* %1
%88 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 343, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.25, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.26, i64 0, i64 0), i32 12)
%89 = load i32, i32* %1
%90 = sext i32 %89 to i64
%91 = add nsw i64 %90, %88
%92 = trunc i64 %91 to i32
store i32 %92, i32* %1
%93 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 346, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.27, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 42)
%94 = load i32, i32* %1
%95 = sext i32 %94 to i64
%96 = add nsw i64 %95, %93
%97 = trunc i64 %96 to i32
store i32 %97, i32* %1
%98 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 348, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.29, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.30, i64 0, i64 0), i32 -1)
%99 = load i32, i32* %1
%100 = sext i32 %99 to i64
%101 = add nsw i64 %100, %98
%102 = trunc i64 %101 to i32
store i32 %102, i32* %1
%103 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 350, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.31, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.32, i64 0, i64 0), i32 42)
%104 = load i32, i32* %1
%105 = sext i32 %104 to i64
%106 = add nsw i64 %105, %103
%107 = trunc i64 %106 to i32
store i32 %107, i32* %1
%108 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 352, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.33, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.34, i64 0, i64 0), i32 42)
%109 = load i32, i32* %1
%110 = sext i32 %109 to i64
%111 = add nsw i64 %110, %108
%112 = trunc i64 %111 to i32
store i32 %112, i32* %1
%113 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 354, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.34, i64 0, i64 0), i32 0)
%114 = load i32, i32* %1
%115 = sext i32 %114 to i64
%116 = add nsw i64 %115, %113
%117 = trunc i64 %116 to i32
store i32 %117, i32* %1
%118 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 356, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.36, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 42)
%119 = load i32, i32* %1
%120 = sext i32 %119 to i64
%121 = add nsw i64 %120, %118
%122 = trunc i64 %121 to i32
store i32 %122, i32* %1
%123 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 358, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.38, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.39, i64 0, i64 0), i32 42)
%124 = load i32, i32* %1
%125 = sext i32 %124 to i64
%126 = add nsw i64 %125, %123
%127 = trunc i64 %126 to i32
store i32 %127, i32* %1
%128 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 360, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.40, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.41, i64 0, i64 0), i32 42)
%129 = load i32, i32* %1
%130 = sext i32 %129 to i64
%131 = add nsw i64 %130, %128
%132 = trunc i64 %131 to i32
store i32 %132, i32* %1
%133 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 362, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.42, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.43, i64 0, i64 0), i32 42)
%134 = load i32, i32* %1
%135 = sext i32 %134 to i64
%136 = add nsw i64 %135, %133
%137 = trunc i64 %136 to i32
store i32 %137, i32* %1
%138 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 364, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.44, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.45, i64 0, i64 0), i32 12)
%139 = load i32, i32* %1
%140 = sext i32 %139 to i64
%141 = add nsw i64 %140, %138
%142 = trunc i64 %141 to i32
store i32 %142, i32* %1
%143 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 366, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.47, i64 0, i64 0), i32 0)
%144 = load i32, i32* %1
%145 = sext i32 %144 to i64
%146 = add nsw i64 %145, %143
%147 = trunc i64 %146 to i32
store i32 %147, i32* %1
%148 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 368, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.48, i64 0, i64 0), i32 0)
%149 = load i32, i32* %1
%150 = sext i32 %149 to i64
%151 = add nsw i64 %150, %148
%152 = trunc i64 %151 to i32
store i32 %152, i32* %1
%153 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 370, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.27, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.47, i64 0, i64 0), i32 42)
%154 = load i32, i32* %1
%155 = sext i32 %154 to i64
%156 = add nsw i64 %155, %153
%157 = trunc i64 %156 to i32
store i32 %157, i32* %1
%158 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 372, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.49, i64 0, i64 0), i32 0)
%159 = load i32, i32* %1
%160 = sext i32 %159 to i64
%161 = add nsw i64 %160, %158
%162 = trunc i64 %161 to i32
store i32 %162, i32* %1
%163 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 374, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.50, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.51, i64 0, i64 0), i32 0)
%164 = load i32, i32* %1
%165 = sext i32 %164 to i64
%166 = add nsw i64 %165, %163
%167 = trunc i64 %166 to i32
store i32 %167, i32* %1
%168 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 376, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.52, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.53, i64 0, i64 0), i32 0)
%169 = load i32, i32* %1
%170 = sext i32 %169 to i64
%171 = add nsw i64 %170, %168
%172 = trunc i64 %171 to i32
store i32 %172, i32* %1
%173 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 378, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.54, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.55, i64 0, i64 0), i32 0)
%174 = load i32, i32* %1
%175 = sext i32 %174 to i64
%176 = add nsw i64 %175, %173
%177 = trunc i64 %176 to i32
store i32 %177, i32* %1
%178 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 380, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.56, i64 0, i64 0), i32 0)
%179 = load i32, i32* %1
%180 = sext i32 %179 to i64
%181 = add nsw i64 %180, %178
%182 = trunc i64 %181 to i32
store i32 %182, i32* %1
%183 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 382, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.31, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.49, i64 0, i64 0), i32 42)
%184 = load i32, i32* %1
%185 = sext i32 %184 to i64
%186 = add nsw i64 %185, %183
%187 = trunc i64 %186 to i32
store i32 %187, i32* %1
%188 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 384, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.57, i64 0, i64 0), i32 0)
%189 = load i32, i32* %1
%190 = sext i32 %189 to i64
%191 = add nsw i64 %190, %188
%192 = trunc i64 %191 to i32
store i32 %192, i32* %1
%193 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 386, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.58, i64 0, i64 0), i32 0)
%194 = load i32, i32* %1
%195 = sext i32 %194 to i64
%196 = add nsw i64 %195, %193
%197 = trunc i64 %196 to i32
store i32 %197, i32* %1
%198 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 388, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.36, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.57, i64 0, i64 0), i32 42)
%199 = load i32, i32* %1
%200 = sext i32 %199 to i64
%201 = add nsw i64 %200, %198
%202 = trunc i64 %201 to i32
store i32 %202, i32* %1
%203 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 0
%204 = load i32, i32* @UINT_MAX
%205 = call i32 @sprintf(i8* %203, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 %204)
%206 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 0
%207 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 391, i8* %206, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 -1)
%208 = load i32, i32* %1
%209 = sext i32 %208 to i64
%210 = add nsw i64 %209, %207
%211 = trunc i64 %210 to i32
store i32 %211, i32* %1
%212 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 0
%213 = load i32, i32* @UINT_MAX
%214 = call i32 @sprintf(i8* %212, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 %213)
%215 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 0
%216 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 394, i8* %215, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 -1)
%217 = load i32, i32* %1
%218 = sext i32 %217 to i64
%219 = add nsw i64 %218, %216
%220 = trunc i64 %219 to i32
store i32 %220, i32* %1
%221 = load i32, i32* %1
ret i32 %221
}

LLVM IR (-O2):
@.str = [158 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/hypermail-project/hypermail/refs/heads/master/src/trio/regression.c\00"
@.str.1 = [10 x i8] c"Number 42\00"
@.str.2 = [10 x i8] c"Number %d\00"
@.str.3 = [11 x i8] c"Number -42\00"
@.str.4 = [11 x i8] c"Number %ld\00"
@.str.5 = [7 x i8] c" 1234\00"
@.str.6 = [4 x i8] c"%6d\00"
@.str.7 = [4 x i8] c"%*d\00"
@.str.8 = [7 x i8] c"123456\00"
@.str.9 = [4 x i8] c"%4d\00"
@.str.10 = [5 x i8] c"0012\00"
@.str.11 = [5 x i8] c"%.4d\00"
@.str.12 = [5 x i8] c"%.*d\00"
@.str.13 = [7 x i8] c" 0012\00"
@.str.14 = [6 x i8] c"%6.*d\00"
@.str.15 = [6 x i8] c"%*.*d\00"
@.str.16 = [8 x i8] c"%*.*.*d\00"
@.str.17 = [8 x i8] c"%*.*.*i\00"
@.str.18 = [7 x i8] c"+01234\00"
@.str.19 = [6 x i8] c"%+06d\00"
@.str.20 = [7 x i8] c" 01234\00"
@.str.21 = [6 x i8] c"% 06d\00"
@.str.22 = [7 x i8] c"% +06d\00"
@.str.23 = [9 x i8] c"12 \00"
@.str.24 = [6 x i8] c"%-08d\00"
@.str.25 = [9 x i8] c" 000012\00"
@.str.26 = [7 x i8] c"%08.6d\00"
@.str.27 = [3 x i8] c"42\00"
@.str.28 = [3 x i8] c"%u\00"
@.str.29 = [3 x i8] c"-1\00"
@.str.30 = [3 x i8] c"%d\00"
@.str.31 = [3 x i8] c"52\00"
@.str.32 = [3 x i8] c"%o\00"
@.str.33 = [4 x i8] c"052\00"
@.str.34 = [4 x i8] c"%#o\00"
@.str.35 = [2 x i8] c"0\00"
@.str.36 = [3 x i8] c"2a\00"
@.str.37 = [3 x i8] c"%x\00"
@.str.38 = [3 x i8] c"2A\00"
@.str.39 = [3 x i8] c"%X\00"
@.str.40 = [5 x i8] c"0x2a\00"
@.str.41 = [4 x i8] c"%#x\00"
@.str.42 = [5 x i8] c"0X2A\00"
@.str.43 = [4 x i8] c"%#X\00"
@.str.44 = [7 x i8] c"0x00c \00"
@.str.45 = [8 x i8] c"%-.3x\00"
@.str.46 = [1 x i8] zeroinitializer
@.str.47 = [4 x i8] c"%.d\00"
@.str.48 = [5 x i8] c"%#.d\00"
@.str.49 = [4 x i8] c"%.o\00"
@.str.50 = [9 x i8] c" 0000\00"
@.str.51 = [6 x i8] c"%8.4o\00"
@.str.52 = [9 x i8] c" 0\00"
@.str.53 = [4 x i8] c"%8o\00"
@.str.54 = [9 x i8] c"00000000\00"
@.str.55 = [5 x i8] c"%08o\00"
@.str.56 = [5 x i8] c"%#.o\00"
@.str.57 = [4 x i8] c"%.x\00"
@.str.58 = [5 x i8] c"%#.x\00"
@UINT_MAX = global i32 0
define i32 @VerifyFormattingIntegers() {
%1 = alloca [256 x i8]
%2 = getelementptr inbounds [256 x i8], [256 x i8]* %1, i64 0, i64 0
%3 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 303, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 42)
%4 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 305, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 -42)
%5 = add i64 %4, %3
%6 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 307, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i32 42)
%7 = add i64 %5, %6
%8 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 309, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i32 -42)
%9 = add i64 %7, %8
%10 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 312, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 1234)
%11 = add i64 %9, %10
%12 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 314, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.7, i64 0, i64 0), i32 6, i32 1234)
%13 = add i64 %11, %12
%14 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 317, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0), i32 123456)
%15 = add i64 %13, %14
%16 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 320, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.11, i64 0, i64 0), i32 12)
%17 = add i64 %15, %16
%18 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 322, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), i32 4, i32 12)
%19 = add i64 %17, %18
%20 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 324, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.14, i64 0, i64 0), i32 4, i32 12)
%21 = add i64 %19, %20
%22 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 326, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i64 0, i64 0), i32 6, i32 4, i32 12)
%23 = add i64 %21, %22
%24 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 328, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.16, i64 0, i64 0), i32 6, i32 4, i32 2, i32 12)
%25 = add i64 %23, %24
%26 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 330, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.17, i64 0, i64 0), i32 6, i32 4, i32 10, i32 12)
%27 = add i64 %25, %26
%28 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 333, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.19, i64 0, i64 0), i32 1234)
%29 = add i64 %27, %28
%30 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 335, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.21, i64 0, i64 0), i32 1234)
%31 = add i64 %29, %30
%32 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 337, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.22, i64 0, i64 0), i32 1234)
%33 = add i64 %31, %32
%34 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 340, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.24, i64 0, i64 0), i32 12)
%35 = add i64 %33, %34
%36 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 343, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.25, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.26, i64 0, i64 0), i32 12)
%37 = add i64 %35, %36
%38 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 346, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.27, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 42)
%39 = add i64 %37, %38
%40 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 348, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.29, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.30, i64 0, i64 0), i32 -1)
%41 = add i64 %39, %40
%42 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 350, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.31, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.32, i64 0, i64 0), i32 42)
%43 = add i64 %41, %42
%44 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 352, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.33, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.34, i64 0, i64 0), i32 42)
%45 = add i64 %43, %44
%46 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 354, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.34, i64 0, i64 0), i32 0)
%47 = add i64 %45, %46
%48 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 356, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.36, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 42)
%49 = add i64 %47, %48
%50 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 358, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.38, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.39, i64 0, i64 0), i32 42)
%51 = add i64 %49, %50
%52 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 360, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.40, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.41, i64 0, i64 0), i32 42)
%53 = add i64 %51, %52
%54 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 362, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.42, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.43, i64 0, i64 0), i32 42)
%55 = add i64 %53, %54
%56 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 364, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.44, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.45, i64 0, i64 0), i32 12)
%57 = add i64 %55, %56
%58 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 366, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.47, i64 0, i64 0), i32 0)
%59 = add i64 %57, %58
%60 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 368, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.48, i64 0, i64 0), i32 0)
%61 = add i64 %59, %60
%62 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 370, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.27, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.47, i64 0, i64 0), i32 42)
%63 = add i64 %61, %62
%64 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 372, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.49, i64 0, i64 0), i32 0)
%65 = add i64 %63, %64
%66 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 374, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.50, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.51, i64 0, i64 0), i32 0)
%67 = add i64 %65, %66
%68 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 376, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.52, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.53, i64 0, i64 0), i32 0)
%69 = add i64 %67, %68
%70 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 378, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.54, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.55, i64 0, i64 0), i32 0)
%71 = add i64 %69, %70
%72 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 380, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.56, i64 0, i64 0), i32 0)
%73 = add i64 %71, %72
%74 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 382, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.31, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.49, i64 0, i64 0), i32 42)
%75 = add i64 %73, %74
%76 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 384, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.57, i64 0, i64 0), i32 0)
%77 = add i64 %75, %76
%78 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 386, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.46, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.58, i64 0, i64 0), i32 0)
%79 = add i64 %77, %78
%80 = tail call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 388, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.36, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.57, i64 0, i64 0), i32 42)
%81 = add i64 %79, %80
%82 = load i32, i32* @UINT_MAX
%83 = call i32 @sprintf(i8* %2, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 %82)
%84 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 391, i8* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.28, i64 0, i64 0), i32 -1)
%85 = add i64 %81, %84
%86 = load i32, i32* @UINT_MAX
%87 = call i32 @sprintf(i8* %2, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 %86)
%88 = call i64 (i8*, i32, i8*, i8*, i32, ...) @Verify(i8* getelementptr inbounds ([158 x i8], [158 x i8]* @.str, i64 0, i64 0), i32 394, i8* %2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i64 0, i64 0), i32 -1)
%89 = add i64 %85, %88
%90 = trunc i64 %89 to i32
ret i32 %90
}