void record_execution(int start, int end, int process_number, int execution[]) {
  int i = start, j = start + end;
  while (i < j) {
    execution[i++] = process_number;
  }
}


x86 assembly (clang, -O0):
<record_execution>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1149 <record_execution+0x49>
mov    -0xc(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1120 <record_execution+0x20>
pop    %rbp
ret

x86 assembly (clang, -O2):
<record_execution>:
push   %rbx
test   %esi,%esi
jle    11ec <record_execution+0xec>
add    %edi,%esi
movslq %edi,%rax
movslq %esi,%r11
lea    0x1(%rax),%r9
cmp    %r11,%r9
cmovle %r11,%r9
sub    %rax,%r9
cmp    $0x8,%r9
jb     11e0 <record_execution+0xe0>
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r8),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x18,%rsi
jae    1159 <record_execution+0x59>
xor    %esi,%esi
jmp    11a9 <record_execution+0xa9>
and    $0xfffffffffffffffc,%rdi
lea    (%rcx,%rax,4),%rbx
add    $0x70,%rbx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movdqu %xmm0,-0x70(%rbx,%rsi,4)
movdqu %xmm0,-0x60(%rbx,%rsi,4)
movdqu %xmm0,-0x50(%rbx,%rsi,4)
movdqu %xmm0,-0x40(%rbx,%rsi,4)
movdqu %xmm0,-0x30(%rbx,%rsi,4)
movdqu %xmm0,-0x20(%rbx,%rsi,4)
movdqu %xmm0,-0x10(%rbx,%rsi,4)
movdqu %xmm0,(%rbx,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1170 <record_execution+0x70>
test   %r10,%r10
je     11d4 <record_execution+0xd4>
add    %rax,%rsi
lea    (%rcx,%rsi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%r10
xor    %edi,%edi
nop
movdqu %xmm0,-0x10(%rsi,%rdi,1)
movdqu %xmm0,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r10
jne    11c0 <record_execution+0xc0>
cmp    %r8,%r9
je     11ec <record_execution+0xec>
add    %r8,%rax
nopl   0x0(%rax)
mov    %edx,(%rcx,%rax,4)
add    $0x1,%rax
cmp    %r11,%rax
jl     11e0 <record_execution+0xe0>
pop    %rbx
ret

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

LLVM IR (-O2):
define void @record_execution(i32 %0, i32 %1, i32 %2, i32* nocapture writeonly %3) {
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %80
6: ; preds = %4
%7 = add nsw i32 %1, %0
%8 = sext i32 %0 to i64
%9 = sext i32 %7 to i64
%10 = add nsw i64 %8, 1
%11 = call i64 @llvm.smax.i64(i64 %10, i64 %9)
%12 = sub i64 %11, %8
%13 = icmp ult i64 %12, 8
br i1 %13, label %73, label %14
14: ; preds = %6
%15 = and i64 %12, -8
%16 = add i64 %15, %8
%17 = insertelement <4 x i32> poison, i32 %2, i64 0
%18 = shufflevector <4 x i32> %17, <4 x i32> poison, <4 x i32> zeroinitializer
%19 = insertelement <4 x i32> poison, i32 %2, i64 0
%20 = shufflevector <4 x i32> %19, <4 x i32> poison, <4 x i32> zeroinitializer
%21 = add i64 %15, -8
%22 = lshr exact i64 %21, 3
%23 = add nuw nsw i64 %22, 1
%24 = and i64 %23, 3
%25 = icmp ult i64 %21, 24
br i1 %25, label %57, label %26
26: ; preds = %14
%27 = and i64 %23, 4611686018427387900
br label %28
28: ; preds = %28, %26
%29 = phi i64 [ 0, %26 ], [ %54, %28 ]
%30 = phi i64 [ 0, %26 ], [ %55, %28 ]
%31 = add i64 %29, %8
%32 = getelementptr inbounds i32, i32* %3, i64 %31
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %33
%34 = getelementptr inbounds i32, i32* %32, i64 4
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %35
%36 = or i64 %29, 8
%37 = add i64 %36, %8
%38 = getelementptr inbounds i32, i32* %3, i64 %37
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %39
%40 = getelementptr inbounds i32, i32* %38, i64 4
%41 = bitcast i32* %40 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %41
%42 = or i64 %29, 16
%43 = add i64 %42, %8
%44 = getelementptr inbounds i32, i32* %3, i64 %43
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %45
%46 = getelementptr inbounds i32, i32* %44, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %47
%48 = or i64 %29, 24
%49 = add i64 %48, %8
%50 = getelementptr inbounds i32, i32* %3, i64 %49
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %53
%54 = add nuw i64 %29, 32
%55 = add i64 %30, 4
%56 = icmp eq i64 %55, %27
br i1 %56, label %57, label %28
57: ; preds = %28, %14
%58 = phi i64 [ 0, %14 ], [ %54, %28 ]
%59 = icmp eq i64 %24, 0
br i1 %59, label %71, label %60
60: ; preds = %57, %60
%61 = phi i64 [ %68, %60 ], [ %58, %57 ]
%62 = phi i64 [ %69, %60 ], [ 0, %57 ]
%63 = add i64 %61, %8
%64 = getelementptr inbounds i32, i32* %3, i64 %63
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %65
%66 = getelementptr inbounds i32, i32* %64, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %67
%68 = add nuw i64 %61, 8
%69 = add i64 %62, 1
%70 = icmp eq i64 %69, %24
br i1 %70, label %71, label %60
71: ; preds = %60, %57
%72 = icmp eq i64 %12, %15
br i1 %72, label %80, label %73
73: ; preds = %6, %71
%74 = phi i64 [ %8, %6 ], [ %16, %71 ]
br label %75
75: ; preds = %73, %75
%76 = phi i64 [ %77, %75 ], [ %74, %73 ]
%77 = add nsw i64 %76, 1
%78 = getelementptr inbounds i32, i32* %3, i64 %76
store i32 %2, i32* %78
%79 = icmp slt i64 %77, %9
br i1 %79, label %75, label %80
80: ; preds = %75, %71, %4
ret void
}