void poly(float x, float p[], int ndeg) {
  int j;
  p[1] = 1.0;
  for (j = 2; j <= ndeg; j++)
    p[j] = p[j - 1] * x;
}


x86 assembly (clang, -O0):
<poly>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movss  0xee4(%rip),%xmm0
movss  %xmm0,0x4(%rax)
movl   $0x2,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1166 <poly+0x66>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x4(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1128 <poly+0x28>
pop    %rbp
ret

x86 assembly (clang, -O2):
<poly>:
movl   $0x3f800000,0x4(%rdi)
cmp    $0x2,%esi
jl     11b2 <poly+0xb2>
mov    %esi,%edx
lea    -0x1(%rdx),%rcx
add    $0xfffffffffffffffe,%rdx
mov    %ecx,%eax
and    $0x3,%eax
cmp    $0x3,%rdx
jae    1134 <poly+0x34>
mov    $0x2,%edx
movss  0xece(%rip),%xmm1
jmp    1189 <poly+0x89>
and    $0xfffffffffffffffc,%rcx
neg    %rcx
mov    $0x2,%edx
movss  0xeb8(%rip),%xmm1
nopl   0x0(%rax,%rax,1)
mulss  %xmm0,%xmm1
movss  %xmm1,(%rdi,%rdx,4)
mulss  %xmm0,%xmm1
movss  %xmm1,0x4(%rdi,%rdx,4)
mulss  %xmm0,%xmm1
movss  %xmm1,0x8(%rdi,%rdx,4)
mulss  %xmm0,%xmm1
movss  %xmm1,0xc(%rdi,%rdx,4)
lea    (%rcx,%rdx,1),%rsi
add    $0x4,%rsi
add    $0x4,%rdx
cmp    $0x2,%rsi
jne    1150 <poly+0x50>
test   %rax,%rax
je     11b2 <poly+0xb2>
lea    (%rdi,%rdx,4),%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mulss  %xmm0,%xmm1
movss  %xmm1,(%rcx,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rax
jne    11a0 <poly+0xa0>
ret

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

LLVM IR (-O2):
define void @poly(float %0, float* nocapture %1, i32 %2) {
%4 = getelementptr inbounds float, float* %1, i64 1
store float 1.000000e+00, float* %4
%5 = icmp slt i32 %2, 2
br i1 %5, label %46, label %6
6: ; preds = %3
%7 = add nuw i32 %2, 1
%8 = zext i32 %7 to i64
%9 = add nsw i64 %8, -2
%10 = add nsw i64 %8, -3
%11 = and i64 %9, 3
%12 = icmp ult i64 %10, 3
br i1 %12, label %33, label %13
13: ; preds = %6
%14 = and i64 %9, -4
br label %15
15: ; preds = %15, %13
%16 = phi float [ 1.000000e+00, %13 ], [ %28, %15 ]
%17 = phi i64 [ 2, %13 ], [ %30, %15 ]
%18 = phi i64 [ 0, %13 ], [ %31, %15 ]
%19 = fmul float %16, %0
%20 = getelementptr inbounds float, float* %1, i64 %17
store float %19, float* %20
%21 = or i64 %17, 1
%22 = fmul float %19, %0
%23 = getelementptr inbounds float, float* %1, i64 %21
store float %22, float* %23
%24 = add nuw nsw i64 %17, 2
%25 = fmul float %22, %0
%26 = getelementptr inbounds float, float* %1, i64 %24
store float %25, float* %26
%27 = add nuw nsw i64 %17, 3
%28 = fmul float %25, %0
%29 = getelementptr inbounds float, float* %1, i64 %27
store float %28, float* %29
%30 = add nuw nsw i64 %17, 4
%31 = add i64 %18, 4
%32 = icmp eq i64 %31, %14
br i1 %32, label %33, label %15
33: ; preds = %15, %6
%34 = phi float [ 1.000000e+00, %6 ], [ %28, %15 ]
%35 = phi i64 [ 2, %6 ], [ %30, %15 ]
%36 = icmp eq i64 %11, 0
br i1 %36, label %46, label %37
37: ; preds = %33, %37
%38 = phi float [ %41, %37 ], [ %34, %33 ]
%39 = phi i64 [ %43, %37 ], [ %35, %33 ]
%40 = phi i64 [ %44, %37 ], [ 0, %33 ]
%41 = fmul float %38, %0
%42 = getelementptr inbounds float, float* %1, i64 %39
store float %41, float* %42
%43 = add nuw nsw i64 %39, 1
%44 = add i64 %40, 1
%45 = icmp eq i64 %44, %11
br i1 %45, label %46, label %37
46: ; preds = %33, %37, %3
ret void
}