void build_array(char pat[], int a[], int len) {
  int count = 0;
  a[0] = 0;
  for (int i = 1; i < len; i++) {
    if (pat[i] == pat[count]) {
      count++;
    } else {
      count = 0;
    }
    a[i] = count;
  }
  return;
}


x86 assembly (clang, -O0):
<build_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1184 <build_array+0x84>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1161 <build_array+0x61>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1168 <build_array+0x68>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1127 <build_array+0x27>
pop    %rbp
ret

x86 assembly (clang, -O2):
<build_array>:
movl   $0x0,(%rsi)
cmp    $0x2,%edx
jl     113a <build_array+0x3a>
mov    %edx,%r8d
add    $0xffffffffffffffff,%r8
cmp    $0x2,%edx
jne    113b <build_array+0x3b>
xor    %edx,%edx
mov    $0x1,%ecx
test   $0x1,%r8b
je     113a <build_array+0x3a>
mov    (%rdi,%rcx,1),%r8b
movslq %edx,%rdx
xor    %eax,%eax
cmp    (%rdi,%rdx,1),%r8b
lea    0x1(%rdx),%edx
cmove  %edx,%eax
mov    %eax,(%rsi,%rcx,4)
ret
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
neg    %r9
xor    %edx,%edx
mov    $0x1,%ecx
jmp    1168 <build_array+0x68>
xchg   %ax,%ax
xor    %edx,%edx
mov    %edx,0x4(%rsi,%rcx,4)
lea    (%r9,%rcx,1),%rax
add    $0x2,%rax
add    $0x2,%rcx
cmp    $0x1,%rax
je     111e <build_array+0x1e>
movzbl (%rdi,%rcx,1),%r10d
movslq %edx,%rax
cmp    (%rdi,%rax,1),%r10b
je     1180 <build_array+0x80>
xor    %edx,%edx
jmp    1183 <build_array+0x83>
nopw   0x0(%rax,%rax,1)
add    $0x1,%edx
mov    %edx,(%rsi,%rcx,4)
movzbl 0x1(%rdi,%rcx,1),%r10d
movslq %edx,%rax
cmp    (%rdi,%rax,1),%r10b
jne    1150 <build_array+0x50>
add    $0x1,%edx
jmp    1152 <build_array+0x52>

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

LLVM IR (-O2):
define void @build_array(i8* nocapture %0, i32* nocapture writeonly %1, i32 %2) {
store i32 0, i32* %1
%4 = icmp sgt i32 %2, 1
br i1 %4, label %5, label %26
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = add nsw i64 %6, -1
%8 = and i64 %7, 1
%9 = icmp eq i32 %2, 2
br i1 %9, label %12, label %10
10: ; preds = %5
%11 = and i64 %7, -2
br label %27
12: ; preds = %27, %5
%13 = phi i64 [ 1, %5 ], [ %50, %27 ]
%14 = phi i32 [ 0, %5 ], [ %48, %27 ]
%15 = icmp eq i64 %8, 0
br i1 %15, label %26, label %16
16: ; preds = %12
%17 = getelementptr inbounds i8, i8* %0, i64 %13
%18 = load i8, i8* %17
%19 = sext i32 %14 to i64
%20 = getelementptr inbounds i8, i8* %0, i64 %19
%21 = load i8, i8* %20
%22 = icmp eq i8 %18, %21
%23 = add nsw i32 %14, 1
%24 = select i1 %22, i32 %23, i32 0
%25 = getelementptr inbounds i32, i32* %1, i64 %13
store i32 %24, i32* %25
br label %26
26: ; preds = %16, %12, %3
ret void
27: ; preds = %27, %10
%28 = phi i64 [ 1, %10 ], [ %50, %27 ]
%29 = phi i32 [ 0, %10 ], [ %48, %27 ]
%30 = phi i64 [ 0, %10 ], [ %51, %27 ]
%31 = getelementptr inbounds i8, i8* %0, i64 %28
%32 = load i8, i8* %31
%33 = sext i32 %29 to i64
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = icmp eq i8 %32, %35
%37 = add nsw i32 %29, 1
%38 = select i1 %36, i32 %37, i32 0
%39 = getelementptr inbounds i32, i32* %1, i64 %28
store i32 %38, i32* %39
%40 = add nuw nsw i64 %28, 1
%41 = getelementptr inbounds i8, i8* %0, i64 %40
%42 = load i8, i8* %41
%43 = sext i32 %38 to i64
%44 = getelementptr inbounds i8, i8* %0, i64 %43
%45 = load i8, i8* %44
%46 = icmp eq i8 %42, %45
%47 = add nsw i32 %38, 1
%48 = select i1 %46, i32 %47, i32 0
%49 = getelementptr inbounds i32, i32* %1, i64 %40
store i32 %48, i32* %49
%50 = add nuw nsw i64 %28, 2
%51 = add i64 %30, 2
%52 = icmp eq i64 %51, %11
br i1 %52, label %12, label %27
}