#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*/ __softboundcets_abort();
int /*<<< orphan*/ __softboundcets_printf(char *);
void exchange_elements_helper(void *base, size_t element_size, int idx1,
                              int idx2) {
  char *base_bytes = base;
  size_t i;
  for (i = 0; i < element_size; i++) {
    char temp = base_bytes[idx1 * element_size + i];
    base_bytes[idx1 * element_size + i] = base_bytes[idx2 * element_size + i];
    base_bytes[idx2 * element_size + i] = temp;
  }
  for (i = 0; i < element_size; i += 8) {
    void *base_idx1;
    void *bound_idx1;
    void *base_idx2;
    void *bound_idx2;
    size_t key_idx1 = 1;
    size_t key_idx2 = 1;
    void *lock_idx1 = NULL;
    void *lock_idx2 = NULL;
    char *addr_idx1 = &base_bytes[idx1 * element_size + i];
    char *addr_idx2 = &base_bytes[idx2 * element_size + i];
    __softboundcets_printf("not implemented\n");
    __softboundcets_abort();
  }
}


x86 assembly (clang, -O0):
<exchange_elements_helper>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    11be <exchange_elements_helper+0x9e>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x29(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x29(%rbp),%dl
mov    -0x20(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1149 <exchange_elements_helper+0x29>
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1248 <exchange_elements_helper+0x128>
movq   $0x1,-0x58(%rbp)
movq   $0x1,-0x60(%rbp)
movq   $0x0,-0x68(%rbp)
movq   $0x0,-0x70(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   -0x10(%rbp),%rcx
add    -0x28(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x80(%rbp)
lea    0xdd5(%rip),%rdi
call   1030 <__softboundcets_printf@plt>
mov    $0x0,%al
call   1040 <__softboundcets_abort@plt>
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
jmp    11c6 <exchange_elements_helper+0xa6>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<exchange_elements_helper>:
push   %r15
push   %r14
push   %rbx
test   %rsi,%rsi
je     1218 <exchange_elements_helper+0xf8>
mov    %rsi,%r14
movslq %edx,%rax
mov    %rax,%r8
imul   %rsi,%r8
movslq %ecx,%rcx
mov    %rcx,%r10
imul   %rsi,%r10
cmp    $0x8,%rsi
jb     117b <exchange_elements_helper+0x5b>
lea    (%rdi,%r8,1),%r15
lea    (%rdi,%r10,1),%r11
add    $0x1,%rcx
imul   %r14,%rcx
add    %rdi,%rcx
cmp    %rcx,%r15
jae    121e <exchange_elements_helper+0xfe>
add    $0x1,%rax
imul   %r14,%rax
add    %rdi,%rax
cmp    %rax,%r11
jae    121e <exchange_elements_helper+0xfe>
xor    %edx,%edx
mov    %rdx,%rax
not    %rax
test   $0x1,%r14b
je     11a3 <exchange_elements_helper+0x83>
lea    (%rdx,%r8,1),%rcx
mov    (%rdi,%rcx,1),%r9b
lea    (%rdx,%r10,1),%rsi
mov    (%rdi,%rsi,1),%bl
mov    %bl,(%rdi,%rcx,1)
mov    %r9b,(%rdi,%rsi,1)
or     $0x1,%rdx
add    %r14,%rax
je     11eb <exchange_elements_helper+0xcb>
lea    (%r10,%rdi,1),%rax
add    $0x1,%rax
lea    (%r8,%rdi,1),%rcx
add    $0x1,%rcx
nopl   0x0(%rax,%rax,1)
movzbl -0x1(%rcx,%rdx,1),%esi
movzbl -0x1(%rax,%rdx,1),%ebx
mov    %bl,-0x1(%rcx,%rdx,1)
mov    %sil,-0x1(%rax,%rdx,1)
movzbl (%rcx,%rdx,1),%esi
movzbl (%rax,%rdx,1),%ebx
mov    %bl,(%rcx,%rdx,1)
mov    %sil,(%rax,%rdx,1)
add    $0x2,%rdx
cmp    %rdx,%r14
jne    11c0 <exchange_elements_helper+0xa0>
test   %r14,%r14
je     1218 <exchange_elements_helper+0xf8>
lea    0xe09(%rip),%r15
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    %r15,%rdi
call   1030 <__softboundcets_printf@plt>
xor    %eax,%eax
call   1040 <__softboundcets_abort@plt>
add    $0x8,%rbx
cmp    %r14,%rbx
jb     1200 <exchange_elements_helper+0xe0>
pop    %rbx
pop    %r14
pop    %r15
ret
cmp    $0x20,%r14
jae    122b <exchange_elements_helper+0x10b>
xor    %edx,%edx
jmp    130a <exchange_elements_helper+0x1ea>
mov    %r14,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rax
mov    %rax,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rax,%rax
je     1347 <exchange_elements_helper+0x227>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%r8,%rdi,1),%rbx
add    $0x30,%rbx
lea    (%r10,%rdi,1),%rsi
add    $0x30,%rsi
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%rbx,%rax,1),%xmm0
movups -0x20(%rbx,%rax,1),%xmm1
movups -0x30(%rsi,%rax,1),%xmm2
movups -0x20(%rsi,%rax,1),%xmm3
movups %xmm2,-0x30(%rbx,%rax,1)
movups %xmm3,-0x20(%rbx,%rax,1)
movups %xmm0,-0x30(%rsi,%rax,1)
movups %xmm1,-0x20(%rsi,%rax,1)
movups -0x10(%rbx,%rax,1),%xmm0
movups (%rbx,%rax,1),%xmm1
movups -0x10(%rsi,%rax,1),%xmm2
movups (%rsi,%rax,1),%xmm3
movups %xmm2,-0x10(%rbx,%rax,1)
movups %xmm3,(%rbx,%rax,1)
movups %xmm0,-0x10(%rsi,%rax,1)
movups %xmm1,(%rsi,%rax,1)
add    $0x40,%rax
add    $0xfffffffffffffffe,%rcx
jne    1270 <exchange_elements_helper+0x150>
test   $0x1,%r9b
je     12f7 <exchange_elements_helper+0x1d7>
lea    (%rax,%r8,1),%rcx
movups (%rdi,%rcx,1),%xmm0
movups 0x10(%rdi,%rcx,1),%xmm1
add    %r10,%rax
movups (%rdi,%rax,1),%xmm2
movups 0x10(%rdi,%rax,1),%xmm3
movups %xmm2,(%rdi,%rcx,1)
movups %xmm3,0x10(%rdi,%rcx,1)
movups %xmm0,(%rdi,%rax,1)
movups %xmm1,0x10(%rdi,%rax,1)
cmp    %r14,%rdx
je     11eb <exchange_elements_helper+0xcb>
test   $0x18,%r14b
je     117d <exchange_elements_helper+0x5d>
mov    %rdx,%rax
mov    %r14,%rdx
and    $0xfffffffffffffff8,%rdx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%r15,%rax,1),%rcx
mov    (%r11,%rax,1),%rsi
mov    %rsi,(%r15,%rax,1)
mov    %rcx,(%r11,%rax,1)
add    $0x8,%rax
cmp    %rax,%rdx
jne    1320 <exchange_elements_helper+0x200>
cmp    %r14,%rdx
je     11eb <exchange_elements_helper+0xcb>
jmp    117d <exchange_elements_helper+0x5d>
xor    %eax,%eax
test   $0x1,%r9b
jne    12cc <exchange_elements_helper+0x1ac>
jmp    12f7 <exchange_elements_helper+0x1d7>

LLVM IR (-O0):
@.str = [17 x i8] c"not implemented\0A\00"
define void @exchange_elements_helper(i8* %0, i64 %1, i32 %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i8
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i64
%17 = alloca i64
%18 = alloca i8*
%19 = alloca i8*
%20 = alloca i8*
%21 = alloca i8*
store i8* %0, i8** %5
store i64 %1, i64* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%22 = load i8*, i8** %5
store i8* %22, i8** %9
store i64 0, i64* %10
br label %23
23: ; preds = %63, %4
%24 = load i64, i64* %10
%25 = load i64, i64* %6
%26 = icmp ult i64 %24, %25
br i1 %26, label %27, label %66
27: ; preds = %23
%28 = load i8*, i8** %9
%29 = load i32, i32* %7
%30 = sext i32 %29 to i64
%31 = load i64, i64* %6
%32 = mul i64 %30, %31
%33 = load i64, i64* %10
%34 = add i64 %32, %33
%35 = getelementptr inbounds i8, i8* %28, i64 %34
%36 = load i8, i8* %35
store i8 %36, i8* %11
%37 = load i8*, i8** %9
%38 = load i32, i32* %8
%39 = sext i32 %38 to i64
%40 = load i64, i64* %6
%41 = mul i64 %39, %40
%42 = load i64, i64* %10
%43 = add i64 %41, %42
%44 = getelementptr inbounds i8, i8* %37, i64 %43
%45 = load i8, i8* %44
%46 = load i8*, i8** %9
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = load i64, i64* %6
%50 = mul i64 %48, %49
%51 = load i64, i64* %10
%52 = add i64 %50, %51
%53 = getelementptr inbounds i8, i8* %46, i64 %52
store i8 %45, i8* %53
%54 = load i8, i8* %11
%55 = load i8*, i8** %9
%56 = load i32, i32* %8
%57 = sext i32 %56 to i64
%58 = load i64, i64* %6
%59 = mul i64 %57, %58
%60 = load i64, i64* %10
%61 = add i64 %59, %60
%62 = getelementptr inbounds i8, i8* %55, i64 %61
store i8 %54, i8* %62
br label %63
63: ; preds = %27
%64 = load i64, i64* %10
%65 = add i64 %64, 1
store i64 %65, i64* %10
br label %23
66: ; preds = %23
store i64 0, i64* %10
br label %67
67: ; preds = %90, %66
%68 = load i64, i64* %10
%69 = load i64, i64* %6
%70 = icmp ult i64 %68, %69
br i1 %70, label %71, label %93
71: ; preds = %67
store i64 1, i64* %16
store i64 1, i64* %17
store i8* null, i8** %18
store i8* null, i8** %19
%72 = load i8*, i8** %9
%73 = load i32, i32* %7
%74 = sext i32 %73 to i64
%75 = load i64, i64* %6
%76 = mul i64 %74, %75
%77 = load i64, i64* %10
%78 = add i64 %76, %77
%79 = getelementptr inbounds i8, i8* %72, i64 %78
store i8* %79, i8** %20
%80 = load i8*, i8** %9
%81 = load i32, i32* %8
%82 = sext i32 %81 to i64
%83 = load i64, i64* %6
%84 = mul i64 %82, %83
%85 = load i64, i64* %10
%86 = add i64 %84, %85
%87 = getelementptr inbounds i8, i8* %80, i64 %86
store i8* %87, i8** %21
%88 = call i32 @__softboundcets_printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str, i64 0, i64 0))
%89 = call i32 (...) @__softboundcets_abort()
br label %90
90: ; preds = %71
%91 = load i64, i64* %10
%92 = add i64 %91, 8
store i64 %92, i64* %10
br label %67
93: ; preds = %67
ret void
}

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