#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*/ deleteAndShift(int *, int, int);
int /*<<< orphan*/ free(int *);
scalar_t__ malloc(int);
int /*<<< orphan*/ printArray(int *, int);
void permute(int *L, int lenl, int *R, int lenr) {
  if (lenr == 0) {
    printArray(L, lenl);
  } else {
    int i, j;
    int n = lenl + lenr;
    int *Ltemp = (int *)malloc(n * sizeof(int));
    for (i = 0; i < lenl; i++) {
      Ltemp[i] = L[i];
    }
    int *Rtemp = (int *)malloc(n * sizeof(int));
    for (i = 0; i < lenr; i++) {
      for (j = 0; j < lenr; j++) {
        Rtemp[j] = R[j];
      }
      Ltemp[lenl] = Rtemp[i];
      deleteAndShift(Rtemp, lenr, i);
      permute(Ltemp, lenl + 1, Rtemp, lenr - 1);
    }
    free(Ltemp);
    free(Rtemp);
  }
}


x86 assembly (clang, -O0):
<permute>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    1181 <permute+0x31>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
call   1070 <printArray@plt>
jmp    128f <permute+0x13f>
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x28(%rbp)
movslq -0x28(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11d4 <permute+0x84>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11a4 <permute+0x54>
movslq -0x28(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    127d <permute+0x12d>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1231 <permute+0xe1>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1201 <permute+0xb1>
mov    -0x38(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1060 <deleteAndShift@plt>
mov    -0x30(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x38(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
call   1040 <permute@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11ee <permute+0x9e>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<permute>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %esi,%r15d
mov    %rdi,%rbx
test   %ecx,%ecx
je     120c <permute+0xbc>
mov    %rdx,%r13
mov    %rcx,0x18(%rsp)
lea    (%rcx,%r15,1),%r14d
shl    $0x2,%r14d
mov    %r14d,%edi
call   1050 <malloc@plt>
test   %r15d,%r15d
jle    12f4 <permute+0x1a4>
mov    %r15d,%r8d
cmp    $0x8,%r15d
jb     11ac <permute+0x5c>
lea    (%rbx,%r8,4),%rcx
cmp    %rcx,%rax
jae    1225 <permute+0xd5>
lea    (%rax,%r8,4),%rcx
cmp    %rbx,%rcx
jbe    1225 <permute+0xd5>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %r8,%rdx
mov    %r8,%rsi
and    $0x3,%rsi
je     11d0 <permute+0x80>
mov    (%rbx,%rcx,4),%edi
mov    %edi,(%rax,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    11c0 <permute+0x70>
cmp    $0x3,%rdx
jb     12f4 <permute+0x1a4>
nopw   0x0(%rax,%rax,1)
mov    (%rbx,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    0x4(%rbx,%rcx,4),%edx
mov    %edx,0x4(%rax,%rcx,4)
mov    0x8(%rbx,%rcx,4),%edx
mov    %edx,0x8(%rax,%rcx,4)
mov    0xc(%rbx,%rcx,4),%edx
mov    %edx,0xc(%rax,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%r8
jne    11e0 <permute+0x90>
jmp    12f4 <permute+0x1a4>
mov    %rbx,%rdi
mov    %r15d,%esi
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1070 <printArray@plt>
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x3,%edx
cmp    $0x18,%rdi
jae    1249 <permute+0xf9>
xor    %edi,%edi
jmp    12a8 <permute+0x158>
and    $0xfffffffffffffffc,%rsi
xor    %edi,%edi
nop
movups (%rbx,%rdi,4),%xmm0
movups 0x10(%rbx,%rdi,4),%xmm1
movups %xmm0,(%rax,%rdi,4)
movups %xmm1,0x10(%rax,%rdi,4)
movups 0x20(%rbx,%rdi,4),%xmm0
movups 0x30(%rbx,%rdi,4),%xmm1
movups %xmm0,0x20(%rax,%rdi,4)
movups %xmm1,0x30(%rax,%rdi,4)
movups 0x40(%rbx,%rdi,4),%xmm0
movups 0x50(%rbx,%rdi,4),%xmm1
movups %xmm0,0x40(%rax,%rdi,4)
movups %xmm1,0x50(%rax,%rdi,4)
movups 0x60(%rbx,%rdi,4),%xmm0
movups 0x70(%rbx,%rdi,4),%xmm1
movups %xmm0,0x60(%rax,%rdi,4)
movups %xmm1,0x70(%rax,%rdi,4)
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1250 <permute+0x100>
test   %rdx,%rdx
je     12eb <permute+0x19b>
lea    (%rax,%rdi,4),%rsi
add    $0x10,%rsi
lea    (%rbx,%rdi,4),%rdi
add    $0x10,%rdi
shl    $0x5,%rdx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rdi,%rbp,1),%xmm0
movups (%rdi,%rbp,1),%xmm1
movups %xmm0,-0x10(%rsi,%rbp,1)
movups %xmm1,(%rsi,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%rdx
jne    12d0 <permute+0x180>
cmp    %r8,%rcx
jne    11ae <permute+0x5e>
mov    %rax,0x10(%rsp)
mov    %r14d,%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
mov    0x18(%rsp),%rsi
test   %esi,%esi
jle    1541 <permute+0x3f1>
movslq %r15d,%rax
mov    %rax,0x58(%rsp)
add    $0x1,%r15d
mov    %r15,0x60(%rsp)
lea    -0x1(%rsi),%eax
mov    %eax,0xc(%rsp)
mov    %esi,%r12d
lea    (%rbx,%r12,4),%rax
lea    0x0(,%r12,4),%rcx
add    %r13,%rcx
mov    %r12d,%edx
and    $0xfffffff8,%edx
mov    %rdx,0x48(%rsp)
add    $0xfffffffffffffff8,%rdx
mov    %rdx,0x40(%rsp)
shr    $0x3,%rdx
add    $0x1,%rdx
cmp    %rcx,%rbx
setb   %cl
cmp    %r13,%rax
seta   %al
and    %cl,%al
mov    %al,0xb(%rsp)
mov    %edx,%r15d
and    $0x3,%r15d
and    $0xfffffffffffffffc,%rdx
mov    %rdx,0x20(%rsp)
mov    %r12d,%r8d
and    $0x3,%r8d
mov    %rbx,%rax
add    $0x10,%rax
mov    %rax,0x30(%rsp)
lea    0x10(%r13),%rax
mov    %rax,0x28(%rsp)
mov    %r15,0x38(%rsp)
shl    $0x5,%r15
xor    %ebp,%ebp
mov    %r15,0x50(%rsp)
mov    0x10(%rsp),%r14
jmp    13f7 <permute+0x2a7>
nopl   0x0(%rax)
mov    (%rbx,%rbp,4),%eax
mov    0x58(%rsp),%rcx
mov    %eax,(%r14,%rcx,4)
mov    %rbx,%rdi
mov    %ebp,%edx
mov    %r8,%r15
call   1060 <deleteAndShift@plt>
mov    %r14,%rdi
mov    0x60(%rsp),%rsi
mov    %rbx,%rdx
mov    0xc(%rsp),%ecx
call   1040 <permute@plt>
mov    %r15,%r8
mov    0x18(%rsp),%rsi
add    $0x1,%rbp
cmp    %r12,%rbp
mov    0x50(%rsp),%r15
je     1541 <permute+0x3f1>
cmp    $0x8,%esi
setb   %al
or     0xb(%rsp),%al
je     1410 <permute+0x2c0>
xor    %eax,%eax
jmp    14dc <permute+0x38c>
nopw   0x0(%rax,%rax,1)
cmpq   $0x18,0x40(%rsp)
jae    1420 <permute+0x2d0>
xor    %eax,%eax
jmp    1491 <permute+0x341>
nopl   0x0(%rax)
mov    0x20(%rsp),%rcx
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movups 0x0(%r13,%rax,4),%xmm0
movups 0x10(%r13,%rax,4),%xmm1
movups %xmm0,(%rbx,%rax,4)
movups %xmm1,0x10(%rbx,%rax,4)
movups 0x20(%r13,%rax,4),%xmm0
movups 0x30(%r13,%rax,4),%xmm1
movups %xmm0,0x20(%rbx,%rax,4)
movups %xmm1,0x30(%rbx,%rax,4)
movups 0x40(%r13,%rax,4),%xmm0
movups 0x50(%r13,%rax,4),%xmm1
movups %xmm0,0x40(%rbx,%rax,4)
movups %xmm1,0x50(%rbx,%rax,4)
movups 0x60(%r13,%rax,4),%xmm0
movups 0x70(%r13,%rax,4),%xmm1
movups %xmm0,0x60(%rbx,%rax,4)
movups %xmm1,0x70(%rbx,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1430 <permute+0x2e0>
cmpq   $0x0,0x38(%rsp)
je     14cb <permute+0x37b>
mov    0x30(%rsp),%rcx
lea    (%rcx,%rax,4),%rcx
mov    0x28(%rsp),%rdx
lea    (%rdx,%rax,4),%rax
xor    %edx,%edx
nopl   (%rax)
movups -0x10(%rax,%rdx,1),%xmm0
movups (%rax,%rdx,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdx,1)
movups %xmm1,(%rcx,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%r15
jne    14b0 <permute+0x360>
mov    0x48(%rsp),%rcx
mov    %rcx,%rax
cmp    %r12,%rcx
je     13b0 <permute+0x260>
mov    %rax,%rcx
not    %rcx
add    %r12,%rcx
test   %r8,%r8
je     1502 <permute+0x3b2>
mov    %r8,%rdx
nopl   (%rax)
mov    0x0(%r13,%rax,4),%edi
mov    %edi,(%rbx,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rdx
jne    14f0 <permute+0x3a0>
cmp    $0x3,%rcx
jb     13b0 <permute+0x260>
nopl   0x0(%rax)
mov    0x0(%r13,%rax,4),%ecx
mov    %ecx,(%rbx,%rax,4)
mov    0x4(%r13,%rax,4),%ecx
mov    %ecx,0x4(%rbx,%rax,4)
mov    0x8(%r13,%rax,4),%ecx
mov    %ecx,0x8(%rbx,%rax,4)
mov    0xc(%r13,%rax,4),%ecx
mov    %ecx,0xc(%rbx,%rax,4)
add    $0x4,%rax
cmp    %rax,%r12
jne    1510 <permute+0x3c0>
jmp    13b0 <permute+0x260>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

LLVM IR (-O0):
define void @permute(i32* %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32*
%13 = alloca i32*
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32 %3, i32* %8
%14 = load i32, i32* %8
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %20
16: ; preds = %4
%17 = load i32*, i32** %5
%18 = load i32, i32* %6
%19 = call i32 @printArray(i32* %17, i32 %18)
br label %104
20: ; preds = %4
%21 = load i32, i32* %6
%22 = load i32, i32* %8
%23 = add nsw i32 %21, %22
store i32 %23, i32* %11
%24 = load i32, i32* %11
%25 = sext i32 %24 to i64
%26 = mul i64 %25, 4
%27 = trunc i64 %26 to i32
%28 = call i64 @malloc(i32 %27)
%29 = inttoptr i64 %28 to i32*
store i32* %29, i32** %12
store i32 0, i32* %9
br label %30
30: ; preds = %44, %20
%31 = load i32, i32* %9
%32 = load i32, i32* %6
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %47
34: ; preds = %30
%35 = load i32*, i32** %5
%36 = load i32, i32* %9
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
%40 = load i32*, i32** %12
%41 = load i32, i32* %9
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
store i32 %39, i32* %43
br label %44
44: ; preds = %34
%45 = load i32, i32* %9
%46 = add nsw i32 %45, 1
store i32 %46, i32* %9
br label %30
47: ; preds = %30
%48 = load i32, i32* %11
%49 = sext i32 %48 to i64
%50 = mul i64 %49, 4
%51 = trunc i64 %50 to i32
%52 = call i64 @malloc(i32 %51)
%53 = inttoptr i64 %52 to i32*
store i32* %53, i32** %13
store i32 0, i32* %9
br label %54
54: ; preds = %96, %47
%55 = load i32, i32* %9
%56 = load i32, i32* %8
%57 = icmp slt i32 %55, %56
br i1 %57, label %58, label %99
58: ; preds = %54
store i32 0, i32* %10
br label %59
59: ; preds = %73, %58
%60 = load i32, i32* %10
%61 = load i32, i32* %8
%62 = icmp slt i32 %60, %61
br i1 %62, label %63, label %76
63: ; preds = %59
%64 = load i32*, i32** %7
%65 = load i32, i32* %10
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
%68 = load i32, i32* %67
%69 = load i32*, i32** %13
%70 = load i32, i32* %10
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
store i32 %68, i32* %72
br label %73
73: ; preds = %63
%74 = load i32, i32* %10
%75 = add nsw i32 %74, 1
store i32 %75, i32* %10
br label %59
76: ; preds = %59
%77 = load i32*, i32** %13
%78 = load i32, i32* %9
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
%82 = load i32*, i32** %12
%83 = load i32, i32* %6
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
store i32 %81, i32* %85
%86 = load i32*, i32** %13
%87 = load i32, i32* %8
%88 = load i32, i32* %9
%89 = call i32 @deleteAndShift(i32* %86, i32 %87, i32 %88)
%90 = load i32*, i32** %12
%91 = load i32, i32* %6
%92 = add nsw i32 %91, 1
%93 = load i32*, i32** %13
%94 = load i32, i32* %8
%95 = sub nsw i32 %94, 1
br label %96
96: ; preds = %76
%97 = load i32, i32* %9
%98 = add nsw i32 %97, 1
store i32 %98, i32* %9
br label %54
99: ; preds = %54
%100 = load i32*, i32** %12
%101 = call i32 @free(i32* %100)
%102 = load i32*, i32** %13
%103 = call i32 @free(i32* %102)
br label %104
104: ; preds = %99, %16
ret void
}

LLVM IR (-O2):
define void @permute(i32* %0, i32 %1, i32* nocapture %2, i32 %3) {
%5 = icmp eq i32 %3, 0
br i1 %5, label %6, label %8
6: ; preds = %4
%7 = tail call i32 @printArray(i32* %0, i32 %1)
br label %288
8: ; preds = %4
%9 = add nsw i32 %3, %1
%10 = shl i32 %9, 2
%11 = tail call i64 @malloc(i32 %10)
%12 = inttoptr i64 %11 to i32*
%13 = inttoptr i64 %11 to i8*
%14 = icmp sgt i32 %1, 0
br i1 %14, label %15, label %141
15: ; preds = %8
%16 = zext i32 %1 to i64
%17 = icmp ult i32 %1, 8
br i1 %17, label %104, label %18
18: ; preds = %15
%19 = getelementptr i32, i32* %12, i64 %16
%20 = getelementptr i32, i32* %0, i64 %16
%21 = bitcast i32* %20 to i8*
%22 = icmp ult i8* %13, %21
%23 = icmp ugt i32* %19, %0
%24 = and i1 %22, %23
br i1 %24, label %104, label %25
25: ; preds = %18
%26 = and i64 %16, 4294967288
%27 = add nsw i64 %26, -8
%28 = lshr exact i64 %27, 3
%29 = add nuw nsw i64 %28, 1
%30 = and i64 %29, 3
%31 = icmp ult i64 %27, 24
br i1 %31, label %83, label %32
32: ; preds = %25
%33 = and i64 %29, 4611686018427387900
br label %34
34: ; preds = %34, %32
%35 = phi i64 [ 0, %32 ], [ %80, %34 ]
%36 = phi i64 [ 0, %32 ], [ %81, %34 ]
%37 = getelementptr inbounds i32, i32* %0, i64 %35
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = getelementptr inbounds i32, i32* %37, i64 4
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = getelementptr inbounds i32, i32* %12, i64 %35
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %39, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %43, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %42, <4 x i32>* %46
%47 = or i64 %35, 8
%48 = getelementptr inbounds i32, i32* %0, i64 %47
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = getelementptr inbounds i32, i32* %48, i64 4
%52 = bitcast i32* %51 to <4 x i32>*
%53 = load <4 x i32>, <4 x i32>* %52
%54 = getelementptr inbounds i32, i32* %12, i64 %47
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %55
%56 = getelementptr inbounds i32, i32* %54, i64 4
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> %53, <4 x i32>* %57
%58 = or i64 %35, 16
%59 = getelementptr inbounds i32, i32* %0, i64 %58
%60 = bitcast i32* %59 to <4 x i32>*
%61 = load <4 x i32>, <4 x i32>* %60
%62 = getelementptr inbounds i32, i32* %59, i64 4
%63 = bitcast i32* %62 to <4 x i32>*
%64 = load <4 x i32>, <4 x i32>* %63
%65 = getelementptr inbounds i32, i32* %12, i64 %58
%66 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %61, <4 x i32>* %66
%67 = getelementptr inbounds i32, i32* %65, i64 4
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %68
%69 = or i64 %35, 24
%70 = getelementptr inbounds i32, i32* %0, i64 %69
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = getelementptr inbounds i32, i32* %70, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
%75 = load <4 x i32>, <4 x i32>* %74
%76 = getelementptr inbounds i32, i32* %12, i64 %69
%77 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> %72, <4 x i32>* %77
%78 = getelementptr inbounds i32, i32* %76, i64 4
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %79
%80 = add nuw i64 %35, 32
%81 = add i64 %36, 4
%82 = icmp eq i64 %81, %33
br i1 %82, label %83, label %34
83: ; preds = %34, %25
%84 = phi i64 [ 0, %25 ], [ %80, %34 ]
%85 = icmp eq i64 %30, 0
br i1 %85, label %102, label %86
86: ; preds = %83, %86
%87 = phi i64 [ %99, %86 ], [ %84, %83 ]
%88 = phi i64 [ %100, %86 ], [ 0, %83 ]
%89 = getelementptr inbounds i32, i32* %0, i64 %87
%90 = bitcast i32* %89 to <4 x i32>*
%91 = load <4 x i32>, <4 x i32>* %90
%92 = getelementptr inbounds i32, i32* %89, i64 4
%93 = bitcast i32* %92 to <4 x i32>*
%94 = load <4 x i32>, <4 x i32>* %93
%95 = getelementptr inbounds i32, i32* %12, i64 %87
%96 = bitcast i32* %95 to <4 x i32>*
store <4 x i32> %91, <4 x i32>* %96
%97 = getelementptr inbounds i32, i32* %95, i64 4
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> %94, <4 x i32>* %98
%99 = add nuw i64 %87, 8
%100 = add i64 %88, 1
%101 = icmp eq i64 %100, %30
br i1 %101, label %102, label %86
102: ; preds = %86, %83
%103 = icmp eq i64 %26, %16
br i1 %103, label %141, label %104
104: ; preds = %18, %15, %102
%105 = phi i64 [ 0, %18 ], [ 0, %15 ], [ %26, %102 ]
%106 = xor i64 %105, -1
%107 = add nsw i64 %106, %16
%108 = and i64 %16, 3
%109 = icmp eq i64 %108, 0
br i1 %109, label %119, label %110
110: ; preds = %104, %110
%111 = phi i64 [ %116, %110 ], [ %105, %104 ]
%112 = phi i64 [ %117, %110 ], [ 0, %104 ]
%113 = getelementptr inbounds i32, i32* %0, i64 %111
%114 = load i32, i32* %113
%115 = getelementptr inbounds i32, i32* %12, i64 %111
store i32 %114, i32* %115
%116 = add nuw nsw i64 %111, 1
%117 = add i64 %112, 1
%118 = icmp eq i64 %117, %108
br i1 %118, label %119, label %110
119: ; preds = %110, %104
%120 = phi i64 [ %105, %104 ], [ %116, %110 ]
%121 = icmp ult i64 %107, 3
br i1 %121, label %141, label %122
122: ; preds = %119, %122
%123 = phi i64 [ %139, %122 ], [ %120, %119 ]
%124 = getelementptr inbounds i32, i32* %0, i64 %123
%125 = load i32, i32* %124
%126 = getelementptr inbounds i32, i32* %12, i64 %123
store i32 %125, i32* %126
%127 = add nuw nsw i64 %123, 1
%128 = getelementptr inbounds i32, i32* %0, i64 %127
%129 = load i32, i32* %128
%130 = getelementptr inbounds i32, i32* %12, i64 %127
store i32 %129, i32* %130
%131 = add nuw nsw i64 %123, 2
%132 = getelementptr inbounds i32, i32* %0, i64 %131
%133 = load i32, i32* %132
%134 = getelementptr inbounds i32, i32* %12, i64 %131
store i32 %133, i32* %134
%135 = add nuw nsw i64 %123, 3
%136 = getelementptr inbounds i32, i32* %0, i64 %135
%137 = load i32, i32* %136
%138 = getelementptr inbounds i32, i32* %12, i64 %135
store i32 %137, i32* %138
%139 = add nuw nsw i64 %123, 4
%140 = icmp eq i64 %139, %16
br i1 %140, label %141, label %122
141: ; preds = %119, %122, %102, %8
%142 = tail call i64 @malloc(i32 %10)
%143 = inttoptr i64 %142 to i32*
%144 = inttoptr i64 %142 to i8*
%145 = icmp sgt i32 %3, 0
br i1 %145, label %146, label %285
146: ; preds = %141
%147 = sext i32 %1 to i64
%148 = getelementptr inbounds i32, i32* %12, i64 %147
%149 = add nsw i32 %1, 1
%150 = add nsw i32 %3, -1
%151 = zext i32 %3 to i64
%152 = getelementptr i32, i32* %143, i64 %151
%153 = getelementptr i32, i32* %2, i64 %151
%154 = bitcast i32* %153 to i8*
%155 = and i64 %151, 4294967288
%156 = add nsw i64 %155, -8
%157 = lshr exact i64 %156, 3
%158 = add nuw nsw i64 %157, 1
%159 = icmp ult i32 %3, 8
%160 = icmp ult i8* %144, %154
%161 = icmp ugt i32* %152, %2
%162 = and i1 %160, %161
%163 = and i64 %151, 4294967288
%164 = and i64 %158, 3
%165 = icmp ult i64 %156, 24
%166 = and i64 %158, 4611686018427387900
%167 = icmp eq i64 %164, 0
%168 = icmp eq i64 %163, %151
%169 = and i64 %151, 3
%170 = icmp eq i64 %169, 0
br label %171
171: ; preds = %278, %146
%172 = phi i64 [ 0, %146 ], [ %283, %278 ]
%173 = select i1 %159, i1 true, i1 %162
br i1 %173, label %243, label %174
174: ; preds = %171
br i1 %165, label %224, label %175
175: ; preds = %174, %175
%176 = phi i64 [ %221, %175 ], [ 0, %174 ]
%177 = phi i64 [ %222, %175 ], [ 0, %174 ]
%178 = getelementptr inbounds i32, i32* %2, i64 %176
%179 = bitcast i32* %178 to <4 x i32>*
%180 = load <4 x i32>, <4 x i32>* %179
%181 = getelementptr inbounds i32, i32* %178, i64 4
%182 = bitcast i32* %181 to <4 x i32>*
%183 = load <4 x i32>, <4 x i32>* %182
%184 = getelementptr inbounds i32, i32* %143, i64 %176
%185 = bitcast i32* %184 to <4 x i32>*
store <4 x i32> %180, <4 x i32>* %185
%186 = getelementptr inbounds i32, i32* %184, i64 4
%187 = bitcast i32* %186 to <4 x i32>*
store <4 x i32> %183, <4 x i32>* %187
%188 = or i64 %176, 8
%189 = getelementptr inbounds i32, i32* %2, i64 %188
%190 = bitcast i32* %189 to <4 x i32>*
%191 = load <4 x i32>, <4 x i32>* %190
%192 = getelementptr inbounds i32, i32* %189, i64 4
%193 = bitcast i32* %192 to <4 x i32>*
%194 = load <4 x i32>, <4 x i32>* %193
%195 = getelementptr inbounds i32, i32* %143, i64 %188
%196 = bitcast i32* %195 to <4 x i32>*
store <4 x i32> %191, <4 x i32>* %196
%197 = getelementptr inbounds i32, i32* %195, i64 4
%198 = bitcast i32* %197 to <4 x i32>*
store <4 x i32> %194, <4 x i32>* %198
%199 = or i64 %176, 16
%200 = getelementptr inbounds i32, i32* %2, i64 %199
%201 = bitcast i32* %200 to <4 x i32>*
%202 = load <4 x i32>, <4 x i32>* %201
%203 = getelementptr inbounds i32, i32* %200, i64 4
%204 = bitcast i32* %203 to <4 x i32>*
%205 = load <4 x i32>, <4 x i32>* %204
%206 = getelementptr inbounds i32, i32* %143, i64 %199
%207 = bitcast i32* %206 to <4 x i32>*
store <4 x i32> %202, <4 x i32>* %207
%208 = getelementptr inbounds i32, i32* %206, i64 4
%209 = bitcast i32* %208 to <4 x i32>*
store <4 x i32> %205, <4 x i32>* %209
%210 = or i64 %176, 24
%211 = getelementptr inbounds i32, i32* %2, i64 %210
%212 = bitcast i32* %211 to <4 x i32>*
%213 = load <4 x i32>, <4 x i32>* %212
%214 = getelementptr inbounds i32, i32* %211, i64 4
%215 = bitcast i32* %214 to <4 x i32>*
%216 = load <4 x i32>, <4 x i32>* %215
%217 = getelementptr inbounds i32, i32* %143, i64 %210
%218 = bitcast i32* %217 to <4 x i32>*
store <4 x i32> %213, <4 x i32>* %218
%219 = getelementptr inbounds i32, i32* %217, i64 4
%220 = bitcast i32* %219 to <4 x i32>*
store <4 x i32> %216, <4 x i32>* %220
%221 = add nuw i64 %176, 32
%222 = add i64 %177, 4
%223 = icmp eq i64 %222, %166
br i1 %223, label %224, label %175
224: ; preds = %175, %174
%225 = phi i64 [ 0, %174 ], [ %221, %175 ]
br i1 %167, label %242, label %226
226: ; preds = %224, %226
%227 = phi i64 [ %239, %226 ], [ %225, %224 ]
%228 = phi i64 [ %240, %226 ], [ 0, %224 ]
%229 = getelementptr inbounds i32, i32* %2, i64 %227
%230 = bitcast i32* %229 to <4 x i32>*
%231 = load <4 x i32>, <4 x i32>* %230
%232 = getelementptr inbounds i32, i32* %229, i64 4
%233 = bitcast i32* %232 to <4 x i32>*
%234 = load <4 x i32>, <4 x i32>* %233
%235 = getelementptr inbounds i32, i32* %143, i64 %227
%236 = bitcast i32* %235 to <4 x i32>*
store <4 x i32> %231, <4 x i32>* %236
%237 = getelementptr inbounds i32, i32* %235, i64 4
%238 = bitcast i32* %237 to <4 x i32>*
store <4 x i32> %234, <4 x i32>* %238
%239 = add nuw i64 %227, 8
%240 = add i64 %228, 1
%241 = icmp eq i64 %240, %164
br i1 %241, label %242, label %226
242: ; preds = %226, %224
br i1 %168, label %278, label %243
243: ; preds = %171, %242
%244 = phi i64 [ 0, %171 ], [ %163, %242 ]
%245 = xor i64 %244, -1
%246 = add nsw i64 %245, %151
br i1 %170, label %256, label %247
247: ; preds = %243, %247
%248 = phi i64 [ %253, %247 ], [ %244, %243 ]
%249 = phi i64 [ %254, %247 ], [ 0, %243 ]
%250 = getelementptr inbounds i32, i32* %2, i64 %248
%251 = load i32, i32* %250
%252 = getelementptr inbounds i32, i32* %143, i64 %248
store i32 %251, i32* %252
%253 = add nuw nsw i64 %248, 1
%254 = add i64 %249, 1
%255 = icmp eq i64 %254, %169
br i1 %255, label %256, label %247
256: ; preds = %247, %243
%257 = phi i64 [ %244, %243 ], [ %253, %247 ]
%258 = icmp ult i64 %246, 3
br i1 %258, label %278, label %259
259: ; preds = %256, %259
%260 = phi i64 [ %276, %259 ], [ %257, %256 ]
%261 = getelementptr inbounds i32, i32* %2, i64 %260
%262 = load i32, i32* %261
%263 = getelementptr inbounds i32, i32* %143, i64 %260
store i32 %262, i32* %263
%264 = add nuw nsw i64 %260, 1
%265 = getelementptr inbounds i32, i32* %2, i64 %264
%266 = load i32, i32* %265
%267 = getelementptr inbounds i32, i32* %143, i64 %264
store i32 %266, i32* %267
%268 = add nuw nsw i64 %260, 2
%269 = getelementptr inbounds i32, i32* %2, i64 %268
%270 = load i32, i32* %269
%271 = getelementptr inbounds i32, i32* %143, i64 %268
store i32 %270, i32* %271
%272 = add nuw nsw i64 %260, 3
%273 = getelementptr inbounds i32, i32* %2, i64 %272
%274 = load i32, i32* %273
%275 = getelementptr inbounds i32, i32* %143, i64 %272
store i32 %274, i32* %275
%276 = add nuw nsw i64 %260, 4
%277 = icmp eq i64 %276, %151
br i1 %277, label %278, label %259
278: ; preds = %256, %259, %242
%279 = getelementptr inbounds i32, i32* %143, i64 %172
%280 = load i32, i32* %279
store i32 %280, i32* %148
%281 = trunc i64 %172 to i32
%282 = tail call i32 @deleteAndShift(i32* %143, i32 %3, i32 %281)
tail call void @permute(i32* %12, i32 %149, i32* %143, i32 %150)
%283 = add nuw nsw i64 %172, 1
%284 = icmp eq i64 %283, %151
br i1 %284, label %285, label %171
285: ; preds = %278, %141
%286 = tail call i32 @free(i32* %12)
%287 = tail call i32 @free(i32* %143)
br label %288
288: ; preds = %285, %6
ret void
}