#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 */

/* Variables and functions */
size_t SIZE_MAX;
size_t critical_factorization(const unsigned char *needle, size_t needle_len,
                              size_t *period) {
  size_t max_suffix, max_suffix_rev;
  size_t j;
  size_t k;
  size_t p;
  unsigned char a, b;
  max_suffix = SIZE_MAX;
  j = 0;
  k = p = 1;
  while (j + k < needle_len) {
    a = needle[j + k];
    b = needle[max_suffix + k];
    if (a < b) {
      j += k;
      k = 1;
      p = j - max_suffix;
    } else if (a == b) {
      if (k != p)
        ++k;
      else {
        j += p;
        k = 1;
      }
    } else {
      max_suffix = j++;
      k = p = 1;
    }
  }
  *period = p;
  max_suffix_rev = SIZE_MAX;
  j = 0;
  k = p = 1;
  while (j + k < needle_len) {
    a = needle[j + k];
    b = needle[max_suffix_rev + k];
    if (b < a) {
      j += k;
      k = 1;
      p = j - max_suffix_rev;
    } else if (a == b) {
      if (k != p)
        ++k;
      else {
        j += p;
        k = 1;
      }
    } else {
      max_suffix_rev = j++;
      k = p = 1;
    }
  }
  if (max_suffix_rev + 1 < max_suffix + 1)
    return max_suffix + 1;
  *period = p;
  return max_suffix_rev + 1;
}


x86 assembly (clang, -O0):
<critical_factorization>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    0x2ec1(%rip),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x38(%rbp)
movq   $0x1,-0x48(%rbp)
movq   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%rax
add    -0x40(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1216 <critical_factorization+0x116>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x49(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x4a(%rbp)
movzbl -0x49(%rbp),%eax
movzbl -0x4a(%rbp),%ecx
cmp    %ecx,%eax
jge    11a1 <critical_factorization+0xa1>
mov    -0x40(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%rax
sub    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1211 <critical_factorization+0x111>
movzbl -0x49(%rbp),%eax
movzbl -0x4a(%rbp),%ecx
cmp    %ecx,%eax
jne    11e9 <critical_factorization+0xe9>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
je     11d0 <critical_factorization+0xd0>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11e4 <critical_factorization+0xe4>
mov    -0x48(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x1,-0x40(%rbp)
jmp    120c <critical_factorization+0x10c>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rax,-0x28(%rbp)
movq   $0x1,-0x48(%rbp)
movq   $0x1,-0x40(%rbp)
jmp    1211 <critical_factorization+0x111>
jmp    1136 <critical_factorization+0x36>
mov    -0x48(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    0x2db0(%rip),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
movq   $0x1,-0x48(%rbp)
movq   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%rax
add    -0x40(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1327 <critical_factorization+0x227>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x49(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x4a(%rbp)
movzbl -0x4a(%rbp),%eax
movzbl -0x49(%rbp),%ecx
cmp    %ecx,%eax
jge    12b2 <critical_factorization+0x1b2>
mov    -0x40(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%rax
sub    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1322 <critical_factorization+0x222>
movzbl -0x49(%rbp),%eax
movzbl -0x4a(%rbp),%ecx
cmp    %ecx,%eax
jne    12fa <critical_factorization+0x1fa>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
je     12e1 <critical_factorization+0x1e1>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    12f5 <critical_factorization+0x1f5>
mov    -0x48(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x1,-0x40(%rbp)
jmp    131d <critical_factorization+0x21d>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rax,-0x30(%rbp)
movq   $0x1,-0x48(%rbp)
movq   $0x1,-0x40(%rbp)
jmp    1322 <critical_factorization+0x222>
jmp    1247 <critical_factorization+0x147>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    1351 <critical_factorization+0x251>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1368 <critical_factorization+0x268>
mov    -0x48(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<critical_factorization>:
push   %rbp
push   %rbx
mov    0x2ecf(%rip),%r8
mov    (%r8),%rax
cmp    $0x2,%rsi
jb     118e <critical_factorization+0x8e>
mov    $0x1,%ecx
xor    %r11d,%r11d
mov    $0x1,%r9d
mov    $0x1,%r10d
jmp    1147 <critical_factorization+0x47>
nopl   0x0(%rax,%rax,1)
mov    %rcx,%r9
sub    %rax,%r9
mov    $0x1,%r10d
mov    %rcx,%r11
add    %r10,%rcx
cmp    %rsi,%rcx
jae    11a3 <critical_factorization+0xa3>
lea    (%r10,%rax,1),%rbx
movzbl (%rdi,%rbx,1),%ebx
cmp    %bl,(%rdi,%rcx,1)
jb     1130 <critical_factorization+0x30>
jne    1170 <critical_factorization+0x70>
cmp    %r9,%r10
jne    1185 <critical_factorization+0x85>
add    %r9,%r11
mov    $0x1,%r10d
mov    %r11,%rcx
jmp    113c <critical_factorization+0x3c>
nopl   0x0(%rax)
lea    0x1(%r11),%rcx
mov    $0x1,%r10d
mov    %r11,%rax
mov    $0x1,%r9d
jmp    113c <critical_factorization+0x3c>
add    $0x1,%r10
mov    %r11,%rcx
jmp    113c <critical_factorization+0x3c>
movq   $0x1,(%rdx)
mov    (%r8),%r8
mov    $0x1,%r9d
jmp    122e <critical_factorization+0x12e>
mov    %r9,(%rdx)
mov    (%r8),%r8
mov    $0x1,%r9d
cmp    $0x2,%rsi
jb     122e <critical_factorization+0x12e>
mov    $0x1,%ecx
xor    %r11d,%r11d
mov    $0x1,%r9d
mov    $0x1,%r10d
jmp    11e7 <critical_factorization+0xe7>
nopl   0x0(%rax,%rax,1)
mov    %rcx,%r9
sub    %r8,%r9
mov    $0x1,%r10d
mov    %rcx,%r11
add    %r10,%rcx
cmp    %rsi,%rcx
jae    122e <critical_factorization+0x12e>
movzbl (%rdi,%rcx,1),%ebp
lea    (%r10,%r8,1),%rbx
movzbl (%rdi,%rbx,1),%ebx
cmp    %bpl,%bl
jb     11d0 <critical_factorization+0xd0>
jne    1210 <critical_factorization+0x110>
cmp    %r9,%r10
jne    1225 <critical_factorization+0x125>
add    %r9,%r11
mov    $0x1,%r10d
mov    %r11,%rcx
jmp    11dc <critical_factorization+0xdc>
nopl   (%rax)
lea    0x1(%r11),%rcx
mov    $0x1,%r10d
mov    %r11,%r8
mov    $0x1,%r9d
jmp    11dc <critical_factorization+0xdc>
add    $0x1,%r10
mov    %r11,%rcx
jmp    11dc <critical_factorization+0xdc>
add    $0x1,%r8
add    $0x1,%rax
cmp    %rax,%r8
jb     1241 <critical_factorization+0x141>
mov    %r9,(%rdx)
mov    %r8,%rax
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
@SIZE_MAX = global i64 0
define i64 @critical_factorization(i8* nocapture %0, i64 %1, i64* nocapture writeonly %2) {
%4 = load i64, i64* @SIZE_MAX
%5 = icmp ugt i64 %1, 1
br i1 %5, label %8, label %6
6: ; preds = %3
store i64 1, i64* %2
%7 = load i64, i64* @SIZE_MAX
br label %72
8: ; preds = %3, %32
%9 = phi i64 [ %37, %32 ], [ 1, %3 ]
%10 = phi i64 [ %36, %32 ], [ 1, %3 ]
%11 = phi i64 [ %35, %32 ], [ 1, %3 ]
%12 = phi i64 [ %34, %32 ], [ 0, %3 ]
%13 = phi i64 [ %33, %32 ], [ %4, %3 ]
%14 = getelementptr inbounds i8, i8* %0, i64 %9
%15 = load i8, i8* %14
%16 = add i64 %11, %13
%17 = getelementptr inbounds i8, i8* %0, i64 %16
%18 = load i8, i8* %17
%19 = icmp ult i8 %15, %18
br i1 %19, label %20, label %22
20: ; preds = %8
%21 = sub i64 %9, %13
br label %32
22: ; preds = %8
%23 = icmp eq i8 %15, %18
br i1 %23, label %24, label %30
24: ; preds = %22
%25 = icmp eq i64 %11, %10
br i1 %25, label %28, label %26
26: ; preds = %24
%27 = add i64 %11, 1
br label %32
28: ; preds = %24
%29 = add i64 %10, %12
br label %32
30: ; preds = %22
%31 = add i64 %12, 1
br label %32
32: ; preds = %30, %28, %26, %20
%33 = phi i64 [ %13, %20 ], [ %13, %26 ], [ %13, %28 ], [ %12, %30 ]
%34 = phi i64 [ %9, %20 ], [ %12, %26 ], [ %29, %28 ], [ %31, %30 ]
%35 = phi i64 [ 1, %20 ], [ %27, %26 ], [ 1, %28 ], [ 1, %30 ]
%36 = phi i64 [ %21, %20 ], [ %10, %26 ], [ %10, %28 ], [ 1, %30 ]
%37 = add i64 %35, %34
%38 = icmp ult i64 %37, %1
br i1 %38, label %8, label %39
39: ; preds = %32
store i64 %36, i64* %2
%40 = load i64, i64* @SIZE_MAX
br i1 %5, label %41, label %72
41: ; preds = %39, %65
%42 = phi i64 [ %70, %65 ], [ 1, %39 ]
%43 = phi i64 [ %69, %65 ], [ 1, %39 ]
%44 = phi i64 [ %68, %65 ], [ 1, %39 ]
%45 = phi i64 [ %67, %65 ], [ 0, %39 ]
%46 = phi i64 [ %66, %65 ], [ %40, %39 ]
%47 = getelementptr inbounds i8, i8* %0, i64 %42
%48 = load i8, i8* %47
%49 = add i64 %44, %46
%50 = getelementptr inbounds i8, i8* %0, i64 %49
%51 = load i8, i8* %50
%52 = icmp ult i8 %51, %48
br i1 %52, label %53, label %55
53: ; preds = %41
%54 = sub i64 %42, %46
br label %65
55: ; preds = %41
%56 = icmp eq i8 %48, %51
br i1 %56, label %57, label %63
57: ; preds = %55
%58 = icmp eq i64 %44, %43
br i1 %58, label %61, label %59
59: ; preds = %57
%60 = add i64 %44, 1
br label %65
61: ; preds = %57
%62 = add i64 %43, %45
br label %65
63: ; preds = %55
%64 = add i64 %45, 1
br label %65
65: ; preds = %63, %61, %59, %53
%66 = phi i64 [ %46, %53 ], [ %46, %59 ], [ %46, %61 ], [ %45, %63 ]
%67 = phi i64 [ %42, %53 ], [ %45, %59 ], [ %62, %61 ], [ %64, %63 ]
%68 = phi i64 [ 1, %53 ], [ %60, %59 ], [ 1, %61 ], [ 1, %63 ]
%69 = phi i64 [ %54, %53 ], [ %43, %59 ], [ %43, %61 ], [ 1, %63 ]
%70 = add i64 %68, %67
%71 = icmp ult i64 %70, %1
br i1 %71, label %41, label %72
72: ; preds = %65, %6, %39
%73 = phi i64 [ %33, %39 ], [ %4, %6 ], [ %33, %65 ]
%74 = phi i64 [ %40, %39 ], [ %7, %6 ], [ %66, %65 ]
%75 = phi i64 [ 1, %39 ], [ 1, %6 ], [ %69, %65 ]
%76 = add i64 %74, 1
%77 = add i64 %73, 1
%78 = icmp ult i64 %76, %77
br i1 %78, label %80, label %79
79: ; preds = %72
store i64 %75, i64* %2
br label %80
80: ; preds = %72, %79
%81 = phi i64 [ %76, %79 ], [ %77, %72 ]
ret i64 %81
}