float shiftRfloat(float zIn, float z[], int N) {
  int i;
  float zOut;
  zOut = z[N - 1];
  for (i = N - 1; i > 0; i--) {
    z[i] = z[i - 1];
  }
  z[0] = zIn;
  return zOut;
}


x86 assembly (clang, -O0):
<shiftRfloat>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jle    1167 <shiftRfloat+0x67>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1130 <shiftRfloat+0x30>
movss  -0x4(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x1c(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<shiftRfloat>:
push   %r15
push   %r14
push   %rbx
movslq %esi,%rax
movss  -0x4(%rdi,%rax,4),%xmm1
cmp    $0x2,%esi
jl     1158 <shiftRfloat+0x58>
lea    -0x1(%rsi),%r10d
mov    %r10d,%ecx
cmp    $0x1,%r10d
mov    %rcx,%r9
adc    $0xffffffffffffffff,%r9
add    $0x1,%r9
cmp    $0x8,%r9
jae    1165 <shiftRfloat+0x65>
add    $0x1,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x2(%rcx),%eax
movss  (%rdi,%rax,4),%xmm2
movss  %xmm2,-0x4(%rdi,%rcx,4)
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%rcx
ja     1140 <shiftRfloat+0x40>
movss  %xmm0,(%rdi)
movaps %xmm1,%xmm0
pop    %rbx
pop    %r14
pop    %r15
ret
cmp    $0x1,%r10d
mov    %rcx,%r8
adc    $0xffffffffffffffff,%r8
add    $0xfffffffe,%esi
mov    $0x4,%edx
mov    %r8,%rax
mul    %rdx
seto   %r11b
cmp    %r8d,%esi
jb     112f <shiftRfloat+0x2f>
shr    $0x20,%r8
jne    112f <shiftRfloat+0x2f>
lea    (%rdi,%rcx,4),%rdx
mov    %rdx,%rbx
sub    %rax,%rbx
cmp    %rdx,%rbx
ja     112f <shiftRfloat+0x2f>
test   %r11b,%r11b
jne    112f <shiftRfloat+0x2f>
lea    (%rdi,%rsi,4),%rbx
mov    %rbx,%rdx
sub    %rax,%rdx
cmp    %rbx,%rdx
ja     112f <shiftRfloat+0x2f>
test   %r11b,%r11b
jne    112f <shiftRfloat+0x2f>
xor    %eax,%eax
test   %r10d,%r10d
setne  %al
lea    (%rdi,%rax,4),%rdx
lea    (%rdi,%rsi,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%rdx
jae    11f1 <shiftRfloat+0xf1>
lea    (%rdi,%rcx,4),%rdx
add    $0x4,%rdx
add    %rsi,%rax
sub    %rcx,%rax
lea    (%rdi,%rax,4),%rax
cmp    %rdx,%rax
jb     112f <shiftRfloat+0x2f>
mov    $0xffffffff,%r8d
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     12b2 <shiftRfloat+0x1b2>
mov    %r11,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rdi,%rcx,4),%rax
add    $0xfffffffffffffff4,%rax
lea    (%rcx,%r8,1),%r14
add    $0xfffffffffffffff8,%r14
lea    (%rcx,%r8,1),%r15
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r15,%rdx,1),%ebx
movups -0x1c(%rdi,%rbx,4),%xmm2
movups -0xc(%rdi,%rbx,4),%xmm3
movups %xmm3,(%rax,%rdx,4)
movups %xmm2,-0x10(%rax,%rdx,4)
lea    (%r14,%rdx,1),%ebx
movups -0x1c(%rdi,%rbx,4),%xmm2
movups -0xc(%rdi,%rbx,4),%xmm3
movups %xmm3,-0x20(%rax,%rdx,4)
movups %xmm2,-0x30(%rax,%rdx,4)
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1240 <shiftRfloat+0x140>
neg    %rdx
test   $0x1,%r11b
je     12a1 <shiftRfloat+0x1a1>
mov    %rcx,%rax
sub    %rdx,%rax
add    %eax,%r8d
movups -0x1c(%rdi,%r8,4),%xmm2
movups -0xc(%rdi,%r8,4),%xmm3
movups %xmm3,-0xc(%rdi,%rax,4)
movups %xmm2,-0x1c(%rdi,%rax,4)
cmp    %r10,%r9
je     1158 <shiftRfloat+0x58>
sub    %r10,%rcx
jmp    112f <shiftRfloat+0x2f>
xor    %edx,%edx
test   $0x1,%r11b
jne    1282 <shiftRfloat+0x182>
jmp    12a1 <shiftRfloat+0x1a1>

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

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