int verify32(const char *y, const char *x) {
  int res = 0;
  for (int i = 0; i < 32; i++) {
    res |= (y[i] ^ x[i]);
  }
  return res;
}


x86 assembly (clang, -O0):
<verify32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x20,-0x18(%rbp)
jge    1152 <verify32+0x52>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    111a <verify32+0x1a>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<verify32>:
mov    (%rsi),%r8d
mov    0x4(%rsi),%ecx
xor    (%rdi),%r8d
xor    0x4(%rdi),%ecx
mov    0x8(%rsi),%r9d
xor    0x8(%rdi),%r9d
mov    0xc(%rsi),%eax
xor    0xc(%rdi),%eax
or     %r8d,%ecx
mov    0x10(%rsi),%r8d
xor    0x10(%rdi),%r8d
or     %r9d,%eax
mov    0x14(%rsi),%edx
xor    0x14(%rdi),%edx
or     %ecx,%eax
mov    0x18(%rsi),%ecx
xor    0x18(%rdi),%ecx
or     %r8d,%edx
or     %edx,%ecx
or     %eax,%ecx
mov    0x1c(%rsi),%eax
xor    0x1c(%rdi),%eax
or     %ecx,%eax
movd   %eax,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
pshufd $0xee,%xmm0,%xmm1
por    %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
por    %xmm1,%xmm0
movd   %xmm0,%eax
ret

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

LLVM IR (-O2):
define i32 @verify32(i8* nocapture %0, i8* nocapture %1) {
%3 = bitcast i8* %0 to <4 x i8>*
%4 = load <4 x i8>, <4 x i8>* %3
%5 = bitcast i8* %1 to <4 x i8>*
%6 = load <4 x i8>, <4 x i8>* %5
%7 = xor <4 x i8> %6, %4
%8 = getelementptr inbounds i8, i8* %0, i64 4
%9 = bitcast i8* %8 to <4 x i8>*
%10 = load <4 x i8>, <4 x i8>* %9
%11 = getelementptr inbounds i8, i8* %1, i64 4
%12 = bitcast i8* %11 to <4 x i8>*
%13 = load <4 x i8>, <4 x i8>* %12
%14 = xor <4 x i8> %13, %10
%15 = or <4 x i8> %7, %14
%16 = getelementptr inbounds i8, i8* %0, i64 8
%17 = bitcast i8* %16 to <4 x i8>*
%18 = load <4 x i8>, <4 x i8>* %17
%19 = getelementptr inbounds i8, i8* %1, i64 8
%20 = bitcast i8* %19 to <4 x i8>*
%21 = load <4 x i8>, <4 x i8>* %20
%22 = xor <4 x i8> %21, %18
%23 = or <4 x i8> %15, %22
%24 = getelementptr inbounds i8, i8* %0, i64 12
%25 = bitcast i8* %24 to <4 x i8>*
%26 = load <4 x i8>, <4 x i8>* %25
%27 = getelementptr inbounds i8, i8* %1, i64 12
%28 = bitcast i8* %27 to <4 x i8>*
%29 = load <4 x i8>, <4 x i8>* %28
%30 = xor <4 x i8> %29, %26
%31 = or <4 x i8> %23, %30
%32 = getelementptr inbounds i8, i8* %0, i64 16
%33 = bitcast i8* %32 to <4 x i8>*
%34 = load <4 x i8>, <4 x i8>* %33
%35 = getelementptr inbounds i8, i8* %1, i64 16
%36 = bitcast i8* %35 to <4 x i8>*
%37 = load <4 x i8>, <4 x i8>* %36
%38 = xor <4 x i8> %37, %34
%39 = or <4 x i8> %31, %38
%40 = getelementptr inbounds i8, i8* %0, i64 20
%41 = bitcast i8* %40 to <4 x i8>*
%42 = load <4 x i8>, <4 x i8>* %41
%43 = getelementptr inbounds i8, i8* %1, i64 20
%44 = bitcast i8* %43 to <4 x i8>*
%45 = load <4 x i8>, <4 x i8>* %44
%46 = xor <4 x i8> %45, %42
%47 = or <4 x i8> %39, %46
%48 = getelementptr inbounds i8, i8* %0, i64 24
%49 = bitcast i8* %48 to <4 x i8>*
%50 = load <4 x i8>, <4 x i8>* %49
%51 = getelementptr inbounds i8, i8* %1, i64 24
%52 = bitcast i8* %51 to <4 x i8>*
%53 = load <4 x i8>, <4 x i8>* %52
%54 = xor <4 x i8> %53, %50
%55 = or <4 x i8> %47, %54
%56 = getelementptr inbounds i8, i8* %0, i64 28
%57 = bitcast i8* %56 to <4 x i8>*
%58 = load <4 x i8>, <4 x i8>* %57
%59 = getelementptr inbounds i8, i8* %1, i64 28
%60 = bitcast i8* %59 to <4 x i8>*
%61 = load <4 x i8>, <4 x i8>* %60
%62 = xor <4 x i8> %61, %58
%63 = or <4 x i8> %55, %62
%64 = sext <4 x i8> %63 to <4 x i32>
%65 = call i32 @llvm.vector.reduce.or.v4i32(<4 x i32> %64)
ret i32 %65
}