void Rotate_Right(char *str, int size) {
  int c;
  char temp;
  temp = str[size - 1];
  for (c = size - 1; c > 0; c--) {
    str[c] = str[c - 1];
  }
  str[0] = temp;
}


x86 assembly (clang, -O0):
<Rotate_Right>:
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,1),%al
mov    %al,-0x11(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    115a <Rotate_Right+0x5a>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1127 <Rotate_Right+0x27>
mov    -0x11(%rbp),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<Rotate_Right>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movslq %esi,%rdx
mov    -0x1(%rdi,%rdx,1),%r10b
cmp    $0x2,%edx
jl     1155 <Rotate_Right+0x55>
add    $0xffffffffffffffff,%rdx
mov    %edx,%r9d
cmp    $0x1,%edx
mov    %r9,%r14
adc    $0xffffffffffffffff,%r14
add    $0x1,%r14
cmp    $0x4,%r14
jae    1163 <Rotate_Right+0x63>
mov    %r9,%rax
add    $0x1,%rax
nopl   0x0(%rax)
lea    -0x2(%rax),%ecx
movzbl (%rdi,%rcx,1),%ecx
mov    %cl,-0x1(%rdi,%rax,1)
add    $0xffffffffffffffff,%rax
cmp    $0x1,%rax
ja     1140 <Rotate_Right+0x40>
mov    %r10b,(%rdi)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x1,%edx
mov    %r9,%rax
adc    $0xffffffffffffffff,%rax
add    $0xfffffffe,%esi
cmp    %eax,%esi
jb     1132 <Rotate_Right+0x32>
mov    %rax,%rcx
shr    $0x20,%rcx
jne    1132 <Rotate_Right+0x32>
lea    (%rdi,%r9,1),%rbp
mov    %rbp,%rcx
sub    %rax,%rcx
cmp    %rbp,%rcx
ja     1132 <Rotate_Right+0x32>
lea    (%rdi,%rsi,1),%rbp
mov    %rbp,%rcx
sub    %rax,%rcx
cmp    %rbp,%rcx
ja     1132 <Rotate_Right+0x32>
xor    %eax,%eax
test   %edx,%edx
setne  %al
lea    (%rdi,%rax,1),%rcx
lea    (%rsi,%rdi,1),%rbp
add    $0x1,%rbp
cmp    %rbp,%rcx
jae    11cd <Rotate_Right+0xcd>
lea    (%r9,%rdi,1),%rcx
add    $0x1,%rcx
add    %rsi,%rax
sub    %r9,%rax
add    %rdi,%rax
cmp    %rcx,%rax
jb     1132 <Rotate_Right+0x32>
mov    $0xffffffff,%r11d
cmp    $0x10,%r14
jae    11e0 <Rotate_Right+0xe0>
xor    %ecx,%ecx
jmp    12d7 <Rotate_Right+0x1d7>
mov    %r14,%rcx
and    $0xfffffffffffffff0,%rcx
lea    -0x10(%rcx),%rax
mov    %rax,%rbx
shr    $0x4,%rbx
add    $0x1,%rbx
mov    %ebx,%r8d
and    $0x3,%r8d
cmp    $0x30,%rax
jae    120a <Rotate_Right+0x10a>
xor    %esi,%esi
jmp    128f <Rotate_Right+0x18f>
mov    %r8,-0x8(%rsp)
mov    %r10b,-0x9(%rsp)
and    $0xfffffffffffffffc,%rbx
lea    (%r9,%rdi,1),%rax
add    $0xfffffffffffffff1,%rax
lea    -0x20(%r9,%r11,1),%r15
lea    (%r9,%r11,1),%r12
add    $0xfffffffffffffff0,%r12
lea    (%r9,%r11,1),%r13
add    $0xffffffffffffffd0,%r13
lea    (%r9,%r11,1),%r8
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
lea    (%r8,%rsi,1),%r10d
movups -0xf(%rdi,%r10,1),%xmm0
movups %xmm0,(%rax,%rsi,1)
lea    (%r12,%rsi,1),%ebp
movups -0xf(%rdi,%rbp,1),%xmm0
movups %xmm0,-0x10(%rax,%rsi,1)
lea    (%r15,%rsi,1),%ebp
movups -0xf(%rdi,%rbp,1),%xmm0
movups %xmm0,-0x20(%rax,%rsi,1)
lea    (%rsi,%r13,1),%ebp
movups -0xf(%rdi,%rbp,1),%xmm0
movups %xmm0,-0x30(%rax,%rsi,1)
add    $0xffffffffffffffc0,%rsi
add    $0xfffffffffffffffc,%rbx
jne    1240 <Rotate_Right+0x140>
neg    %rsi
mov    -0x9(%rsp),%r10b
mov    -0x8(%rsp),%r8
test   %r8,%r8
je     12c8 <Rotate_Right+0x1c8>
mov    %r9,%rax
sub    %rsi,%rax
add    %rdi,%rax
add    $0xfffffffffffffff1,%rax
lea    (%r9,%r11,1),%rbx
sub    %rsi,%rbx
shl    $0x4,%r8
xor    %esi,%esi
xchg   %ax,%ax
lea    (%rbx,%rsi,1),%ebp
movups -0xf(%rdi,%rbp,1),%xmm0
movups %xmm0,(%rax,%rsi,1)
add    $0xfffffffffffffff0,%rsi
mov    %r8,%rbp
add    %rsi,%rbp
jne    12b0 <Rotate_Right+0x1b0>
cmp    %rcx,%r14
je     1155 <Rotate_Right+0x55>
test   $0xc,%r14b
je     1332 <Rotate_Right+0x232>
cmp    $0x1,%edx
mov    %r9,%rdx
adc    $0xffffffffffffffff,%rdx
add    $0x1,%rdx
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
mov    %r9,%rax
sub    %r8,%rax
mov    %r8,%rsi
neg    %rsi
neg    %rcx
lea    (%r9,%rdi,1),%rbx
add    $0xfffffffffffffffd,%rbx
add    %r9,%r11
cs nopw 0x0(%rax,%rax,1)
lea    (%r11,%rcx,1),%ebp
mov    -0x3(%rdi,%rbp,1),%ebp
mov    %ebp,(%rbx,%rcx,1)
add    $0xfffffffffffffffc,%rcx
cmp    %rcx,%rsi
jne    1310 <Rotate_Right+0x210>
cmp    %r8,%rdx
jne    1135 <Rotate_Right+0x35>
jmp    1155 <Rotate_Right+0x55>
sub    %rcx,%r9
jmp    1132 <Rotate_Right+0x32>

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

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