void arrayShiftRight(int array[], int size) {
  int temporary = array[size - 1];
  for (size -= 1; size > 0; size--) {
    array[size] = array[size - 1];
  }
  array[0] = temporary;
}


x86 assembly (clang, -O0):
<arrayShiftRight>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    115a <arrayShiftRight+0x5a>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1127 <arrayShiftRight+0x27>
mov    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<arrayShiftRight>:
push   %rbp
push   %r15
push   %r14
push   %rbx
movslq %esi,%rax
mov    -0x4(%rdi,%rax,4),%r8d
cmp    $0x2,%esi
jl     1154 <arrayShiftRight+0x54>
lea    -0x1(%rsi),%r11d
mov    %r11d,%ecx
cmp    $0x1,%r11d
mov    %rcx,%r10
adc    $0xffffffffffffffff,%r10
add    $0x1,%r10
cmp    $0x8,%r10
jae    115e <arrayShiftRight+0x5e>
add    $0x1,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x2(%rcx),%eax
mov    (%rdi,%rax,4),%eax
mov    %eax,-0x4(%rdi,%rcx,4)
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%rcx
ja     1140 <arrayShiftRight+0x40>
mov    %r8d,(%rdi)
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x1,%r11d
mov    %rcx,%r9
adc    $0xffffffffffffffff,%r9
add    $0xfffffffe,%esi
mov    $0x4,%edx
mov    %r9,%rax
mul    %rdx
seto   %bpl
cmp    %r9d,%esi
jb     112f <arrayShiftRight+0x2f>
shr    $0x20,%r9
jne    112f <arrayShiftRight+0x2f>
lea    (%rdi,%rcx,4),%rdx
mov    %rdx,%rbx
sub    %rax,%rbx
cmp    %rdx,%rbx
ja     112f <arrayShiftRight+0x2f>
test   %bpl,%bpl
jne    112f <arrayShiftRight+0x2f>
lea    (%rdi,%rsi,4),%rbx
mov    %rbx,%rdx
sub    %rax,%rdx
cmp    %rbx,%rdx
ja     112f <arrayShiftRight+0x2f>
test   %bpl,%bpl
jne    112f <arrayShiftRight+0x2f>
xor    %eax,%eax
test   %r11d,%r11d
setne  %al
lea    (%rdi,%rax,4),%rdx
lea    (%rdi,%rsi,4),%rbp
add    $0x4,%rbp
cmp    %rbp,%rdx
jae    11e2 <arrayShiftRight+0xe2>
lea    (%rdi,%rcx,4),%rdx
add    $0x4,%rdx
add    %rsi,%rax
sub    %rcx,%rax
lea    (%rdi,%rax,4),%rax
cmp    %rdx,%rax
jb     112f <arrayShiftRight+0x2f>
mov    $0xffffffff,%r9d
mov    %r10,%r11
and    $0xfffffffffffffff8,%r11
lea    -0x8(%r11),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     12a1 <arrayShiftRight+0x1a1>
mov    %r14,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rdi,%rcx,4),%rbx
add    $0xfffffffffffffff4,%rbx
lea    (%rcx,%r9,1),%r15
add    $0xfffffffffffffff8,%r15
lea    (%rcx,%r9,1),%rax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%rax,%rdx,1),%ebp
movups -0x1c(%rdi,%rbp,4),%xmm0
movups -0xc(%rdi,%rbp,4),%xmm1
movups %xmm1,(%rbx,%rdx,4)
movups %xmm0,-0x10(%rbx,%rdx,4)
lea    (%r15,%rdx,1),%ebp
movups -0x1c(%rdi,%rbp,4),%xmm0
movups -0xc(%rdi,%rbp,4),%xmm1
movups %xmm1,-0x20(%rbx,%rdx,4)
movups %xmm0,-0x30(%rbx,%rdx,4)
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1230 <arrayShiftRight+0x130>
neg    %rdx
test   $0x1,%r14b
je     1290 <arrayShiftRight+0x190>
mov    %rcx,%rax
sub    %rdx,%rax
add    %eax,%r9d
movups -0x1c(%rdi,%r9,4),%xmm0
movups -0xc(%rdi,%r9,4),%xmm1
movups %xmm1,-0xc(%rdi,%rax,4)
movups %xmm0,-0x1c(%rdi,%rax,4)
cmp    %r11,%r10
je     1154 <arrayShiftRight+0x54>
sub    %r11,%rcx
jmp    112f <arrayShiftRight+0x2f>
xor    %edx,%edx
test   $0x1,%r14b
jne    1271 <arrayShiftRight+0x171>
jmp    1290 <arrayShiftRight+0x190>

LLVM IR (-O0):
define void @arrayShiftRight(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%6 = load i32*, i32** %3
%7 = load i32, i32* %4
%8 = sub nsw i32 %7, 1
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i32, i32* %6, i64 %9
%11 = load i32, i32* %10
store i32 %11, i32* %5
%12 = load i32, i32* %4
%13 = sub nsw i32 %12, 1
store i32 %13, i32* %4
br label %14
14: ; preds = %28, %2
%15 = load i32, i32* %4
%16 = icmp sgt i32 %15, 0
br i1 %16, label %17, label %31
17: ; preds = %14
%18 = load i32*, i32** %3
%19 = load i32, i32* %4
%20 = sub nsw i32 %19, 1
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %18, i64 %21
%23 = load i32, i32* %22
%24 = load i32*, i32** %3
%25 = load i32, i32* %4
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
store i32 %23, i32* %27
br label %28
28: ; preds = %17
%29 = load i32, i32* %4
%30 = add nsw i32 %29, -1
store i32 %30, i32* %4
br label %14
31: ; preds = %14
%32 = load i32, i32* %5
%33 = load i32*, i32** %3
%34 = getelementptr inbounds i32, i32* %33, i64 0
store i32 %32, i32* %34
ret void
}

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