int gen_comb_norep_revcolex_init(unsigned char *vector, const unsigned char n,
                                 const unsigned char k) {
  int j;
  if (k > n)
    return (3);
  if (k == 0)
    return (2);
  vector[0] = n - k;
  for (j = 1; j < k; j++)
    vector[j] = vector[j - 1] + 1;
  return (0);
}


x86 assembly (clang, -O0):
<gen_comb_norep_revcolex_init>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%cl
mov    %rdi,-0x10(%rbp)
mov    %cl,-0x11(%rbp)
mov    %al,-0x12(%rbp)
movzbl -0x12(%rbp),%eax
movzbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jle    112f <gen_comb_norep_revcolex_init+0x2f>
movl   $0x3,-0x4(%rbp)
jmp    11a6 <gen_comb_norep_revcolex_init+0xa6>
movzbl -0x12(%rbp),%eax
cmp    $0x0,%eax
jne    1148 <gen_comb_norep_revcolex_init+0x48>
movl   $0x2,-0x4(%rbp)
jmp    11a6 <gen_comb_norep_revcolex_init+0xa6>
movzbl -0x11(%rbp),%eax
movzbl -0x12(%rbp),%ecx
sub    %ecx,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
movzbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jge    119f <gen_comb_norep_revcolex_init+0x9f>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
add    $0x1,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1161 <gen_comb_norep_revcolex_init+0x61>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_comb_norep_revcolex_init>:
mov    $0x3,%eax
sub    %dl,%sil
jb     1250 <gen_comb_norep_revcolex_init+0x150>
test   %dl,%dl
je     1251 <gen_comb_norep_revcolex_init+0x151>
mov    %sil,(%rdi)
xor    %eax,%eax
cmp    $0x1,%dl
je     1250 <gen_comb_norep_revcolex_init+0x150>
movzbl %dl,%r11d
lea    -0x1(%r11),%r8
mov    $0x1,%r10d
cmp    $0x20,%r8
jb     1226 <gen_comb_norep_revcolex_init+0x126>
mov    %r8,%r10
and    $0xffffffffffffffe0,%r10
movzbl %sil,%ecx
movd   %ecx,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
paddb  0xe9f(%rip),%xmm0
lea    -0x20(%r10),%rcx
mov    %rcx,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     1257 <gen_comb_norep_revcolex_init+0x157>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
mov    $0x1,%edx
pcmpeqd %xmm1,%xmm1
movdqa 0xe7f(%rip),%xmm2
movdqa 0xe87(%rip),%xmm3
movdqa 0xe8f(%rip),%xmm4
movdqa 0xe97(%rip),%xmm5
nopl   0x0(%rax)
movdqa %xmm0,%xmm6
psubb  %xmm1,%xmm6
movdqa %xmm0,%xmm7
paddb  %xmm2,%xmm7
movdqu %xmm6,(%rdi,%rdx,1)
movdqu %xmm7,0x10(%rdi,%rdx,1)
movdqa %xmm0,%xmm6
paddb  %xmm3,%xmm6
movdqa %xmm0,%xmm7
paddb  %xmm4,%xmm7
movdqu %xmm6,0x20(%rdi,%rdx,1)
movdqu %xmm7,0x30(%rdi,%rdx,1)
paddb  %xmm5,%xmm0
add    $0x40,%rdx
add    $0xfffffffffffffffe,%rcx
jne    11b0 <gen_comb_norep_revcolex_init+0xb0>
test   $0x1,%r9b
je     121a <gen_comb_norep_revcolex_init+0x11a>
pcmpeqd %xmm1,%xmm1
movdqa %xmm0,%xmm2
psubb  %xmm1,%xmm2
paddb  0xe01(%rip),%xmm0
movdqu %xmm2,(%rdi,%rdx,1)
movdqu %xmm0,0x10(%rdi,%rdx,1)
cmp    %r10,%r8
je     1250 <gen_comb_norep_revcolex_init+0x150>
add    %r10b,%sil
or     $0x1,%r10
add    $0x1,%sil
movzbl %sil,%ecx
add    %r10,%rdi
sub    %r10,%r11
xor    %eax,%eax
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
lea    (%rcx,%rdx,1),%esi
mov    %sil,(%rdi,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%r11
jne    1240 <gen_comb_norep_revcolex_init+0x140>
ret
mov    $0x2,%eax
ret
mov    $0x1,%edx
test   $0x1,%r9b
jne    11fb <gen_comb_norep_revcolex_init+0xfb>
jmp    121a <gen_comb_norep_revcolex_init+0x11a>

LLVM IR (-O0):
define i32 @gen_comb_norep_revcolex_init(i8* %0, i8 zeroext %1, i8 zeroext %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8
%8 = alloca i32
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8 %2, i8* %7
%9 = load i8, i8* %7
%10 = zext i8 %9 to i32
%11 = load i8, i8* %6
%12 = zext i8 %11 to i32
%13 = icmp sgt i32 %10, %12
br i1 %13, label %14, label %15
14: ; preds = %3
store i32 3, i32* %4
br label %52
15: ; preds = %3
%16 = load i8, i8* %7
%17 = zext i8 %16 to i32
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %15
store i32 2, i32* %4
br label %52
20: ; preds = %15
%21 = load i8, i8* %6
%22 = zext i8 %21 to i32
%23 = load i8, i8* %7
%24 = zext i8 %23 to i32
%25 = sub nsw i32 %22, %24
%26 = trunc i32 %25 to i8
%27 = load i8*, i8** %5
%28 = getelementptr inbounds i8, i8* %27, i64 0
store i8 %26, i8* %28
store i32 1, i32* %8
br label %29
29: ; preds = %48, %20
%30 = load i32, i32* %8
%31 = load i8, i8* %7
%32 = zext i8 %31 to i32
%33 = icmp slt i32 %30, %32
br i1 %33, label %34, label %51
34: ; preds = %29
%35 = load i8*, i8** %5
%36 = load i32, i32* %8
%37 = sub nsw i32 %36, 1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %35, i64 %38
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = add nsw i32 %41, 1
%43 = trunc i32 %42 to i8
%44 = load i8*, i8** %5
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %44, i64 %46
store i8 %43, i8* %47
br label %48
48: ; preds = %34
%49 = load i32, i32* %8
%50 = add nsw i32 %49, 1
store i32 %50, i32* %8
br label %29
51: ; preds = %29
store i32 0, i32* %4
br label %52
52: ; preds = %51, %19, %14
%53 = load i32, i32* %4
ret i32 %53
}

LLVM IR (-O2):
define i32 @gen_comb_norep_revcolex_init(i8* nocapture %0, i8 zeroext %1, i8 zeroext %2) {
%4 = icmp ult i8 %1, %2
br i1 %4, label %76, label %5
5: ; preds = %3
%6 = icmp eq i8 %2, 0
br i1 %6, label %76, label %7
7: ; preds = %5
%8 = sub i8 %1, %2
store i8 %8, i8* %0
%9 = icmp eq i8 %2, 1
br i1 %9, label %76, label %10
10: ; preds = %7
%11 = zext i8 %2 to i64
%12 = add nsw i64 %11, -1
%13 = icmp ult i64 %12, 32
br i1 %13, label %66, label %14
14: ; preds = %10
%15 = and i64 %12, -32
%16 = trunc i64 %15 to i8
%17 = add i8 %8, %16
%18 = or i64 %15, 1
%19 = insertelement <16 x i8> poison, i8 %8, i64 0
%20 = shufflevector <16 x i8> %19, <16 x i8> poison, <16 x i32> zeroinitializer
%21 = add <16 x i8> %20, <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>
%22 = add nsw i64 %15, -32
%23 = lshr exact i64 %22, 5
%24 = add nuw nsw i64 %23, 1
%25 = and i64 %24, 1
%26 = icmp eq i64 %22, 0
br i1 %26, label %53, label %27
27: ; preds = %14
%28 = and i64 %24, 1152921504606846974
br label %29
29: ; preds = %29, %27
%30 = phi i64 [ 0, %27 ], [ %47, %29 ]
%31 = phi <16 x i8> [ %21, %27 ], [ %48, %29 ]
%32 = phi i64 [ 0, %27 ], [ %49, %29 ]
%33 = or i64 %30, 1
%34 = add <16 x i8> %31, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%35 = add <16 x i8> %31, <i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17>
%36 = getelementptr inbounds i8, i8* %0, i64 %33
%37 = bitcast i8* %36 to <16 x i8>*
store <16 x i8> %34, <16 x i8>* %37
%38 = getelementptr inbounds i8, i8* %36, i64 16
%39 = bitcast i8* %38 to <16 x i8>*
store <16 x i8> %35, <16 x i8>* %39
%40 = or i64 %30, 33
%41 = add <16 x i8> %31, <i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33, i8 33>
%42 = add <16 x i8> %31, <i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49, i8 49>
%43 = getelementptr inbounds i8, i8* %0, i64 %40
%44 = bitcast i8* %43 to <16 x i8>*
store <16 x i8> %41, <16 x i8>* %44
%45 = getelementptr inbounds i8, i8* %43, i64 16
%46 = bitcast i8* %45 to <16 x i8>*
store <16 x i8> %42, <16 x i8>* %46
%47 = add nuw i64 %30, 64
%48 = add <16 x i8> %31, <i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64, i8 64>
%49 = add i64 %32, 2
%50 = icmp eq i64 %49, %28
br i1 %50, label %51, label %29
51: ; preds = %29
%52 = or i64 %47, 1
br label %53
53: ; preds = %51, %14
%54 = phi i64 [ 1, %14 ], [ %52, %51 ]
%55 = phi <16 x i8> [ %21, %14 ], [ %48, %51 ]
%56 = icmp eq i64 %25, 0
br i1 %56, label %64, label %57
57: ; preds = %53
%58 = add <16 x i8> %55, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%59 = add <16 x i8> %55, <i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17, i8 17>
%60 = getelementptr inbounds i8, i8* %0, i64 %54
%61 = bitcast i8* %60 to <16 x i8>*
store <16 x i8> %58, <16 x i8>* %61
%62 = getelementptr inbounds i8, i8* %60, i64 16
%63 = bitcast i8* %62 to <16 x i8>*
store <16 x i8> %59, <16 x i8>* %63
br label %64
64: ; preds = %53, %57
%65 = icmp eq i64 %12, %15
br i1 %65, label %76, label %66
66: ; preds = %10, %64
%67 = phi i8 [ %8, %10 ], [ %17, %64 ]
%68 = phi i64 [ 1, %10 ], [ %18, %64 ]
br label %69
69: ; preds = %66, %69
%70 = phi i8 [ %72, %69 ], [ %67, %66 ]
%71 = phi i64 [ %74, %69 ], [ %68, %66 ]
%72 = add i8 %70, 1
%73 = getelementptr inbounds i8, i8* %0, i64 %71
store i8 %72, i8* %73
%74 = add nuw nsw i64 %71, 1
%75 = icmp eq i64 %74, %11
br i1 %75, label %76, label %69
76: ; preds = %69, %64, %7, %5, %3
%77 = phi i32 [ 3, %3 ], [ 2, %5 ], [ 0, %7 ], [ 0, %64 ], [ 0, %69 ]
ret i32 %77
}