#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
float sum(float *, int, int);
void pnormalize(float *p, int start, int length) {
  float p_sum = sum(p, start, length);
  for (int i = start; i < start + length; i++) {
    p[i] = p[i] / p_sum;
  }
}


x86 assembly (clang, -O0):
<pnormalize>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
call   1030 <sum@plt>
movss  %xmm0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
cmp    %ecx,%eax
jge    117a <pnormalize+0x6a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
divss  -0x14(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113c <pnormalize+0x2c>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pnormalize>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebp
mov    %esi,%r14d
mov    %rdi,%rbx
call   1030 <sum@plt>
test   %ebp,%ebp
jle    11d7 <pnormalize+0xc7>
add    %r14d,%ebp
movslq %r14d,%rax
movslq %ebp,%rcx
lea    0x1(%rax),%rdx
cmp    %rcx,%rdx
cmovle %rcx,%rdx
sub    %rax,%rdx
cmp    $0x4,%rdx
jb     11c0 <pnormalize+0xb0>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
movaps %xmm0,%xmm1
shufps $0x0,%xmm0,%xmm1
lea    -0x4(%r8),%rsi
mov    %rsi,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     11dc <pnormalize+0xcc>
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
lea    (%rbx,%rax,4),%rsi
add    $0x10,%rsi
xor    %ebp,%ebp
nopl   0x0(%rax)
movups -0x10(%rsi,%rbp,4),%xmm2
movups (%rsi,%rbp,4),%xmm3
divps  %xmm1,%xmm2
movups %xmm2,-0x10(%rsi,%rbp,4)
divps  %xmm1,%xmm3
movups %xmm3,(%rsi,%rbp,4)
add    $0x8,%rbp
add    $0xfffffffffffffffe,%rdi
jne    1180 <pnormalize+0x70>
test   $0x1,%r9b
je     11b6 <pnormalize+0xa6>
add    %rax,%rbp
movups (%rbx,%rbp,4),%xmm2
divps  %xmm1,%xmm2
movups %xmm2,(%rbx,%rbp,4)
cmp    %r8,%rdx
je     11d7 <pnormalize+0xc7>
add    %r8,%rax
xchg   %ax,%ax
movss  (%rbx,%rax,4),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,(%rbx,%rax,4)
add    $0x1,%rax
cmp    %rcx,%rax
jl     11c0 <pnormalize+0xb0>
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %ebp,%ebp
test   $0x1,%r9b
jne    11a8 <pnormalize+0x98>
jmp    11b6 <pnormalize+0xa6>

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

LLVM IR (-O2):
define void @pnormalize(float* %0, i32 %1, i32 %2) {
%4 = tail call float @sum(float* %0, i32 %1, i32 %2)
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %59
6: ; preds = %3
%7 = add nsw i32 %2, %1
%8 = sext i32 %1 to i64
%9 = sext i32 %7 to i64
%10 = add nsw i64 %8, 1
%11 = call i64 @llvm.smax.i64(i64 %10, i64 %9)
%12 = sub i64 %11, %8
%13 = icmp ult i64 %12, 4
br i1 %13, label %57, label %14
14: ; preds = %6
%15 = and i64 %12, -4
%16 = add i64 %15, %8
%17 = insertelement <4 x float> poison, float %4, i64 0
%18 = shufflevector <4 x float> %17, <4 x float> poison, <4 x i32> zeroinitializer
%19 = add i64 %15, -4
%20 = lshr exact i64 %19, 2
%21 = add nuw nsw i64 %20, 1
%22 = and i64 %21, 1
%23 = icmp eq i64 %19, 0
br i1 %23, label %45, label %24
24: ; preds = %14
%25 = and i64 %21, 9223372036854775806
br label %26
26: ; preds = %26, %24
%27 = phi i64 [ 0, %24 ], [ %42, %26 ]
%28 = phi i64 [ 0, %24 ], [ %43, %26 ]
%29 = add i64 %27, %8
%30 = getelementptr inbounds float, float* %0, i64 %29
%31 = bitcast float* %30 to <4 x float>*
%32 = load <4 x float>, <4 x float>* %31
%33 = fdiv <4 x float> %32, %18
%34 = bitcast float* %30 to <4 x float>*
store <4 x float> %33, <4 x float>* %34
%35 = or i64 %27, 4
%36 = add i64 %35, %8
%37 = getelementptr inbounds float, float* %0, i64 %36
%38 = bitcast float* %37 to <4 x float>*
%39 = load <4 x float>, <4 x float>* %38
%40 = fdiv <4 x float> %39, %18
%41 = bitcast float* %37 to <4 x float>*
store <4 x float> %40, <4 x float>* %41
%42 = add nuw i64 %27, 8
%43 = add i64 %28, 2
%44 = icmp eq i64 %43, %25
br i1 %44, label %45, label %26
45: ; preds = %26, %14
%46 = phi i64 [ 0, %14 ], [ %42, %26 ]
%47 = icmp eq i64 %22, 0
br i1 %47, label %55, label %48
48: ; preds = %45
%49 = add i64 %46, %8
%50 = getelementptr inbounds float, float* %0, i64 %49
%51 = bitcast float* %50 to <4 x float>*
%52 = load <4 x float>, <4 x float>* %51
%53 = fdiv <4 x float> %52, %18
%54 = bitcast float* %50 to <4 x float>*
store <4 x float> %53, <4 x float>* %54
br label %55
55: ; preds = %45, %48
%56 = icmp eq i64 %12, %15
br i1 %56, label %59, label %57
57: ; preds = %6, %55
%58 = phi i64 [ %8, %6 ], [ %16, %55 ]
br label %60
59: ; preds = %60, %55, %3
ret void
60: ; preds = %57, %60
%61 = phi i64 [ %65, %60 ], [ %58, %57 ]
%62 = getelementptr inbounds float, float* %0, i64 %61
%63 = load float, float* %62
%64 = fdiv float %63, %4
store float %64, float* %62
%65 = add nsw i64 %61, 1
%66 = icmp slt i64 %65, %9
br i1 %66, label %60, label %59
}