void subset_it_reset_idx(int *idx, int k) {
  while (0 < k) {
    k--;
    idx[k] = k;
  }
}


x86 assembly (clang, -O0):
<subset_it_reset_idx>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    1132 <subset_it_reset_idx+0x32>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    110b <subset_it_reset_idx+0xb>
pop    %rbp
ret

x86 assembly (clang, -O2):
<subset_it_reset_idx>:
test   %esi,%esi
jle    11d2 <subset_it_reset_idx+0xd2>
mov    %esi,%r9d
cmp    $0x8,%esi
jae    1118 <subset_it_reset_idx+0x18>
mov    %r9,%rcx
jmp    11c0 <subset_it_reset_idx+0xc0>
lea    -0x1(%r9),%rcx
add    $0xffffffff,%esi
cmp    %ecx,%esi
jb     11ac <subset_it_reset_idx+0xac>
shr    $0x20,%rcx
jne    11b1 <subset_it_reset_idx+0xb1>
mov    %r9d,%r8d
and    $0xfffffff8,%r8d
mov    %r9d,%ecx
and    $0x7,%ecx
movdqa 0xeba(%rip),%xmm0
movdqa 0xec2(%rip),%xmm1
movdqa 0xeca(%rip),%xmm2
pxor   %xmm3,%xmm3
mov    %r9,%rsi
mov    %r8,%rdx
movq   %rsi,%xmm4
pshufd $0x44,%xmm4,%xmm4
movdqa %xmm4,%xmm5
paddq  %xmm0,%xmm5
paddq  %xmm1,%xmm4
shufps $0x88,%xmm5,%xmm4
movd   %esi,%xmm6
pshufd $0x0,%xmm6,%xmm6
paddd  %xmm2,%xmm6
punpckhdq %xmm3,%xmm5
movq   %xmm5,%rax
movups %xmm4,-0xc(%rdi,%rax,4)
movdqu %xmm6,-0x1c(%rdi,%rax,4)
add    $0xfffffffffffffff8,%rsi
add    $0xfffffffffffffff8,%rdx
jne    1160 <subset_it_reset_idx+0x60>
cmp    %r9,%r8
jne    11c0 <subset_it_reset_idx+0xc0>
jmp    11d2 <subset_it_reset_idx+0xd2>
mov    %r9,%rcx
jmp    11c0 <subset_it_reset_idx+0xc0>
mov    %r9,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rcx),%rax
mov    %eax,%edx
mov    %eax,(%rdi,%rdx,4)
cmp    $0x1,%rcx
mov    %rax,%rcx
ja     11c0 <subset_it_reset_idx+0xc0>
ret

LLVM IR (-O0):
define void @subset_it_reset_idx(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
br label %5
5: ; preds = %8, %2
%6 = load i32, i32* %4
%7 = icmp slt i32 0, %6
br i1 %7, label %8, label %16
8: ; preds = %5
%9 = load i32, i32* %4
%10 = add nsw i32 %9, -1
store i32 %10, i32* %4
%11 = load i32, i32* %4
%12 = load i32*, i32** %3
%13 = load i32, i32* %4
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i32, i32* %12, i64 %14
store i32 %11, i32* %15
br label %5
16: ; preds = %5
ret void
}

LLVM IR (-O2):
define void @subset_it_reset_idx(i32* nocapture writeonly %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %47
4: ; preds = %2
%5 = zext i32 %1 to i64
%6 = icmp ult i32 %1, 8
br i1 %6, label %38, label %7
7: ; preds = %4
%8 = add nsw i64 %5, -1
%9 = add i32 %1, -1
%10 = trunc i64 %8 to i32
%11 = icmp ult i32 %9, %10
%12 = icmp ugt i64 %8, 4294967295
%13 = or i1 %11, %12
br i1 %13, label %38, label %14
14: ; preds = %7
%15 = and i64 %5, 4294967288
%16 = and i64 %5, 7
br label %17
17: ; preds = %17, %14
%18 = phi i64 [ 0, %14 ], [ %34, %17 ]
%19 = sub i64 %5, %18
%20 = insertelement <4 x i64> poison, i64 %19, i64 0
%21 = shufflevector <4 x i64> %20, <4 x i64> poison, <4 x i32> zeroinitializer
%22 = add <4 x i64> %21, <i64 -4, i64 -3, i64 -2, i64 -1>
%23 = trunc <4 x i64> %22 to <4 x i32>
%24 = trunc <4 x i64> %21 to <4 x i32>
%25 = add <4 x i32> %24, <i32 -8, i32 -7, i32 -6, i32 -5>
%26 = extractelement <4 x i64> %22, i64 3
%27 = and i64 %26, 4294967295
%28 = getelementptr inbounds i32, i32* %0, i64 %27
%29 = getelementptr inbounds i32, i32* %28, i64 -3
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %28, i64 -4
%32 = getelementptr inbounds i32, i32* %31, i64 -3
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %25, <4 x i32>* %33
%34 = add nuw i64 %18, 8
%35 = icmp eq i64 %34, %15
br i1 %35, label %36, label %17
36: ; preds = %17
%37 = icmp eq i64 %15, %5
br i1 %37, label %47, label %38
38: ; preds = %7, %4, %36
%39 = phi i64 [ %5, %7 ], [ %5, %4 ], [ %16, %36 ]
br label %40
40: ; preds = %38, %40
%41 = phi i64 [ %42, %40 ], [ %39, %38 ]
%42 = add nsw i64 %41, -1
%43 = trunc i64 %42 to i32
%44 = and i64 %42, 4294967295
%45 = getelementptr inbounds i32, i32* %0, i64 %44
store i32 %43, i32* %45
%46 = icmp ugt i64 %41, 1
br i1 %46, label %40, label %47
47: ; preds = %40, %36, %2
ret void
}