float *test_func_00(float *p, int c, float x) {
  do {
    *--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)
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),%r9d
cmp    $0x7,%r9d
jb     11d0 <test_func_00+0xd0>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x8(%r8),%rdx
mov    %rdx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r11d
and    $0x3,%r11d
cmp    $0x18,%rdx
jae    1143 <test_func_00+0x43>
xor    %edx,%edx
jmp    1185 <test_func_00+0x85>
and    $0xfffffffffffffffc,%rdi
xor    %edx,%edx
nopl   0x0(%rax)
movups %xmm1,-0x10(%rax,%rdx,4)
movups %xmm1,-0x20(%rax,%rdx,4)
movups %xmm1,-0x30(%rax,%rdx,4)
movups %xmm1,-0x40(%rax,%rdx,4)
movups %xmm1,-0x50(%rax,%rdx,4)
movups %xmm1,-0x60(%rax,%rdx,4)
movups %xmm1,-0x70(%rax,%rdx,4)
movups %xmm1,-0x80(%rax,%rdx,4)
add    $0xffffffffffffffe0,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1150 <test_func_00+0x50>
neg    %rdx
lea    0x0(,%r8,4),%r10
test   %r11,%r11
je     11c5 <test_func_00+0xc5>
mov    $0xfffffffffffffffc,%rdi
sub    %rdx,%rdi
lea    (%rax,%rdi,4),%rdx
shl    $0x5,%r11
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups %xmm1,(%rdx,%rdi,1)
movups %xmm1,-0x10(%rdx,%rdi,1)
add    $0xffffffffffffffe0,%rdi
mov    %r11,%rcx
add    %rdi,%rcx
jne    11b0 <test_func_00+0xb0>
sub    %r10,%rax
cmp    %r8,%r9
je     11de <test_func_00+0xde>
sub    %r8d,%esi
movss  %xmm0,-0x4(%rax)
add    $0xfffffffffffffffc,%rax
add    $0xffffffff,%esi
jne    11d0 <test_func_00+0xd0>
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 = %11, %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
br label %11
11: ; preds = %7
%12 = load i32, i32* %5
%13 = add nsw i32 %12, -1
store i32 %13, i32* %5
%14 = icmp ne i32 %13, 0
br i1 %14, label %7, label %15
15: ; preds = %11
%16 = load float*, float** %4
ret float* %16
}

LLVM IR (-O2):
define float* @test_func_00(float* writeonly %0, i32 %1, float %2) {
%4 = add i32 %1, -1
%5 = zext i32 %4 to i64
%6 = add nuw nsw i64 %5, 1
%7 = icmp ult i32 %4, 7
br i1 %7, label %83, label %8
8: ; preds = %3
%9 = and i64 %6, 8589934584
%10 = trunc i64 %9 to i32
%11 = sub i32 %1, %10
%12 = sub nsw i64 0, %9
%13 = getelementptr float, float* %0, i64 %12
%14 = insertelement <4 x float> poison, float %2, i64 0
%15 = shufflevector <4 x float> %14, <4 x float> poison, <4 x i32> zeroinitializer
%16 = insertelement <4 x float> poison, float %2, i64 0
%17 = shufflevector <4 x float> %16, <4 x float> poison, <4 x i32> zeroinitializer
%18 = add nsw i64 %9, -8
%19 = lshr exact i64 %18, 3
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 3
%22 = icmp ult i64 %18, 24
br i1 %22, label %63, label %23
23: ; preds = %8
%24 = and i64 %20, 4611686018427387900
%25 = getelementptr float, float* %0, i64 -1
%26 = getelementptr float, float* %0, i64 -1
%27 = getelementptr float, float* %0, i64 -1
%28 = getelementptr float, float* %0, i64 -1
br label %29
29: ; preds = %29, %23
%30 = phi i64 [ 0, %23 ], [ %60, %29 ]
%31 = phi i64 [ 0, %23 ], [ %61, %29 ]
%32 = sub i64 0, %30
%33 = getelementptr inbounds float, float* %25, i64 %32
%34 = getelementptr inbounds float, float* %33, i64 -3
%35 = bitcast float* %34 to <4 x float>*
store <4 x float> %15, <4 x float>* %35
%36 = getelementptr inbounds float, float* %33, i64 -4
%37 = getelementptr inbounds float, float* %36, i64 -3
%38 = bitcast float* %37 to <4 x float>*
store <4 x float> %17, <4 x float>* %38
%39 = sub nuw nsw i64 -8, %30
%40 = getelementptr inbounds float, float* %26, i64 %39
%41 = getelementptr inbounds float, float* %40, i64 -3
%42 = bitcast float* %41 to <4 x float>*
store <4 x float> %15, <4 x float>* %42
%43 = getelementptr inbounds float, float* %40, i64 -4
%44 = getelementptr inbounds float, float* %43, i64 -3
%45 = bitcast float* %44 to <4 x float>*
store <4 x float> %17, <4 x float>* %45
%46 = sub nuw nsw i64 -16, %30
%47 = getelementptr inbounds float, float* %27, i64 %46
%48 = getelementptr inbounds float, float* %47, i64 -3
%49 = bitcast float* %48 to <4 x float>*
store <4 x float> %15, <4 x float>* %49
%50 = getelementptr inbounds float, float* %47, i64 -4
%51 = getelementptr inbounds float, float* %50, i64 -3
%52 = bitcast float* %51 to <4 x float>*
store <4 x float> %17, <4 x float>* %52
%53 = sub nuw nsw i64 -24, %30
%54 = getelementptr inbounds float, float* %28, i64 %53
%55 = getelementptr inbounds float, float* %54, i64 -3
%56 = bitcast float* %55 to <4 x float>*
store <4 x float> %15, <4 x float>* %56
%57 = getelementptr inbounds float, float* %54, i64 -4
%58 = getelementptr inbounds float, float* %57, i64 -3
%59 = bitcast float* %58 to <4 x float>*
store <4 x float> %17, <4 x float>* %59
%60 = add nuw i64 %30, 32
%61 = add i64 %31, 4
%62 = icmp eq i64 %61, %24
br i1 %62, label %63, label %29
63: ; preds = %29, %8
%64 = phi i64 [ 0, %8 ], [ %60, %29 ]
%65 = icmp eq i64 %21, 0
br i1 %65, label %81, label %66
66: ; preds = %63
%67 = getelementptr float, float* %0, i64 -1
br label %68
68: ; preds = %68, %66
%69 = phi i64 [ %64, %66 ], [ %78, %68 ]
%70 = phi i64 [ 0, %66 ], [ %79, %68 ]
%71 = sub i64 0, %69
%72 = getelementptr inbounds float, float* %67, i64 %71
%73 = getelementptr inbounds float, float* %72, i64 -3
%74 = bitcast float* %73 to <4 x float>*
store <4 x float> %15, <4 x float>* %74
%75 = getelementptr inbounds float, float* %72, i64 -4
%76 = getelementptr inbounds float, float* %75, i64 -3
%77 = bitcast float* %76 to <4 x float>*
store <4 x float> %17, <4 x float>* %77
%78 = add nuw i64 %69, 8
%79 = add i64 %70, 1
%80 = icmp eq i64 %79, %21
br i1 %80, label %81, label %68
81: ; preds = %68, %63
%82 = icmp eq i64 %6, %9
br i1 %82, label %92, label %83
83: ; preds = %3, %81
%84 = phi i32 [ %1, %3 ], [ %11, %81 ]
%85 = phi float* [ %0, %3 ], [ %13, %81 ]
br label %86
86: ; preds = %83, %86
%87 = phi i32 [ %90, %86 ], [ %84, %83 ]
%88 = phi float* [ %89, %86 ], [ %85, %83 ]
%89 = getelementptr inbounds float, float* %88, i64 -1
store float %2, float* %89
%90 = add nsw i32 %87, -1
%91 = icmp eq i32 %90, 0
br i1 %91, label %92, label %86
92: ; preds = %86, %81
%93 = phi float* [ %13, %81 ], [ %89, %86 ]
ret float* %93
}