#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 */
typedef size_t int32_t;

/* Variables and functions */
void diff(double *y, double *f, int32_t sz) {
  --sz;
  for (int32_t i = 0; i < sz; i++)
    f[i] = y[i + 1] - y[i];
}


x86 assembly (clang, -O0):
<diff>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    116b <diff+0x6b>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1124 <diff+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<diff>:
mov    %rdx,%r8
add    $0xffffffffffffffff,%r8
je     12a4 <diff+0x1a4>
cmp    $0x4,%r8
jb     112d <diff+0x2d>
lea    (%rdi,%rdx,8),%rax
cmp    %rsi,%rax
jbe    11d7 <diff+0xd7>
lea    (%rsi,%r8,8),%rax
cmp    %rdi,%rax
jbe    11d7 <diff+0xd7>
xor    %r11d,%r11d
lea    -0x1(%rdx),%ecx
sub    %r11,%rdx
add    $0xfffffffffffffffe,%rdx
and    $0x3,%rcx
je     116c <diff+0x6c>
lea    0x1(%r11),%rax
movsd  0x8(%rdi,%r11,8),%xmm0
subsd  (%rdi,%r11,8),%xmm0
movsd  %xmm0,(%rsi,%r11,8)
mov    %rax,%r11
add    $0xffffffffffffffff,%rcx
jne    1140 <diff+0x40>
cmp    $0x3,%rdx
jb     12a4 <diff+0x1a4>
jmp    1180 <diff+0x80>
mov    %r11,%rax
cmp    $0x3,%rdx
jb     12a4 <diff+0x1a4>
nopl   0x0(%rax)
movsd  0x8(%rdi,%rax,8),%xmm0
subsd  (%rdi,%rax,8),%xmm0
movsd  %xmm0,(%rsi,%rax,8)
movsd  0x10(%rdi,%rax,8),%xmm0
subsd  0x8(%rdi,%rax,8),%xmm0
movsd  %xmm0,0x8(%rsi,%rax,8)
movsd  0x18(%rdi,%rax,8),%xmm0
subsd  0x10(%rdi,%rax,8),%xmm0
movsd  %xmm0,0x10(%rsi,%rax,8)
movsd  0x20(%rdi,%rax,8),%xmm0
subsd  0x18(%rdi,%rax,8),%xmm0
movsd  %xmm0,0x18(%rsi,%rax,8)
lea    0x4(%rax),%rcx
mov    %rcx,%rax
cmp    %rcx,%r8
jne    1180 <diff+0x80>
jmp    12a4 <diff+0x1a4>
mov    %r8,%r11
and    $0xfffffffffffffffc,%r11
lea    -0x4(%r11),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     12a5 <diff+0x1a5>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %eax,%eax
nop
movupd (%rdi,%rax,8),%xmm0
movupd 0x8(%rdi,%rax,8),%xmm1
subpd  %xmm0,%xmm1
movupd 0x10(%rdi,%rax,8),%xmm0
movupd 0x18(%rdi,%rax,8),%xmm2
subpd  %xmm0,%xmm2
movupd %xmm1,(%rsi,%rax,8)
movupd %xmm2,0x10(%rsi,%rax,8)
movupd 0x20(%rdi,%rax,8),%xmm0
movupd 0x28(%rdi,%rax,8),%xmm1
subpd  %xmm0,%xmm1
movupd 0x30(%rdi,%rax,8),%xmm0
movupd 0x38(%rdi,%rax,8),%xmm2
subpd  %xmm0,%xmm2
movupd %xmm1,0x20(%rsi,%rax,8)
movupd %xmm2,0x30(%rsi,%rax,8)
add    $0x8,%rax
add    $0xfffffffffffffffe,%r10
jne    1200 <diff+0x100>
test   $0x1,%r9b
je     129b <diff+0x19b>
lea    0x0(,%rax,8),%rcx
or     $0x8,%rcx
movupd (%rdi,%rcx,1),%xmm0
movupd 0x10(%rdi,%rcx,1),%xmm1
movupd (%rdi,%rax,8),%xmm2
subpd  %xmm2,%xmm0
movupd 0x10(%rdi,%rax,8),%xmm2
subpd  %xmm2,%xmm1
movupd %xmm0,(%rsi,%rax,8)
movupd %xmm1,0x10(%rsi,%rax,8)
cmp    %r11,%r8
jne    1130 <diff+0x30>
ret
xor    %eax,%eax
test   $0x1,%r9b
jne    1266 <diff+0x166>
jmp    129b <diff+0x19b>

LLVM IR (-O0):
define void @diff(double* %0, double* %1, i64 %2) {
%4 = alloca double*
%5 = alloca double*
%6 = alloca i64
%7 = alloca i64
store double* %0, double** %4
store double* %1, double** %5
store i64 %2, i64* %6
%8 = load i64, i64* %6
%9 = add i64 %8, -1
store i64 %9, i64* %6
store i64 0, i64* %7
br label %10
10: ; preds = %28, %3
%11 = load i64, i64* %7
%12 = load i64, i64* %6
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %31
14: ; preds = %10
%15 = load double*, double** %4
%16 = load i64, i64* %7
%17 = add i64 %16, 1
%18 = getelementptr inbounds double, double* %15, i64 %17
%19 = load double, double* %18
%20 = load double*, double** %4
%21 = load i64, i64* %7
%22 = getelementptr inbounds double, double* %20, i64 %21
%23 = load double, double* %22
%24 = fsub double %19, %23
%25 = load double*, double** %5
%26 = load i64, i64* %7
%27 = getelementptr inbounds double, double* %25, i64 %26
store double %24, double* %27
br label %28
28: ; preds = %14
%29 = load i64, i64* %7
%30 = add i64 %29, 1
store i64 %30, i64* %7
br label %10
31: ; preds = %10
ret void
}

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