#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 */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ free(char *);
scalar_t__ malloc(unsigned int);
int /*<<< orphan*/ memcpy(char *, char *, unsigned int);
int /*<<< orphan*/ memmove(char *, char *, unsigned int);
void SwapBuffer(char *p1, char *p2, unsigned len) {
  char temp;
  char *buf;
  unsigned i;
  assert(p1 && p2);
  if (!len)
    return;
  buf = (len == 1) ? 0 : (char *)malloc(len);
  if (buf) {
    memcpy(buf, p1, len);
    memmove(p1, p2, len);
    memcpy(p2, buf, len);
    free(buf);
  } else {
    for (i = 0; i < len; i++) {
      temp = p1[i];
      p1[i] = p2[i];
      p2[i] = temp;
    }
  }
}


x86 assembly (clang, -O0):
<SwapBuffer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x25(%rbp)
je     117e <SwapBuffer+0x2e>
cmpq   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x14(%rbp)
jne    119a <SwapBuffer+0x4a>
jmp    1260 <SwapBuffer+0x110>
cmpl   $0x1,-0x14(%rbp)
jne    11af <SwapBuffer+0x5f>
xor    %eax,%eax
mov    %rax,-0x30(%rbp)
jmp    11bb <SwapBuffer+0x6b>
mov    -0x14(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     120c <SwapBuffer+0xbc>
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1050 <memcpy@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1070 <memmove@plt>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1050 <memcpy@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
jmp    1260 <SwapBuffer+0x110>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    125b <SwapBuffer+0x10b>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    (%rax,%rcx,1),%al
mov    %al,-0x15(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x15(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1213 <SwapBuffer+0xc3>
jmp    1260 <SwapBuffer+0x110>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SwapBuffer>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
test   %rdi,%rdi
setne  %al
test   %rsi,%rsi
setne  %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
test   %ebp,%ebp
je     123d <SwapBuffer+0xed>
cmp    $0x1,%ebp
je     11ca <SwapBuffer+0x7a>
mov    %ebp,%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     11ca <SwapBuffer+0x7a>
mov    %rax,%r15
mov    %rax,%rdi
mov    %rbx,%rsi
mov    %ebp,%edx
call   1050 <memcpy@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %ebp,%edx
call   1070 <memmove@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %ebp,%edx
call   1050 <memcpy@plt>
mov    %r15,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>
mov    %ebp,%r8d
cmp    $0x8,%ebp
jb     11e4 <SwapBuffer+0x94>
lea    (%r14,%r8,1),%rcx
cmp    %rbx,%rcx
jbe    1248 <SwapBuffer+0xf8>
lea    (%rbx,%r8,1),%rcx
cmp    %r14,%rcx
jbe    1248 <SwapBuffer+0xf8>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
test   $0x1,%r8b
je     1205 <SwapBuffer+0xb5>
mov    (%rbx,%rcx,1),%sil
mov    (%r14,%rcx,1),%al
mov    %al,(%rbx,%rcx,1)
mov    %sil,(%r14,%rcx,1)
or     $0x1,%rcx
add    %r8,%rdx
je     123d <SwapBuffer+0xed>
nopw   0x0(%rax,%rax,1)
movzbl (%rbx,%rcx,1),%eax
movzbl (%r14,%rcx,1),%edx
mov    %dl,(%rbx,%rcx,1)
mov    %al,(%r14,%rcx,1)
movzbl 0x1(%rbx,%rcx,1),%eax
movzbl 0x1(%r14,%rcx,1),%edx
mov    %dl,0x1(%rbx,%rcx,1)
mov    %al,0x1(%r14,%rcx,1)
add    $0x2,%rcx
cmp    %rcx,%r8
jne    1210 <SwapBuffer+0xc0>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x20,%ebp
jae    1254 <SwapBuffer+0x104>
xor    %ecx,%ecx
jmp    131f <SwapBuffer+0x1cf>
mov    %r8d,%ecx
and    $0xffffffe0,%ecx
lea    -0x20(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x5,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     1357 <SwapBuffer+0x207>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movups (%rbx,%rdx,1),%xmm0
movups 0x10(%rbx,%rdx,1),%xmm1
movups (%r14,%rdx,1),%xmm2
movups 0x10(%r14,%rdx,1),%xmm3
movups %xmm2,(%rbx,%rdx,1)
movups %xmm3,0x10(%rbx,%rdx,1)
movups %xmm0,(%r14,%rdx,1)
movups %xmm1,0x10(%r14,%rdx,1)
movups 0x20(%rbx,%rdx,1),%xmm0
movups 0x30(%rbx,%rdx,1),%xmm1
movups 0x20(%r14,%rdx,1),%xmm2
movups 0x30(%r14,%rdx,1),%xmm3
movups %xmm2,0x20(%rbx,%rdx,1)
movups %xmm3,0x30(%rbx,%rdx,1)
movups %xmm0,0x20(%r14,%rdx,1)
movups %xmm1,0x30(%r14,%rdx,1)
add    $0x40,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1280 <SwapBuffer+0x130>
test   $0x1,%sil
je     130c <SwapBuffer+0x1bc>
movups (%rbx,%rdx,1),%xmm0
movups 0x10(%rbx,%rdx,1),%xmm1
movups (%r14,%rdx,1),%xmm2
movups 0x10(%r14,%rdx,1),%xmm3
movups %xmm2,(%rbx,%rdx,1)
movups %xmm3,0x10(%rbx,%rdx,1)
movups %xmm0,(%r14,%rdx,1)
movups %xmm1,0x10(%r14,%rdx,1)
cmp    %r8,%rcx
je     123d <SwapBuffer+0xed>
test   $0x18,%r8b
je     11e6 <SwapBuffer+0x96>
mov    %rcx,%rdx
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
nopl   0x0(%rax,%rax,1)
mov    (%rbx,%rdx,1),%rsi
mov    (%r14,%rdx,1),%rdi
mov    %rdi,(%rbx,%rdx,1)
mov    %rsi,(%r14,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rcx
jne    1330 <SwapBuffer+0x1e0>
cmp    %r8,%rcx
je     123d <SwapBuffer+0xed>
jmp    11e6 <SwapBuffer+0x96>
xor    %edx,%edx
test   $0x1,%sil
jne    12e4 <SwapBuffer+0x194>
jmp    130c <SwapBuffer+0x1bc>

LLVM IR (-O0):
define void @SwapBuffer(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8
%8 = alloca i8*
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%10 = load i8*, i8** %4
%11 = icmp ne i8* %10, null
br i1 %11, label %12, label %15
12: ; preds = %3
%13 = load i8*, i8** %5
%14 = icmp ne i8* %13, null
br label %15
15: ; preds = %12, %3
%16 = phi i1 [ false, %3 ], [ %14, %12 ]
%17 = zext i1 %16 to i32
%18 = call i32 @assert(i32 %17)
%19 = load i32, i32* %6
%20 = icmp ne i32 %19, 0
br i1 %20, label %22, label %21
21: ; preds = %15
br label %78
22: ; preds = %15
%23 = load i32, i32* %6
%24 = icmp eq i32 %23, 1
br i1 %24, label %25, label %26
25: ; preds = %22
br label %30
26: ; preds = %22
%27 = load i32, i32* %6
%28 = call i64 @malloc(i32 %27)
%29 = inttoptr i64 %28 to i8*
br label %30
30: ; preds = %26, %25
%31 = phi i8* [ null, %25 ], [ %29, %26 ]
store i8* %31, i8** %8
%32 = load i8*, i8** %8
%33 = icmp ne i8* %32, null
br i1 %33, label %34, label %49
34: ; preds = %30
%35 = load i8*, i8** %8
%36 = load i8*, i8** %4
%37 = load i32, i32* %6
%38 = call i32 @memcpy(i8* %35, i8* %36, i32 %37)
%39 = load i8*, i8** %4
%40 = load i8*, i8** %5
%41 = load i32, i32* %6
%42 = call i32 @memmove(i8* %39, i8* %40, i32 %41)
%43 = load i8*, i8** %5
%44 = load i8*, i8** %8
%45 = load i32, i32* %6
%46 = call i32 @memcpy(i8* %43, i8* %44, i32 %45)
%47 = load i8*, i8** %8
%48 = call i32 @free(i8* %47)
br label %78
49: ; preds = %30
store i32 0, i32* %9
br label %50
50: ; preds = %74, %49
%51 = load i32, i32* %9
%52 = load i32, i32* %6
%53 = icmp ult i32 %51, %52
br i1 %53, label %54, label %77
54: ; preds = %50
%55 = load i8*, i8** %4
%56 = load i32, i32* %9
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %55, i64 %57
%59 = load i8, i8* %58
store i8 %59, i8* %7
%60 = load i8*, i8** %5
%61 = load i32, i32* %9
%62 = zext i32 %61 to i64
%63 = getelementptr inbounds i8, i8* %60, i64 %62
%64 = load i8, i8* %63
%65 = load i8*, i8** %4
%66 = load i32, i32* %9
%67 = zext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
store i8 %64, i8* %68
%69 = load i8, i8* %7
%70 = load i8*, i8** %5
%71 = load i32, i32* %9
%72 = zext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
store i8 %69, i8* %73
br label %74
74: ; preds = %54
%75 = load i32, i32* %9
%76 = add i32 %75, 1
store i32 %76, i32* %9
br label %50
77: ; preds = %50
br label %78
78: ; preds = %21, %77, %34
ret void
}

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