#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 */

/* Variables and functions */
void memswap(unsigned char *a, unsigned char *b, size_t size) {
  unsigned char tmp;
  for (size_t i = 0; i < size; i++) {
    tmp = a[i];
    a[i] = b[i];
    b[i] = tmp;
  }
}


x86 assembly (clang, -O0):
<memswap>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1169 <memswap+0x69>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x19(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1118 <memswap+0x18>
pop    %rbp
ret

x86 assembly (clang, -O2):
<memswap>:
test   %rdx,%rdx
je     1181 <memswap+0x81>
cmp    $0x8,%rdx
jb     111d <memswap+0x1d>
lea    (%rsi,%rdx,1),%rax
cmp    %rdi,%rax
jbe    1182 <memswap+0x82>
lea    (%rdi,%rdx,1),%rax
cmp    %rsi,%rax
jbe    1182 <memswap+0x82>
xor    %r10d,%r10d
mov    %r10,%rcx
not    %rcx
test   $0x1,%dl
je     113f <memswap+0x3f>
mov    (%rdi,%r10,1),%r8b
mov    (%rsi,%r10,1),%al
mov    %al,(%rdi,%r10,1)
mov    %r8b,(%rsi,%r10,1)
or     $0x1,%r10
add    %rdx,%rcx
je     1181 <memswap+0x81>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rdi,%r10,1),%eax
movzbl (%rsi,%r10,1),%ecx
mov    %cl,(%rdi,%r10,1)
mov    %al,(%rsi,%r10,1)
movzbl 0x1(%rdi,%r10,1),%eax
movzbl 0x1(%rsi,%r10,1),%ecx
mov    %cl,0x1(%rdi,%r10,1)
mov    %al,0x1(%rsi,%r10,1)
add    $0x2,%r10
cmp    %r10,%rdx
jne    1150 <memswap+0x50>
ret
cmp    $0x20,%rdx
jae    1190 <memswap+0x90>
xor    %r10d,%r10d
jmp    1252 <memswap+0x152>
mov    %rdx,%r10
and    $0xffffffffffffffe0,%r10
lea    -0x20(%r10),%rcx
mov    %rcx,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     1287 <memswap+0x187>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups (%rdi,%rcx,1),%xmm0
movups 0x10(%rdi,%rcx,1),%xmm1
movups (%rsi,%rcx,1),%xmm2
movups 0x10(%rsi,%rcx,1),%xmm3
movups %xmm2,(%rdi,%rcx,1)
movups %xmm3,0x10(%rdi,%rcx,1)
movups %xmm0,(%rsi,%rcx,1)
movups %xmm1,0x10(%rsi,%rcx,1)
movups 0x20(%rdi,%rcx,1),%xmm0
movups 0x30(%rdi,%rcx,1),%xmm1
movups 0x20(%rsi,%rcx,1),%xmm2
movups 0x30(%rsi,%rcx,1),%xmm3
movups %xmm2,0x20(%rdi,%rcx,1)
movups %xmm3,0x30(%rdi,%rcx,1)
movups %xmm0,0x20(%rsi,%rcx,1)
movups %xmm1,0x30(%rsi,%rcx,1)
add    $0x40,%rcx
add    $0xfffffffffffffffe,%r9
jne    11c0 <memswap+0xc0>
test   $0x1,%r8b
je     1240 <memswap+0x140>
movups (%rdi,%rcx,1),%xmm0
movups 0x10(%rdi,%rcx,1),%xmm1
movups (%rsi,%rcx,1),%xmm2
movups 0x10(%rsi,%rcx,1),%xmm3
movups %xmm2,(%rdi,%rcx,1)
movups %xmm3,0x10(%rdi,%rcx,1)
movups %xmm0,(%rsi,%rcx,1)
movups %xmm1,0x10(%rsi,%rcx,1)
cmp    %rdx,%r10
je     1181 <memswap+0x81>
test   $0x18,%dl
je     1120 <memswap+0x20>
mov    %r10,%rcx
mov    %rdx,%r10
and    $0xfffffffffffffff8,%r10
nopl   0x0(%rax)
mov    (%rdi,%rcx,1),%r8
mov    (%rsi,%rcx,1),%rax
mov    %rax,(%rdi,%rcx,1)
mov    %r8,(%rsi,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%r10
jne    1260 <memswap+0x160>
cmp    %rdx,%r10
je     1181 <memswap+0x81>
jmp    1120 <memswap+0x20>
xor    %ecx,%ecx
test   $0x1,%r8b
jne    121c <memswap+0x11c>
jmp    1240 <memswap+0x140>

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

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