int suffix(char *a, char *b, char *p) {
  char *a0, *b0;
  a0 = a;
  b0 = b;
  while (*a++)
    ;
  while (*b++)
    ;
  if ((a - a0) < (b - b0))
    return 0;
  while (b > b0)
    if (*--a != *--b)
      return 0;
  while (a0 < a)
    *p++ = *a0++;
  *p = '\0';
  return 1;
}


x86 assembly (clang, -O0):
<suffix>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
cmpb   $0x0,(%rax)
je     113d <suffix+0x3d>
jmp    1120 <suffix+0x20>
jmp    1142 <suffix+0x42>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
cmpb   $0x0,(%rax)
je     115f <suffix+0x5f>
jmp    1142 <suffix+0x42>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    %rcx,%rax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%rdx
sub    %rdx,%rcx
cmp    %rcx,%rax
jge    118a <suffix+0x8a>
movl   $0x0,-0x4(%rbp)
jmp    1224 <suffix+0x124>
jmp    118f <suffix+0x8f>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
jbe    11dc <suffix+0xdc>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x10(%rbp)
movsbl -0x1(%rax),%eax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x18(%rbp)
movsbl -0x1(%rcx),%ecx
cmp    %ecx,%eax
je     11d7 <suffix+0xd7>
movl   $0x0,-0x4(%rbp)
jmp    1224 <suffix+0x124>
jmp    118f <suffix+0x8f>
jmp    11e1 <suffix+0xe1>
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1216 <suffix+0x116>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
jmp    11e1 <suffix+0xe1>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<suffix>:
push   %rbx
lea    0x1(%rdi),%eax
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
mov    %eax,%r8d
lea    0x1(%r8),%eax
cmpb   $0x0,(%rdi,%rbx,1)
lea    0x1(%rbx),%rbx
jne    1110 <suffix+0x10>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpb   $0x0,(%rsi,%rcx,1)
lea    0x1(%rcx),%rcx
jne    1130 <suffix+0x30>
xor    %eax,%eax
cmp    %rcx,%rbx
jl     1170 <suffix+0x70>
add    %rsi,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %rsi,%rcx
jbe    1172 <suffix+0x72>
movzbl -0x1(%rdi,%rbx,1),%r9d
lea    -0x1(%rcx),%r10
add    $0x7,%r8b
add    $0xffffffffffffffff,%rbx
cmp    -0x1(%rcx),%r9b
mov    %r10,%rcx
je     1150 <suffix+0x50>
pop    %rbx
ret
lea    (%rdi,%rbx,1),%r9
cmp    %rdi,%r9
jbe    1315 <suffix+0x215>
cmp    $0x20,%rbx
jb     119b <suffix+0x9b>
cmp    %rdx,%r9
jbe    1228 <suffix+0x128>
lea    (%rdx,%rbx,1),%rax
cmp    %rdi,%rax
jbe    1228 <suffix+0x128>
mov    %rdi,%rsi
mov    %edi,%eax
sub    %esi,%eax
lea    (%rbx,%rax,1),%ecx
mov    %rsi,%rax
not    %rax
add    %rdi,%rax
add    %rbx,%rax
test   $0x7,%cl
je     11d3 <suffix+0xd3>
sub    %sil,%r8b
movzbl %r8b,%ecx
and    $0x7,%ecx
movzbl (%rsi),%ebx
add    $0x1,%rsi
mov    %bl,(%rdx)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rcx
jne    11c0 <suffix+0xc0>
cmp    $0x7,%rax
jb     1315 <suffix+0x215>
nopl   (%rax)
movzbl (%rsi),%eax
mov    %al,(%rdx)
movzbl 0x1(%rsi),%eax
mov    %al,0x1(%rdx)
movzbl 0x2(%rsi),%eax
mov    %al,0x2(%rdx)
movzbl 0x3(%rsi),%eax
mov    %al,0x3(%rdx)
movzbl 0x4(%rsi),%eax
mov    %al,0x4(%rdx)
movzbl 0x5(%rsi),%eax
mov    %al,0x5(%rdx)
movzbl 0x6(%rsi),%eax
mov    %al,0x6(%rdx)
movzbl 0x7(%rsi),%eax
mov    %al,0x7(%rdx)
add    $0x8,%rdx
add    $0x8,%rsi
cmp    %rsi,%r9
jne    11e0 <suffix+0xe0>
jmp    1315 <suffix+0x215>
mov    %rbx,%rsi
and    $0xffffffffffffffe0,%rsi
lea    -0x20(%rsi),%rax
mov    %rax,%r10
shr    $0x5,%r10
add    $0x1,%r10
cmp    $0x60,%rax
jae    1248 <suffix+0x148>
xor    %eax,%eax
jmp    12b8 <suffix+0x1b8>
mov    %r10,%r11
and    $0xfffffffffffffffc,%r11
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups (%rdi,%rax,1),%xmm0
movups 0x10(%rdi,%rax,1),%xmm1
movups %xmm0,(%rdx,%rax,1)
movups %xmm1,0x10(%rdx,%rax,1)
movups 0x20(%rdi,%rax,1),%xmm0
movups 0x30(%rdi,%rax,1),%xmm1
movups %xmm0,0x20(%rdx,%rax,1)
movups %xmm1,0x30(%rdx,%rax,1)
movups 0x40(%rdi,%rax,1),%xmm0
movups 0x50(%rdi,%rax,1),%xmm1
movups %xmm0,0x40(%rdx,%rax,1)
movups %xmm1,0x50(%rdx,%rax,1)
movups 0x60(%rdi,%rax,1),%xmm0
movups 0x70(%rdi,%rax,1),%xmm1
movups %xmm0,0x60(%rdx,%rax,1)
movups %xmm1,0x70(%rdx,%rax,1)
sub    $0xffffffffffffff80,%rax
add    $0xfffffffffffffffc,%r11
jne    1260 <suffix+0x160>
test   $0x3,%r10b
je     130d <suffix+0x20d>
lea    (%rdx,%rax,1),%r10
add    $0x10,%r10
add    %rdi,%rax
add    $0x10,%rax
mov    %ebx,%ecx
and    $0x60,%cl
add    $0xe0,%cl
shr    $0x5,%cl
add    $0x1,%cl
movzbl %cl,%r11d
and    $0x3,%r11d
shl    $0x5,%r11
xor    %ecx,%ecx
nopl   0x0(%rax)
movups -0x10(%rax,%rcx,1),%xmm0
movups (%rax,%rcx,1),%xmm1
movups %xmm0,-0x10(%r10,%rcx,1)
movups %xmm1,(%r10,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r11
jne    12f0 <suffix+0x1f0>
add    %rsi,%rdx
cmp    %rsi,%rbx
jne    131f <suffix+0x21f>
movb   $0x0,(%rdx)
mov    $0x1,%eax
pop    %rbx
ret
add    %rdi,%rsi
jmp    119e <suffix+0x9e>

LLVM IR (-O0):
define i32 @suffix(i8* %0, i8* %1, i8* %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
%10 = load i8*, i8** %5
store i8* %10, i8** %8
%11 = load i8*, i8** %6
store i8* %11, i8** %9
br label %12
12: ; preds = %17, %3
%13 = load i8*, i8** %5
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %5
%15 = load i8, i8* %13
%16 = icmp ne i8 %15, 0
br i1 %16, label %17, label %18
17: ; preds = %12
br label %12
18: ; preds = %12
br label %19
19: ; preds = %24, %18
%20 = load i8*, i8** %6
%21 = getelementptr inbounds i8, i8* %20, i32 1
store i8* %21, i8** %6
%22 = load i8, i8* %20
%23 = icmp ne i8 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %19
br label %19
25: ; preds = %19
%26 = load i8*, i8** %5
%27 = load i8*, i8** %8
%28 = ptrtoint i8* %26 to i64
%29 = ptrtoint i8* %27 to i64
%30 = sub i64 %28, %29
%31 = load i8*, i8** %6
%32 = load i8*, i8** %9
%33 = ptrtoint i8* %31 to i64
%34 = ptrtoint i8* %32 to i64
%35 = sub i64 %33, %34
%36 = icmp slt i64 %30, %35
br i1 %36, label %37, label %38
37: ; preds = %25
store i32 0, i32* %4
br label %68
38: ; preds = %25
br label %39
39: ; preds = %54, %38
%40 = load i8*, i8** %6
%41 = load i8*, i8** %9
%42 = icmp ugt i8* %40, %41
br i1 %42, label %43, label %55
43: ; preds = %39
%44 = load i8*, i8** %5
%45 = getelementptr inbounds i8, i8* %44, i32 -1
store i8* %45, i8** %5
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = load i8*, i8** %6
%49 = getelementptr inbounds i8, i8* %48, i32 -1
store i8* %49, i8** %6
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp ne i32 %47, %51
br i1 %52, label %53, label %54
53: ; preds = %43
store i32 0, i32* %4
br label %68
54: ; preds = %43
br label %39
55: ; preds = %39
br label %56
56: ; preds = %60, %55
%57 = load i8*, i8** %8
%58 = load i8*, i8** %5
%59 = icmp ult i8* %57, %58
br i1 %59, label %60, label %66
60: ; preds = %56
%61 = load i8*, i8** %8
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %8
%63 = load i8, i8* %61
%64 = load i8*, i8** %7
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %7
store i8 %63, i8* %64
br label %56
66: ; preds = %56
%67 = load i8*, i8** %7
store i8 0, i8* %67
store i32 1, i32* %4
br label %68
68: ; preds = %66, %53, %37
%69 = load i32, i32* %4
ret i32 %69
}

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