void rotate3(int nums[], int n, int k) {
  int i;
  if (n <= 1)
    return;
  k %= n;
  if (k == 0)
    return;
  if (k < 0)
    k += n;
  for (; k %= n; n -= k, nums += k) {
    for (i = 0; i < k; ++i) {
      nums[i] ^= nums[n - k + i];
      nums[n - k + i] ^= nums[i];
      nums[i] ^= nums[n - k + i];
    }
  }
}


x86 assembly (clang, -O0):
<rotate3>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x1,-0xc(%rbp)
jg     111d <rotate3+0x1d>
jmp    1213 <rotate3+0x113>
mov    -0xc(%rbp),%ecx
mov    -0x10(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jne    1138 <rotate3+0x38>
jmp    1213 <rotate3+0x113>
cmpl   $0x0,-0x10(%rbp)
jge    114b <rotate3+0x4b>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1150 <rotate3+0x50>
mov    -0xc(%rbp),%ecx
mov    -0x10(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x10(%rbp)
cmp    $0x0,%edx
je     1213 <rotate3+0x113>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11e9 <rotate3+0xe9>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    -0x10(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    -0x10(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    -0x10(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116c <rotate3+0x6c>
jmp    11ee <rotate3+0xee>
mov    -0x10(%rbp),%ecx
mov    -0xc(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1150 <rotate3+0x50>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rotate3>:
push   %rbx
cmp    $0x2,%esi
jl     1272 <rotate3+0x172>
mov    %edx,%eax
cltd
idiv   %esi
test   %edx,%edx
je     1272 <rotate3+0x172>
mov    %edx,%eax
sar    $0x1f,%eax
and    %esi,%eax
add    %edx,%eax
jmp    1139 <rotate3+0x39>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %edx,%rax
lea    (%rdi,%rax,4),%rdi
mov    %edx,%eax
cltd
idiv   %esi
test   %edx,%edx
je     1272 <rotate3+0x172>
sub    %edx,%esi
test   %edx,%edx
jle    1130 <rotate3+0x30>
movslq %esi,%r8
mov    %edx,%r9d
cmp    $0x4,%edx
jb     116f <rotate3+0x6f>
lea    (%r8,%r9,1),%rax
lea    (%rdi,%rax,4),%rax
cmp    %rax,%rdi
jae    119d <rotate3+0x9d>
lea    (%rdi,%r9,4),%rax
lea    (%rdi,%r8,4),%rcx
cmp    %rax,%rcx
jae    119d <rotate3+0x9d>
xor    %eax,%eax
lea    (%rdi,%r8,4),%rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdi,%rax,4),%ebx
xor    (%rcx,%rax,4),%ebx
mov    %ebx,(%rdi,%rax,4)
xor    (%rcx,%rax,4),%ebx
mov    %ebx,(%rcx,%rax,4)
xor    %ebx,(%rdi,%rax,4)
add    $0x1,%rax
cmp    %rax,%r9
jne    1180 <rotate3+0x80>
jmp    1130 <rotate3+0x30>
mov    %r9d,%eax
and    $0xfffffffc,%eax
lea    -0x4(%rax),%rcx
mov    %rcx,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rcx,%rcx
je     1268 <rotate3+0x168>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
lea    (%rdi,%r8,4),%rbx
add    $0x10,%rbx
xor    %ecx,%ecx
nopl   0x0(%rax)
movups -0x10(%rbx,%rcx,4),%xmm0
movups (%rdi,%rcx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rdi,%rcx,4)
movups -0x10(%rbx,%rcx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm0,-0x10(%rbx,%rcx,4)
movups (%rdi,%rcx,4),%xmm1
movups 0x10(%rdi,%rcx,4),%xmm2
xorps  %xmm0,%xmm1
movups %xmm1,(%rdi,%rcx,4)
movups (%rbx,%rcx,4),%xmm0
xorps  %xmm2,%xmm0
movups %xmm0,0x10(%rdi,%rcx,4)
movups (%rbx,%rcx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rbx,%rcx,4)
movups 0x10(%rdi,%rcx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm0,0x10(%rdi,%rcx,4)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%r11
jne    11d0 <rotate3+0xd0>
test   $0x1,%r10b
je     125a <rotate3+0x15a>
lea    (%rcx,%r8,1),%rbx
movups (%rdi,%rbx,4),%xmm0
movups (%rdi,%rcx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rdi,%rcx,4)
movups (%rdi,%rbx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm0,(%rdi,%rbx,4)
movups (%rdi,%rcx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rdi,%rcx,4)
cmp    %r9,%rax
je     1130 <rotate3+0x30>
jmp    1171 <rotate3+0x71>
xor    %ecx,%ecx
test   $0x1,%r10b
jne    1231 <rotate3+0x131>
jmp    125a <rotate3+0x15a>
pop    %rbx
ret

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

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