#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;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int *wcscat(int *, char *);
scalar_t__ wcscmp(int *, char *);
int *wcscpy(int *, char *);
int wcslen(int *);
int *wcsncat(int *, char *, int);
int *wcsncpy(int *, char *, int);
int *wcsstr(int *, char *);
scalar_t__ wmemcmp(int *, char *, int);
int *wmemcpy(int *, int *, int);
int *wmemmove(int *, int *, int);
int *wmemset(int *, int, int);
int main() {
  wchar_t buf[100];
  int i;
  assert(wmemset(buf, 0, 100) == buf);
  for (i = 0; i < 100; ++i)
    assert(buf[i] == 0);
  assert(wcscpy(buf, L"fnord") == buf);
  assert(wcscat(buf, L"blah") == buf);
  assert(wcslen(buf) == 9);
  assert(wcscmp(buf, L"fnordblah") == 0);
  assert(wmemcmp(buf, L"fnordxxx", 5) == 0);
  assert(wmemcmp(buf, L"fnordxxx", 6) < 0);
  assert(wmemcpy(buf + 5, buf, 5) == buf + 5);
  assert(wmemcmp(buf, L"fnordfnord", 10) == 0);
  assert(wmemmove(buf + 1, buf, 3) == buf + 1);
  assert(wmemcmp(buf, L"ffnod", 5) == 0);
  assert(wmemmove(buf, buf + 1, 3) == buf);
  assert(wmemcmp(buf, L"fnood", 5) == 0);
  assert(wcsncpy(buf, L"fnord", 8) == buf);
  assert(wmemcmp(buf, L"fnord\0\0\0", 8) == 0);
  buf[5] = L'x';
  assert(wcsncpy(buf, L"test_", 5) == buf);
  assert(wmemcmp(buf, L"test_x\0\0", 8) == 0);
  wmemset(buf, L'x', 10);
  wcscpy(buf, L"ab");
  assert(wcsncat(buf, L"cd", 5) == buf);
  assert(wmemcmp(buf, L"abcd\0xxxxx", 10) == 0);
  assert(wcsncat(buf, L"efgh", 2) == buf);
  assert(wmemcmp(buf, L"abcdef\0xxx", 10) == 0);
  wcscpy(buf, L"abracadabra");
  assert(wcsstr(buf, L"abr") == buf);
  assert(wcsstr(buf + 1, L"abr") == buf + 7);
  assert(wcsstr(buf + 8, L"abr") == 0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1b0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x1a0(%rbp),%rdi
xor    %esi,%esi
mov    $0x64,%edx
call   1080 <wmemset@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
movl   $0x0,-0x1a4(%rbp)
cmpl   $0x64,-0x1a4(%rbp)
jge    1243 <main+0x83>
movslq -0x1a4(%rbp),%rax
cmpl   $0x0,-0x1a0(%rbp,%rax,4)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
mov    -0x1a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a4(%rbp)
jmp    1206 <main+0x46>
lea    -0x1a0(%rbp),%rdi
lea    0xe0f(%rip),%rsi
call   10a0 <wcscpy@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xd99(%rip),%rsi
call   1030 <wcscat@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
call   1070 <wcslen@plt>
cmp    $0x9,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xd3f(%rip),%rsi
call   1040 <wcscmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xd43(%rip),%rsi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xd1a(%rip),%rsi
mov    $0x6,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
add    $0x14,%rdi
lea    -0x1a0(%rbp),%rsi
mov    $0x5,%edx
call   1050 <wmemcpy@plt>
lea    -0x1a0(%rbp),%rcx
add    $0x14,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xcde(%rip),%rsi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
add    $0x4,%rdi
lea    -0x1a0(%rbp),%rsi
mov    $0x3,%edx
call   10d0 <wmemmove@plt>
lea    -0x1a0(%rbp),%rcx
add    $0x4,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xcaa(%rip),%rsi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    -0x1a0(%rbp),%rsi
add    $0x4,%rsi
mov    $0x3,%edx
call   10d0 <wmemmove@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xc66(%rip),%rsi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xc0d(%rip),%rsi
mov    $0x8,%edx
call   1090 <wcsncpy@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xcaa(%rip),%rsi
mov    $0x8,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
movl   $0x78,-0x18c(%rbp)
lea    -0x1a0(%rbp),%rdi
lea    0xbf3(%rip),%rsi
mov    $0x5,%edx
call   1090 <wcsncpy@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xc6c(%rip),%rsi
mov    $0x8,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
mov    $0x78,%esi
mov    $0xa,%edx
call   1080 <wmemset@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xb9d(%rip),%rsi
call   10a0 <wcscpy@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xb96(%rip),%rsi
mov    $0x5,%edx
call   1060 <wcsncat@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xc0f(%rip),%rsi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xb4a(%rip),%rsi
mov    $0x2,%edx
call   1060 <wcsncat@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xbe3(%rip),%rsi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xb06(%rip),%rsi
call   10a0 <wcscpy@plt>
lea    -0x1a0(%rbp),%rdi
lea    0xb23(%rip),%rsi
call   10c0 <wcsstr@plt>
lea    -0x1a0(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
add    $0x4,%rdi
lea    0xaf5(%rip),%rsi
call   10c0 <wcsstr@plt>
lea    -0x1a0(%rbp),%rcx
add    $0x1c,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
lea    -0x1a0(%rbp),%rdi
add    $0x20,%rdi
lea    0xac3(%rip),%rsi
call   10c0 <wcsstr@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   10b0 <assert@plt>
mov    -0x4(%rbp),%eax
add    $0x1b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x198,%rsp
mov    %rsp,%r12
xor    %ebx,%ebx
mov    %r12,%rdi
xor    %esi,%esi
mov    $0x64,%edx
call   1080 <wmemset@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
xor    %edi,%edi
cmpl   $0x0,(%rsp,%rbx,4)
sete   %dil
call   10b0 <assert@plt>
add    $0x1,%rbx
cmp    $0x64,%rbx
jne    11f0 <main+0x30>
lea    0xe50(%rip),%r15
mov    %r12,%rdi
mov    %r15,%rsi
call   10a0 <wcscpy@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xde4(%rip),%rsi
mov    %r12,%rdi
call   1030 <wcscat@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r12,%rdi
call   1070 <wcslen@plt>
xor    %edi,%edi
cmp    $0x9,%eax
sete   %dil
call   10b0 <assert@plt>
lea    0xd9d(%rip),%rsi
mov    %r12,%rdi
call   1040 <wcscmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xda8(%rip),%r14
mov    %r12,%rdi
mov    %r14,%rsi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r12,%rdi
mov    %r14,%rsi
mov    $0x6,%edx
call   10e0 <wmemcmp@plt>
shr    $0x3f,%rax
mov    %eax,%edi
call   10b0 <assert@plt>
lea    0x14(%rsp),%rbx
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x5,%edx
call   1050 <wmemcpy@plt>
xor    %edi,%edi
cmp    %rbx,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd69(%rip),%rsi
mov    %r12,%rdi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0x4(%rsp),%r14
mov    %r14,%rdi
mov    %r12,%rsi
mov    $0x3,%edx
call   10d0 <wmemmove@plt>
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd50(%rip),%rsi
mov    %r12,%rdi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r12,%rdi
mov    %r14,%rsi
mov    $0x3,%edx
call   10d0 <wmemmove@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd28(%rip),%rsi
mov    %r12,%rdi
mov    $0x5,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    $0x8,%edx
call   1090 <wcsncpy@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd84(%rip),%rsi
mov    %r12,%rdi
mov    $0x8,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
movl   $0x78,0x14(%rsp)
lea    0xcd6(%rip),%rsi
mov    %r12,%rdi
mov    $0x5,%edx
call   1090 <wcsncpy@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd5c(%rip),%rsi
mov    %r12,%rdi
mov    $0x8,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r12,%rdi
mov    $0x78,%esi
mov    $0xa,%edx
call   1080 <wmemset@plt>
lea    0xc98(%rip),%rsi
mov    %r12,%rdi
call   10a0 <wcscpy@plt>
lea    0xc95(%rip),%rsi
mov    %r12,%rdi
mov    $0x5,%edx
call   1060 <wcsncat@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd1b(%rip),%rsi
mov    %r12,%rdi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xc5d(%rip),%rsi
mov    %r12,%rdi
mov    $0x2,%edx
call   1060 <wcsncat@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xd03(%rip),%rsi
mov    %r12,%rdi
mov    $0xa,%edx
call   10e0 <wmemcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0xc2d(%rip),%rsi
mov    %r12,%rdi
call   10a0 <wcscpy@plt>
lea    0xc4e(%rip),%r15
mov    %r12,%rdi
mov    %r15,%rsi
call   10c0 <wcsstr@plt>
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
call   10b0 <assert@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   10c0 <wcsstr@plt>
lea    0x1c(%rsp),%rcx
xor    %edi,%edi
cmp    %rcx,%rax
sete   %dil
call   10b0 <assert@plt>
lea    0x20(%rsp),%rdi
mov    %r15,%rsi
call   10c0 <wcsstr@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   10b0 <assert@plt>
xor    %eax,%eax
add    $0x198,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [6 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 0]
@.str.1 = [5 x i32] [i32 98, i32 108, i32 97, i32 104, i32 0]
@.str.2 = [10 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 98, i32 108, i32 97, i32 104, i32 0]
@.str.3 = [9 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 120, i32 120, i32 120, i32 0]
@.str.4 = [11 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 102, i32 110, i32 111, i32 114, i32 100, i32 0]
@.str.5 = [6 x i32] [i32 102, i32 102, i32 110, i32 111, i32 100, i32 0]
@.str.6 = [6 x i32] [i32 102, i32 110, i32 111, i32 111, i32 100, i32 0]
@.str.7 = [9 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 0, i32 0, i32 0, i32 0]
@.str.8 = [6 x i32] [i32 116, i32 101, i32 115, i32 116, i32 95, i32 0]
@.str.9 = [9 x i32] [i32 116, i32 101, i32 115, i32 116, i32 95, i32 120, i32 0, i32 0, i32 0]
@.str.10 = [3 x i32] [i32 97, i32 98, i32 0]
@.str.11 = [3 x i32] [i32 99, i32 100, i32 0]
@.str.12 = [11 x i32] [i32 97, i32 98, i32 99, i32 100, i32 0, i32 120, i32 120, i32 120, i32 120, i32 120, i32 0]
@.str.13 = [5 x i32] [i32 101, i32 102, i32 103, i32 104, i32 0]
@.str.14 = [11 x i32] [i32 97, i32 98, i32 99, i32 100, i32 101, i32 102, i32 0, i32 120, i32 120, i32 120, i32 0]
@.str.15 = [12 x i32] [i32 97, i32 98, i32 114, i32 97, i32 99, i32 97, i32 100, i32 97, i32 98, i32 114, i32 97, i32 0]
@.str.16 = [4 x i32] [i32 97, i32 98, i32 114, i32 0]
define i32 @main() {
%1 = alloca i32
%2 = alloca [100 x i32]
%3 = alloca i32
store i32 0, i32* %1
%4 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%5 = call i32* @wmemset(i32* %4, i32 0, i32 100)
%6 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%7 = icmp eq i32* %5, %6
%8 = zext i1 %7 to i32
%9 = call i32 @assert(i32 %8)
store i32 0, i32* %3
br label %10
10: ; preds = %21, %0
%11 = load i32, i32* %3
%12 = icmp slt i32 %11, 100
br i1 %12, label %13, label %24
13: ; preds = %10
%14 = load i32, i32* %3
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 %15
%17 = load i32, i32* %16
%18 = icmp eq i32 %17, 0
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
br label %21
21: ; preds = %13
%22 = load i32, i32* %3
%23 = add nsw i32 %22, 1
store i32 %23, i32* %3
br label %10
24: ; preds = %10
%25 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%26 = call i32* @wcscpy(i32* %25, i8* bitcast ([6 x i32]* @.str to i8*))
%27 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%28 = icmp eq i32* %26, %27
%29 = zext i1 %28 to i32
%30 = call i32 @assert(i32 %29)
%31 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%32 = call i32* @wcscat(i32* %31, i8* bitcast ([5 x i32]* @.str.1 to i8*))
%33 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%34 = icmp eq i32* %32, %33
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%38 = call i32 @wcslen(i32* %37)
%39 = icmp eq i32 %38, 9
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%43 = call i64 @wcscmp(i32* %42, i8* bitcast ([10 x i32]* @.str.2 to i8*))
%44 = icmp eq i64 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%48 = call i64 @wmemcmp(i32* %47, i8* bitcast ([9 x i32]* @.str.3 to i8*), i32 5)
%49 = icmp eq i64 %48, 0
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%53 = call i64 @wmemcmp(i32* %52, i8* bitcast ([9 x i32]* @.str.3 to i8*), i32 6)
%54 = icmp slt i64 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%58 = getelementptr inbounds i32, i32* %57, i64 5
%59 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%60 = call i32* @wmemcpy(i32* %58, i32* %59, i32 5)
%61 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%62 = getelementptr inbounds i32, i32* %61, i64 5
%63 = icmp eq i32* %60, %62
%64 = zext i1 %63 to i32
%65 = call i32 @assert(i32 %64)
%66 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%67 = call i64 @wmemcmp(i32* %66, i8* bitcast ([11 x i32]* @.str.4 to i8*), i32 10)
%68 = icmp eq i64 %67, 0
%69 = zext i1 %68 to i32
%70 = call i32 @assert(i32 %69)
%71 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%72 = getelementptr inbounds i32, i32* %71, i64 1
%73 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%74 = call i32* @wmemmove(i32* %72, i32* %73, i32 3)
%75 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%76 = getelementptr inbounds i32, i32* %75, i64 1
%77 = icmp eq i32* %74, %76
%78 = zext i1 %77 to i32
%79 = call i32 @assert(i32 %78)
%80 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%81 = call i64 @wmemcmp(i32* %80, i8* bitcast ([6 x i32]* @.str.5 to i8*), i32 5)
%82 = icmp eq i64 %81, 0
%83 = zext i1 %82 to i32
%84 = call i32 @assert(i32 %83)
%85 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%86 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%87 = getelementptr inbounds i32, i32* %86, i64 1
%88 = call i32* @wmemmove(i32* %85, i32* %87, i32 3)
%89 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%90 = icmp eq i32* %88, %89
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%94 = call i64 @wmemcmp(i32* %93, i8* bitcast ([6 x i32]* @.str.6 to i8*), i32 5)
%95 = icmp eq i64 %94, 0
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%99 = call i32* @wcsncpy(i32* %98, i8* bitcast ([6 x i32]* @.str to i8*), i32 8)
%100 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%101 = icmp eq i32* %99, %100
%102 = zext i1 %101 to i32
%103 = call i32 @assert(i32 %102)
%104 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%105 = call i64 @wmemcmp(i32* %104, i8* bitcast ([9 x i32]* @.str.7 to i8*), i32 8)
%106 = icmp eq i64 %105, 0
%107 = zext i1 %106 to i32
%108 = call i32 @assert(i32 %107)
%109 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 5
store i32 120, i32* %109
%110 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%111 = call i32* @wcsncpy(i32* %110, i8* bitcast ([6 x i32]* @.str.8 to i8*), i32 5)
%112 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%113 = icmp eq i32* %111, %112
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
%116 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%117 = call i64 @wmemcmp(i32* %116, i8* bitcast ([9 x i32]* @.str.9 to i8*), i32 8)
%118 = icmp eq i64 %117, 0
%119 = zext i1 %118 to i32
%120 = call i32 @assert(i32 %119)
%121 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%122 = call i32* @wmemset(i32* %121, i32 120, i32 10)
%123 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%124 = call i32* @wcscpy(i32* %123, i8* bitcast ([3 x i32]* @.str.10 to i8*))
%125 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%126 = call i32* @wcsncat(i32* %125, i8* bitcast ([3 x i32]* @.str.11 to i8*), i32 5)
%127 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%128 = icmp eq i32* %126, %127
%129 = zext i1 %128 to i32
%130 = call i32 @assert(i32 %129)
%131 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%132 = call i64 @wmemcmp(i32* %131, i8* bitcast ([11 x i32]* @.str.12 to i8*), i32 10)
%133 = icmp eq i64 %132, 0
%134 = zext i1 %133 to i32
%135 = call i32 @assert(i32 %134)
%136 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%137 = call i32* @wcsncat(i32* %136, i8* bitcast ([5 x i32]* @.str.13 to i8*), i32 2)
%138 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%139 = icmp eq i32* %137, %138
%140 = zext i1 %139 to i32
%141 = call i32 @assert(i32 %140)
%142 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%143 = call i64 @wmemcmp(i32* %142, i8* bitcast ([11 x i32]* @.str.14 to i8*), i32 10)
%144 = icmp eq i64 %143, 0
%145 = zext i1 %144 to i32
%146 = call i32 @assert(i32 %145)
%147 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%148 = call i32* @wcscpy(i32* %147, i8* bitcast ([12 x i32]* @.str.15 to i8*))
%149 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%150 = call i32* @wcsstr(i32* %149, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%151 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%152 = icmp eq i32* %150, %151
%153 = zext i1 %152 to i32
%154 = call i32 @assert(i32 %153)
%155 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%156 = getelementptr inbounds i32, i32* %155, i64 1
%157 = call i32* @wcsstr(i32* %156, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%158 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%159 = getelementptr inbounds i32, i32* %158, i64 7
%160 = icmp eq i32* %157, %159
%161 = zext i1 %160 to i32
%162 = call i32 @assert(i32 %161)
%163 = getelementptr inbounds [100 x i32], [100 x i32]* %2, i64 0, i64 0
%164 = getelementptr inbounds i32, i32* %163, i64 8
%165 = call i32* @wcsstr(i32* %164, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%166 = icmp eq i32* %165, null
%167 = zext i1 %166 to i32
%168 = call i32 @assert(i32 %167)
%169 = load i32, i32* %1
ret i32 %169
}

LLVM IR (-O2):
@.str = [6 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 0]
@.str.1 = [5 x i32] [i32 98, i32 108, i32 97, i32 104, i32 0]
@.str.2 = [10 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 98, i32 108, i32 97, i32 104, i32 0]
@.str.3 = [9 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 120, i32 120, i32 120, i32 0]
@.str.4 = [11 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 102, i32 110, i32 111, i32 114, i32 100, i32 0]
@.str.5 = [6 x i32] [i32 102, i32 102, i32 110, i32 111, i32 100, i32 0]
@.str.6 = [6 x i32] [i32 102, i32 110, i32 111, i32 111, i32 100, i32 0]
@.str.7 = [9 x i32] [i32 102, i32 110, i32 111, i32 114, i32 100, i32 0, i32 0, i32 0, i32 0]
@.str.8 = [6 x i32] [i32 116, i32 101, i32 115, i32 116, i32 95, i32 0]
@.str.9 = [9 x i32] [i32 116, i32 101, i32 115, i32 116, i32 95, i32 120, i32 0, i32 0, i32 0]
@.str.10 = [3 x i32] [i32 97, i32 98, i32 0]
@.str.11 = [3 x i32] [i32 99, i32 100, i32 0]
@.str.12 = [11 x i32] [i32 97, i32 98, i32 99, i32 100, i32 0, i32 120, i32 120, i32 120, i32 120, i32 120, i32 0]
@.str.13 = [5 x i32] [i32 101, i32 102, i32 103, i32 104, i32 0]
@.str.14 = [11 x i32] [i32 97, i32 98, i32 99, i32 100, i32 101, i32 102, i32 0, i32 120, i32 120, i32 120, i32 0]
@.str.15 = [12 x i32] [i32 97, i32 98, i32 114, i32 97, i32 99, i32 97, i32 100, i32 97, i32 98, i32 114, i32 97, i32 0]
@.str.16 = [4 x i32] [i32 97, i32 98, i32 114, i32 0]
define i32 @main() {
%1 = alloca [100 x i32]
%2 = bitcast [100 x i32]* %1 to i8*
%3 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 0
%4 = call i32* @wmemset(i32* %3, i32 0, i32 100)
%5 = icmp eq i32* %4, %3
%6 = zext i1 %5 to i32
%7 = call i32 @assert(i32 %6)
br label %8
8: ; preds = %0, %8
%9 = phi i64 [ 0, %0 ], [ %15, %8 ]
%10 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 %9
%11 = load i32, i32* %10
%12 = icmp eq i32 %11, 0
%13 = zext i1 %12 to i32
%14 = call i32 @assert(i32 %13)
%15 = add nuw nsw i64 %9, 1
%16 = icmp eq i64 %15, 100
br i1 %16, label %17, label %8
17: ; preds = %8
%18 = call i32* @wcscpy(i32* %3, i8* bitcast ([6 x i32]* @.str to i8*))
%19 = icmp eq i32* %18, %3
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = call i32* @wcscat(i32* %3, i8* bitcast ([5 x i32]* @.str.1 to i8*))
%23 = icmp eq i32* %22, %3
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = call i32 @wcslen(i32* %3)
%27 = icmp eq i32 %26, 9
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = call i64 @wcscmp(i32* %3, i8* bitcast ([10 x i32]* @.str.2 to i8*))
%31 = icmp eq i64 %30, 0
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = call i64 @wmemcmp(i32* %3, i8* bitcast ([9 x i32]* @.str.3 to i8*), i32 5)
%35 = icmp eq i64 %34, 0
%36 = zext i1 %35 to i32
%37 = call i32 @assert(i32 %36)
%38 = call i64 @wmemcmp(i32* %3, i8* bitcast ([9 x i32]* @.str.3 to i8*), i32 6)
%39 = lshr i64 %38, 63
%40 = trunc i64 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 5
%43 = call i32* @wmemcpy(i32* %42, i32* %3, i32 5)
%44 = icmp eq i32* %43, %42
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = call i64 @wmemcmp(i32* %3, i8* bitcast ([11 x i32]* @.str.4 to i8*), i32 10)
%48 = icmp eq i64 %47, 0
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 1
%52 = call i32* @wmemmove(i32* %51, i32* %3, i32 3)
%53 = icmp eq i32* %52, %51
%54 = zext i1 %53 to i32
%55 = call i32 @assert(i32 %54)
%56 = call i64 @wmemcmp(i32* %3, i8* bitcast ([6 x i32]* @.str.5 to i8*), i32 5)
%57 = icmp eq i64 %56, 0
%58 = zext i1 %57 to i32
%59 = call i32 @assert(i32 %58)
%60 = call i32* @wmemmove(i32* %3, i32* %51, i32 3)
%61 = icmp eq i32* %60, %3
%62 = zext i1 %61 to i32
%63 = call i32 @assert(i32 %62)
%64 = call i64 @wmemcmp(i32* %3, i8* bitcast ([6 x i32]* @.str.6 to i8*), i32 5)
%65 = icmp eq i64 %64, 0
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = call i32* @wcsncpy(i32* %3, i8* bitcast ([6 x i32]* @.str to i8*), i32 8)
%69 = icmp eq i32* %68, %3
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call i64 @wmemcmp(i32* %3, i8* bitcast ([9 x i32]* @.str.7 to i8*), i32 8)
%73 = icmp eq i64 %72, 0
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
store i32 120, i32* %42
%76 = call i32* @wcsncpy(i32* %3, i8* bitcast ([6 x i32]* @.str.8 to i8*), i32 5)
%77 = icmp eq i32* %76, %3
%78 = zext i1 %77 to i32
%79 = call i32 @assert(i32 %78)
%80 = call i64 @wmemcmp(i32* %3, i8* bitcast ([9 x i32]* @.str.9 to i8*), i32 8)
%81 = icmp eq i64 %80, 0
%82 = zext i1 %81 to i32
%83 = call i32 @assert(i32 %82)
%84 = call i32* @wmemset(i32* %3, i32 120, i32 10)
%85 = call i32* @wcscpy(i32* %3, i8* bitcast ([3 x i32]* @.str.10 to i8*))
%86 = call i32* @wcsncat(i32* %3, i8* bitcast ([3 x i32]* @.str.11 to i8*), i32 5)
%87 = icmp eq i32* %86, %3
%88 = zext i1 %87 to i32
%89 = call i32 @assert(i32 %88)
%90 = call i64 @wmemcmp(i32* %3, i8* bitcast ([11 x i32]* @.str.12 to i8*), i32 10)
%91 = icmp eq i64 %90, 0
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = call i32* @wcsncat(i32* %3, i8* bitcast ([5 x i32]* @.str.13 to i8*), i32 2)
%95 = icmp eq i32* %94, %3
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = call i64 @wmemcmp(i32* %3, i8* bitcast ([11 x i32]* @.str.14 to i8*), i32 10)
%99 = icmp eq i64 %98, 0
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
%102 = call i32* @wcscpy(i32* %3, i8* bitcast ([12 x i32]* @.str.15 to i8*))
%103 = call i32* @wcsstr(i32* %3, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%104 = icmp eq i32* %103, %3
%105 = zext i1 %104 to i32
%106 = call i32 @assert(i32 %105)
%107 = call i32* @wcsstr(i32* %51, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%108 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 7
%109 = icmp eq i32* %107, %108
%110 = zext i1 %109 to i32
%111 = call i32 @assert(i32 %110)
%112 = getelementptr inbounds [100 x i32], [100 x i32]* %1, i64 0, i64 8
%113 = call i32* @wcsstr(i32* %112, i8* bitcast ([4 x i32]* @.str.16 to i8*))
%114 = icmp eq i32* %113, null
%115 = zext i1 %114 to i32
%116 = call i32 @assert(i32 %115)
ret i32 0
}