#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 */
void scale_diag_float(float *vec, int beg, int end, float *diag) {
  int i;
  if (diag != NULL) {
    vec = vec + beg;
    diag = diag + beg;
    for (i = end - beg + 1; i; i--) {
      *vec++ *= *diag++;
    }
  }
}


x86 assembly (clang, -O0):
<scale_diag_float>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1196 <scale_diag_float+0x96>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1191 <scale_diag_float+0x91>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x18(%rbp)
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
mulss  (%rax),%xmm0
movss  %xmm0,(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    114f <scale_diag_float+0x4f>
jmp    1196 <scale_diag_float+0x96>
pop    %rbp
ret

x86 assembly (clang, -O2):
<scale_diag_float>:
push   %r14
push   %rbx
test   %rcx,%rcx
je     12ad <scale_diag_float+0x1ad>
sub    %esi,%edx
mov    %edx,%r8d
inc    %r8d
je     12ad <scale_diag_float+0x1ad>
movslq %esi,%r14
lea    (%rcx,%r14,4),%rax
lea    (%rdi,%r14,4),%rsi
cmp    $0x7,%edx
jb     121a <scale_diag_float+0x11a>
lea    (%r14,%rdx,1),%r9
lea    (%rcx,%r9,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%rsi
jae    1150 <scale_diag_float+0x50>
lea    (%rdi,%r9,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%rax
jb     121a <scale_diag_float+0x11a>
add    $0x1,%rdx
mov    %rdx,%r9
and    $0xfffffffffffffff8,%r9
lea    -0x8(%r9),%rbx
mov    %rbx,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rbx,%rbx
je     12b1 <scale_diag_float+0x1b1>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
lea    (%rcx,%r14,4),%rbx
add    $0x30,%rbx
lea    (%rdi,%r14,4),%rdi
add    $0x30,%rdi
xor    %ecx,%ecx
nopl   0x0(%rax)
movups -0x30(%rbx,%rcx,4),%xmm0
movups -0x20(%rbx,%rcx,4),%xmm1
movups -0x30(%rdi,%rcx,4),%xmm2
mulps  %xmm0,%xmm2
movups -0x20(%rdi,%rcx,4),%xmm0
mulps  %xmm1,%xmm0
movups -0x10(%rdi,%rcx,4),%xmm1
movups (%rdi,%rcx,4),%xmm3
movups %xmm2,-0x30(%rdi,%rcx,4)
movups %xmm0,-0x20(%rdi,%rcx,4)
movups -0x10(%rbx,%rcx,4),%xmm0
mulps  %xmm1,%xmm0
movups (%rbx,%rcx,4),%xmm1
mulps  %xmm3,%xmm1
movups %xmm0,-0x10(%rdi,%rcx,4)
movups %xmm1,(%rdi,%rcx,4)
add    $0x10,%rcx
add    $0xfffffffffffffffe,%r11
jne    1190 <scale_diag_float+0x90>
test   $0x1,%r10b
je     1206 <scale_diag_float+0x106>
movups (%rax,%rcx,4),%xmm0
movups 0x10(%rax,%rcx,4),%xmm1
movups (%rsi,%rcx,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x10(%rsi,%rcx,4),%xmm0
mulps  %xmm1,%xmm0
movups %xmm2,(%rsi,%rcx,4)
movups %xmm0,0x10(%rsi,%rcx,4)
cmp    %r9,%rdx
je     12ad <scale_diag_float+0x1ad>
sub    %r9d,%r8d
lea    (%rax,%r9,4),%rax
lea    (%rsi,%r9,4),%rsi
lea    -0x1(%r8),%ecx
mov    %r8d,%edx
and    $0x3,%edx
je     124e <scale_diag_float+0x14e>
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movss  (%rax),%xmm0
add    $0x4,%rax
mulss  (%rsi),%xmm0
movss  %xmm0,(%rsi)
add    $0x4,%rsi
add    $0x1,%edi
cmp    %edi,%edx
jne    1230 <scale_diag_float+0x130>
sub    %edi,%r8d
cmp    $0x3,%ecx
jb     12ad <scale_diag_float+0x1ad>
mov    %r8d,%ecx
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movss  (%rax,%rdx,4),%xmm0
mulss  (%rsi,%rdx,4),%xmm0
movss  %xmm0,(%rsi,%rdx,4)
movss  0x4(%rax,%rdx,4),%xmm0
mulss  0x4(%rsi,%rdx,4),%xmm0
movss  %xmm0,0x4(%rsi,%rdx,4)
movss  0x8(%rax,%rdx,4),%xmm0
mulss  0x8(%rsi,%rdx,4),%xmm0
movss  %xmm0,0x8(%rsi,%rdx,4)
movss  0xc(%rax,%rdx,4),%xmm0
mulss  0xc(%rsi,%rdx,4),%xmm0
movss  %xmm0,0xc(%rsi,%rdx,4)
add    $0x4,%rdx
cmp    %edx,%ecx
jne    1260 <scale_diag_float+0x160>
pop    %rbx
pop    %r14
ret
xor    %ecx,%ecx
test   $0x1,%r10b
jne    11e5 <scale_diag_float+0xe5>
jmp    1206 <scale_diag_float+0x106>

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

LLVM IR (-O2):
define void @scale_diag_float(float* nocapture %0, i32 %1, i32 %2, float* %3) {
%5 = icmp eq float* %3, null
br i1 %5, label %153, label %6
6: ; preds = %4
%7 = sext i32 %1 to i64
%8 = sub i32 1, %1
%9 = add i32 %8, %2
%10 = icmp eq i32 %9, 0
br i1 %10, label %153, label %11
11: ; preds = %6
%12 = getelementptr float, float* %3, i64 %7
%13 = getelementptr float, float* %0, i64 %7
%14 = sub i32 %2, %1
%15 = zext i32 %14 to i64
%16 = add nuw nsw i64 %15, 1
%17 = icmp ult i32 %14, 7
br i1 %17, label %102, label %18
18: ; preds = %11
%19 = sub i32 %2, %1
%20 = zext i32 %19 to i64
%21 = add nsw i64 %7, %20
%22 = add nsw i64 %21, 1
%23 = getelementptr float, float* %0, i64 %22
%24 = getelementptr float, float* %3, i64 %22
%25 = icmp ult float* %13, %24
%26 = icmp ult float* %12, %23
%27 = and i1 %25, %26
br i1 %27, label %102, label %28
28: ; preds = %18
%29 = and i64 %16, 8589934584
%30 = trunc i64 %29 to i32
%31 = sub i32 %9, %30
%32 = getelementptr float, float* %12, i64 %29
%33 = getelementptr float, float* %13, i64 %29
%34 = add nsw i64 %29, -8
%35 = lshr exact i64 %34, 3
%36 = add nuw nsw i64 %35, 1
%37 = and i64 %36, 1
%38 = icmp eq i64 %34, 0
br i1 %38, label %80, label %39
39: ; preds = %28
%40 = and i64 %36, 4611686018427387902
br label %41
41: ; preds = %41, %39
%42 = phi i64 [ 0, %39 ], [ %77, %41 ]
%43 = phi i64 [ 0, %39 ], [ %78, %41 ]
%44 = getelementptr float, float* %12, i64 %42
%45 = getelementptr float, float* %13, i64 %42
%46 = bitcast float* %44 to <4 x float>*
%47 = load <4 x float>, <4 x float>* %46
%48 = getelementptr float, float* %44, i64 4
%49 = bitcast float* %48 to <4 x float>*
%50 = load <4 x float>, <4 x float>* %49
%51 = bitcast float* %45 to <4 x float>*
%52 = load <4 x float>, <4 x float>* %51
%53 = getelementptr float, float* %45, i64 4
%54 = bitcast float* %53 to <4 x float>*
%55 = load <4 x float>, <4 x float>* %54
%56 = fmul <4 x float> %47, %52
%57 = fmul <4 x float> %50, %55
%58 = bitcast float* %45 to <4 x float>*
store <4 x float> %56, <4 x float>* %58
%59 = bitcast float* %53 to <4 x float>*
store <4 x float> %57, <4 x float>* %59
%60 = or i64 %42, 8
%61 = getelementptr float, float* %12, i64 %60
%62 = getelementptr float, float* %13, i64 %60
%63 = bitcast float* %61 to <4 x float>*
%64 = load <4 x float>, <4 x float>* %63
%65 = getelementptr float, float* %61, i64 4
%66 = bitcast float* %65 to <4 x float>*
%67 = load <4 x float>, <4 x float>* %66
%68 = bitcast float* %62 to <4 x float>*
%69 = load <4 x float>, <4 x float>* %68
%70 = getelementptr float, float* %62, i64 4
%71 = bitcast float* %70 to <4 x float>*
%72 = load <4 x float>, <4 x float>* %71
%73 = fmul <4 x float> %64, %69
%74 = fmul <4 x float> %67, %72
%75 = bitcast float* %62 to <4 x float>*
store <4 x float> %73, <4 x float>* %75
%76 = bitcast float* %70 to <4 x float>*
store <4 x float> %74, <4 x float>* %76
%77 = add nuw i64 %42, 16
%78 = add i64 %43, 2
%79 = icmp eq i64 %78, %40
br i1 %79, label %80, label %41
80: ; preds = %41, %28
%81 = phi i64 [ 0, %28 ], [ %77, %41 ]
%82 = icmp eq i64 %37, 0
br i1 %82, label %100, label %83
83: ; preds = %80
%84 = getelementptr float, float* %12, i64 %81
%85 = getelementptr float, float* %13, i64 %81
%86 = bitcast float* %84 to <4 x float>*
%87 = load <4 x float>, <4 x float>* %86
%88 = getelementptr float, float* %84, i64 4
%89 = bitcast float* %88 to <4 x float>*
%90 = load <4 x float>, <4 x float>* %89
%91 = bitcast float* %85 to <4 x float>*
%92 = load <4 x float>, <4 x float>* %91
%93 = getelementptr float, float* %85, i64 4
%94 = bitcast float* %93 to <4 x float>*
%95 = load <4 x float>, <4 x float>* %94
%96 = fmul <4 x float> %87, %92
%97 = fmul <4 x float> %90, %95
%98 = bitcast float* %85 to <4 x float>*
store <4 x float> %96, <4 x float>* %98
%99 = bitcast float* %93 to <4 x float>*
store <4 x float> %97, <4 x float>* %99
br label %100
100: ; preds = %80, %83
%101 = icmp eq i64 %16, %29
br i1 %101, label %153, label %102
102: ; preds = %18, %11, %100
%103 = phi i32 [ %9, %18 ], [ %9, %11 ], [ %31, %100 ]
%104 = phi float* [ %12, %18 ], [ %12, %11 ], [ %32, %100 ]
%105 = phi float* [ %13, %18 ], [ %13, %11 ], [ %33, %100 ]
%106 = add i32 %103, -1
%107 = and i32 %103, 3
%108 = icmp eq i32 %107, 0
br i1 %108, label %122, label %109
109: ; preds = %102, %109
%110 = phi i32 [ %119, %109 ], [ %103, %102 ]
%111 = phi float* [ %114, %109 ], [ %104, %102 ]
%112 = phi float* [ %116, %109 ], [ %105, %102 ]
%113 = phi i32 [ %120, %109 ], [ 0, %102 ]
%114 = getelementptr inbounds float, float* %111, i64 1
%115 = load float, float* %111
%116 = getelementptr inbounds float, float* %112, i64 1
%117 = load float, float* %112
%118 = fmul float %115, %117
store float %118, float* %112
%119 = add nsw i32 %110, -1
%120 = add i32 %113, 1
%121 = icmp eq i32 %120, %107
br i1 %121, label %122, label %109
122: ; preds = %109, %102
%123 = phi i32 [ %103, %102 ], [ %119, %109 ]
%124 = phi float* [ %104, %102 ], [ %114, %109 ]
%125 = phi float* [ %105, %102 ], [ %116, %109 ]
%126 = icmp ult i32 %106, 3
br i1 %126, label %153, label %127
127: ; preds = %122, %127
%128 = phi i32 [ %151, %127 ], [ %123, %122 ]
%129 = phi float* [ %146, %127 ], [ %124, %122 ]
%130 = phi float* [ %148, %127 ], [ %125, %122 ]
%131 = getelementptr inbounds float, float* %129, i64 1
%132 = load float, float* %129
%133 = getelementptr inbounds float, float* %130, i64 1
%134 = load float, float* %130
%135 = fmul float %132, %134
store float %135, float* %130
%136 = getelementptr inbounds float, float* %129, i64 2
%137 = load float, float* %131
%138 = getelementptr inbounds float, float* %130, i64 2
%139 = load float, float* %133
%140 = fmul float %137, %139
store float %140, float* %133
%141 = getelementptr inbounds float, float* %129, i64 3
%142 = load float, float* %136
%143 = getelementptr inbounds float, float* %130, i64 3
%144 = load float, float* %138
%145 = fmul float %142, %144
store float %145, float* %138
%146 = getelementptr inbounds float, float* %129, i64 4
%147 = load float, float* %141
%148 = getelementptr inbounds float, float* %130, i64 4
%149 = load float, float* %143
%150 = fmul float %147, %149
store float %150, float* %143
%151 = add nsw i32 %128, -4
%152 = icmp eq i32 %151, 0
br i1 %152, label %153, label %127
153: ; preds = %122, %127, %100, %6, %4
ret void
}