void xxri2c(float *co, float *re, float *ir, int n1, int n2) {
  int i;
  co--;
  re--;
  ir--;
  for (i = n2; i >= n1; i--) {
    co[2 * i - 1] = re[i];
    co[2 * i] = ir[i];
  }
}


x86 assembly (clang, -O0):
<xxri2c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     119c <xxri2c+0x9c>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1141 <xxri2c+0x41>
pop    %rbp
ret

x86 assembly (clang, -O2):
<xxri2c>:
push   %rbp
push   %r14
push   %rbx
mov    %r8d,%ebx
sub    %ecx,%ebx
jl     11e5 <xxri2c+0xe5>
movslq %r8d,%rax
add    $0x1,%ebx
test   $0x1,%bl
je     113d <xxri2c+0x3d>
movss  -0x4(%rsi,%rax,4),%xmm0
lea    (%r8,%r8,1),%ebx
movslq %ebx,%rbx
movss  %xmm0,-0x8(%rdi,%rbx,4)
movss  -0x4(%rdx,%rax,4),%xmm0
movss  %xmm0,-0x4(%rdi,%rbx,4)
add    $0xffffffffffffffff,%rax
cmp    %ecx,%r8d
je     11e5 <xxri2c+0xe5>
movslq %ecx,%r8
lea    (%rax,%rax,1),%r10d
add    $0xfffffffe,%r10d
lea    0x1(%r10),%r9
mov    %eax,%r11d
and    $0x7fffffff,%r11d
add    %r11,%r11
lea    (%rsi,%rax,4),%rsi
add    $0xfffffffffffffffc,%rsi
lea    (%rdx,%rax,4),%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rax,%rcx
add    $0x1,%rcx
lea    (%rax,%rax,1),%r14d
add    $0xfffffffc,%r14d
or     $0x1,%r14
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movss  (%rsi,%rbx,2),%xmm0
lea    (%r11,%rbx,1),%ebp
lea    (%r9,%rbx,1),%eax
cltq
movss  %xmm0,-0x4(%rdi,%rax,4)
movss  (%rdx,%rbx,2),%xmm0
movslq %ebp,%rax
movss  %xmm0,-0x4(%rdi,%rax,4)
movss  -0x4(%rsi,%rbx,2),%xmm0
lea    (%r10,%rbx,1),%eax
lea    (%r14,%rbx,1),%ebp
movslq %ebp,%rbp
movss  %xmm0,-0x4(%rdi,%rbp,4)
movss  -0x4(%rdx,%rbx,2),%xmm0
cltq
movss  %xmm0,-0x4(%rdi,%rax,4)
add    $0xfffffffffffffffc,%rbx
add    $0xfffffffffffffffe,%rcx
cmp    %r8,%rcx
jg     1190 <xxri2c+0x90>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define void @xxri2c(float* nocapture writeonly %0, float* nocapture %1, float* nocapture %2, i32 %3, i32 %4) {
%6 = getelementptr inbounds float, float* %0, i64 -1
%7 = getelementptr inbounds float, float* %1, i64 -1
%8 = getelementptr inbounds float, float* %2, i64 -1
%9 = icmp slt i32 %4, %3
br i1 %9, label %59, label %10
10: ; preds = %5
%11 = sext i32 %4 to i64
%12 = sext i32 %3 to i64
%13 = add nsw i64 %11, 1
%14 = sub nsw i64 %13, %12
%15 = and i64 %14, 1
%16 = icmp eq i64 %15, 0
br i1 %16, label %29, label %17
17: ; preds = %10
%18 = getelementptr inbounds float, float* %7, i64 %11
%19 = load float, float* %18
%20 = shl nsw i32 %4, 1
%21 = add nsw i32 %20, -1
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds float, float* %6, i64 %22
store float %19, float* %23
%24 = getelementptr inbounds float, float* %8, i64 %11
%25 = load float, float* %24
%26 = sext i32 %20 to i64
%27 = getelementptr inbounds float, float* %6, i64 %26
store float %25, float* %27
%28 = add nsw i64 %11, -1
br label %29
29: ; preds = %17, %10
%30 = phi i64 [ %11, %10 ], [ %28, %17 ]
%31 = icmp eq i32 %4, %3
br i1 %31, label %59, label %32
32: ; preds = %29, %32
%33 = phi i64 [ %57, %32 ], [ %30, %29 ]
%34 = trunc i64 %33 to i32
%35 = getelementptr inbounds float, float* %7, i64 %33
%36 = load float, float* %35
%37 = shl nsw i32 %34, 1
%38 = add nsw i32 %37, -1
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds float, float* %6, i64 %39
store float %36, float* %40
%41 = getelementptr inbounds float, float* %8, i64 %33
%42 = load float, float* %41
%43 = sext i32 %37 to i64
%44 = getelementptr inbounds float, float* %6, i64 %43
store float %42, float* %44
%45 = add nsw i64 %33, -1
%46 = trunc i64 %45 to i32
%47 = getelementptr inbounds float, float* %7, i64 %45
%48 = load float, float* %47
%49 = shl nsw i32 %46, 1
%50 = add nsw i32 %49, -1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds float, float* %6, i64 %51
store float %48, float* %52
%53 = getelementptr inbounds float, float* %8, i64 %45
%54 = load float, float* %53
%55 = sext i32 %49 to i64
%56 = getelementptr inbounds float, float* %6, i64 %55
store float %54, float* %56
%57 = add nsw i64 %33, -2
%58 = icmp sgt i64 %45, %12
br i1 %58, label %32, label %59
59: ; preds = %29, %32, %5
ret void
}