double sign_normalize(double *vec, int beg, int end, int k) {
  int i;
  double scale, scale2;
  double ch_norm(double *vec, int beg, int end);
  scale = ch_norm(vec, beg, end);
  if (vec[k] < 0) {
    scale2 = -scale;
  } else {
    scale2 = scale;
  }
  vec = vec + beg;
  for (i = end - beg + 1; i; i--) {
    *vec = *vec / scale2;
    vec++;
  }
  return (scale);
}


x86 assembly (clang, -O0):
<sign_normalize>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
call   1030 <ch_norm@plt>
movsd  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jbe    1175 <sign_normalize+0x65>
movsd  -0x20(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    117f <sign_normalize+0x6f>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     11d7 <sign_normalize+0xc7>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
divsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    119e <sign_normalize+0x8e>
movsd  -0x20(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sign_normalize>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
call   1030 <ch_norm@plt>
sub    %ebp,%ebx
mov    %ebx,%eax
inc    %eax
je     1216 <sign_normalize+0x106>
movslq %r15d,%rcx
movsd  (%r14,%rcx,8),%xmm1
movapd 0xebd(%rip),%xmm2
xorpd  %xmm0,%xmm2
xorpd  %xmm3,%xmm3
cmpltsd %xmm3,%xmm1
andpd  %xmm1,%xmm2
andnpd %xmm0,%xmm1
orpd   %xmm2,%xmm1
movslq %ebp,%rdx
lea    (%r14,%rdx,8),%rcx
test   %ebx,%ebx
je     11f8 <sign_normalize+0xe8>
add    $0x1,%rbx
mov    %rbx,%r8
and    $0xfffffffffffffffe,%r8
movapd %xmm1,%xmm2
unpcklpd %xmm1,%xmm2
lea    -0x2(%r8),%rsi
mov    %rsi,%rbp
shr    %rbp
add    $0x1,%rbp
test   %rsi,%rsi
je     1221 <sign_normalize+0x111>
mov    %rbp,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r14,%rdx,8),%rdx
add    $0x10,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movupd -0x10(%rdx,%rdi,8),%xmm3
movupd (%rdx,%rdi,8),%xmm4
divpd  %xmm2,%xmm3
movupd %xmm3,-0x10(%rdx,%rdi,8)
divpd  %xmm2,%xmm4
movupd %xmm4,(%rdx,%rdi,8)
add    $0x4,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11b0 <sign_normalize+0xa0>
test   $0x1,%bpl
je     11ec <sign_normalize+0xdc>
movupd (%rcx,%rdi,8),%xmm3
divpd  %xmm2,%xmm3
movupd %xmm3,(%rcx,%rdi,8)
cmp    %r8,%rbx
je     1216 <sign_normalize+0x106>
lea    (%rcx,%r8,8),%rcx
sub    %r8d,%eax
mov    %eax,%eax
xor    %edx,%edx
nopl   0x0(%rax)
movsd  (%rcx,%rdx,8),%xmm2
divsd  %xmm1,%xmm2
movsd  %xmm2,(%rcx,%rdx,8)
add    $0x1,%rdx
cmp    %edx,%eax
jne    1200 <sign_normalize+0xf0>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%bpl
jne    11de <sign_normalize+0xce>
jmp    11ec <sign_normalize+0xdc>

LLVM IR (-O0):
define double @sign_normalize(double* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
%11 = alloca double
store double* %0, double** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%12 = load double*, double** %5
%13 = load i32, i32* %6
%14 = load i32, i32* %7
%15 = call double @ch_norm(double* %12, i32 %13, i32 %14)
store double %15, double* %10
%16 = load double*, double** %5
%17 = load i32, i32* %8
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds double, double* %16, i64 %18
%20 = load double, double* %19
%21 = fcmp olt double %20, 0.000000e+00
br i1 %21, label %22, label %25
22: ; preds = %4
%23 = load double, double* %10
%24 = fneg double %23
store double %24, double* %11
br label %27
25: ; preds = %4
%26 = load double, double* %10
store double %26, double* %11
br label %27
27: ; preds = %25, %22
%28 = load double*, double** %5
%29 = load i32, i32* %6
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds double, double* %28, i64 %30
store double* %31, double** %5
%32 = load i32, i32* %7
%33 = load i32, i32* %6
%34 = sub nsw i32 %32, %33
%35 = add nsw i32 %34, 1
store i32 %35, i32* %9
br label %36
36: ; preds = %47, %27
%37 = load i32, i32* %9
%38 = icmp ne i32 %37, 0
br i1 %38, label %39, label %50
39: ; preds = %36
%40 = load double*, double** %5
%41 = load double, double* %40
%42 = load double, double* %11
%43 = fdiv double %41, %42
%44 = load double*, double** %5
store double %43, double* %44
%45 = load double*, double** %5
%46 = getelementptr inbounds double, double* %45, i32 1
store double* %46, double** %5
br label %47
47: ; preds = %39
%48 = load i32, i32* %9
%49 = add nsw i32 %48, -1
store i32 %49, i32* %9
br label %36
50: ; preds = %36
%51 = load double, double* %10
ret double %51
}

LLVM IR (-O2):
define double @sign_normalize(double* %0, i32 %1, i32 %2, i32 %3) {
%5 = tail call double @ch_norm(double* %0, i32 %1, i32 %2)
%6 = sext i32 %3 to i64
%7 = getelementptr inbounds double, double* %0, i64 %6
%8 = load double, double* %7
%9 = fcmp olt double %8, 0.000000e+00
%10 = fneg double %5
%11 = select i1 %9, double %10, double %5
%12 = sub i32 1, %1
%13 = add i32 %12, %2
%14 = icmp eq i32 %13, 0
br i1 %14, label %75, label %15
15: ; preds = %4
%16 = sext i32 %1 to i64
%17 = getelementptr inbounds double, double* %0, i64 %16
%18 = sub i32 %2, %1
%19 = zext i32 %18 to i64
%20 = add nuw nsw i64 %19, 1
%21 = icmp eq i32 %18, 0
br i1 %21, label %64, label %22
22: ; preds = %15
%23 = and i64 %20, 8589934590
%24 = getelementptr double, double* %17, i64 %23
%25 = trunc i64 %23 to i32
%26 = sub i32 %13, %25
%27 = insertelement <2 x double> poison, double %11, i64 0
%28 = shufflevector <2 x double> %27, <2 x double> poison, <2 x i32> zeroinitializer
%29 = add nsw i64 %23, -2
%30 = lshr exact i64 %29, 1
%31 = add nuw i64 %30, 1
%32 = and i64 %31, 1
%33 = icmp eq i64 %29, 0
br i1 %33, label %53, label %34
34: ; preds = %22
%35 = and i64 %31, -2
br label %36
36: ; preds = %36, %34
%37 = phi i64 [ 0, %34 ], [ %50, %36 ]
%38 = phi i64 [ 0, %34 ], [ %51, %36 ]
%39 = getelementptr double, double* %17, i64 %37
%40 = bitcast double* %39 to <2 x double>*
%41 = load <2 x double>, <2 x double>* %40
%42 = fdiv <2 x double> %41, %28
%43 = bitcast double* %39 to <2 x double>*
store <2 x double> %42, <2 x double>* %43
%44 = or i64 %37, 2
%45 = getelementptr double, double* %17, i64 %44
%46 = bitcast double* %45 to <2 x double>*
%47 = load <2 x double>, <2 x double>* %46
%48 = fdiv <2 x double> %47, %28
%49 = bitcast double* %45 to <2 x double>*
store <2 x double> %48, <2 x double>* %49
%50 = add nuw i64 %37, 4
%51 = add nuw i64 %38, 2
%52 = icmp eq i64 %51, %35
br i1 %52, label %53, label %36
53: ; preds = %36, %22
%54 = phi i64 [ 0, %22 ], [ %50, %36 ]
%55 = icmp eq i64 %32, 0
br i1 %55, label %62, label %56
56: ; preds = %53
%57 = getelementptr double, double* %17, i64 %54
%58 = bitcast double* %57 to <2 x double>*
%59 = load <2 x double>, <2 x double>* %58
%60 = fdiv <2 x double> %59, %28
%61 = bitcast double* %57 to <2 x double>*
store <2 x double> %60, <2 x double>* %61
br label %62
62: ; preds = %53, %56
%63 = icmp eq i64 %20, %23
br i1 %63, label %75, label %64
64: ; preds = %15, %62
%65 = phi double* [ %17, %15 ], [ %24, %62 ]
%66 = phi i32 [ %13, %15 ], [ %26, %62 ]
br label %67
67: ; preds = %64, %67
%68 = phi double* [ %72, %67 ], [ %65, %64 ]
%69 = phi i32 [ %73, %67 ], [ %66, %64 ]
%70 = load double, double* %68
%71 = fdiv double %70, %11
store double %71, double* %68
%72 = getelementptr inbounds double, double* %68, i64 1
%73 = add nsw i32 %69, -1
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %67
75: ; preds = %67, %62, %4
ret double %5
}