#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 */
struct link {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ free(struct link *);
int /*<<< orphan*/ printf(char *);
int remove_pos(int pos, int s, struct link **stack) {
  int j;
  if (pos < 0 || pos >= s)
    printf("error: position not in stack\n");
  free(stack[pos]);
  for (j = pos + 1; j < s; j++) {
    stack[j - 1] = stack[j];
  }
  s--;
  return s;
}


x86 assembly (clang, -O0):
<remove_pos>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
cmpl   $0x0,-0x4(%rbp)
jl     1148 <remove_pos+0x28>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jl     1154 <remove_pos+0x34>
lea    0xeb1(%rip),%rdi
call   1040 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1030 <free@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11a5 <remove_pos+0x85>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116e <remove_pos+0x4e>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<remove_pos>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r15
mov    %esi,%r14d
mov    %edi,%ebx
test   %edi,%edi
js     1139 <remove_pos+0x19>
cmp    %r14d,%ebx
jl     1145 <remove_pos+0x25>
lea    0xec0(%rip),%rdi
call   1040 <puts@plt>
movslq %ebx,%r12
mov    (%r15,%r12,8),%rdi
call   1030 <free@plt>
lea    0x1(%rbx),%eax
cmp    %r14d,%eax
jge    1334 <remove_pos+0x214>
movslq %eax,%r10
lea    -0x2(%r14),%eax
mov    %eax,%r11d
sub    %ebx,%r11d
cmp    $0x3,%r11d
jb     1263 <remove_pos+0x143>
cmp    %ebx,%eax
jl     1263 <remove_pos+0x143>
lea    (%r15,%r12,8),%rcx
mov    %r14d,%eax
sub    %ebx,%eax
add    $0xfffffffe,%eax
lea    (%r10,%rax,1),%rdx
lea    (%r15,%rdx,8),%rdx
add    $0x8,%rdx
cmp    %rdx,%rcx
jae    11b1 <remove_pos+0x91>
add    %rax,%r12
lea    (%r15,%r12,8),%rax
add    $0x8,%rax
lea    (%r15,%r10,8),%rcx
cmp    %rax,%rcx
jb     1263 <remove_pos+0x143>
add    $0x1,%r11
mov    %r11,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     1344 <remove_pos+0x224>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r15,%r10,8),%rdx
add    $0x30,%rdx
lea    0x4(%rbx),%eax
mov    %ebx,%ecx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
lea    (%rcx,%rdi,1),%ebp
movups -0x30(%rdx,%rdi,8),%xmm0
movups -0x20(%rdx,%rdi,8),%xmm1
movslq %ebp,%rbp
movups %xmm0,(%r15,%rbp,8)
movups %xmm1,0x10(%r15,%rbp,8)
lea    (%rax,%rdi,1),%ebp
movups -0x10(%rdx,%rdi,8),%xmm0
movups (%rdx,%rdi,8),%xmm1
movslq %ebp,%rbp
movups %xmm0,(%r15,%rbp,8)
movups %xmm1,0x10(%r15,%rbp,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11f0 <remove_pos+0xd0>
test   $0x1,%r9b
je     1254 <remove_pos+0x134>
lea    (%rdi,%r10,1),%rax
add    %ebx,%edi
movups (%r15,%rax,8),%xmm0
movups 0x10(%r15,%rax,8),%xmm1
movslq %edi,%rax
movups %xmm0,(%r15,%rax,8)
movups %xmm1,0x10(%r15,%rax,8)
cmp    %r8,%r11
je     1334 <remove_pos+0x214>
add    %r8,%r10
add    %r8d,%ebx
mov    %r14d,%eax
sub    %r10d,%eax
mov    %r10d,%edx
not    %edx
add    %r14d,%edx
and    $0x3,%eax
je     12aa <remove_pos+0x18a>
neg    %eax
xor    %esi,%esi
mov    %r10,%rcx
nopl   (%rax)
mov    (%r15,%rcx,8),%rdi
movslq %ebx,%rbp
mov    %rdi,(%r15,%rbp,8)
mov    %ecx,%ebx
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
cmp    %esi,%eax
jne    1280 <remove_pos+0x160>
not    %esi
add    %r10d,%esi
mov    %esi,%ebx
cmp    $0x3,%edx
jae    12b6 <remove_pos+0x196>
jmp    1334 <remove_pos+0x214>
mov    %r10,%rcx
cmp    $0x3,%edx
jb     1334 <remove_pos+0x214>
movabs $0x1fffffffc,%r8
mov    %r14d,%edx
mov    %rcx,%rdi
shl    $0x20,%rdi
movabs $0x100000000,%r9
movabs $0x400000000,%rax
xchg   %ax,%ax
mov    (%r15,%rcx,8),%rbp
movslq %ebx,%rbx
mov    %rbp,(%r15,%rbx,8)
mov    0x8(%r15,%rcx,8),%rbp
mov    %rdi,%rsi
sar    $0x1d,%rsi
mov    %rbp,(%r15,%rsi,1)
mov    0x10(%r15,%rcx,8),%rsi
lea    (%rdi,%r9,1),%rbp
sar    $0x1d,%rbp
mov    %rsi,(%r15,%rbp,1)
mov    0x18(%r15,%rcx,8),%rsi
lea    (%r8,%rdi,1),%rbp
add    $0x4,%rbp
sar    $0x1d,%rbp
mov    %rsi,(%r15,%rbp,1)
mov    %ecx,%ebx
lea    0x4(%rcx),%rsi
add    $0x3,%ebx
add    %rax,%rdi
mov    %rsi,%rcx
cmp    %esi,%edx
jne    12e0 <remove_pos+0x1c0>
add    $0xffffffff,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    1235 <remove_pos+0x115>
jmp    1254 <remove_pos+0x134>

LLVM IR (-O0):
%struct.link = type { i32 }
@.str = [30 x i8] c"error: position not in stack\0A\00"
define i32 @remove_pos(i32 %0, i32 %1, %struct.link** %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca %struct.link**
%7 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store %struct.link** %2, %struct.link*** %6
%8 = load i32, i32* %4
%9 = icmp slt i32 %8, 0
br i1 %9, label %14, label %10
10: ; preds = %3
%11 = load i32, i32* %4
%12 = load i32, i32* %5
%13 = icmp sge i32 %11, %12
br i1 %13, label %14, label %16
14: ; preds = %10, %3
%15 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str, i64 0, i64 0))
br label %16
16: ; preds = %14, %10
%17 = load %struct.link**, %struct.link*** %6
%18 = load i32, i32* %4
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds %struct.link*, %struct.link** %17, i64 %19
%21 = load %struct.link*, %struct.link** %20
%22 = call i32 @free(%struct.link* %21)
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
store i32 %24, i32* %7
br label %25
25: ; preds = %40, %16
%26 = load i32, i32* %7
%27 = load i32, i32* %5
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %43
29: ; preds = %25
%30 = load %struct.link**, %struct.link*** %6
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds %struct.link*, %struct.link** %30, i64 %32
%34 = load %struct.link*, %struct.link** %33
%35 = load %struct.link**, %struct.link*** %6
%36 = load i32, i32* %7
%37 = sub nsw i32 %36, 1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds %struct.link*, %struct.link** %35, i64 %38
store %struct.link* %34, %struct.link** %39
br label %40
40: ; preds = %29
%41 = load i32, i32* %7
%42 = add nsw i32 %41, 1
store i32 %42, i32* %7
br label %25
43: ; preds = %25
%44 = load i32, i32* %5
%45 = add nsw i32 %44, -1
store i32 %45, i32* %5
%46 = load i32, i32* %5
ret i32 %46
}

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