float *test_func_00(float *p, int c, float x) {
  do {
    *--p = x;
    *--p = x;
    *--p = x;
  } while (--c);
  return p;
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,-0x4(%rax)
movss  -0x10(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,-0x4(%rax)
movss  -0x10(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,-0x4(%rax)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0x0,%eax
jne    1110 <test_func_00+0x10>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
mov    %rdi,%rax
lea    -0x1(%rsi),%ecx
mov    %esi,%edx
and    $0x3,%edx
je     112c <test_func_00+0x2c>
xor    %edi,%edi
nop
movss  %xmm0,-0x4(%rax)
movss  %xmm0,-0x8(%rax)
movss  %xmm0,-0xc(%rax)
add    $0xfffffffffffffff4,%rax
add    $0x1,%edi
cmp    %edi,%edx
jne    1110 <test_func_00+0x10>
sub    %edi,%esi
cmp    $0x3,%ecx
jb     1185 <test_func_00+0x85>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movss  %xmm0,-0x4(%rax)
movss  %xmm0,-0x8(%rax)
movss  %xmm0,-0xc(%rax)
movss  %xmm0,-0x10(%rax)
movss  %xmm0,-0x14(%rax)
movss  %xmm0,-0x18(%rax)
movss  %xmm0,-0x1c(%rax)
movss  %xmm0,-0x20(%rax)
movss  %xmm0,-0x24(%rax)
movss  %xmm0,-0x28(%rax)
movss  %xmm0,-0x2c(%rax)
movss  %xmm0,-0x30(%rax)
add    $0xffffffffffffffd0,%rax
add    $0xfffffffc,%esi
jne    1140 <test_func_00+0x40>
ret

LLVM IR (-O0):
define float* @test_func_00(float* %0, i32 %1, float %2) {
%4 = alloca float*
%5 = alloca i32
%6 = alloca float
store float* %0, float** %4
store i32 %1, i32* %5
store float %2, float* %6
br label %7
7: ; preds = %17, %3
%8 = load float, float* %6
%9 = load float*, float** %4
%10 = getelementptr inbounds float, float* %9, i32 -1
store float* %10, float** %4
store float %8, float* %10
%11 = load float, float* %6
%12 = load float*, float** %4
%13 = getelementptr inbounds float, float* %12, i32 -1
store float* %13, float** %4
store float %11, float* %13
%14 = load float, float* %6
%15 = load float*, float** %4
%16 = getelementptr inbounds float, float* %15, i32 -1
store float* %16, float** %4
store float %14, float* %16
br label %17
17: ; preds = %7
%18 = load i32, i32* %5
%19 = add nsw i32 %18, -1
store i32 %19, i32* %5
%20 = icmp ne i32 %19, 0
br i1 %20, label %7, label %21
21: ; preds = %17
%22 = load float*, float** %4
ret float* %22
}

LLVM IR (-O2):
define float* @test_func_00(float* writeonly %0, i32 %1, float %2) {
%4 = add i32 %1, -1
%5 = and i32 %1, 3
%6 = icmp eq i32 %5, 0
br i1 %6, label %17, label %7
7: ; preds = %3, %7
%8 = phi i32 [ %14, %7 ], [ %1, %3 ]
%9 = phi float* [ %13, %7 ], [ %0, %3 ]
%10 = phi i32 [ %15, %7 ], [ 0, %3 ]
%11 = getelementptr inbounds float, float* %9, i64 -1
store float %2, float* %11
%12 = getelementptr inbounds float, float* %9, i64 -2
store float %2, float* %12
%13 = getelementptr inbounds float, float* %9, i64 -3
store float %2, float* %13
%14 = add nsw i32 %8, -1
%15 = add i32 %10, 1
%16 = icmp eq i32 %15, %5
br i1 %16, label %17, label %7
17: ; preds = %7, %3
%18 = phi float* [ undef, %3 ], [ %13, %7 ]
%19 = phi i32 [ %1, %3 ], [ %14, %7 ]
%20 = phi float* [ %0, %3 ], [ %13, %7 ]
%21 = icmp ult i32 %4, 3
br i1 %21, label %39, label %22
22: ; preds = %17, %22
%23 = phi i32 [ %37, %22 ], [ %19, %17 ]
%24 = phi float* [ %36, %22 ], [ %20, %17 ]
%25 = getelementptr inbounds float, float* %24, i64 -1
store float %2, float* %25
%26 = getelementptr inbounds float, float* %24, i64 -2
store float %2, float* %26
%27 = getelementptr inbounds float, float* %24, i64 -3
store float %2, float* %27
%28 = getelementptr inbounds float, float* %24, i64 -4
store float %2, float* %28
%29 = getelementptr inbounds float, float* %24, i64 -5
store float %2, float* %29
%30 = getelementptr inbounds float, float* %24, i64 -6
store float %2, float* %30
%31 = getelementptr inbounds float, float* %24, i64 -7
store float %2, float* %31
%32 = getelementptr inbounds float, float* %24, i64 -8
store float %2, float* %32
%33 = getelementptr inbounds float, float* %24, i64 -9
store float %2, float* %33
%34 = getelementptr inbounds float, float* %24, i64 -10
store float %2, float* %34
%35 = getelementptr inbounds float, float* %24, i64 -11
store float %2, float* %35
%36 = getelementptr inbounds float, float* %24, i64 -12
store float %2, float* %36
%37 = add nsw i32 %23, -4
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %22
39: ; preds = %22, %17
%40 = phi float* [ %18, %17 ], [ %36, %22 ]
ret float* %40
}