double _simpson(double *y, double dx, int n) {
  int i;
  double sum1 = 0., sum2 = 0., sum = 0.;
  if ((n % 2) == 0) {
    n--;
    for (i = 0; i < n - 1; i += 2) {
      sum1 += y[i] + 4 * y[i + 1] + y[i + 2];
    }
    sum1 *= dx / 3.;
    sum1 += dx / 2. * (y[n - 1] + y[n]);
    for (i = 1; i < n; i += 2) {
      sum2 += y[i] + 4 * y[i + 1] + y[i + 2];
    }
    sum2 *= dx / 3.;
    sum2 += dx / 2. * (y[0] + y[1]);
    sum = (sum1 + sum2) / 2.;
  } else {
    for (i = 0; i < n - 1; i += 2) {
      sum += y[i] + 4 * y[i + 1] + y[i + 2];
    }
    sum *= dx / 3.;
  }
  return sum;
}


x86 assembly (clang, -O0):
<_simpson>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12ee <_simpson+0x1ee>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11b6 <_simpson+0xb6>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xe84(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    114c <_simpson+0x4c>
movsd  -0x10(%rbp),%xmm0
movsd  0xe3d(%rip),%xmm1
divsd  %xmm1,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xe32(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm2
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    127f <_simpson+0x17f>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xdbb(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    121a <_simpson+0x11a>
movsd  -0x10(%rbp),%xmm0
movsd  0xd74(%rip),%xmm1
divsd  %xmm1,%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xd69(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm2
mov    -0x8(%rbp),%rax
addsd  0x8(%rax),%xmm2
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  0xd30(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    137a <_simpson+0x27a>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    135f <_simpson+0x25f>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xcdb(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    12f5 <_simpson+0x1f5>
movsd  -0x10(%rbp),%xmm0
movsd  0xc94(%rip),%xmm1
divsd  %xmm1,%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_simpson>:
test   $0x1,%sil
jne    1157 <_simpson+0x57>
lea    -0x1(%rsi),%eax
lea    -0x2(%rsi),%ecx
cmp    $0x2,%esi
jle    11b2 <_simpson+0xb2>
mov    %ecx,%ecx
movsd  (%rdi),%xmm2
xorpd  %xmm3,%xmm3
xor    %edx,%edx
movsd  0xed7(%rip),%xmm1
nopl   0x0(%rax)
movsd  0x8(%rdi,%rdx,8),%xmm4
mulsd  %xmm1,%xmm4
addsd  %xmm2,%xmm4
movsd  0x10(%rdi,%rdx,8),%xmm2
add    $0x2,%rdx
addsd  %xmm2,%xmm4
addsd  %xmm4,%xmm3
cmp    %rcx,%rdx
jb     1130 <_simpson+0x30>
jmp    11b9 <_simpson+0xb9>
xorpd  %xmm1,%xmm1
cmp    $0x2,%esi
jl     11a5 <_simpson+0xa5>
add    $0xffffffff,%esi
movsd  (%rdi),%xmm3
xorpd  %xmm1,%xmm1
xor    %eax,%eax
movsd  0xe8b(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movsd  0x8(%rdi,%rax,8),%xmm4
mulsd  %xmm2,%xmm4
addsd  %xmm3,%xmm4
movsd  0x10(%rdi,%rax,8),%xmm3
add    $0x2,%rax
addsd  %xmm3,%xmm4
addsd  %xmm4,%xmm1
cmp    %rsi,%rax
jb     1180 <_simpson+0x80>
divsd  0xe5b(%rip),%xmm0
mulsd  %xmm1,%xmm0
ret
movslq %ecx,%rcx
xorpd  %xmm3,%xmm3
movapd %xmm0,%xmm2
divsd  0xe43(%rip),%xmm2
mulsd  %xmm2,%xmm3
mulsd  0xe3f(%rip),%xmm0
movsd  (%rdi,%rcx,8),%xmm1
cltq
addsd  (%rdi,%rax,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm3,%xmm1
xorpd  %xmm3,%xmm3
cmp    $0x3,%esi
jl     1235 <_simpson+0x135>
movsd  0x8(%rdi),%xmm5
xorpd  %xmm3,%xmm3
mov    $0x1,%ecx
movsd  0xdfc(%rip),%xmm4
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  0x8(%rdi,%rcx,8),%xmm6
mulsd  %xmm4,%xmm6
addsd  %xmm5,%xmm6
movsd  0x10(%rdi,%rcx,8),%xmm5
add    $0x2,%rcx
addsd  %xmm5,%xmm6
addsd  %xmm6,%xmm3
cmp    %rax,%rcx
jl     1210 <_simpson+0x110>
mulsd  %xmm3,%xmm2
movsd  (%rdi),%xmm3
addsd  0x8(%rdi),%xmm3
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
addsd  %xmm0,%xmm1
mulsd  0xdba(%rip),%xmm1
movapd %xmm1,%xmm0
ret

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

LLVM IR (-O2):
define double @_simpson(double* nocapture %0, double %1, i32 %2) {
%4 = and i32 %2, 1
%5 = icmp eq i32 %4, 0
br i1 %5, label %12, label %6
6: ; preds = %3
%7 = icmp sgt i32 %2, 1
br i1 %7, label %8, label %89
8: ; preds = %6
%9 = add nsw i32 %2, -1
%10 = zext i32 %9 to i64
%11 = load double, double* %0
br label %75
12: ; preds = %3
%13 = add nsw i32 %2, -1
%14 = add nsw i32 %2, -2
%15 = icmp sgt i32 %2, 2
br i1 %15, label %18, label %16
16: ; preds = %12
%17 = sext i32 %14 to i64
br label %35
18: ; preds = %12
%19 = zext i32 %14 to i64
%20 = load double, double* %0
br label %21
21: ; preds = %18, %21
%22 = phi double [ %20, %18 ], [ %31, %21 ]
%23 = phi i64 [ 0, %18 ], [ %29, %21 ]
%24 = phi double [ 0.000000e+00, %18 ], [ %33, %21 ]
%25 = or i64 %23, 1
%26 = getelementptr inbounds double, double* %0, i64 %25
%27 = load double, double* %26
%28 = tail call double @llvm.fmuladd.f64(double %27, double 4.000000e+00, double %22)
%29 = add nuw nsw i64 %23, 2
%30 = getelementptr inbounds double, double* %0, i64 %29
%31 = load double, double* %30
%32 = fadd double %28, %31
%33 = fadd double %24, %32
%34 = icmp ult i64 %29, %19
br i1 %34, label %21, label %35
35: ; preds = %21, %16
%36 = phi i64 [ %17, %16 ], [ %19, %21 ]
%37 = phi double [ 0.000000e+00, %16 ], [ %33, %21 ]
%38 = fdiv double %1, 3.000000e+00
%39 = fmul double %38, %37
%40 = fmul double %1, 5.000000e-01
%41 = getelementptr inbounds double, double* %0, i64 %36
%42 = load double, double* %41
%43 = sext i32 %13 to i64
%44 = getelementptr inbounds double, double* %0, i64 %43
%45 = load double, double* %44
%46 = fadd double %42, %45
%47 = tail call double @llvm.fmuladd.f64(double %40, double %46, double %39)
br i1 %15, label %48, label %65
48: ; preds = %35
%49 = getelementptr inbounds double, double* %0, i64 1
%50 = load double, double* %49
br label %51
51: ; preds = %48, %51
%52 = phi double [ %50, %48 ], [ %61, %51 ]
%53 = phi i64 [ 1, %48 ], [ %59, %51 ]
%54 = phi double [ 0.000000e+00, %48 ], [ %63, %51 ]
%55 = add nuw nsw i64 %53, 1
%56 = getelementptr inbounds double, double* %0, i64 %55
%57 = load double, double* %56
%58 = tail call double @llvm.fmuladd.f64(double %57, double 4.000000e+00, double %52)
%59 = add nuw nsw i64 %53, 2
%60 = getelementptr inbounds double, double* %0, i64 %59
%61 = load double, double* %60
%62 = fadd double %58, %61
%63 = fadd double %54, %62
%64 = icmp slt i64 %59, %43
br i1 %64, label %51, label %65
65: ; preds = %51, %35
%66 = phi double [ 0.000000e+00, %35 ], [ %63, %51 ]
%67 = fmul double %38, %66
%68 = load double, double* %0
%69 = getelementptr inbounds double, double* %0, i64 1
%70 = load double, double* %69
%71 = fadd double %68, %70
%72 = tail call double @llvm.fmuladd.f64(double %40, double %71, double %67)
%73 = fadd double %47, %72
%74 = fmul double %73, 5.000000e-01
br label %93
75: ; preds = %8, %75
%76 = phi double [ %11, %8 ], [ %85, %75 ]
%77 = phi i64 [ 0, %8 ], [ %83, %75 ]
%78 = phi double [ 0.000000e+00, %8 ], [ %87, %75 ]
%79 = or i64 %77, 1
%80 = getelementptr inbounds double, double* %0, i64 %79
%81 = load double, double* %80
%82 = tail call double @llvm.fmuladd.f64(double %81, double 4.000000e+00, double %76)
%83 = add nuw nsw i64 %77, 2
%84 = getelementptr inbounds double, double* %0, i64 %83
%85 = load double, double* %84
%86 = fadd double %82, %85
%87 = fadd double %78, %86
%88 = icmp ult i64 %83, %10
br i1 %88, label %75, label %89
89: ; preds = %75, %6
%90 = phi double [ 0.000000e+00, %6 ], [ %87, %75 ]
%91 = fdiv double %1, 3.000000e+00
%92 = fmul double %91, %90
br label %93
93: ; preds = %89, %65
%94 = phi double [ %74, %65 ], [ %92, %89 ]
ret double %94
}