#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*/ printf(char *, ...);
void follower(int perm[], int inl, int hold, int maxlen) {
  int i;
  for (i = 0; i <= (maxlen - inl); ++i) {
    perm[i + inl] = perm[i];
  }
  int j;
  for (j = 0; j <= inl - 1; ++j) {
    for (i = j; i <= inl + j - 1; ++i) {
      if (i != hold) {
        printf("%d,", perm[i]);
      }
    }
    printf("\n");
  }
}


x86 assembly (clang, -O0):
<follower>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jg     1166 <follower+0x56>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    -0xc(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112c <follower+0x1c>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     11ec <follower+0xdc>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     11d0 <follower+0xc0>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
je     11bd <follower+0xad>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xe4a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11c2 <follower+0xb2>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1184 <follower+0x74>
lea    0xe2d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <follower+0x5d>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<follower>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
sub    %esi,%ecx
jl     12c5 <follower+0x1a5>
movslq %esi,%r8
add    $0x1,%ecx
cmp    $0x8,%ecx
jb     1163 <follower+0x43>
lea    (%r14,%r8,4),%rax
lea    (%r14,%rcx,4),%rdi
cmp    %rdi,%rax
jae    11e0 <follower+0xc0>
lea    (%r8,%rcx,1),%rax
lea    (%r14,%rax,4),%rax
cmp    %r14,%rax
jbe    11e0 <follower+0xc0>
xor    %edi,%edi
mov    %rdi,%r9
not    %r9
add    %rcx,%r9
mov    %rcx,%rbp
and    $0x3,%rbp
je     1191 <follower+0x71>
lea    (%r14,%r8,4),%rbx
nopl   0x0(%rax,%rax,1)
mov    (%r14,%rdi,4),%eax
mov    %eax,(%rbx,%rdi,4)
add    $0x1,%rdi
add    $0xffffffffffffffff,%rbp
jne    1180 <follower+0x60>
cmp    $0x3,%r9
jb     12c5 <follower+0x1a5>
lea    (%r14,%r8,4),%rax
add    $0xc,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r14,%rdi,4),%ebp
mov    %ebp,-0xc(%rax,%rdi,4)
mov    0x4(%r14,%rdi,4),%ebp
mov    %ebp,-0x8(%rax,%rdi,4)
mov    0x8(%r14,%rdi,4),%ebp
mov    %ebp,-0x4(%rax,%rdi,4)
mov    0xc(%r14,%rdi,4),%ebp
mov    %ebp,(%rax,%rdi,4)
add    $0x4,%rdi
cmp    %rdi,%rcx
jne    11b0 <follower+0x90>
jmp    12c5 <follower+0x1a5>
mov    %ecx,%edi
and    $0xfffffff8,%edi
lea    -0x8(%rdi),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10d,%r9d
and    $0x3,%r9d
cmp    $0x18,%rax
jae    1205 <follower+0xe5>
xor    %eax,%eax
jmp    1280 <follower+0x160>
and    $0xfffffffffffffffc,%r10
lea    0x70(%r14),%r11
lea    (%r14,%r8,4),%rbx
add    $0x70,%rbx
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movups -0x70(%r11,%rax,4),%xmm0
movups -0x60(%r11,%rax,4),%xmm1
movups %xmm0,-0x70(%rbx,%rax,4)
movups %xmm1,-0x60(%rbx,%rax,4)
movups -0x50(%r11,%rax,4),%xmm0
movups -0x40(%r11,%rax,4),%xmm1
movups %xmm0,-0x50(%rbx,%rax,4)
movups %xmm1,-0x40(%rbx,%rax,4)
movups -0x30(%r11,%rax,4),%xmm0
movups -0x20(%r11,%rax,4),%xmm1
movups %xmm0,-0x30(%rbx,%rax,4)
movups %xmm1,-0x20(%rbx,%rax,4)
movups -0x10(%r11,%rax,4),%xmm0
movups (%r11,%rax,4),%xmm1
movups %xmm0,-0x10(%rbx,%rax,4)
movups %xmm1,(%rbx,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%r10
jne    1220 <follower+0x100>
test   %r9,%r9
je     12bc <follower+0x19c>
lea    (%rax,%r8,1),%rbp
lea    (%r14,%rbp,4),%rbp
add    $0x10,%rbp
lea    (%r14,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r9
xor    %ebx,%ebx
nop
movups -0x10(%rax,%rbx,1),%xmm0
movups (%rax,%rbx,1),%xmm1
movups %xmm0,-0x10(%rbp,%rbx,1)
movups %xmm1,0x0(%rbp,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r9
jne    12a0 <follower+0x180>
cmp    %rcx,%rdi
jne    1165 <follower+0x45>
test   %esi,%esi
jle    131e <follower+0x1fe>
mov    %edx,%ebx
mov    %esi,%eax
lea    0xd2c(%rip),%r15
xor    %r12d,%r12d
mov    %rax,(%rsp)
jmp    12f7 <follower+0x1d7>
nopl   (%rax)
mov    $0xa,%edi
call   1030 <putchar@plt>
add    $0x1,%r12
mov    (%rsp),%rax
cmp    %rax,%r12
je     131e <follower+0x1fe>
lea    (%r12,%rax,1),%rbp
mov    %r12,%r13
jmp    1309 <follower+0x1e9>
add    $0x1,%r13
cmp    %rbp,%r13
jae    12e0 <follower+0x1c0>
cmp    %r13,%rbx
je     1300 <follower+0x1e0>
mov    (%r14,%r13,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    1300 <follower+0x1e0>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [4 x i8] c"%d,\00"
@.str.1 = [2 x i8] c"\0A\00"
define void @follower(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
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
store i32 0, i32* %9
br label %11
11: ; preds = %29, %4
%12 = load i32, i32* %9
%13 = load i32, i32* %8
%14 = load i32, i32* %6
%15 = sub nsw i32 %13, %14
%16 = icmp sle i32 %12, %15
br i1 %16, label %17, label %32
17: ; preds = %11
%18 = load i32*, i32** %5
%19 = load i32, i32* %9
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i32, i32* %18, i64 %20
%22 = load i32, i32* %21
%23 = load i32*, i32** %5
%24 = load i32, i32* %9
%25 = load i32, i32* %6
%26 = add nsw i32 %24, %25
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %23, i64 %27
store i32 %22, i32* %28
br label %29
29: ; preds = %17
%30 = load i32, i32* %9
%31 = add nsw i32 %30, 1
store i32 %31, i32* %9
br label %11
32: ; preds = %11
store i32 0, i32* %10
br label %33
33: ; preds = %64, %32
%34 = load i32, i32* %10
%35 = load i32, i32* %6
%36 = sub nsw i32 %35, 1
%37 = icmp sle i32 %34, %36
br i1 %37, label %38, label %67
38: ; preds = %33
%39 = load i32, i32* %10
store i32 %39, i32* %9
br label %40
40: ; preds = %59, %38
%41 = load i32, i32* %9
%42 = load i32, i32* %6
%43 = load i32, i32* %10
%44 = add nsw i32 %42, %43
%45 = sub nsw i32 %44, 1
%46 = icmp sle i32 %41, %45
br i1 %46, label %47, label %62
47: ; preds = %40
%48 = load i32, i32* %9
%49 = load i32, i32* %7
%50 = icmp ne i32 %48, %49
br i1 %50, label %51, label %58
51: ; preds = %47
%52 = load i32*, i32** %5
%53 = load i32, i32* %9
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %56)
br label %58
58: ; preds = %51, %47
br label %59
59: ; preds = %58
%60 = load i32, i32* %9
%61 = add nsw i32 %60, 1
store i32 %61, i32* %9
br label %40
62: ; preds = %40
%63 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
br label %64
64: ; preds = %62
%65 = load i32, i32* %10
%66 = add nsw i32 %65, 1
store i32 %66, i32* %10
br label %33
67: ; preds = %33
ret void
}

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