int gen_comb_norep_revcolex_next(unsigned char *vector, const unsigned char k) {
  int j;
  if (vector[0] > 0) {
    vector[0]--;
    return (0);
  }
  for (j = 1; j < k; j++)
    if (vector[j] > j)
      break;
  if (j >= k)
    return (1);
  vector[j]--;
  while (j > 0) {
    vector[j - 1] = vector[j] - 1;
    j--;
  }
  return (0);
}


x86 assembly (clang, -O0):
<gen_comb_norep_revcolex_next>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %rdi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
jle    1135 <gen_comb_norep_revcolex_next+0x35>
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
add    $0xff,%cl
mov    %cl,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    11e4 <gen_comb_norep_revcolex_next+0xe4>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
movzbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jge    1178 <gen_comb_norep_revcolex_next+0x78>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    -0x18(%rbp),%eax
jle    1165 <gen_comb_norep_revcolex_next+0x65>
jmp    1178 <gen_comb_norep_revcolex_next+0x78>
jmp    116a <gen_comb_norep_revcolex_next+0x6a>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113c <gen_comb_norep_revcolex_next+0x3c>
mov    -0x18(%rbp),%eax
movzbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jl     1193 <gen_comb_norep_revcolex_next+0x93>
movl   $0x1,-0x4(%rbp)
jmp    11e4 <gen_comb_norep_revcolex_next+0xe4>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
add    $0xff,%dl
mov    %dl,(%rax,%rcx,1)
cmpl   $0x0,-0x18(%rbp)
jle    11dd <gen_comb_norep_revcolex_next+0xdd>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
sub    $0x1,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    11a4 <gen_comb_norep_revcolex_next+0xa4>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_comb_norep_revcolex_next>:
mov    (%rdi),%al
test   %al,%al
je     1111 <gen_comb_norep_revcolex_next+0x11>
add    $0xff,%al
mov    %al,(%rdi)
xor    %eax,%eax
jmp    124e <gen_comb_norep_revcolex_next+0x14e>
mov    $0x1,%eax
cmp    $0x2,%sil
jb     124e <gen_comb_norep_revcolex_next+0x14e>
movzbl %sil,%r8d
lea    -0xf(%rdi),%rsi
mov    $0x1,%edx
nopl   (%rax)
movzbl 0x10(%rsi),%ecx
cmp    %rcx,%rdx
jb     114b <gen_comb_norep_revcolex_next+0x4b>
add    $0x1,%rdx
add    $0x1,%rsi
cmp    %rdx,%r8
jne    1130 <gen_comb_norep_revcolex_next+0x30>
jmp    124e <gen_comb_norep_revcolex_next+0x14e>
mov    0x10(%rsi),%r8b
add    $0xff,%r8b
mov    %r8b,0x10(%rsi)
cmp    $0x20,%rdx
jae    1165 <gen_comb_norep_revcolex_next+0x65>
mov    %rdx,%rcx
jmp    124f <gen_comb_norep_revcolex_next+0x14f>
movabs $0x7fffffffffffffe0,%r9
ff ff 7f
and    %rdx,%r9
mov    %edx,%ecx
and    $0x1f,%ecx
movzbl %r8b,%eax
sub    %r9b,%r8b
movd   %eax,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
paddb  0xe68(%rip),%xmm0
mov    %rdx,%rax
and    $0xffffffffffffffe0,%rax
pcmpeqd %xmm1,%xmm1
movdqa 0xe65(%rip),%xmm2
pxor   %xmm3,%xmm3
movdqa 0xe69(%rip),%xmm4
nopw   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm5
paddb  %xmm1,%xmm5
movdqa %xmm0,%xmm6
paddb  %xmm2,%xmm6
movdqa %xmm5,%xmm7
punpcklbw %xmm3,%xmm7
pshufd $0x4e,%xmm7,%xmm7
pshuflw $0x1b,%xmm7,%xmm7
pshufhw $0x1b,%xmm7,%xmm7
punpckhbw %xmm3,%xmm5
pshufd $0x4e,%xmm5,%xmm5
pshuflw $0x1b,%xmm5,%xmm5
pshufhw $0x1b,%xmm5,%xmm5
packuswb %xmm7,%xmm5
movdqu %xmm5,(%rsi)
movdqa %xmm6,%xmm5
punpcklbw %xmm3,%xmm5
pshufd $0x4e,%xmm5,%xmm5
pshuflw $0x1b,%xmm5,%xmm5
pshufhw $0x1b,%xmm5,%xmm5
punpckhbw %xmm3,%xmm6
pshufd $0x4e,%xmm6,%xmm6
pshuflw $0x1b,%xmm6,%xmm6
pshufhw $0x1b,%xmm6,%xmm6
packuswb %xmm5,%xmm6
movdqu %xmm6,-0x10(%rsi)
paddb  %xmm4,%xmm0
add    $0xffffffffffffffe0,%rsi
add    $0xffffffffffffffe0,%rax
jne    11c0 <gen_comb_norep_revcolex_next+0xc0>
xor    %eax,%eax
cmp    %r9,%rdx
jne    124f <gen_comb_norep_revcolex_next+0x14f>
ret
add    $0xff,%r8b
add    $0x1,%rcx
nopw   0x0(%rax,%rax,1)
mov    %r8b,-0x2(%rdi,%rcx,1)
add    $0xff,%r8b
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%rcx
jg     1260 <gen_comb_norep_revcolex_next+0x160>
jmp    110a <gen_comb_norep_revcolex_next+0xa>

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

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