#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 */
int abs(size_t);
size_t strnlen(char *, int);
int compare(char *first, char *second) {
  size_t first_len = strnlen(first, sizeof first);
  size_t second_len = strnlen(second, sizeof second);
  if (abs(first_len - second_len) > 1)
    return 0;
  size_t diff = 0;
  if (first_len == second_len) {
    for (size_t i = 0; i < first_len; i++) {
      if (first[i] != second[i]) {
        diff += 1;
        if (diff > 1)
          return 0;
      }
    }
  } else {
    char *largest = first_len > second_len ? first : second;
    char *shortest = first_len < second_len ? first : second;
    size_t largest_len = first_len > second_len ? first_len : second_len;
    size_t j = 0;
    for (size_t i = 0; i < largest_len; i++) {
      if (largest[i] != shortest[i]) {
        diff += 1;
        if (diff > 1)
          return 0;
      } else {
        j++;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<compare>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x8,%esi
call   1040 <strnlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
mov    $0x8,%esi
call   1040 <strnlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rdi
sub    -0x28(%rbp),%rdi
call   1030 <abs@plt>
cmp    $0x1,%eax
jle    1179 <compare+0x59>
movl   $0x0,-0x4(%rbp)
jmp    131d <compare+0x1fd>
movq   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jne    1208 <compare+0xe8>
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1203 <compare+0xe3>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     11ed <compare+0xcd>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x1,-0x30(%rbp)
jbe    11e8 <compare+0xc8>
movl   $0x0,-0x4(%rbp)
jmp    131d <compare+0x1fd>
jmp    11ed <compare+0xcd>
jmp    11f2 <compare+0xd2>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1197 <compare+0x77>
jmp    1316 <compare+0x1f6>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jbe    1223 <compare+0x103>
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    122b <compare+0x10b>
mov    -0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    124e <compare+0x12e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    1256 <compare+0x136>
mov    -0x18(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jbe    1279 <compare+0x159>
mov    -0x20(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    1281 <compare+0x161>
mov    -0x28(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x50(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x50(%rbp),%rax
jae    1311 <compare+0x1f1>
mov    -0x40(%rbp),%rax
mov    -0x60(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x48(%rbp),%rcx
mov    -0x60(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     12ef <compare+0x1cf>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x1,-0x30(%rbp)
jbe    12ea <compare+0x1ca>
movl   $0x0,-0x4(%rbp)
jmp    131d <compare+0x1fd>
jmp    12fb <compare+0x1db>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1300 <compare+0x1e0>
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    1299 <compare+0x179>
jmp    1316 <compare+0x1f6>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<compare>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r12
mov    %rdi,%r14
mov    $0x8,%esi
call   1040 <strnlen@plt>
mov    %rax,%r15
mov    %r12,%rdi
mov    $0x8,%esi
call   1040 <strnlen@plt>
mov    %rax,%rbx
mov    %r15,%rdi
sub    %rax,%rdi
call   1030 <abs@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x1,%ecx
jle    116b <compare+0x4b>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
cmp    %rbx,%r15
jne    11a5 <compare+0x85>
mov    $0x1,%eax
test   %r15,%r15
je     115f <compare+0x3f>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    1189 <compare+0x69>
add    $0x1,%rdx
cmp    %rdx,%r15
je     115f <compare+0x3f>
movzbl (%r14,%rdx,1),%ebx
cmp    (%r12,%rdx,1),%bl
je     1180 <compare+0x60>
add    $0xffffffffffffffff,%rcx
cmp    $0xfffffffffffffffe,%rcx
mov    $0x1,%ecx
jae    1180 <compare+0x60>
jmp    11f2 <compare+0xd2>
mov    %r12,%rdi
cmova  %r14,%rdi
cmova  %r15,%rbx
cmovb  %r14,%r12
mov    $0x1,%eax
test   %rbx,%rbx
je     115f <compare+0x3f>
xor    %edx,%edx
xor    %esi,%esi
jmp    11d9 <compare+0xb9>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rdx
cmp    %rdx,%rbx
je     115f <compare+0x3f>
movzbl (%rdi,%rdx,1),%ecx
cmp    (%r12,%rdx,1),%cl
je     11d0 <compare+0xb0>
add    $0xffffffffffffffff,%rsi
cmp    $0xfffffffffffffffe,%rsi
mov    $0x1,%esi
jae    11d0 <compare+0xb0>
xor    %eax,%eax
jmp    115f <compare+0x3f>

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

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