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

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ wchar_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int /*<<< orphan*/);
wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n) {
  size_t i;
  wchar_t *p;
  assert(s != NULL);
  p = (wchar_t *)s;
  for (i = 0; i < n; i++) {
    *p = c;
    p++;
  }
  return s;
}


x86 assembly (clang, -O0):
<wmemset>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1179 <wmemset+0x69>
mov    -0xc(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1145 <wmemset+0x35>
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wmemset>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%r14
mov    %esi,%ebp
mov    %rdi,%rbx
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1030 <assert@plt>
test   %r14,%r14
je     125c <wmemset+0x14c>
cmp    $0x8,%r14
jae    1143 <wmemset+0x33>
xor    %eax,%eax
mov    %rbx,%rcx
jmp    123d <wmemset+0x12d>
mov    %r14,%rax
and    $0xfffffffffffffff8,%rax
movd   %ebp,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rsi
jae    1174 <wmemset+0x64>
xor    %esi,%esi
jmp    1205 <wmemset+0xf5>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movdqu %xmm0,(%rbx,%rsi,4)
movdqu %xmm0,0x10(%rbx,%rsi,4)
movdqu %xmm0,0x20(%rbx,%rsi,4)
movdqu %xmm0,0x30(%rbx,%rsi,4)
movdqu %xmm0,0x40(%rbx,%rsi,4)
movdqu %xmm0,0x50(%rbx,%rsi,4)
movdqu %xmm0,0x60(%rbx,%rsi,4)
movdqu %xmm0,0x70(%rbx,%rsi,4)
movdqu %xmm0,0x80(%rbx,%rsi,4)
movdqu %xmm0,0x90(%rbx,%rsi,4)
movdqu %xmm0,0xa0(%rbx,%rsi,4)
movdqu %xmm0,0xb0(%rbx,%rsi,4)
movdqu %xmm0,0xc0(%rbx,%rsi,4)
movdqu %xmm0,0xd0(%rbx,%rsi,4)
movdqu %xmm0,0xe0(%rbx,%rsi,4)
movdqu %xmm0,0xf0(%rbx,%rsi,4)
add    $0x40,%rsi
add    $0xfffffffffffffff8,%rdx
jne    1180 <wmemset+0x70>
test   %rcx,%rcx
je     1234 <wmemset+0x124>
lea    (%rbx,%rsi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movdqu %xmm0,-0x10(%rdx,%rsi,1)
movdqu %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1220 <wmemset+0x110>
cmp    %r14,%rax
je     125c <wmemset+0x14c>
lea    (%rbx,%rax,4),%rcx
sub    %rax,%r14
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %ebp,(%rcx,%rax,4)
add    $0x1,%rax
cmp    %rax,%r14
jne    1250 <wmemset+0x140>
mov    %rbx,%rax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32* @wmemset(i32* %0, i32 %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i64
%7 = alloca i64
%8 = alloca i32*
store i32* %0, i32** %4
store i32 %1, i32* %5
store i64 %2, i64* %6
%9 = load i32*, i32** %4
%10 = icmp ne i32* %9, null
%11 = zext i1 %10 to i32
%12 = call i32 @assert(i32 %11)
%13 = load i32*, i32** %4
store i32* %13, i32** %8
store i64 0, i64* %7
br label %14
14: ; preds = %23, %3
%15 = load i64, i64* %7
%16 = load i64, i64* %6
%17 = icmp ult i64 %15, %16
br i1 %17, label %18, label %26
18: ; preds = %14
%19 = load i32, i32* %5
%20 = load i32*, i32** %8
store i32 %19, i32* %20
%21 = load i32*, i32** %8
%22 = getelementptr inbounds i32, i32* %21, i32 1
store i32* %22, i32** %8
br label %23
23: ; preds = %18
%24 = load i64, i64* %7
%25 = add i64 %24, 1
store i64 %25, i64* %7
br label %14
26: ; preds = %14
%27 = load i32*, i32** %4
ret i32* %27
}

LLVM IR (-O2):
define i32* @wmemset(i32* returned writeonly %0, i32 %1, i64 %2) {
%4 = icmp ne i32* %0, null
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = icmp eq i64 %2, 0
br i1 %7, label %93, label %8
8: ; preds = %3
%9 = icmp ult i64 %2, 8
br i1 %9, label %84, label %10
10: ; preds = %8
%11 = and i64 %2, -8
%12 = getelementptr i32, i32* %0, i64 %11
%13 = insertelement <4 x i32> poison, i32 %1, i64 0
%14 = shufflevector <4 x i32> %13, <4 x i32> poison, <4 x i32> zeroinitializer
%15 = insertelement <4 x i32> poison, i32 %1, i64 0
%16 = shufflevector <4 x i32> %15, <4 x i32> poison, <4 x i32> zeroinitializer
%17 = add i64 %11, -8
%18 = lshr exact i64 %17, 3
%19 = add nuw nsw i64 %18, 1
%20 = and i64 %19, 7
%21 = icmp ult i64 %17, 56
br i1 %21, label %69, label %22
22: ; preds = %10
%23 = and i64 %19, 4611686018427387896
br label %24
24: ; preds = %24, %22
%25 = phi i64 [ 0, %22 ], [ %66, %24 ]
%26 = phi i64 [ 0, %22 ], [ %67, %24 ]
%27 = getelementptr i32, i32* %0, i64 %25
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %28
%29 = getelementptr i32, i32* %27, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %30
%31 = or i64 %25, 8
%32 = getelementptr i32, i32* %0, i64 %31
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %33
%34 = getelementptr i32, i32* %32, i64 4
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %35
%36 = or i64 %25, 16
%37 = getelementptr i32, i32* %0, i64 %36
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %38
%39 = getelementptr i32, i32* %37, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %40
%41 = or i64 %25, 24
%42 = getelementptr i32, i32* %0, i64 %41
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %43
%44 = getelementptr i32, i32* %42, i64 4
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %45
%46 = or i64 %25, 32
%47 = getelementptr i32, i32* %0, i64 %46
%48 = bitcast i32* %47 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %48
%49 = getelementptr i32, i32* %47, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %50
%51 = or i64 %25, 40
%52 = getelementptr i32, i32* %0, i64 %51
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %53
%54 = getelementptr i32, i32* %52, i64 4
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %55
%56 = or i64 %25, 48
%57 = getelementptr i32, i32* %0, i64 %56
%58 = bitcast i32* %57 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %58
%59 = getelementptr i32, i32* %57, i64 4
%60 = bitcast i32* %59 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %60
%61 = or i64 %25, 56
%62 = getelementptr i32, i32* %0, i64 %61
%63 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %63
%64 = getelementptr i32, i32* %62, i64 4
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %65
%66 = add nuw i64 %25, 64
%67 = add nuw i64 %26, 8
%68 = icmp eq i64 %67, %23
br i1 %68, label %69, label %24
69: ; preds = %24, %10
%70 = phi i64 [ 0, %10 ], [ %66, %24 ]
%71 = icmp eq i64 %20, 0
br i1 %71, label %82, label %72
72: ; preds = %69, %72
%73 = phi i64 [ %79, %72 ], [ %70, %69 ]
%74 = phi i64 [ %80, %72 ], [ 0, %69 ]
%75 = getelementptr i32, i32* %0, i64 %73
%76 = bitcast i32* %75 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %76
%77 = getelementptr i32, i32* %75, i64 4
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %16, <4 x i32>* %78
%79 = add nuw i64 %73, 8
%80 = add i64 %74, 1
%81 = icmp eq i64 %80, %20
br i1 %81, label %82, label %72
82: ; preds = %72, %69
%83 = icmp eq i64 %11, %2
br i1 %83, label %93, label %84
84: ; preds = %8, %82
%85 = phi i32* [ %0, %8 ], [ %12, %82 ]
%86 = phi i64 [ 0, %8 ], [ %11, %82 ]
br label %87
87: ; preds = %84, %87
%88 = phi i32* [ %90, %87 ], [ %85, %84 ]
%89 = phi i64 [ %91, %87 ], [ %86, %84 ]
store i32 %1, i32* %88
%90 = getelementptr inbounds i32, i32* %88, i64 1
%91 = add nuw i64 %89, 1
%92 = icmp eq i64 %91, %2
br i1 %92, label %93, label %87
93: ; preds = %87, %82, %3
ret i32* %0
}