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

/* Forward declarations */

/* Type definitions */
typedef int wchar_t;
typedef int /*<<< orphan*/ srcbuf;
typedef int /*<<< orphan*/ s;
typedef char mbstate_t;
typedef int /*<<< orphan*/ dstbuf;

/* Variables and functions */
int /*<<< orphan*/ LC_CTYPE;
int MB_CUR_MAX;
int /*<<< orphan*/ assert(int);
scalar_t__ memcmp(char *, char *, int);
int /*<<< orphan*/ memset(char *, int, int);
int /*<<< orphan*/ printf(char *);
char *setlocale(int /*<<< orphan*/, char *);
scalar_t__ strcmp(char *, char *);
int /*<<< orphan*/ wcscpy(int *, char *);
int wcsrtombs(char *, int const **, int, char *);
int /*<<< orphan*/ wmemset(int *, int, int);
int main(int argc, char *argv[]) {
  wchar_t srcbuf[128];
  char dstbuf[128];
  wchar_t *src;
  mbstate_t s;
  printf("1..1\n");
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, sizeof(dstbuf), &s) == 5);
  assert(strcmp(dstbuf, "hello") == 0);
  assert((unsigned char)dstbuf[6] == 0xcc);
  assert(src == NULL);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, 4, &s) == 4);
  assert(memcmp(dstbuf, "hell", 4) == 0);
  assert((unsigned char)dstbuf[5] == 0xcc);
  assert(src == srcbuf + 4);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(NULL, (const wchar_t **)&src, sizeof(dstbuf), &s) == 5);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, sizeof(dstbuf), NULL) == 5);
  assert(strcmp(dstbuf, "hello") == 0);
  assert((unsigned char)dstbuf[6] == 0xcc);
  assert(src == NULL);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  src = srcbuf;
  assert(wcsrtombs(NULL, (const wchar_t **)&src, 0, NULL) == 5);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  srcbuf[0] = L'\0';
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, sizeof(dstbuf), &s) == 0);
  assert(dstbuf[0] == L'\0');
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  wcscpy(srcbuf, L"hello");
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, 0, &s) == 0);
  assert((unsigned char)dstbuf[0] == 0xcc);
  assert(strcmp(setlocale(LC_CTYPE, "ja_JP.eucJP"), "ja_JP.eucJP") == 0);
  assert(MB_CUR_MAX > 1);
  wmemset(srcbuf, 0xcc, sizeof(srcbuf) / sizeof(*srcbuf));
  srcbuf[0] = 0xA3C1;
  srcbuf[1] = 0x0020;
  srcbuf[2] = 0x0042;
  srcbuf[3] = 0x0020;
  srcbuf[4] = 0xA3C3;
  srcbuf[5] = 0x0000;
  memset(dstbuf, 0xcc, sizeof(dstbuf));
  src = srcbuf;
  memset(&s, 0, sizeof(s));
  assert(wcsrtombs(dstbuf, (const wchar_t **)&src, sizeof(dstbuf), &s) == 7);
  assert(strcmp(dstbuf, "\xA3\xC1 B \xA3\xC3") == 0);
  assert((unsigned char)dstbuf[8] == 0xcc);
  assert(src == NULL);
  printf("ok 1 - wcsrtombs()\n");
  return (0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2a0,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    0xe50(%rip),%rdi
call   1040 <printf@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xe63(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
mov    $0x80,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x290(%rbp),%rdi
lea    0xdb4(%rip),%rsi
call   1080 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movzbl -0x28a(%rbp),%eax
cmp    $0xcc,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpq   $0x0,-0x298(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xd82(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
mov    $0x4,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x4,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x290(%rbp),%rdi
lea    0xcd9(%rip),%rsi
mov    $0x4,%edx
call   1070 <memcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movzbl -0x28b(%rbp),%eax
cmp    $0xcc,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    -0x298(%rbp),%rax
lea    -0x210(%rbp),%rcx
add    $0x10,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xc8f(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
xor    %eax,%eax
mov    %eax,%edi
lea    -0x298(%rbp),%rsi
mov    $0x80,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xc19(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
mov    $0x80,%edx
xor    %eax,%eax
mov    %eax,%ecx
call   1030 <wcsrtombs@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x290(%rbp),%rdi
lea    0xb80(%rip),%rsi
call   1080 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movzbl -0x28a(%rbp),%eax
cmp    $0xcc,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpq   $0x0,-0x298(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xb4e(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
xor    %eax,%eax
mov    %eax,%ecx
lea    -0x298(%rbp),%rsi
xor    %edx,%edx
mov    %rcx,%rdi
call   1030 <wcsrtombs@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
movl   $0x0,-0x210(%rbp)
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
mov    $0x80,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movsbl -0x290(%rbp),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    -0x210(%rbp),%rdi
lea    0xa55(%rip),%rsi
call   1090 <wcscpy@plt>
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
xor    %edx,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movzbl -0x290(%rbp),%eax
cmp    $0xcc,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    0x2971(%rip),%rax
mov    (%rax),%edi
lea    0x999(%rip),%rsi
call   10b0 <setlocale@plt>
mov    %rax,%rdi
lea    0x98a(%rip),%rsi
call   1080 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
mov    0x2954(%rip),%rax
cmpl   $0x1,(%rax)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x210(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
movl   $0xa3c1,-0x210(%rbp)
movl   $0x20,-0x20c(%rbp)
movl   $0x42,-0x208(%rbp)
movl   $0x20,-0x204(%rbp)
movl   $0xa3c3,-0x200(%rbp)
movl   $0x0,-0x1fc(%rbp)
lea    -0x290(%rbp),%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
lea    -0x210(%rbp),%rax
mov    %rax,-0x298(%rbp)
lea    -0x299(%rbp),%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
lea    -0x290(%rbp),%rdi
lea    -0x298(%rbp),%rsi
mov    $0x80,%edx
lea    -0x299(%rbp),%rcx
call   1030 <wcsrtombs@plt>
cmp    $0x7,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    -0x290(%rbp),%rdi
lea    0x8a3(%rip),%rsi
call   1080 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
movzbl -0x288(%rbp),%eax
cmp    $0xcc,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
cmpq   $0x0,-0x298(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10a0 <assert@plt>
lea    0x860(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x2a0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x298,%rsp
lea    0xe9f(%rip),%rdi
call   1030 <puts@plt>
lea    0x90(%rsp),%rbx
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
lea    0xe42(%rip),%r13
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
lea    0x10(%rsp),%r14
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
lea    0xf(%rsp),%r15
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
mov    %rsp,%r12
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x80,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   10a0 <assert@plt>
lea    0xdf5(%rip),%rbp
mov    %r14,%rdi
mov    %rbp,%rsi
call   1080 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0xcc,0x16(%rsp)
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,(%rsp)
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x4,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x4,%eax
sete   %dil
call   10a0 <assert@plt>
lea    0xd58(%rip),%rsi
mov    %r14,%rdi
mov    $0x4,%edx
call   1070 <memcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0xcc,0x15(%rsp)
sete   %dil
call   10a0 <assert@plt>
lea    0xa0(%rsp),%rax
xor    %edi,%edi
cmp    %rax,(%rsp)
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
mov    %rbx,(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
xor    %edi,%edi
mov    %r12,%rsi
mov    $0x80,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x80,%edx
xor    %ecx,%ecx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %r14,%rdi
mov    %rbp,%rsi
call   1080 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0xcc,0x16(%rsp)
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,(%rsp)
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
mov    %rbx,(%rsp)
xor    %edi,%edi
mov    %r12,%rsi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
movl   $0x0,0x90(%rsp)
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x80,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0x0,0x10(%rsp)
sete   %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1090 <wcscpy@plt>
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
mov    %r14,%rdi
mov    %r12,%rsi
xor    %edx,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0xcc,0x10(%rsp)
sete   %dil
call   10a0 <assert@plt>
mov    0x2ac7(%rip),%rax
mov    (%rax),%edi
lea    0xb11(%rip),%rbp
mov    %rbp,%rsi
call   10b0 <setlocale@plt>
mov    %rax,%rdi
mov    %rbp,%rsi
call   1080 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10a0 <assert@plt>
mov    0x2aae(%rip),%rax
xor    %edi,%edi
cmpl   $0x2,(%rax)
setge  %dil
call   10a0 <assert@plt>
mov    %rbx,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1060 <wmemset@plt>
movaps 0xa8f(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movq   $0xa3c3,0xa0(%rsp)
mov    %r14,%rdi
mov    $0xcc,%esi
mov    $0x80,%edx
call   1050 <memset@plt>
mov    %rbx,(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x1,%edx
call   1050 <memset@plt>
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x80,%edx
mov    %r15,%rcx
call   1040 <wcsrtombs@plt>
xor    %edi,%edi
cmp    $0x7,%eax
sete   %dil
call   10a0 <assert@plt>
lea    0xa6d(%rip),%rsi
mov    %r14,%rdi
call   1080 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpb   $0xcc,0x18(%rsp)
sete   %dil
call   10a0 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,(%rsp)
sete   %dil
call   10a0 <assert@plt>
lea    0xa3d(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x298,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [6 x i8] c"1..1\0A\00"
@.str.1 = [6 x i32] [i32 104, i32 101, i32 108, i32 108, i32 111, i32 0]
@.str.2 = [6 x i8] c"hello\00"
@.str.3 = [5 x i8] c"hell\00"
@LC_CTYPE = global i32 0
@.str.4 = [12 x i8] c"ja_JP.eucJP\00"
@MB_CUR_MAX = global i32 0
@.str.5 = [8 x i8] c"\A3\C1 B \A3\C3\00"
@.str.6 = [20 x i8] c"ok 1 - wcsrtombs()\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca [128 x i32]
%7 = alloca [128 x i8]
%8 = alloca i32*
%9 = alloca i8
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%10 = call i32 @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
%11 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%12 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%13 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%14 = call i32 @wcscpy(i32* %13, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%15 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%16 = call i32 @memset(i8* %15, i32 204, i32 128)
%17 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %17, i32** %8
%18 = call i32 @memset(i8* %9, i32 0, i32 1)
%19 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%20 = call i32 @wcsrtombs(i8* %19, i32** %8, i32 128, i8* %9)
%21 = icmp eq i32 %20, 5
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%25 = call i64 @strcmp(i8* %24, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%26 = icmp eq i64 %25, 0
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 6
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = icmp eq i32 %31, 204
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load i32*, i32** %8
%36 = icmp eq i32* %35, null
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%40 = call i32 @wmemset(i32* %39, i32 204, i32 128)
%41 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%42 = call i32 @wcscpy(i32* %41, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%43 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%44 = call i32 @memset(i8* %43, i32 204, i32 128)
%45 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %45, i32** %8
%46 = call i32 @memset(i8* %9, i32 0, i32 1)
%47 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%48 = call i32 @wcsrtombs(i8* %47, i32** %8, i32 4, i8* %9)
%49 = icmp eq i32 %48, 4
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%53 = call i64 @memcmp(i8* %52, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0), i32 4)
%54 = icmp eq i64 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 5
%58 = load i8, i8* %57
%59 = zext i8 %58 to i32
%60 = icmp eq i32 %59, 204
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
%63 = load i32*, i32** %8
%64 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%65 = getelementptr inbounds i32, i32* %64, i64 4
%66 = icmp eq i32* %63, %65
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%70 = call i32 @wmemset(i32* %69, i32 204, i32 128)
%71 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%72 = call i32 @wcscpy(i32* %71, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%73 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %73, i32** %8
%74 = call i32 @memset(i8* %9, i32 0, i32 1)
%75 = call i32 @wcsrtombs(i8* null, i32** %8, i32 128, i8* %9)
%76 = icmp eq i32 %75, 5
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
%79 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%80 = call i32 @wmemset(i32* %79, i32 204, i32 128)
%81 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%82 = call i32 @wcscpy(i32* %81, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%83 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%84 = call i32 @memset(i8* %83, i32 204, i32 128)
%85 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %85, i32** %8
%86 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%87 = call i32 @wcsrtombs(i8* %86, i32** %8, i32 128, i8* null)
%88 = icmp eq i32 %87, 5
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
%91 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%92 = call i64 @strcmp(i8* %91, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%93 = icmp eq i64 %92, 0
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 6
%97 = load i8, i8* %96
%98 = zext i8 %97 to i32
%99 = icmp eq i32 %98, 204
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
%102 = load i32*, i32** %8
%103 = icmp eq i32* %102, null
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
%106 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%107 = call i32 @wmemset(i32* %106, i32 204, i32 128)
%108 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%109 = call i32 @wcscpy(i32* %108, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%110 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %110, i32** %8
%111 = call i32 @wcsrtombs(i8* null, i32** %8, i32 0, i8* null)
%112 = icmp eq i32 %111, 5
%113 = zext i1 %112 to i32
%114 = call i32 @assert(i32 %113)
%115 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%116 = call i32 @wmemset(i32* %115, i32 204, i32 128)
%117 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32 0, i32* %117
%118 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%119 = call i32 @memset(i8* %118, i32 204, i32 128)
%120 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %120, i32** %8
%121 = call i32 @memset(i8* %9, i32 0, i32 1)
%122 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%123 = call i32 @wcsrtombs(i8* %122, i32** %8, i32 128, i8* %9)
%124 = icmp eq i32 %123, 0
%125 = zext i1 %124 to i32
%126 = call i32 @assert(i32 %125)
%127 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp eq i32 %129, 0
%131 = zext i1 %130 to i32
%132 = call i32 @assert(i32 %131)
%133 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%134 = call i32 @wmemset(i32* %133, i32 204, i32 128)
%135 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%136 = call i32 @wcscpy(i32* %135, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%137 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%138 = call i32 @memset(i8* %137, i32 204, i32 128)
%139 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %139, i32** %8
%140 = call i32 @memset(i8* %9, i32 0, i32 1)
%141 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%142 = call i32 @wcsrtombs(i8* %141, i32** %8, i32 0, i8* %9)
%143 = icmp eq i32 %142, 0
%144 = zext i1 %143 to i32
%145 = call i32 @assert(i32 %144)
%146 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%147 = load i8, i8* %146
%148 = zext i8 %147 to i32
%149 = icmp eq i32 %148, 204
%150 = zext i1 %149 to i32
%151 = call i32 @assert(i32 %150)
%152 = load i32, i32* @LC_CTYPE
%153 = call i8* @setlocale(i32 %152, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%154 = call i64 @strcmp(i8* %153, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%155 = icmp eq i64 %154, 0
%156 = zext i1 %155 to i32
%157 = call i32 @assert(i32 %156)
%158 = load i32, i32* @MB_CUR_MAX
%159 = icmp sgt i32 %158, 1
%160 = zext i1 %159 to i32
%161 = call i32 @assert(i32 %160)
%162 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%163 = call i32 @wmemset(i32* %162, i32 204, i32 128)
%164 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32 41921, i32* %164
%165 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 1
store i32 32, i32* %165
%166 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 2
store i32 66, i32* %166
%167 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 3
store i32 32, i32* %167
%168 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 4
store i32 41923, i32* %168
%169 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 5
store i32 0, i32* %169
%170 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%171 = call i32 @memset(i8* %170, i32 204, i32 128)
%172 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
store i32* %172, i32** %8
%173 = call i32 @memset(i8* %9, i32 0, i32 1)
%174 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%175 = call i32 @wcsrtombs(i8* %174, i32** %8, i32 128, i8* %9)
%176 = icmp eq i32 %175, 7
%177 = zext i1 %176 to i32
%178 = call i32 @assert(i32 %177)
%179 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 0
%180 = call i64 @strcmp(i8* %179, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0))
%181 = icmp eq i64 %180, 0
%182 = zext i1 %181 to i32
%183 = call i32 @assert(i32 %182)
%184 = getelementptr inbounds [128 x i8], [128 x i8]* %7, i64 0, i64 8
%185 = load i8, i8* %184
%186 = zext i8 %185 to i32
%187 = icmp eq i32 %186, 204
%188 = zext i1 %187 to i32
%189 = call i32 @assert(i32 %188)
%190 = load i32*, i32** %8
%191 = icmp eq i32* %190, null
%192 = zext i1 %191 to i32
%193 = call i32 @assert(i32 %192)
%194 = call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.6, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@.str.1 = [6 x i32] [i32 104, i32 101, i32 108, i32 108, i32 111, i32 0]
@.str.2 = [6 x i8] c"hello\00"
@.str.3 = [5 x i8] c"hell\00"
@LC_CTYPE = global i32 0
@.str.4 = [12 x i8] c"ja_JP.eucJP\00"
@MB_CUR_MAX = global i32 0
@.str.5 = [8 x i8] c"\A3\C1 B \A3\C3\00"
@str = [5 x i8] c"1..1\00"
@str.7 = [19 x i8] c"ok 1 - wcsrtombs()\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [128 x i32]
%4 = alloca [128 x i8]
%5 = alloca i32*
%6 = alloca i8
%7 = bitcast [128 x i32]* %3 to i8*
%8 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 0
%9 = bitcast i32** %5 to i8*
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @str, i64 0, i64 0))
%11 = getelementptr inbounds [128 x i32], [128 x i32]* %3, i64 0, i64 0
%12 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%13 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%14 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%15 = call i32 @memset(i8* %6, i32 0, i32 1)
%16 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 128, i8* %6)
%17 = icmp eq i32 %16, 5
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = call i64 @strcmp(i8* %8, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%21 = icmp eq i64 %20, 0
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 6
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, -52
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i32*, i32** %5
%30 = icmp eq i32* %29, null
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%34 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%35 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%36 = call i32 @memset(i8* %6, i32 0, i32 1)
%37 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 4, i8* %6)
%38 = icmp eq i32 %37, 4
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = call i64 @memcmp(i8* %8, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0), i32 4)
%42 = icmp eq i64 %41, 0
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 5
%46 = load i8, i8* %45
%47 = icmp eq i8 %46, -52
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = load i32*, i32** %5
%51 = getelementptr inbounds [128 x i32], [128 x i32]* %3, i64 0, i64 4
%52 = icmp eq i32* %50, %51
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%56 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
store i32* %11, i32** %5
%57 = call i32 @memset(i8* %6, i32 0, i32 1)
%58 = call i32 @wcsrtombs(i8* null, i32** %5, i32 128, i8* %6)
%59 = icmp eq i32 %58, 5
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%63 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%64 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%65 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 128, i8* null)
%66 = icmp eq i32 %65, 5
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = call i64 @strcmp(i8* %8, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%70 = icmp eq i64 %69, 0
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = load i8, i8* %24
%74 = icmp eq i8 %73, -52
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = load i32*, i32** %5
%78 = icmp eq i32* %77, null
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%82 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
store i32* %11, i32** %5
%83 = call i32 @wcsrtombs(i8* null, i32** %5, i32 0, i8* null)
%84 = icmp eq i32 %83, 5
%85 = zext i1 %84 to i32
%86 = call i32 @assert(i32 %85)
%87 = call i32 @wmemset(i32* %11, i32 204, i32 128)
store i32 0, i32* %11
%88 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%89 = call i32 @memset(i8* %6, i32 0, i32 1)
%90 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 128, i8* %6)
%91 = icmp eq i32 %90, 0
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = load i8, i8* %8
%95 = icmp eq i8 %94, 0
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%99 = call i32 @wcscpy(i32* %11, i8* bitcast ([6 x i32]* @.str.1 to i8*))
%100 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%101 = call i32 @memset(i8* %6, i32 0, i32 1)
%102 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 0, i8* %6)
%103 = icmp eq i32 %102, 0
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
%106 = load i8, i8* %8
%107 = icmp eq i8 %106, -52
%108 = zext i1 %107 to i32
%109 = call i32 @assert(i32 %108)
%110 = load i32, i32* @LC_CTYPE
%111 = call i8* @setlocale(i32 %110, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%112 = call i64 @strcmp(i8* %111, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
%113 = icmp eq i64 %112, 0
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
%116 = load i32, i32* @MB_CUR_MAX
%117 = icmp sgt i32 %116, 1
%118 = zext i1 %117 to i32
%119 = call i32 @assert(i32 %118)
%120 = call i32 @wmemset(i32* %11, i32 204, i32 128)
%121 = bitcast [128 x i32]* %3 to <4 x i32>*
store <4 x i32> <i32 41921, i32 32, i32 66, i32 32>, <4 x i32>* %121
store i32 41923, i32* %51
%122 = getelementptr inbounds [128 x i32], [128 x i32]* %3, i64 0, i64 5
store i32 0, i32* %122
%123 = call i32 @memset(i8* %8, i32 204, i32 128)
store i32* %11, i32** %5
%124 = call i32 @memset(i8* %6, i32 0, i32 1)
%125 = call i32 @wcsrtombs(i8* %8, i32** %5, i32 128, i8* %6)
%126 = icmp eq i32 %125, 7
%127 = zext i1 %126 to i32
%128 = call i32 @assert(i32 %127)
%129 = call i64 @strcmp(i8* %8, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i64 0, i64 0))
%130 = icmp eq i64 %129, 0
%131 = zext i1 %130 to i32
%132 = call i32 @assert(i32 %131)
%133 = getelementptr inbounds [128 x i8], [128 x i8]* %4, i64 0, i64 8
%134 = load i8, i8* %133
%135 = icmp eq i8 %134, -52
%136 = zext i1 %135 to i32
%137 = call i32 @assert(i32 %136)
%138 = load i32*, i32** %5
%139 = icmp eq i32* %138, null
%140 = zext i1 %139 to i32
%141 = call i32 @assert(i32 %140)
%142 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @str.7, i64 0, i64 0))
ret i32 0
}