void right_rotate_array_k_times_v3(int *array, int len, int k) {
  int index, index_k, j, prev, temp;
  int *copy;
  if (!array || (len <= 0) || (k <= 0)) {
    return;
  }
  k = k % len;
  if (!k) {
    return;
  }
  if ((len % k) != 0) {
    j = 0;
    index = 0;
    prev = array[index];
    while (j < len) {
      index_k = index + k;
      if (index_k >= len) {
        index_k -= len;
      }
      temp = array[index_k];
      array[index_k] = prev;
      prev = temp;
      index = index_k;
      ++j;
    }
  } else {
    for (j = 0; j < k; ++j) {
      index = j;
      prev = array[index];
      do {
        index_k = index + k;
        if (index_k >= len) {
          index_k -= len;
        }
        temp = array[index_k];
        array[index_k] = prev;
        prev = temp;
        index = index_k;
      } while (index != j);
    }
  }
}


x86 assembly (clang, -O0):
<right_rotate_array_k_times_v3>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     112d <right_rotate_array_k_times_v3+0x2d>
cmpl   $0x0,-0xc(%rbp)
jle    112d <right_rotate_array_k_times_v3+0x2d>
cmpl   $0x0,-0x10(%rbp)
jg     1132 <right_rotate_array_k_times_v3+0x32>
jmp    1271 <right_rotate_array_k_times_v3+0x171>
mov    -0x10(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jne    114b <right_rotate_array_k_times_v3+0x4b>
jmp    1271 <right_rotate_array_k_times_v3+0x171>
mov    -0xc(%rbp),%eax
cltd
idivl  -0x10(%rbp)
cmp    $0x0,%edx
je     11de <right_rotate_array_k_times_v3+0xde>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11d9 <right_rotate_array_k_times_v3+0xd9>
mov    -0x14(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     11a3 <right_rotate_array_k_times_v3+0xa3>
mov    -0xc(%rbp),%ecx
mov    -0x18(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1177 <right_rotate_array_k_times_v3+0x77>
jmp    1271 <right_rotate_array_k_times_v3+0x171>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    126c <right_rotate_array_k_times_v3+0x16c>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1225 <right_rotate_array_k_times_v3+0x125>
mov    -0xc(%rbp),%ecx
mov    -0x18(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1205 <right_rotate_array_k_times_v3+0x105>
jmp    125e <right_rotate_array_k_times_v3+0x15e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e5 <right_rotate_array_k_times_v3+0xe5>
jmp    1271 <right_rotate_array_k_times_v3+0x171>
pop    %rbp
ret

x86 assembly (clang, -O2):
<right_rotate_array_k_times_v3>:
push   %rbp
push   %rbx
test   %rdi,%rdi
je     116c <right_rotate_array_k_times_v3+0x6c>
test   %esi,%esi
jle    116c <right_rotate_array_k_times_v3+0x6c>
mov    %edx,%r8d
test   %edx,%edx
jle    116c <right_rotate_array_k_times_v3+0x6c>
mov    %r8d,%eax
xor    %edx,%edx
div    %esi
test   %edx,%edx
je     116c <right_rotate_array_k_times_v3+0x6c>
mov    %edx,%r9d
xor    %ecx,%ecx
mov    %esi,%eax
xor    %edx,%edx
div    %r9d
test   %edx,%edx
je     1150 <right_rotate_array_k_times_v3+0x50>
mov    (%rdi),%r8d
cmp    $0x1,%esi
jne    116f <right_rotate_array_k_times_v3+0x6f>
test   $0x1,%sil
je     116c <right_rotate_array_k_times_v3+0x6c>
add    %r9d,%ecx
xor    %eax,%eax
cmp    %esi,%ecx
cmovge %esi,%eax
sub    %eax,%ecx
movslq %ecx,%rax
mov    %r8d,(%rdi,%rax,4)
jmp    116c <right_rotate_array_k_times_v3+0x6c>
mov    %r9d,%r10d
xor    %r11d,%r11d
mov    %r8d,%eax
xor    %edx,%edx
div    %esi
cmp    $0x1,%edx
jne    11bb <right_rotate_array_k_times_v3+0xbb>
test   $0x1,%r10b
jne    123f <right_rotate_array_k_times_v3+0x13f>
pop    %rbx
pop    %rbp
ret
mov    %esi,%edx
and    $0xfffffffe,%edx
xor    %ecx,%ecx
jmp    1191 <right_rotate_array_k_times_v3+0x91>
nopl   0x0(%rax,%rax,1)
sub    %ebx,%ecx
movslq %ecx,%rbx
mov    (%rdi,%rbx,4),%r8d
mov    %eax,(%rdi,%rbx,4)
add    $0xfffffffe,%edx
je     1135 <right_rotate_array_k_times_v3+0x35>
add    %r9d,%ecx
mov    $0x0,%eax
cmp    %esi,%ecx
jl     119f <right_rotate_array_k_times_v3+0x9f>
mov    %esi,%eax
sub    %eax,%ecx
movslq %ecx,%rcx
mov    (%rdi,%rcx,4),%eax
mov    %r8d,(%rdi,%rcx,4)
add    %r9d,%ecx
mov    $0x0,%ebx
cmp    %esi,%ecx
jl     1180 <right_rotate_array_k_times_v3+0x80>
mov    %esi,%ebx
jmp    1180 <right_rotate_array_k_times_v3+0x80>
mov    %r10d,%r8d
and    $0xfffffffe,%r8d
xor    %r11d,%r11d
jmp    11d9 <right_rotate_array_k_times_v3+0xd9>
nopw   0x0(%rax,%rax,1)
add    $0x2,%r11
cmp    %r8,%r11
je     1162 <right_rotate_array_k_times_v3+0x62>
mov    (%rdi,%r11,4),%ecx
mov    %r11d,%edx
jmp    1202 <right_rotate_array_k_times_v3+0x102>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
sub    %eax,%edx
movslq %edx,%rax
mov    (%rdi,%rax,4),%ebx
mov    %ecx,(%rdi,%rax,4)
mov    %ebx,%ecx
cmp    %rdx,%r11
je     1210 <right_rotate_array_k_times_v3+0x110>
add    %r9d,%edx
xor    %eax,%eax
cmp    %esi,%edx
jl     11f0 <right_rotate_array_k_times_v3+0xf0>
mov    %esi,%eax
jmp    11f0 <right_rotate_array_k_times_v3+0xf0>
nop
mov    %r11,%rcx
or     $0x1,%rcx
mov    (%rdi,%rcx,4),%eax
mov    %ecx,%edx
jmp    1232 <right_rotate_array_k_times_v3+0x132>
xchg   %ax,%ax
sub    %ebx,%edx
movslq %edx,%rbx
mov    (%rdi,%rbx,4),%ebp
mov    %eax,(%rdi,%rbx,4)
mov    %ebp,%eax
cmp    %rdx,%rcx
je     11d0 <right_rotate_array_k_times_v3+0xd0>
add    %r9d,%edx
xor    %ebx,%ebx
cmp    %esi,%edx
jl     1220 <right_rotate_array_k_times_v3+0x120>
mov    %esi,%ebx
jmp    1220 <right_rotate_array_k_times_v3+0x120>
mov    (%rdi,%r11,4),%ecx
mov    %r11d,%eax
jmp    1266 <right_rotate_array_k_times_v3+0x166>
nopl   0x0(%rax,%rax,1)
sub    %edx,%eax
movslq %eax,%rdx
mov    (%rdi,%rdx,4),%ebp
mov    %ecx,(%rdi,%rdx,4)
mov    %ebp,%ecx
cmp    %rax,%r11
je     116c <right_rotate_array_k_times_v3+0x6c>
add    %r9d,%eax
xor    %edx,%edx
cmp    %esi,%eax
jl     1250 <right_rotate_array_k_times_v3+0x150>
mov    %esi,%edx
jmp    1250 <right_rotate_array_k_times_v3+0x150>

LLVM IR (-O0):
define void @right_rotate_array_k_times_v3(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32*
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%13 = load i32*, i32** %4
%14 = icmp ne i32* %13, null
br i1 %14, label %15, label %21
15: ; preds = %3
%16 = load i32, i32* %5
%17 = icmp sle i32 %16, 0
br i1 %17, label %21, label %18
18: ; preds = %15
%19 = load i32, i32* %6
%20 = icmp sle i32 %19, 0
br i1 %20, label %21, label %22
21: ; preds = %18, %15, %3
br label %116
22: ; preds = %18
%23 = load i32, i32* %6
%24 = load i32, i32* %5
%25 = srem i32 %23, %24
store i32 %25, i32* %6
%26 = load i32, i32* %6
%27 = icmp ne i32 %26, 0
br i1 %27, label %29, label %28
28: ; preds = %22
br label %116
29: ; preds = %22
%30 = load i32, i32* %5
%31 = load i32, i32* %6
%32 = srem i32 %30, %31
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %71
34: ; preds = %29
store i32 0, i32* %9
store i32 0, i32* %7
%35 = load i32*, i32** %4
%36 = load i32, i32* %7
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
store i32 %39, i32* %10
br label %40
40: ; preds = %55, %34
%41 = load i32, i32* %9
%42 = load i32, i32* %5
%43 = icmp slt i32 %41, %42
br i1 %43, label %44, label %70
44: ; preds = %40
%45 = load i32, i32* %7
%46 = load i32, i32* %6
%47 = add nsw i32 %45, %46
store i32 %47, i32* %8
%48 = load i32, i32* %8
%49 = load i32, i32* %5
%50 = icmp sge i32 %48, %49
br i1 %50, label %51, label %55
51: ; preds = %44
%52 = load i32, i32* %5
%53 = load i32, i32* %8
%54 = sub nsw i32 %53, %52
store i32 %54, i32* %8
br label %55
55: ; preds = %51, %44
%56 = load i32*, i32** %4
%57 = load i32, i32* %8
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %56, i64 %58
%60 = load i32, i32* %59
store i32 %60, i32* %11
%61 = load i32, i32* %10
%62 = load i32*, i32** %4
%63 = load i32, i32* %8
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
store i32 %61, i32* %65
%66 = load i32, i32* %11
store i32 %66, i32* %10
%67 = load i32, i32* %8
store i32 %67, i32* %7
%68 = load i32, i32* %9
%69 = add nsw i32 %68, 1
store i32 %69, i32* %9
br label %40
70: ; preds = %40
br label %116
71: ; preds = %29
store i32 0, i32* %9
br label %72
72: ; preds = %112, %71
%73 = load i32, i32* %9
%74 = load i32, i32* %6
%75 = icmp slt i32 %73, %74
br i1 %75, label %76, label %115
76: ; preds = %72
%77 = load i32, i32* %9
store i32 %77, i32* %7
%78 = load i32*, i32** %4
%79 = load i32, i32* %7
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
store i32 %82, i32* %10
br label %83
83: ; preds = %107, %76
%84 = load i32, i32* %7
%85 = load i32, i32* %6
%86 = add nsw i32 %84, %85
store i32 %86, i32* %8
%87 = load i32, i32* %8
%88 = load i32, i32* %5
%89 = icmp sge i32 %87, %88
br i1 %89, label %90, label %94
90: ; preds = %83
%91 = load i32, i32* %5
%92 = load i32, i32* %8
%93 = sub nsw i32 %92, %91
store i32 %93, i32* %8
br label %94
94: ; preds = %90, %83
%95 = load i32*, i32** %4
%96 = load i32, i32* %8
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %95, i64 %97
%99 = load i32, i32* %98
store i32 %99, i32* %11
%100 = load i32, i32* %10
%101 = load i32*, i32** %4
%102 = load i32, i32* %8
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
store i32 %100, i32* %104
%105 = load i32, i32* %11
store i32 %105, i32* %10
%106 = load i32, i32* %8
store i32 %106, i32* %7
br label %107
107: ; preds = %94
%108 = load i32, i32* %7
%109 = load i32, i32* %9
%110 = icmp ne i32 %108, %109
br i1 %110, label %83, label %111
111: ; preds = %107
br label %112
112: ; preds = %111
%113 = load i32, i32* %9
%114 = add nsw i32 %113, 1
store i32 %114, i32* %9
br label %72
115: ; preds = %72
br label %116
116: ; preds = %21, %28, %115, %70
ret void
}

LLVM IR (-O2):
define void @right_rotate_array_k_times_v3(i32* %0, i32 %1, i32 %2) {
%4 = icmp eq i32* %0, null
%5 = icmp slt i32 %1, 1
%6 = or i1 %4, %5
%7 = icmp slt i32 %2, 1
%8 = or i1 %6, %7
br i1 %8, label %117, label %9
9: ; preds = %3
%10 = urem i32 %2, %1
%11 = icmp eq i32 %10, 0
br i1 %11, label %117, label %12
12: ; preds = %9
%13 = urem i32 %1, %10
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %22
15: ; preds = %12
%16 = zext i32 %10 to i64
%17 = urem i32 %2, %1
%18 = and i64 %16, 1
%19 = icmp eq i32 %17, 1
br i1 %19, label %87, label %20
20: ; preds = %15
%21 = and i64 %16, 4294967294
br label %48
22: ; preds = %12
%23 = load i32, i32* %0
%24 = and i32 %1, 1
%25 = icmp eq i32 %1, 1
br i1 %25, label %106, label %26
26: ; preds = %22
%27 = and i32 %1, -2
br label %28
28: ; preds = %28, %26
%29 = phi i32 [ %23, %26 ], [ %45, %28 ]
%30 = phi i32 [ 0, %26 ], [ %42, %28 ]
%31 = phi i32 [ 0, %26 ], [ %46, %28 ]
%32 = add nsw i32 %30, %10
%33 = icmp slt i32 %32, %1
%34 = select i1 %33, i32 0, i32 %1
%35 = sub nsw i32 %32, %34
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %0, i64 %36
%38 = load i32, i32* %37
store i32 %29, i32* %37
%39 = add nsw i32 %35, %10
%40 = icmp slt i32 %39, %1
%41 = select i1 %40, i32 0, i32 %1
%42 = sub nsw i32 %39, %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %0, i64 %43
%45 = load i32, i32* %44
store i32 %38, i32* %44
%46 = add i32 %31, 2
%47 = icmp eq i32 %46, %27
br i1 %47, label %106, label %28
48: ; preds = %83, %20
%49 = phi i64 [ 0, %20 ], [ %84, %83 ]
%50 = phi i64 [ 0, %20 ], [ %85, %83 ]
%51 = getelementptr inbounds i32, i32* %0, i64 %49
%52 = load i32, i32* %51
%53 = trunc i64 %49 to i32
br label %54
54: ; preds = %54, %48
%55 = phi i32 [ %53, %48 ], [ %60, %54 ]
%56 = phi i32 [ %52, %48 ], [ %63, %54 ]
%57 = add nsw i32 %55, %10
%58 = icmp slt i32 %57, %1
%59 = select i1 %58, i32 0, i32 %1
%60 = sub nsw i32 %57, %59
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %0, i64 %61
%63 = load i32, i32* %62
store i32 %56, i32* %62
%64 = zext i32 %60 to i64
%65 = icmp eq i64 %49, %64
br i1 %65, label %66, label %54
66: ; preds = %54
%67 = or i64 %49, 1
%68 = getelementptr inbounds i32, i32* %0, i64 %67
%69 = load i32, i32* %68
%70 = trunc i64 %67 to i32
br label %71
71: ; preds = %71, %66
%72 = phi i32 [ %70, %66 ], [ %77, %71 ]
%73 = phi i32 [ %69, %66 ], [ %80, %71 ]
%74 = add nsw i32 %72, %10
%75 = icmp slt i32 %74, %1
%76 = select i1 %75, i32 0, i32 %1
%77 = sub nsw i32 %74, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %0, i64 %78
%80 = load i32, i32* %79
store i32 %73, i32* %79
%81 = zext i32 %77 to i64
%82 = icmp eq i64 %67, %81
br i1 %82, label %83, label %71
83: ; preds = %71
%84 = add nuw nsw i64 %49, 2
%85 = add i64 %50, 2
%86 = icmp eq i64 %85, %21
br i1 %86, label %87, label %48
87: ; preds = %83, %15
%88 = phi i64 [ 0, %15 ], [ %84, %83 ]
%89 = icmp eq i64 %18, 0
br i1 %89, label %117, label %90
90: ; preds = %87
%91 = getelementptr inbounds i32, i32* %0, i64 %88
%92 = load i32, i32* %91
%93 = trunc i64 %88 to i32
br label %94
94: ; preds = %94, %90
%95 = phi i32 [ %93, %90 ], [ %100, %94 ]
%96 = phi i32 [ %92, %90 ], [ %103, %94 ]
%97 = add nsw i32 %95, %10
%98 = icmp slt i32 %97, %1
%99 = select i1 %98, i32 0, i32 %1
%100 = sub nsw i32 %97, %99
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %0, i64 %101
%103 = load i32, i32* %102
store i32 %96, i32* %102
%104 = zext i32 %100 to i64
%105 = icmp eq i64 %88, %104
br i1 %105, label %117, label %94
106: ; preds = %28, %22
%107 = phi i32 [ %23, %22 ], [ %45, %28 ]
%108 = phi i32 [ 0, %22 ], [ %42, %28 ]
%109 = icmp eq i32 %24, 0
br i1 %109, label %117, label %110
110: ; preds = %106
%111 = add nsw i32 %108, %10
%112 = icmp slt i32 %111, %1
%113 = select i1 %112, i32 0, i32 %1
%114 = sub nsw i32 %111, %113
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %0, i64 %115
store i32 %107, i32* %116
br label %117
117: ; preds = %110, %106, %87, %94, %9, %3
ret void
}