void IextToSegLen(int *Iext, int *SegLen, int K) {
  int k;
  for (k = 1; k <= K + 1; k++)
    SegLen[k - 1] = Iext[k] - Iext[k - 1];
}


x86 assembly (clang, -O0):
<IextToSegLen>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     1160 <IextToSegLen+0x60>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
sub    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <IextToSegLen+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<IextToSegLen>:
test   %edx,%edx
js     125e <IextToSegLen+0x15e>
mov    %edx,%r8d
lea    0x2(%r8),%r10
add    $0x1,%r8
mov    $0x1,%ecx
cmp    $0x8,%r8
jb     1214 <IextToSegLen+0x114>
lea    (%rdi,%r10,4),%rax
cmp    %rsi,%rax
jbe    113c <IextToSegLen+0x3c>
lea    (%rsi,%r10,4),%rax
add    $0xfffffffffffffffc,%rax
cmp    %rdi,%rax
ja     1214 <IextToSegLen+0x114>
mov    %r8,%rcx
and    $0xfffffffffffffff8,%rcx
lea    -0x8(%rcx),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     125f <IextToSegLen+0x15f>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu (%rdi,%rdx,4),%xmm0
movdqu 0x4(%rdi,%rdx,4),%xmm1
psubd  %xmm0,%xmm1
movdqu 0x10(%rdi,%rdx,4),%xmm0
movdqu 0x14(%rdi,%rdx,4),%xmm2
psubd  %xmm0,%xmm2
movdqu %xmm1,(%rsi,%rdx,4)
movdqu %xmm2,0x10(%rsi,%rdx,4)
movdqu 0x20(%rdi,%rdx,4),%xmm0
movdqu 0x24(%rdi,%rdx,4),%xmm1
psubd  %xmm0,%xmm1
movdqu 0x30(%rdi,%rdx,4),%xmm0
movdqu 0x34(%rdi,%rdx,4),%xmm2
psubd  %xmm0,%xmm2
movdqu %xmm1,0x20(%rsi,%rdx,4)
movdqu %xmm2,0x30(%rsi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    1170 <IextToSegLen+0x70>
test   $0x1,%r9b
je     120b <IextToSegLen+0x10b>
lea    0x0(,%rdx,4),%rax
or     $0x4,%rax
movdqu (%rdi,%rax,1),%xmm0
movdqu 0x10(%rdi,%rax,1),%xmm1
movdqu (%rdi,%rdx,4),%xmm2
psubd  %xmm2,%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm2
psubd  %xmm2,%xmm1
movdqu %xmm0,(%rsi,%rdx,4)
movdqu %xmm1,0x10(%rsi,%rdx,4)
cmp    %rcx,%r8
je     125e <IextToSegLen+0x15e>
or     $0x1,%rcx
mov    %rcx,%rax
not    %rax
test   $0x1,%r10b
jne    122f <IextToSegLen+0x12f>
mov    (%rdi,%rcx,4),%edx
sub    -0x4(%rdi,%rcx,4),%edx
mov    %edx,-0x4(%rsi,%rcx,4)
add    $0x1,%rcx
add    %r10,%rax
je     125e <IextToSegLen+0x15e>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rdi,%rcx,4),%eax
sub    -0x4(%rdi,%rcx,4),%eax
mov    %eax,-0x4(%rsi,%rcx,4)
mov    0x4(%rdi,%rcx,4),%eax
sub    (%rdi,%rcx,4),%eax
mov    %eax,(%rsi,%rcx,4)
add    $0x2,%rcx
cmp    %rcx,%r10
jne    1240 <IextToSegLen+0x140>
ret
xor    %edx,%edx
test   $0x1,%r9b
jne    11d6 <IextToSegLen+0xd6>
jmp    120b <IextToSegLen+0x10b>

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

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