unsigned long xt_core_wrap_index(long virtual_index, unsigned long range) {
  unsigned long wrapped_index;
  if (virtual_index >= (long)range) {
    wrapped_index = virtual_index % range;
  } else if (virtual_index < 0) {
    if (1 == range) {
      wrapped_index = 0;
    } else {
      wrapped_index = range - ((-1 * virtual_index) % range);
    }
  } else {
    wrapped_index = virtual_index;
  }
  return wrapped_index;
}


x86 assembly (clang, -O0):
<xt_core_wrap_index>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jl     112f <xt_core_wrap_index+0x2f>
mov    -0x8(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x10(%rbp)
mov    %rdx,-0x18(%rbp)
jmp    1188 <xt_core_wrap_index+0x88>
cmpq   $0x0,-0x8(%rbp)
jge    117b <xt_core_wrap_index+0x7b>
mov    $0x1,%eax
cmp    -0x10(%rbp),%rax
jne    1156 <xt_core_wrap_index+0x56>
movq   $0x0,-0x18(%rbp)
jmp    1176 <xt_core_wrap_index+0x76>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
imul   $0xffffffffffffffff,-0x8(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x10(%rbp)
mov    -0x20(%rbp),%rax
sub    %rdx,%rax
mov    %rax,-0x18(%rbp)
jmp    1183 <xt_core_wrap_index+0x83>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1188 <xt_core_wrap_index+0x88>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xt_core_wrap_index>:
mov    %rdi,%rax
cmp    %rsi,%rdi
jge    110e <xt_core_wrap_index+0xe>
test   %rax,%rax
js     1123 <xt_core_wrap_index+0x23>
ret
mov    %rax,%rcx
or     %rsi,%rcx
shr    $0x20,%rcx
je     112c <xt_core_wrap_index+0x2c>
xor    %edx,%edx
div    %rsi
mov    %rdx,%rax
ret
cmp    $0x1,%rsi
jne    1133 <xt_core_wrap_index+0x33>
xor    %eax,%eax
ret
xor    %edx,%edx
div    %esi
mov    %edx,%eax
ret
neg    %rax
mov    %rax,%rcx
or     %rsi,%rcx
shr    $0x20,%rcx
je     1149 <xt_core_wrap_index+0x49>
xor    %edx,%edx
div    %rsi
jmp    114d <xt_core_wrap_index+0x4d>
xor    %edx,%edx
div    %esi
sub    %rdx,%rsi
mov    %rsi,%rax
ret

LLVM IR (-O0):
define i64 @xt_core_wrap_index(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%6 = load i64, i64* %3
%7 = load i64, i64* %4
%8 = icmp sge i64 %6, %7
br i1 %8, label %9, label %13
9: ; preds = %2
%10 = load i64, i64* %3
%11 = load i64, i64* %4
%12 = urem i64 %10, %11
store i64 %12, i64* %5
br label %31
13: ; preds = %2
%14 = load i64, i64* %3
%15 = icmp slt i64 %14, 0
br i1 %15, label %16, label %28
16: ; preds = %13
%17 = load i64, i64* %4
%18 = icmp eq i64 1, %17
br i1 %18, label %19, label %20
19: ; preds = %16
store i64 0, i64* %5
br label %27
20: ; preds = %16
%21 = load i64, i64* %4
%22 = load i64, i64* %3
%23 = mul nsw i64 -1, %22
%24 = load i64, i64* %4
%25 = urem i64 %23, %24
%26 = sub i64 %21, %25
store i64 %26, i64* %5
br label %27
27: ; preds = %20, %19
br label %30
28: ; preds = %13
%29 = load i64, i64* %3
store i64 %29, i64* %5
br label %30
30: ; preds = %28, %27
br label %31
31: ; preds = %30, %9
%32 = load i64, i64* %5
ret i64 %32
}

LLVM IR (-O2):
define i64 @xt_core_wrap_index(i64 %0, i64 %1) {
%3 = icmp slt i64 %0, %1
br i1 %3, label %6, label %4
4: ; preds = %2
%5 = urem i64 %0, %1
br label %14
6: ; preds = %2
%7 = icmp slt i64 %0, 0
br i1 %7, label %8, label %14
8: ; preds = %6
%9 = icmp eq i64 %1, 1
br i1 %9, label %14, label %10
10: ; preds = %8
%11 = sub nsw i64 0, %0
%12 = urem i64 %11, %1
%13 = sub i64 %1, %12
br label %14
14: ; preds = %6, %8, %10, %4
%15 = phi i64 [ %5, %4 ], [ %13, %10 ], [ 0, %8 ], [ %0, %6 ]
ret i64 %15
}