void vnot(int y[], int x[], int n) {
  int i;
  for (i = 0; i < n; i++)
    y[i] = !x[i];
}


x86 assembly (clang, -O0):
<vnot>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1151 <vnot+0x51>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <vnot+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vnot>:
test   %edx,%edx
jle    1267 <vnot+0x167>
mov    %edx,%r9d
cmp    $0x8,%edx
jb     112a <vnot+0x2a>
lea    (%rsi,%r9,4),%rax
cmp    %rdi,%rax
jbe    11a4 <vnot+0xa4>
lea    (%rdi,%r9,4),%rax
cmp    %rsi,%rax
jbe    11a4 <vnot+0xa4>
xor    %ecx,%ecx
mov    %rcx,%r8
not    %r8
add    %r9,%r8
mov    %r9,%rdx
and    $0x3,%rdx
je     1156 <vnot+0x56>
xchg   %ax,%ax
xor    %eax,%eax
cmpl   $0x0,(%rsi,%rcx,4)
sete   %al
mov    %eax,(%rdi,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rdx
jne    1140 <vnot+0x40>
cmp    $0x3,%r8
jb     1267 <vnot+0x167>
xor    %eax,%eax
cmpl   $0x0,(%rsi,%rcx,4)
sete   %al
mov    %eax,(%rdi,%rcx,4)
xor    %eax,%eax
cmpl   $0x0,0x4(%rsi,%rcx,4)
sete   %al
mov    %eax,0x4(%rdi,%rcx,4)
xor    %eax,%eax
cmpl   $0x0,0x8(%rsi,%rcx,4)
sete   %al
mov    %eax,0x8(%rdi,%rcx,4)
xor    %eax,%eax
cmpl   $0x0,0xc(%rsi,%rcx,4)
sete   %al
mov    %eax,0xc(%rdi,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%r9
jne    1160 <vnot+0x60>
jmp    1267 <vnot+0x167>
mov    %r9d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     1268 <vnot+0x168>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %edx,%edx
pxor   %xmm0,%xmm0
nop
movdqu (%rsi,%rdx,4),%xmm1
movdqu 0x10(%rsi,%rdx,4),%xmm2
pcmpeqd %xmm0,%xmm1
psrld  $0x1f,%xmm1
pcmpeqd %xmm0,%xmm2
psrld  $0x1f,%xmm2
movdqu %xmm1,(%rdi,%rdx,4)
movdqu %xmm2,0x10(%rdi,%rdx,4)
movdqu 0x20(%rsi,%rdx,4),%xmm1
movdqu 0x30(%rsi,%rdx,4),%xmm2
pcmpeqd %xmm0,%xmm1
psrld  $0x1f,%xmm1
pcmpeqd %xmm0,%xmm2
psrld  $0x1f,%xmm2
movdqu %xmm1,0x20(%rdi,%rdx,4)
movdqu %xmm2,0x30(%rdi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    11d0 <vnot+0xd0>
test   $0x1,%r8b
je     125e <vnot+0x15e>
movdqu (%rsi,%rdx,4),%xmm0
movdqu 0x10(%rsi,%rdx,4),%xmm1
pxor   %xmm2,%xmm2
pcmpeqd %xmm2,%xmm0
psrld  $0x1f,%xmm0
pcmpeqd %xmm2,%xmm1
psrld  $0x1f,%xmm1
movdqu %xmm0,(%rdi,%rdx,4)
movdqu %xmm1,0x10(%rdi,%rdx,4)
cmp    %r9,%rcx
jne    112c <vnot+0x2c>
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    1232 <vnot+0x132>
jmp    125e <vnot+0x15e>

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

LLVM IR (-O2):
define void @vnot(i32* nocapture writeonly %0, i32* nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %125
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = icmp ult i32 %2, 8
br i1 %7, label %78, label %8
8: ; preds = %5
%9 = getelementptr i32, i32* %0, i64 %6
%10 = getelementptr i32, i32* %1, i64 %6
%11 = icmp ugt i32* %10, %0
%12 = icmp ugt i32* %9, %1
%13 = and i1 %11, %12
br i1 %13, label %78, label %14
14: ; preds = %8
%15 = and i64 %6, 4294967288
%16 = add nsw i64 %15, -8
%17 = lshr exact i64 %16, 3
%18 = add nuw nsw i64 %17, 1
%19 = and i64 %18, 1
%20 = icmp eq i64 %16, 0
br i1 %20, label %58, label %21
21: ; preds = %14
%22 = and i64 %18, 4611686018427387902
br label %23
23: ; preds = %23, %21
%24 = phi i64 [ 0, %21 ], [ %55, %23 ]
%25 = phi i64 [ 0, %21 ], [ %56, %23 ]
%26 = getelementptr inbounds i32, i32* %1, i64 %24
%27 = bitcast i32* %26 to <4 x i32>*
%28 = load <4 x i32>, <4 x i32>* %27
%29 = getelementptr inbounds i32, i32* %26, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
%31 = load <4 x i32>, <4 x i32>* %30
%32 = icmp eq <4 x i32> %28, zeroinitializer
%33 = icmp eq <4 x i32> %31, zeroinitializer
%34 = zext <4 x i1> %32 to <4 x i32>
%35 = zext <4 x i1> %33 to <4 x i32>
%36 = getelementptr inbounds i32, i32* %0, i64 %24
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %37
%38 = getelementptr inbounds i32, i32* %36, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> %35, <4 x i32>* %39
%40 = or i64 %24, 8
%41 = getelementptr inbounds i32, i32* %1, i64 %40
%42 = bitcast i32* %41 to <4 x i32>*
%43 = load <4 x i32>, <4 x i32>* %42
%44 = getelementptr inbounds i32, i32* %41, i64 4
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = icmp eq <4 x i32> %43, zeroinitializer
%48 = icmp eq <4 x i32> %46, zeroinitializer
%49 = zext <4 x i1> %47 to <4 x i32>
%50 = zext <4 x i1> %48 to <4 x i32>
%51 = getelementptr inbounds i32, i32* %0, i64 %40
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %54
%55 = add nuw i64 %24, 16
%56 = add i64 %25, 2
%57 = icmp eq i64 %56, %22
br i1 %57, label %58, label %23
58: ; preds = %23, %14
%59 = phi i64 [ 0, %14 ], [ %55, %23 ]
%60 = icmp eq i64 %19, 0
br i1 %60, label %76, label %61
61: ; preds = %58
%62 = getelementptr inbounds i32, i32* %1, i64 %59
%63 = bitcast i32* %62 to <4 x i32>*
%64 = load <4 x i32>, <4 x i32>* %63
%65 = getelementptr inbounds i32, i32* %62, i64 4
%66 = bitcast i32* %65 to <4 x i32>*
%67 = load <4 x i32>, <4 x i32>* %66
%68 = icmp eq <4 x i32> %64, zeroinitializer
%69 = icmp eq <4 x i32> %67, zeroinitializer
%70 = zext <4 x i1> %68 to <4 x i32>
%71 = zext <4 x i1> %69 to <4 x i32>
%72 = getelementptr inbounds i32, i32* %0, i64 %59
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %73
%74 = getelementptr inbounds i32, i32* %72, i64 4
%75 = bitcast i32* %74 to <4 x i32>*
store <4 x i32> %71, <4 x i32>* %75
br label %76
76: ; preds = %58, %61
%77 = icmp eq i64 %15, %6
br i1 %77, label %125, label %78
78: ; preds = %8, %5, %76
%79 = phi i64 [ 0, %8 ], [ 0, %5 ], [ %15, %76 ]
%80 = xor i64 %79, -1
%81 = add nsw i64 %80, %6
%82 = and i64 %6, 3
%83 = icmp eq i64 %82, 0
br i1 %83, label %95, label %84
84: ; preds = %78, %84
%85 = phi i64 [ %92, %84 ], [ %79, %78 ]
%86 = phi i64 [ %93, %84 ], [ 0, %78 ]
%87 = getelementptr inbounds i32, i32* %1, i64 %85
%88 = load i32, i32* %87
%89 = icmp eq i32 %88, 0
%90 = zext i1 %89 to i32
%91 = getelementptr inbounds i32, i32* %0, i64 %85
store i32 %90, i32* %91
%92 = add nuw nsw i64 %85, 1
%93 = add i64 %86, 1
%94 = icmp eq i64 %93, %82
br i1 %94, label %95, label %84
95: ; preds = %84, %78
%96 = phi i64 [ %79, %78 ], [ %92, %84 ]
%97 = icmp ult i64 %81, 3
br i1 %97, label %125, label %98
98: ; preds = %95, %98
%99 = phi i64 [ %123, %98 ], [ %96, %95 ]
%100 = getelementptr inbounds i32, i32* %1, i64 %99
%101 = load i32, i32* %100
%102 = icmp eq i32 %101, 0
%103 = zext i1 %102 to i32
%104 = getelementptr inbounds i32, i32* %0, i64 %99
store i32 %103, i32* %104
%105 = add nuw nsw i64 %99, 1
%106 = getelementptr inbounds i32, i32* %1, i64 %105
%107 = load i32, i32* %106
%108 = icmp eq i32 %107, 0
%109 = zext i1 %108 to i32
%110 = getelementptr inbounds i32, i32* %0, i64 %105
store i32 %109, i32* %110
%111 = add nuw nsw i64 %99, 2
%112 = getelementptr inbounds i32, i32* %1, i64 %111
%113 = load i32, i32* %112
%114 = icmp eq i32 %113, 0
%115 = zext i1 %114 to i32
%116 = getelementptr inbounds i32, i32* %0, i64 %111
store i32 %115, i32* %116
%117 = add nuw nsw i64 %99, 3
%118 = getelementptr inbounds i32, i32* %1, i64 %117
%119 = load i32, i32* %118
%120 = icmp eq i32 %119, 0
%121 = zext i1 %120 to i32
%122 = getelementptr inbounds i32, i32* %0, i64 %117
store i32 %121, i32* %122
%123 = add nuw nsw i64 %99, 4
%124 = icmp eq i64 %123, %6
br i1 %124, label %125, label %98
125: ; preds = %95, %98, %76, %3
ret void
}