void vecnorm(double *vec, int beg, int end) {
  int i;
  if (vec[beg] < 0.0) {
    for (i = beg; i <= end; i++) {
      vec[i] *= -1.0;
    }
  }
}


x86 assembly (clang, -O0):
<vecnorm>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jbe    1163 <vecnorm+0x63>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     115e <vecnorm+0x5e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  0xeba(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    112a <vecnorm+0x2a>
jmp    1163 <vecnorm+0x63>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vecnorm>:
push   %rbx
movslq %esi,%r11
movsd  (%rdi,%r11,8),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
jbe    1236 <vecnorm+0x136>
cmp    %edx,%esi
jg     1236 <vecnorm+0x136>
xorpd  0xed8(%rip),%xmm0
lea    0x1(%rdx),%r9d
movlpd %xmm0,(%rdi,%r11,8)
lea    0x1(%r11),%rax
cmp    %eax,%r9d
je     1236 <vecnorm+0x136>
not    %esi
add    %edx,%esi
cmp    $0x3,%esi
jb     120f <vecnorm+0x10f>
add    $0x1,%rsi
mov    %rsi,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rcx
mov    %rcx,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rcx,%rcx
je     1238 <vecnorm+0x138>
mov    %r10,%rbx
and    $0xfffffffffffffffe,%rbx
lea    (%rdi,%r11,8),%rcx
add    $0x38,%rcx
xor    %edx,%edx
movapd 0xe78(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movupd -0x30(%rcx,%rdx,8),%xmm1
movupd -0x20(%rcx,%rdx,8),%xmm2
movupd -0x10(%rcx,%rdx,8),%xmm3
movupd (%rcx,%rdx,8),%xmm4
xorpd  %xmm0,%xmm1
xorpd  %xmm0,%xmm2
movupd %xmm1,-0x30(%rcx,%rdx,8)
movupd %xmm2,-0x20(%rcx,%rdx,8)
xorpd  %xmm0,%xmm3
xorpd  %xmm0,%xmm4
movupd %xmm3,-0x10(%rcx,%rdx,8)
movupd %xmm4,(%rcx,%rdx,8)
add    $0x8,%rdx
add    $0xfffffffffffffffe,%rbx
jne    1190 <vecnorm+0x90>
test   $0x1,%r10b
je     1207 <vecnorm+0x107>
add    %rax,%rdx
movupd (%rdi,%rdx,8),%xmm0
movupd 0x10(%rdi,%rdx,8),%xmm1
movapd 0xe0c(%rip),%xmm2
xorpd  %xmm2,%xmm0
xorpd  %xmm2,%xmm1
movupd %xmm0,(%rdi,%rdx,8)
movupd %xmm1,0x10(%rdi,%rdx,8)
cmp    %r8,%rsi
je     1236 <vecnorm+0x136>
add    %r8,%rax
mov    %r9d,%ecx
movapd 0xde6(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movsd  (%rdi,%rax,8),%xmm1
xorpd  %xmm0,%xmm1
movlpd %xmm1,(%rdi,%rax,8)
add    $0x1,%rax
cmp    %eax,%ecx
jne    1220 <vecnorm+0x120>
pop    %rbx
ret
xor    %edx,%edx
test   $0x1,%r10b
jne    11de <vecnorm+0xde>
jmp    1207 <vecnorm+0x107>

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

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