#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 /*<<< orphan*/ assert(int /*<<< orphan*/);
double round(unsigned int);
unsigned int strlen(char const *);
double sift3B(const char *str1, const char *str2, unsigned max_offset,
              double max_dist) {
  assert(str1 != NULL);
  assert(str2 != NULL);
  unsigned str1_len = strlen(str1);
  unsigned str2_len = strlen(str2);
  if (str1_len == 0) {
    return (double)str2_len;
  }
  if (str2_len == 0) {
    return (double)str1_len;
  }
  unsigned lcs = 0;
  unsigned c1 = 0;
  unsigned c2 = 0;
  double temp_dist;
  while ((c1 < str1_len) && (c2 < str2_len)) {
    if (((str1[c1]) == (str2[c2]))) {
      lcs++;
    } else {
      if (c1 < c2) {
        c2 = c1;
      } else {
        c1 = c2;
      }
      for (unsigned i = 0; i < max_offset; i++) {
        if ((c1 + i < str1_len) && (((str1[c1 + i]) == (str2[c2])))) {
          c1 += i;
          break;
        }
        if ((c2 + 1 < str2_len) && (((str2[c2 + i]) == (str1[c1])))) {
          c2 += i;
          break;
        }
      }
    }
    c1++;
    c2++;
    temp_dist = (c1 + c2) / 1.5 - lcs;
    if (temp_dist >= max_dist) {
      return round(temp_dist);
    }
  }
  return round((str1_len + str2_len) / 1.5 - lcs);
}


x86 assembly (clang, -O0):
<sift3B>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movsd  %xmm0,-0x28(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    11a0 <sift3B+0x70>
mov    -0x30(%rbp),%eax
cvtsi2sd %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1390 <sift3B+0x260>
cmpl   $0x0,-0x30(%rbp)
jne    11bc <sift3B+0x8c>
mov    -0x2c(%rbp),%eax
cvtsi2sd %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1390 <sift3B+0x260>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x2c(%rbp),%ecx
mov    %al,-0x4d(%rbp)
jae    11ee <sift3B+0xbe>
mov    -0x3c(%rbp),%eax
cmp    -0x30(%rbp),%eax
setb   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    11fe <sift3B+0xce>
jmp    135a <sift3B+0x22a>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x3c(%rbp),%edx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    122a <sift3B+0xfa>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12f2 <sift3B+0x1c2>
mov    -0x38(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jae    1241 <sift3B+0x111>
mov    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    1247 <sift3B+0x117>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jae    12ed <sift3B+0x1bd>
mov    -0x38(%rbp),%eax
add    -0x4c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    129a <sift3B+0x16a>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x4c(%rbp),%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x3c(%rbp),%edx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    129a <sift3B+0x16a>
mov    -0x4c(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
jmp    12ed <sift3B+0x1bd>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
cmp    -0x30(%rbp),%eax
jae    12da <sift3B+0x1aa>
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    -0x4c(%rbp),%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x38(%rbp),%edx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12da <sift3B+0x1aa>
mov    -0x4c(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    12ed <sift3B+0x1bd>
jmp    12df <sift3B+0x1af>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    124e <sift3B+0x11e>
jmp    12f2 <sift3B+0x1c2>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x3c(%rbp),%ecx
add    %ecx,%eax
cvtsi2sd %rax,%xmm0
movsd  0xce7(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x34(%rbp),%eax
cvtsi2sd %rax,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jb     1355 <sift3B+0x225>
cvttsd2si -0x48(%rbp),%rax
mov    %eax,%edi
call   1050 <round@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    1390 <sift3B+0x260>
jmp    11d1 <sift3B+0xa1>
mov    -0x2c(%rbp),%eax
mov    -0x30(%rbp),%ecx
add    %ecx,%eax
cvtsi2sd %rax,%xmm0
movsd  0xc91(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x34(%rbp),%eax
cvtsi2sd %rax,%xmm1
subsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rax
mov    %eax,%edi
call   1050 <round@plt>
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sift3B>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
movsd  %xmm0,(%rsp)
mov    %edx,%r14d
mov    %rsi,%r15
mov    %rdi,%r12
xor    %edi,%edi
test   %r12,%r12
setne  %dil
call   1040 <assert@plt>
xor    %edi,%edi
test   %r15,%r15
setne  %dil
call   1040 <assert@plt>
mov    %r12,%rdi
call   1030 <strlen@plt>
mov    %eax,%r13d
mov    %r15,%rdi
call   1030 <strlen@plt>
test   %r13d,%r13d
je     1280 <sift3B+0x150>
test   %eax,%eax
je     1284 <sift3B+0x154>
mov    %r14d,%r8d
xor    %r9d,%r9d
movsd  0xe69(%rip),%xmm0
xor    %edi,%edi
xor    %r10d,%r10d
movsd  (%rsp),%xmm3
jmp    11f0 <sift3B+0xc0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r9d
lea    (%r10,%rdi,1),%ecx
add    $0x2,%ecx
mov    %edi,%edx
add    $0x1,%edx
mov    %r10d,%esi
xorps  %xmm1,%xmm1
cvtsi2sd %rcx,%xmm1
add    $0x1,%esi
mov    %r9d,%ecx
xorps  %xmm2,%xmm2
cvtsi2sd %rcx,%xmm2
divsd  %xmm0,%xmm1
subsd  %xmm2,%xmm1
ucomisd %xmm3,%xmm1
mov    %edx,%edi
mov    %esi,%r10d
jae    129e <sift3B+0x16e>
cmp    %r13d,%edi
jae    12a5 <sift3B+0x175>
cmp    %eax,%r10d
jae    12a5 <sift3B+0x175>
mov    %edi,%ecx
mov    (%r12,%rcx,1),%cl
mov    %r10d,%edx
cmp    (%r15,%rdx,1),%cl
je     11b0 <sift3B+0x80>
cmp    %r10d,%edi
cmovb  %edi,%r10d
test   %r14d,%r14d
je     1270 <sift3B+0x140>
mov    %r10d,%r11d
lea    0x1(%r10),%ebp
mov    %r8,%rbx
mov    %r10d,%ecx
xor    %edi,%edi
jmp    123d <sift3B+0x10d>
xchg   %ax,%ax
add    $0x1,%rdi
add    $0x1,%ecx
add    $0xffffffffffffffff,%rbx
je     1270 <sift3B+0x140>
cmp    %r13d,%ecx
jae    124f <sift3B+0x11f>
mov    %ecx,%esi
movzbl (%r12,%rsi,1),%edx
cmp    (%r15,%r11,1),%dl
je     1278 <sift3B+0x148>
cmp    %eax,%ebp
jae    1230 <sift3B+0x100>
mov    %ecx,%edx
movzbl (%r15,%rdx,1),%edx
cmp    (%r12,%r11,1),%dl
jne    1230 <sift3B+0x100>
mov    %r10d,%edi
mov    %ecx,%r10d
jmp    11b4 <sift3B+0x84>
nopl   0x0(%rax,%rax,1)
mov    %r10d,%edi
jmp    11b4 <sift3B+0x84>
add    %r10d,%edi
jmp    11b4 <sift3B+0x84>
mov    %eax,%eax
jmp    1287 <sift3B+0x157>
mov    %r13d,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cvttsd2si %xmm1,%rdi
jmp    12cc <sift3B+0x19c>
add    %r13d,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
divsd  0xd48(%rip),%xmm0
mov    %r9d,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %rax,%xmm1
subsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <round@plt>

LLVM IR (-O0):
define double @sift3B(i8* %0, i8* %1, i32 %2, double %3) {
%5 = alloca double
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca double
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca double
%16 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i32 %2, i32* %8
store double %3, double* %9
%17 = load i8*, i8** %6
%18 = icmp ne i8* %17, null
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i8*, i8** %7
%22 = icmp ne i8* %21, null
%23 = zext i1 %22 to i32
%24 = call i32 @assert(i32 %23)
%25 = load i8*, i8** %6
%26 = call i32 @strlen(i8* %25)
store i32 %26, i32* %10
%27 = load i8*, i8** %7
%28 = call i32 @strlen(i8* %27)
store i32 %28, i32* %11
%29 = load i32, i32* %10
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %34
31: ; preds = %4
%32 = load i32, i32* %11
%33 = uitofp i32 %32 to double
store double %33, double* %5
br label %169
34: ; preds = %4
%35 = load i32, i32* %11
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %40
37: ; preds = %34
%38 = load i32, i32* %10
%39 = uitofp i32 %38 to double
store double %39, double* %5
br label %169
40: ; preds = %34
store i32 0, i32* %12
store i32 0, i32* %13
store i32 0, i32* %14
br label %41
41: ; preds = %157, %40
%42 = load i32, i32* %13
%43 = load i32, i32* %10
%44 = icmp ult i32 %42, %43
br i1 %44, label %45, label %49
45: ; preds = %41
%46 = load i32, i32* %14
%47 = load i32, i32* %11
%48 = icmp ult i32 %46, %47
br label %49
49: ; preds = %45, %41
%50 = phi i1 [ false, %41 ], [ %48, %45 ]
br i1 %50, label %51, label %158
51: ; preds = %49
%52 = load i8*, i8** %6
%53 = load i32, i32* %13
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = load i8*, i8** %7
%59 = load i32, i32* %14
%60 = zext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %58, i64 %60
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %57, %63
br i1 %64, label %65, label %68
65: ; preds = %51
%66 = load i32, i32* %12
%67 = add i32 %66, 1
store i32 %67, i32* %12
br label %137
68: ; preds = %51
%69 = load i32, i32* %13
%70 = load i32, i32* %14
%71 = icmp ult i32 %69, %70
br i1 %71, label %72, label %74
72: ; preds = %68
%73 = load i32, i32* %13
store i32 %73, i32* %14
br label %76
74: ; preds = %68
%75 = load i32, i32* %14
store i32 %75, i32* %13
br label %76
76: ; preds = %74, %72
store i32 0, i32* %16
br label %77
77: ; preds = %133, %76
%78 = load i32, i32* %16
%79 = load i32, i32* %8
%80 = icmp ult i32 %78, %79
br i1 %80, label %81, label %136
81: ; preds = %77
%82 = load i32, i32* %13
%83 = load i32, i32* %16
%84 = add i32 %82, %83
%85 = load i32, i32* %10
%86 = icmp ult i32 %84, %85
br i1 %86, label %87, label %107
87: ; preds = %81
%88 = load i8*, i8** %6
%89 = load i32, i32* %13
%90 = load i32, i32* %16
%91 = add i32 %89, %90
%92 = zext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %88, i64 %92
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = load i8*, i8** %7
%97 = load i32, i32* %14
%98 = zext i32 %97 to i64
%99 = getelementptr inbounds i8, i8* %96, i64 %98
%100 = load i8, i8* %99
%101 = sext i8 %100 to i32
%102 = icmp eq i32 %95, %101
br i1 %102, label %103, label %107
103: ; preds = %87
%104 = load i32, i32* %16
%105 = load i32, i32* %13
%106 = add i32 %105, %104
store i32 %106, i32* %13
br label %136
107: ; preds = %87, %81
%108 = load i32, i32* %14
%109 = add i32 %108, 1
%110 = load i32, i32* %11
%111 = icmp ult i32 %109, %110
br i1 %111, label %112, label %132
112: ; preds = %107
%113 = load i8*, i8** %7
%114 = load i32, i32* %14
%115 = load i32, i32* %16
%116 = add i32 %114, %115
%117 = zext i32 %116 to i64
%118 = getelementptr inbounds i8, i8* %113, i64 %117
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
%121 = load i8*, i8** %6
%122 = load i32, i32* %13
%123 = zext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %121, i64 %123
%125 = load i8, i8* %124
%126 = sext i8 %125 to i32
%127 = icmp eq i32 %120, %126
br i1 %127, label %128, label %132
128: ; preds = %112
%129 = load i32, i32* %16
%130 = load i32, i32* %14
%131 = add i32 %130, %129
store i32 %131, i32* %14
br label %136
132: ; preds = %112, %107
br label %133
133: ; preds = %132
%134 = load i32, i32* %16
%135 = add i32 %134, 1
store i32 %135, i32* %16
br label %77
136: ; preds = %128, %103, %77
br label %137
137: ; preds = %136, %65
%138 = load i32, i32* %13
%139 = add i32 %138, 1
store i32 %139, i32* %13
%140 = load i32, i32* %14
%141 = add i32 %140, 1
store i32 %141, i32* %14
%142 = load i32, i32* %13
%143 = load i32, i32* %14
%144 = add i32 %142, %143
%145 = uitofp i32 %144 to double
%146 = fdiv double %145, 1.500000e+00
%147 = load i32, i32* %12
%148 = uitofp i32 %147 to double
%149 = fsub double %146, %148
store double %149, double* %15
%150 = load double, double* %15
%151 = load double, double* %9
%152 = fcmp oge double %150, %151
br i1 %152, label %153, label %157
153: ; preds = %137
%154 = load double, double* %15
%155 = fptoui double %154 to i32
%156 = call double @round(i32 %155)
store double %156, double* %5
br label %169
157: ; preds = %137
br label %41
158: ; preds = %49
%159 = load i32, i32* %10
%160 = load i32, i32* %11
%161 = add i32 %159, %160
%162 = uitofp i32 %161 to double
%163 = fdiv double %162, 1.500000e+00
%164 = load i32, i32* %12
%165 = uitofp i32 %164 to double
%166 = fsub double %163, %165
%167 = fptoui double %166 to i32
%168 = call double @round(i32 %167)
store double %168, double* %5
br label %169
169: ; preds = %158, %153, %37, %31
%170 = load double, double* %5
ret double %170
}

LLVM IR (-O2):
define double @sift3B(i8* %0, i8* %1, i32 %2, double %3) {
%5 = icmp ne i8* %0, null
%6 = zext i1 %5 to i32
%7 = tail call i32 @assert(i32 %6)
%8 = icmp ne i8* %1, null
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = tail call i32 @strlen(i8* %0)
%12 = tail call i32 @strlen(i8* %1)
%13 = icmp eq i32 %11, 0
br i1 %13, label %14, label %16
14: ; preds = %4
%15 = uitofp i32 %12 to double
br label %93
16: ; preds = %4
%17 = icmp eq i32 %12, 0
br i1 %17, label %21, label %18
18: ; preds = %16
%19 = icmp eq i32 %2, 0
%20 = zext i32 %2 to i64
br label %23
21: ; preds = %16
%22 = uitofp i32 %11 to double
br label %93
23: ; preds = %18, %70
%24 = phi i32 [ %71, %70 ], [ 0, %18 ]
%25 = phi i32 [ %74, %70 ], [ 0, %18 ]
%26 = phi i32 [ %75, %70 ], [ 0, %18 ]
%27 = icmp ult i32 %25, %11
%28 = icmp ult i32 %26, %12
%29 = select i1 %27, i1 %28, i1 false
br i1 %29, label %30, label %85
30: ; preds = %23
%31 = zext i32 %25 to i64
%32 = getelementptr inbounds i8, i8* %0, i64 %31
%33 = load i8, i8* %32
%34 = zext i32 %26 to i64
%35 = getelementptr inbounds i8, i8* %1, i64 %34
%36 = load i8, i8* %35
%37 = icmp eq i8 %33, %36
br i1 %37, label %38, label %40
38: ; preds = %30
%39 = add i32 %24, 1
br label %70
40: ; preds = %30
%41 = icmp ult i32 %25, %26
%42 = select i1 %41, i32 %25, i32 %26
br i1 %19, label %70, label %43
43: ; preds = %40
%44 = zext i32 %42 to i64
%45 = getelementptr inbounds i8, i8* %1, i64 %44
%46 = add nuw i32 %42, 1
%47 = icmp ult i32 %46, %12
%48 = getelementptr inbounds i8, i8* %0, i64 %44
br label %49
49: ; preds = %43, %67
%50 = phi i64 [ 0, %43 ], [ %68, %67 ]
%51 = trunc i64 %50 to i32
%52 = add i32 %42, %51
%53 = icmp ult i32 %52, %11
br i1 %53, label %54, label %60
54: ; preds = %49
%55 = zext i32 %52 to i64
%56 = getelementptr inbounds i8, i8* %0, i64 %55
%57 = load i8, i8* %56
%58 = load i8, i8* %45
%59 = icmp eq i8 %57, %58
br i1 %59, label %70, label %60
60: ; preds = %54, %49
br i1 %47, label %61, label %67
61: ; preds = %60
%62 = zext i32 %52 to i64
%63 = getelementptr inbounds i8, i8* %1, i64 %62
%64 = load i8, i8* %63
%65 = load i8, i8* %48
%66 = icmp eq i8 %64, %65
br i1 %66, label %70, label %67
67: ; preds = %60, %61
%68 = add nuw nsw i64 %50, 1
%69 = icmp eq i64 %68, %20
br i1 %69, label %70, label %49
70: ; preds = %61, %54, %67, %40, %38
%71 = phi i32 [ %39, %38 ], [ %24, %40 ], [ %24, %67 ], [ %24, %54 ], [ %24, %61 ]
%72 = phi i32 [ %25, %38 ], [ %42, %40 ], [ %42, %61 ], [ %52, %54 ], [ %42, %67 ]
%73 = phi i32 [ %26, %38 ], [ %42, %40 ], [ %52, %61 ], [ %42, %54 ], [ %42, %67 ]
%74 = add i32 %72, 1
%75 = add i32 %73, 1
%76 = add i32 %75, %74
%77 = uitofp i32 %76 to double
%78 = fdiv double %77, 1.500000e+00
%79 = uitofp i32 %71 to double
%80 = fsub double %78, %79
%81 = fcmp ult double %80, %3
br i1 %81, label %23, label %82
82: ; preds = %70
%83 = fptoui double %80 to i32
%84 = tail call double @round(i32 %83)
br label %93
85: ; preds = %23
%86 = add i32 %12, %11
%87 = uitofp i32 %86 to double
%88 = fdiv double %87, 1.500000e+00
%89 = uitofp i32 %24 to double
%90 = fsub double %88, %89
%91 = fptoui double %90 to i32
%92 = tail call double @round(i32 %91)
br label %93
93: ; preds = %82, %85, %21, %14
%94 = phi double [ %15, %14 ], [ %22, %21 ], [ %84, %82 ], [ %92, %85 ]
ret double %94
}