#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*/ memset(short *, int /*<<< orphan*/, int);
void Arrayswap(short *Imptr1, short *Imptr2, short height, short width,
               short *end1, short *end2) {
  int y, z;
  short *Impt1, *Impt2, *Impt5;
  memset(Imptr1, 0, (end1 - Imptr1) * sizeof(short));
  Impt1 = Imptr1;
  Impt2 = Imptr1 + width;
  Impt5 = Imptr2;
  for (y = 1; y <= height / 2; y++) {
    for (z = 1; z <= width / 2; z++) {
      assert(Impt1 < end1);
      assert(Impt5 < end2);
      *Impt1++ = *Impt5++;
      assert(Impt2 < end1);
      assert(Impt5 < end2);
      *Impt2++ = *Impt5++;
      assert(Impt2 < end1);
      assert(Impt5 < end2);
      *Impt2++ = *Impt5++;
      assert(Impt1 < end1);
      assert(Impt5 < end2);
      *Impt1++ = *Impt5++;
    };
    Impt1 += width;
    Impt2 += width;
  }
  assert(Impt1 == end1);
  assert(Impt2 == end1 + width);
  assert(Impt5 == end2);
}


x86 assembly (clang, -O0):
<Arrayswap>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %cx,%ax
mov    %dx,%cx
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %cx,-0x12(%rbp)
mov    %ax,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
sar    $0x1,%rax
shl    $0x1,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movswl -0x14(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movswl -0x12(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
cmp    %ecx,%eax
jg     1358 <Arrayswap+0x238>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x50(%rbp)
movswl -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
cmp    %ecx,%eax
jg     131e <Arrayswap+0x1fe>
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cx,(%rax)
mov    -0x40(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cx,(%rax)
mov    -0x40(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cx,(%rax)
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cx,(%rax)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11b9 <Arrayswap+0x99>
movswl -0x14(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
movswl -0x14(%rbp),%ecx
mov    -0x40(%rbp),%rax
movslq %ecx,%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1193 <Arrayswap+0x73>
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
movswl -0x14(%rbp),%edx
movslq %edx,%rdx
shl    $0x1,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Arrayswap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9,%r14
mov    %r8,%r15
mov    %ecx,%r13d
mov    %edx,%r12d
mov    %rsi,%rbx
mov    %rdi,%rbp
mov    %r15d,%edx
sub    %ebp,%edx
xor    %esi,%esi
call   1030 <memset@plt>
cmp    $0x2,%r12w
jge    118e <Arrayswap+0x6e>
mov    %rbp,%r12
xor    %edi,%edi
cmp    %r15,%r12
sete   %dil
call   1040 <assert@plt>
xor    %edi,%edi
cmp    %r15,%rbp
sete   %dil
call   1040 <assert@plt>
xor    %edi,%edi
cmp    %r14,%rbx
sete   %dil
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <assert@plt>
movslq %r13d,%rdx
movzwl %r12w,%esi
shr    %esi
movzwl %r13w,%eax
mov    %eax,%ecx
shr    $0xf,%ecx
add    %eax,%ecx
movswl %cx,%eax
sar    %eax
add    $0x1,%eax
cwtl
add    $0x1,%esi
add    $0xffffffff,%eax
mov    %eax,(%rsp)
mov    $0x1,%eax
mov    %rbp,%r12
mov    %r13d,0x8(%rsp)
mov    %rdx,0x10(%rsp)
mov    %esi,0x4(%rsp)
jmp    11df <Arrayswap+0xbf>
nopl   0x0(%rax)
lea    (%r12,%rdx,2),%r12
add    $0x1,%eax
cmp    %esi,%eax
je     1156 <Arrayswap+0x36>
lea    0x0(%rbp,%rdx,2),%rbp
cmp    $0x2,%r13w
jl     11d0 <Arrayswap+0xb0>
mov    %eax,0xc(%rsp)
mov    (%rsp),%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %edi,%edi
cmp    %r15,%r12
setb   %dil
call   1040 <assert@plt>
xor    %edi,%edi
cmp    %r14,%rbx
setb   %dil
call   1040 <assert@plt>
movzwl (%rbx),%eax
mov    %ax,(%r12)
xor    %edi,%edi
cmp    %r15,%rbp
setb   %dil
call   1040 <assert@plt>
lea    0x2(%rbx),%rax
xor    %edi,%edi
cmp    %r14,%rax
setb   %dil
call   1040 <assert@plt>
movzwl 0x2(%rbx),%eax
mov    %ax,0x0(%rbp)
lea    0x2(%rbp),%rax
xor    %edi,%edi
cmp    %r15,%rax
setb   %dil
call   1040 <assert@plt>
lea    0x4(%rbx),%rax
xor    %edi,%edi
cmp    %r14,%rax
setb   %dil
call   1040 <assert@plt>
movzwl 0x4(%rbx),%eax
mov    %ax,0x2(%rbp)
add    $0x4,%rbp
lea    0x2(%r12),%rax
xor    %edi,%edi
cmp    %r15,%rax
setb   %dil
call   1040 <assert@plt>
lea    0x6(%rbx),%rax
xor    %edi,%edi
cmp    %r14,%rax
setb   %dil
call   1040 <assert@plt>
movzwl 0x6(%rbx),%eax
add    $0x8,%rbx
mov    %ax,0x2(%r12)
add    $0x4,%r12
add    $0xffffffff,%r13d
jne    1200 <Arrayswap+0xe0>
mov    0x8(%rsp),%r13d
mov    0x10(%rsp),%rdx
mov    0x4(%rsp),%esi
mov    0xc(%rsp),%eax
jmp    11d0 <Arrayswap+0xb0>

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

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