#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ memset(char *, float, int);
int /*<<< orphan*/ printf(char *, char *, int, int);
int snprintf(char *, int, char *, ...);
int strlen(char *);
int main(void) {
  int r, i;
  char buffer[512];
  r = snprintf(buffer, 512, "Hello, %d", 37);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'d", 37373737);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'x", 0xdeadbeef);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#X", 0xdeadbeef);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#llo", 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  memset(buffer, '\xff', 512);
  r = snprintf(buffer, 16, "Hello, %'#llo", 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  for (i = 16; i < 512; i++)
    assert(buffer[i] == '\xff');
  r = snprintf(buffer, 512, "Hello, %'#40.20llo", 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#-40.20llo", 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#*.*llo", 40, 20, 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#*.*llo", -40, 20, 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#*.*llo", -40, -20, 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %'#*.*llx", -40, -20, 0123456701234567ULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %p", &buffer);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %P", &buffer);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %20p", &buffer);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %-20p", &buffer);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 512, "Hello, %-20p", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 20, "Hello, %'-20p", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 15, "Hello, %'-20p", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 3, "Hello, %'-20p", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 0, "Hello, %'-20p", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  for (i = -30; i <= 30; i++) {
    r = snprintf(buffer, 40, "Hello, %'*p", i, NULL);
    printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  }
  r = snprintf(buffer, 40, "Hello, %'-20s", "String");
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'20s", "String");
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'020s", "String");
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'-20s", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'20s", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'020s", NULL);
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'-20c", '*');
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'20c", '*');
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  r = snprintf(buffer, 40, "Hello, %'020c", '*');
  printf("buffer = \"%s\" (%d), r = %d\n", buffer, strlen(buffer), r);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x310,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xe8f(%rip),%rdx
mov    $0x25,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x240(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x240(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xe5d(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xe61(%rip),%rdx
mov    $0x23a4729,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x238(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x238(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xe09(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xe18(%rip),%rdx
mov    $0xdeadbeef,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x230(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x230(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xdb5(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xdcf(%rip),%rdx
mov    $0xdeadbeef,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x228(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x228(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xd61(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xd87(%rip),%rdx
movabs $0x53977053977,%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x220(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x220(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xd08(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
movss  0xce6(%rip),%xmm0
mov    $0x200,%esi
call   1060 <memset@plt>
lea    -0x210(%rbp),%rdi
mov    $0x10,%esi
lea    0xd15(%rip),%rdx
movabs $0x53977053977,%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x218(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x218(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xc96(%rip),%rdi
call   1040 <printf@plt>
movl   $0x10,-0xc(%rbp)
cmpl   $0x200,-0xc(%rbp)
jge    13bb <main+0x26b>
movslq -0xc(%rbp),%rax
movsbl -0x210(%rbp,%rax,1),%eax
ff
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1070 <assert@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1384 <main+0x234>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xc8c(%rip),%rdx
movabs $0x53977053977,%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2b8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2b8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xbff(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xc46(%rip),%rdx
movabs $0x53977053977,%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2b0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2b0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xba6(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xc01(%rip),%rdx
mov    $0x28,%ecx
mov    $0x14,%r8d
movabs $0x53977053977,%r9
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2a8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2a8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xb42(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xb9d(%rip),%rdx
mov    $0xffffffd8,%ecx
mov    $0x14,%r8d
movabs $0x53977053977,%r9
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2a0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2a0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xade(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xb39(%rip),%rdx
mov    $0xffffffd8,%ecx
mov    $0xffffffec,%r8d
movabs $0x53977053977,%r9
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x298(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xa7a(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xae6(%rip),%rdx
mov    $0xffffffd8,%ecx
mov    $0xffffffec,%r8d
movabs $0x53977053977,%r9
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x290(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x290(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0xa16(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xa93(%rip),%rdx
lea    -0x210(%rbp),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x288(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x288(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x9c0(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0xa47(%rip),%rdx
lea    -0x210(%rbp),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x280(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x280(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x96a(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0x9fb(%rip),%rdx
lea    -0x210(%rbp),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x278(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x278(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x914(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0x9b1(%rip),%rdx
lea    -0x210(%rbp),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x270(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x270(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x8be(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x200,%esi
lea    0x95b(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x268(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x268(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x86b(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x14,%esi
lea    0x915(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x260(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x260(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x818(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0xf,%esi
lea    0x8c2(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x258(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x258(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x7c5(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x3,%esi
lea    0x86f(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x250(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x250(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x772(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
xor    %esi,%esi
lea    0x81f(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x248(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x248(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x722(%rip),%rdi
call   1040 <printf@plt>
movl   $0xffffffe2,-0xc(%rbp)
cmpl   $0x1e,-0xc(%rbp)
jg     1967 <main+0x817>
lea    -0x210(%rbp),%rdi
mov    -0xc(%rbp),%ecx
mov    $0x28,%esi
lea    0x7c6(%rip),%rdx
xor    %eax,%eax
mov    %eax,%r8d
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2c0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2c0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x6ba(%rip),%rdi
call   1040 <printf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    18f8 <main+0x7a8>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x770(%rip),%rdx
lea    0x777(%rip),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x308(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x308(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x656(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x72f(%rip),%rdx
lea    0x721(%rip),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x300(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x300(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x600(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x6e6(%rip),%rdx
lea    0x6cb(%rip),%rcx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2f8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2f8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x5aa(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x66e(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2f0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2f0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x557(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x630(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2e8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2e8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x504(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x5ea(%rip),%rdx
xor    %eax,%eax
mov    %eax,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2e0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2e0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x4b1(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x5a5(%rip),%rdx
mov    $0x2a,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2d8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2d8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x45d(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x55f(%rip),%rdx
mov    $0x2a,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2d0(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2d0(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x409(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0x28,%esi
lea    0x518(%rip),%rdx
mov    $0x2a,%ecx
mov    $0x0,%al
call   1050 <snprintf@plt>
mov    %eax,-0x8(%rbp)
lea    -0x210(%rbp),%rax
mov    %rax,-0x2c8(%rbp)
lea    -0x210(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x2c8(%rbp),%rsi
mov    %eax,%edx
mov    -0x8(%rbp),%ecx
lea    0x3b5(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x310,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x208,%rsp
movabs $0x53977053977,%r15
lea    0xe92(%rip),%rdx
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x200,%esi
mov    $0x25,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
lea    0xe74(%rip),%r14
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xe7a(%rip),%rdx
mov    %rbx,%rdi
mov    $0x200,%esi
mov    $0x23a4729,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xe51(%rip),%rdx
mov    %rbx,%rdi
mov    $0x200,%esi
mov    $0xdeadbeef,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xe28(%rip),%rdx
mov    %rbx,%rdi
mov    $0x200,%esi
mov    $0xdeadbeef,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xe00(%rip),%r12
mov    %rbx,%rdi
mov    $0x200,%esi
mov    %r12,%rdx
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
movss  0xd7e(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x200,%esi
call   1060 <memset@plt>
mov    %rbx,%rdi
mov    $0x10,%esi
mov    %r12,%rdx
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
mov    $0x10,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %edi,%edi
cmpb   $0xff,(%rsp,%rbx,1)
sete   %dil
call   1070 <assert@plt>
add    $0x1,%rbx
cmp    $0x200,%rbx
jne    12d0 <main+0x180>
lea    0xd67(%rip),%rdx
mov    %rsp,%r13
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
lea    0xcf5(%rip),%r14
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xd3e(%rip),%rdx
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xd20(%rip),%r12
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r12,%rdx
mov    $0x28,%ecx
mov    $0x14,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r12,%rdx
mov    $0xffffffd8,%ecx
mov    $0x14,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r12,%rdx
mov    $0xffffffd8,%ecx
mov    $0xffffffec,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xc7f(%rip),%rdx
mov    %r13,%rdi
mov    $0x200,%esi
mov    $0xffffffd8,%ecx
mov    $0xffffffec,%r8d
mov    %r15,%r9
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xc53(%rip),%rdx
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r13,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xc2b(%rip),%rdx
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r13,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xc03(%rip),%rdx
mov    %r13,%rdi
mov    $0x200,%esi
mov    %r13,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xbdd(%rip),%rbx
mov    %r13,%rdi
mov    $0x200,%esi
mov    %rbx,%rdx
mov    %r13,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x200,%esi
mov    %rbx,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
lea    0xb88(%rip),%r15
mov    %r13,%rdi
mov    $0x14,%esi
mov    %r15,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0xf,%esi
mov    %r15,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
mov    $0x3,%esi
mov    %r15,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    %r15,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
mov    $0xffffffe2,%ebp
lea    0xad9(%rip),%r15
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r13,%rdi
mov    $0x28,%esi
mov    %r15,%rdx
mov    %ebp,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %eax,%edx
mov    %ebx,%ecx
call   1040 <printf@plt>
add    $0x1,%ebp
cmp    $0x1f,%ebp
jne    1610 <main+0x4c0>
lea    0xa9b(%rip),%rdx
lea    0xaa2(%rip),%r15
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x28,%esi
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
lea    0x992(%rip),%r14
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xa6d(%rip),%r12
mov    %rbx,%rdi
mov    $0x28,%esi
mov    %r12,%rdx
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0xa45(%rip),%r13
mov    %rbx,%rdi
mov    $0x28,%esi
mov    %r13,%rdx
mov    %r15,%rcx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x28,%esi
lea    0x9e6(%rip),%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x28,%esi
mov    %r12,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
mov    %rbx,%rdi
mov    $0x28,%esi
mov    %r13,%rdx
xor    %ecx,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0x993(%rip),%rdx
mov    %rbx,%rdi
mov    $0x28,%esi
mov    $0x2a,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0x96d(%rip),%rdx
mov    %rbx,%rdi
mov    $0x28,%esi
mov    $0x2a,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
lea    0x946(%rip),%rdx
mov    %rbx,%rdi
mov    $0x28,%esi
mov    $0x2a,%ecx
xor    %eax,%eax
call   1050 <snprintf@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %eax,%edx
mov    %ebp,%ecx
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x208,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [10 x i8] c"Hello, %d\00"
@.str.1 = [28 x i8] c"buffer = \22%s\22 (%d), r = %d\0A\00"
@.str.2 = [11 x i8] c"Hello, %'d\00"
@.str.3 = [11 x i8] c"Hello, %'x\00"
@.str.4 = [12 x i8] c"Hello, %'#X\00"
@.str.5 = [14 x i8] c"Hello, %'#llo\00"
@.str.6 = [19 x i8] c"Hello, %'.20llo\00"
@.str.7 = [20 x i8] c"Hello, %'#-40.20llo\00"
@.str.8 = [17 x i8] c"Hello, %'#*.*llo\00"
@.str.9 = [17 x i8] c"Hello, %'#*.*llx\00"
@.str.10 = [10 x i8] c"Hello, %p\00"
@.str.11 = [10 x i8] c"Hello, %P\00"
@.str.12 = [12 x i8] c"Hello, %20p\00"
@.str.13 = [13 x i8] c"Hello, %-20p\00"
@.str.14 = [14 x i8] c"Hello, %'-20p\00"
@.str.15 = [12 x i8] c"Hello, %'*p\00"
@.str.16 = [14 x i8] c"Hello, %'-20s\00"
@.str.17 = [7 x i8] c"String\00"
@.str.18 = [13 x i8] c"Hello, %'20s\00"
@.str.19 = [14 x i8] c"Hello, %'020s\00"
@.str.20 = [14 x i8] c"Hello, %'-20c\00"
@.str.21 = [13 x i8] c"Hello, %'20c\00"
@.str.22 = [14 x i8] c"Hello, %'020c\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca [512 x i8]
store i32 0, i32* %1
%5 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%6 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %5, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 37)
store i32 %6, i32* %2
%7 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%8 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%9 = call i32 @strlen(i8* %8)
%10 = load i32, i32* %2
%11 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %7, i32 %9, i32 %10)
%12 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%13 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %12, i32 512, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i32 37373737)
store i32 %13, i32* %2
%14 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%15 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%16 = call i32 @strlen(i8* %15)
%17 = load i32, i32* %2
%18 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %14, i32 %16, i32 %17)
%19 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%20 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %19, i32 512, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i32 -559038737)
store i32 %20, i32* %2
%21 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%22 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%23 = call i32 @strlen(i8* %22)
%24 = load i32, i32* %2
%25 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %21, i32 %23, i32 %24)
%26 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%27 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %26, i32 512, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i32 -559038737)
store i32 %27, i32* %2
%28 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%29 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%30 = call i32 @strlen(i8* %29)
%31 = load i32, i32* %2
%32 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %28, i32 %30, i32 %31)
%33 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%34 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %33, i32 512, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0), i64 5744368105847)
store i32 %34, i32* %2
%35 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%36 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%37 = call i32 @strlen(i8* %36)
%38 = load i32, i32* %2
%39 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %35, i32 %37, i32 %38)
%40 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%41 = call i32 @memset(i8* %40, float -1.000000e+00, i32 512)
%42 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%43 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %42, i32 16, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0), i64 5744368105847)
store i32 %43, i32* %2
%44 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%45 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%46 = call i32 @strlen(i8* %45)
%47 = load i32, i32* %2
%48 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %44, i32 %46, i32 %47)
store i32 16, i32* %3
br label %49
49: ; preds = %61, %0
%50 = load i32, i32* %3
%51 = icmp slt i32 %50, 512
br i1 %51, label %52, label %64
52: ; preds = %49
%53 = load i32, i32* %3
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 %54
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = icmp eq i32 %57, -1
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
br label %61
61: ; preds = %52
%62 = load i32, i32* %3
%63 = add nsw i32 %62, 1
store i32 %63, i32* %3
br label %49
64: ; preds = %49
%65 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%66 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %65, i32 512, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0), i64 5744368105847)
store i32 %66, i32* %2
%67 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%68 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%69 = call i32 @strlen(i8* %68)
%70 = load i32, i32* %2
%71 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %67, i32 %69, i32 %70)
%72 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%73 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %72, i32 512, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.7, i64 0, i64 0), i64 5744368105847)
store i32 %73, i32* %2
%74 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%75 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%76 = call i32 @strlen(i8* %75)
%77 = load i32, i32* %2
%78 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %74, i32 %76, i32 %77)
%79 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%80 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %79, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 40, i32 20, i64 5744368105847)
store i32 %80, i32* %2
%81 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%82 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%83 = call i32 @strlen(i8* %82)
%84 = load i32, i32* %2
%85 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %81, i32 %83, i32 %84)
%86 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%87 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %86, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 -40, i32 20, i64 5744368105847)
store i32 %87, i32* %2
%88 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%89 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%90 = call i32 @strlen(i8* %89)
%91 = load i32, i32* %2
%92 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %88, i32 %90, i32 %91)
%93 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%94 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %93, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 -40, i32 -20, i64 5744368105847)
store i32 %94, i32* %2
%95 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%96 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%97 = call i32 @strlen(i8* %96)
%98 = load i32, i32* %2
%99 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %95, i32 %97, i32 %98)
%100 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%101 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %100, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.9, i64 0, i64 0), i32 -40, i32 -20, i64 5744368105847)
store i32 %101, i32* %2
%102 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%103 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%104 = call i32 @strlen(i8* %103)
%105 = load i32, i32* %2
%106 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %102, i32 %104, i32 %105)
%107 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%108 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %107, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), [512 x i8]* %4)
store i32 %108, i32* %2
%109 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%110 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%111 = call i32 @strlen(i8* %110)
%112 = load i32, i32* %2
%113 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %109, i32 %111, i32 %112)
%114 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%115 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %114, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.11, i64 0, i64 0), [512 x i8]* %4)
store i32 %115, i32* %2
%116 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%117 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%118 = call i32 @strlen(i8* %117)
%119 = load i32, i32* %2
%120 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %116, i32 %118, i32 %119)
%121 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%122 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %121, i32 512, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.12, i64 0, i64 0), [512 x i8]* %4)
store i32 %122, i32* %2
%123 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%124 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%125 = call i32 @strlen(i8* %124)
%126 = load i32, i32* %2
%127 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %123, i32 %125, i32 %126)
%128 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%129 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %128, i32 512, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.13, i64 0, i64 0), [512 x i8]* %4)
store i32 %129, i32* %2
%130 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%131 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%132 = call i32 @strlen(i8* %131)
%133 = load i32, i32* %2
%134 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %130, i32 %132, i32 %133)
%135 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%136 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %135, i32 512, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.13, i64 0, i64 0), i8* null)
store i32 %136, i32* %2
%137 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%138 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%139 = call i32 @strlen(i8* %138)
%140 = load i32, i32* %2
%141 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %137, i32 %139, i32 %140)
%142 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%143 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %142, i32 20, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
store i32 %143, i32* %2
%144 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%145 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%146 = call i32 @strlen(i8* %145)
%147 = load i32, i32* %2
%148 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %144, i32 %146, i32 %147)
%149 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%150 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %149, i32 15, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
store i32 %150, i32* %2
%151 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%152 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%153 = call i32 @strlen(i8* %152)
%154 = load i32, i32* %2
%155 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %151, i32 %153, i32 %154)
%156 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%157 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %156, i32 3, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
store i32 %157, i32* %2
%158 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%159 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%160 = call i32 @strlen(i8* %159)
%161 = load i32, i32* %2
%162 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %158, i32 %160, i32 %161)
%163 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%164 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %163, i32 0, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
store i32 %164, i32* %2
%165 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%166 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%167 = call i32 @strlen(i8* %166)
%168 = load i32, i32* %2
%169 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %165, i32 %167, i32 %168)
store i32 -30, i32* %3
br label %170
170: ; preds = %182, %64
%171 = load i32, i32* %3
%172 = icmp sle i32 %171, 30
br i1 %172, label %173, label %185
173: ; preds = %170
%174 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%175 = load i32, i32* %3
%176 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %174, i32 40, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.15, i64 0, i64 0), i32 %175, i8* null)
store i32 %176, i32* %2
%177 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%178 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%179 = call i32 @strlen(i8* %178)
%180 = load i32, i32* %2
%181 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %177, i32 %179, i32 %180)
br label %182
182: ; preds = %173
%183 = load i32, i32* %3
%184 = add nsw i32 %183, 1
store i32 %184, i32* %3
br label %170
185: ; preds = %170
%186 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%187 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %186, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
store i32 %187, i32* %2
%188 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%189 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%190 = call i32 @strlen(i8* %189)
%191 = load i32, i32* %2
%192 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %188, i32 %190, i32 %191)
%193 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%194 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %193, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
store i32 %194, i32* %2
%195 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%196 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%197 = call i32 @strlen(i8* %196)
%198 = load i32, i32* %2
%199 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %195, i32 %197, i32 %198)
%200 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%201 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %200, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
store i32 %201, i32* %2
%202 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%203 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%204 = call i32 @strlen(i8* %203)
%205 = load i32, i32* %2
%206 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %202, i32 %204, i32 %205)
%207 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%208 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %207, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i8* null)
store i32 %208, i32* %2
%209 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%210 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%211 = call i32 @strlen(i8* %210)
%212 = load i32, i32* %2
%213 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %209, i32 %211, i32 %212)
%214 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%215 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %214, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.18, i64 0, i64 0), i8* null)
store i32 %215, i32* %2
%216 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%217 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%218 = call i32 @strlen(i8* %217)
%219 = load i32, i32* %2
%220 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %216, i32 %218, i32 %219)
%221 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%222 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %221, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.19, i64 0, i64 0), i8* null)
store i32 %222, i32* %2
%223 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%224 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%225 = call i32 @strlen(i8* %224)
%226 = load i32, i32* %2
%227 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %223, i32 %225, i32 %226)
%228 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%229 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %228, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.20, i64 0, i64 0), i32 42)
store i32 %229, i32* %2
%230 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%231 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%232 = call i32 @strlen(i8* %231)
%233 = load i32, i32* %2
%234 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %230, i32 %232, i32 %233)
%235 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%236 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %235, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.21, i64 0, i64 0), i32 42)
store i32 %236, i32* %2
%237 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%238 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%239 = call i32 @strlen(i8* %238)
%240 = load i32, i32* %2
%241 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %237, i32 %239, i32 %240)
%242 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%243 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %242, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.22, i64 0, i64 0), i32 42)
store i32 %243, i32* %2
%244 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%245 = getelementptr inbounds [512 x i8], [512 x i8]* %4, i64 0, i64 0
%246 = call i32 @strlen(i8* %245)
%247 = load i32, i32* %2
%248 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %244, i32 %246, i32 %247)
ret i32 0
}

LLVM IR (-O2):
@.str = [10 x i8] c"Hello, %d\00"
@.str.1 = [28 x i8] c"buffer = \22%s\22 (%d), r = %d\0A\00"
@.str.2 = [11 x i8] c"Hello, %'d\00"
@.str.3 = [11 x i8] c"Hello, %'x\00"
@.str.4 = [12 x i8] c"Hello, %'#X\00"
@.str.5 = [14 x i8] c"Hello, %'#llo\00"
@.str.6 = [19 x i8] c"Hello, %'.20llo\00"
@.str.7 = [20 x i8] c"Hello, %'#-40.20llo\00"
@.str.8 = [17 x i8] c"Hello, %'#*.*llo\00"
@.str.9 = [17 x i8] c"Hello, %'#*.*llx\00"
@.str.10 = [10 x i8] c"Hello, %p\00"
@.str.11 = [10 x i8] c"Hello, %P\00"
@.str.12 = [12 x i8] c"Hello, %20p\00"
@.str.13 = [13 x i8] c"Hello, %-20p\00"
@.str.14 = [14 x i8] c"Hello, %'-20p\00"
@.str.15 = [12 x i8] c"Hello, %'*p\00"
@.str.16 = [14 x i8] c"Hello, %'-20s\00"
@.str.17 = [7 x i8] c"String\00"
@.str.18 = [13 x i8] c"Hello, %'20s\00"
@.str.19 = [14 x i8] c"Hello, %'020s\00"
@.str.20 = [14 x i8] c"Hello, %'-20c\00"
@.str.21 = [13 x i8] c"Hello, %'20c\00"
@.str.22 = [14 x i8] c"Hello, %'020c\00"
define i32 @main() {
%1 = alloca [512 x i8]
%2 = getelementptr inbounds [512 x i8], [512 x i8]* %1, i64 0, i64 0
%3 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 37)
%4 = call i32 @strlen(i8* %2)
%5 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %4, i32 %3)
%6 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i32 37373737)
%7 = call i32 @strlen(i8* %2)
%8 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %7, i32 %6)
%9 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i32 -559038737)
%10 = call i32 @strlen(i8* %2)
%11 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %10, i32 %9)
%12 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i32 -559038737)
%13 = call i32 @strlen(i8* %2)
%14 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %13, i32 %12)
%15 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0), i64 5744368105847)
%16 = call i32 @strlen(i8* %2)
%17 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %16, i32 %15)
%18 = call i32 @memset(i8* %2, float -1.000000e+00, i32 512)
%19 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 16, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.5, i64 0, i64 0), i64 5744368105847)
%20 = call i32 @strlen(i8* %2)
%21 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %20, i32 %19)
br label %22
22: ; preds = %0, %22
%23 = phi i64 [ 16, %0 ], [ %29, %22 ]
%24 = getelementptr inbounds [512 x i8], [512 x i8]* %1, i64 0, i64 %23
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, -1
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = add nuw nsw i64 %23, 1
%30 = icmp eq i64 %29, 512
br i1 %30, label %31, label %22
31: ; preds = %22
%32 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.6, i64 0, i64 0), i64 5744368105847)
%33 = call i32 @strlen(i8* %2)
%34 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %33, i32 %32)
%35 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.7, i64 0, i64 0), i64 5744368105847)
%36 = call i32 @strlen(i8* %2)
%37 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %36, i32 %35)
%38 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 40, i32 20, i64 5744368105847)
%39 = call i32 @strlen(i8* %2)
%40 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %39, i32 %38)
%41 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 -40, i32 20, i64 5744368105847)
%42 = call i32 @strlen(i8* %2)
%43 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %42, i32 %41)
%44 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i64 0, i64 0), i32 -40, i32 -20, i64 5744368105847)
%45 = call i32 @strlen(i8* %2)
%46 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %45, i32 %44)
%47 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.9, i64 0, i64 0), i32 -40, i32 -20, i64 5744368105847)
%48 = call i32 @strlen(i8* %2)
%49 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %48, i32 %47)
%50 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), [512 x i8]* %1)
%51 = call i32 @strlen(i8* %2)
%52 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %51, i32 %50)
%53 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.11, i64 0, i64 0), [512 x i8]* %1)
%54 = call i32 @strlen(i8* %2)
%55 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %54, i32 %53)
%56 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.12, i64 0, i64 0), [512 x i8]* %1)
%57 = call i32 @strlen(i8* %2)
%58 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %57, i32 %56)
%59 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.13, i64 0, i64 0), [512 x i8]* %1)
%60 = call i32 @strlen(i8* %2)
%61 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %60, i32 %59)
%62 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 512, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.13, i64 0, i64 0), i8* null)
%63 = call i32 @strlen(i8* %2)
%64 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %63, i32 %62)
%65 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 20, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
%66 = call i32 @strlen(i8* %2)
%67 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %66, i32 %65)
%68 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 15, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
%69 = call i32 @strlen(i8* %2)
%70 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %69, i32 %68)
%71 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 3, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
%72 = call i32 @strlen(i8* %2)
%73 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %72, i32 %71)
%74 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 0, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.14, i64 0, i64 0), i8* null)
%75 = call i32 @strlen(i8* %2)
%76 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %75, i32 %74)
br label %77
77: ; preds = %31, %77
%78 = phi i32 [ -30, %31 ], [ %82, %77 ]
%79 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.15, i64 0, i64 0), i32 %78, i8* null)
%80 = call i32 @strlen(i8* %2)
%81 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %80, i32 %79)
%82 = add nsw i32 %78, 1
%83 = icmp eq i32 %82, 31
br i1 %83, label %84, label %77
84: ; preds = %77
%85 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
%86 = call i32 @strlen(i8* %2)
%87 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %86, i32 %85)
%88 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
%89 = call i32 @strlen(i8* %2)
%90 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %89, i32 %88)
%91 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0))
%92 = call i32 @strlen(i8* %2)
%93 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %92, i32 %91)
%94 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.16, i64 0, i64 0), i8* null)
%95 = call i32 @strlen(i8* %2)
%96 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %95, i32 %94)
%97 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.18, i64 0, i64 0), i8* null)
%98 = call i32 @strlen(i8* %2)
%99 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %98, i32 %97)
%100 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.19, i64 0, i64 0), i8* null)
%101 = call i32 @strlen(i8* %2)
%102 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %101, i32 %100)
%103 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.20, i64 0, i64 0), i32 42)
%104 = call i32 @strlen(i8* %2)
%105 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %104, i32 %103)
%106 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.21, i64 0, i64 0), i32 42)
%107 = call i32 @strlen(i8* %2)
%108 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %107, i32 %106)
%109 = call i32 (i8*, i32, i8*, ...) @snprintf(i8* %2, i32 40, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.22, i64 0, i64 0), i32 42)
%110 = call i32 @strlen(i8* %2)
%111 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %2, i32 %110, i32 %109)
ret i32 0
}