#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*/ hc_pairs_upstream(unsigned int, char, char *, unsigned int,
                                     int *);
void hc_weak_enforce_pair(unsigned int i, unsigned int j, char c_option,
                          char *hc, unsigned int length,
                          unsigned int min_loop_size, int *index) {
  unsigned int k, l;
  hc_pairs_upstream(i, (char)0, hc, length, index);
  hc_pairs_upstream(j, (char)0, hc, length, index);
  for (k = i + 1; k < j; k++)
    for (l = j + 1; l <= length; l++) {
      hc[index[l] + k] = 0;
    }
  for (k = 1; k < i; k++)
    for (l = i + 1; l < j; l++) {
      hc[index[l] + k] = 0;
    }
  hc[index[j] + i] |= c_option;
}


x86 assembly (clang, -O0):
<hc_weak_enforce_pair>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %dl,%al
mov    0x10(%rbp),%rdx
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    0x10(%rbp),%r8
xor    %esi,%esi
call   1030 <hc_pairs_upstream@plt>
mov    -0x8(%rbp),%edi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    0x10(%rbp),%r8
xor    %esi,%esi
call   1030 <hc_pairs_upstream@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x8(%rbp),%eax
jae    11bf <hc_weak_enforce_pair+0xaf>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     11ac <hc_weak_enforce_pair+0x9c>
mov    -0x18(%rbp),%rax
mov    0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
add    -0x24(%rbp),%ecx
mov    %ecx,%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    117b <hc_weak_enforce_pair+0x6b>
jmp    11b1 <hc_weak_enforce_pair+0xa1>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1166 <hc_weak_enforce_pair+0x56>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jae    121f <hc_weak_enforce_pair+0x10f>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
jae    120c <hc_weak_enforce_pair+0xfc>
mov    -0x18(%rbp),%rax
mov    0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
add    -0x24(%rbp),%ecx
mov    %ecx,%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11db <hc_weak_enforce_pair+0xcb>
jmp    1211 <hc_weak_enforce_pair+0x101>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11c6 <hc_weak_enforce_pair+0xb6>
movsbl -0x9(%rbp),%esi
mov    -0x18(%rbp),%rax
mov    0x10(%rbp),%rcx
mov    -0x8(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
add    -0x4(%rbp),%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hc_weak_enforce_pair>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8d,%r13d
mov    %rcx,%rbx
mov    %edx,%r14d
mov    %esi,%r12d
mov    %edi,%r15d
mov    0x40(%rsp),%rbp
xor    %esi,%esi
mov    %rcx,%rdx
mov    %r8d,%ecx
mov    %rbp,%r8
call   1030 <hc_pairs_upstream@plt>
mov    %r12d,%edi
xor    %esi,%esi
mov    %rbx,%rdx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1030 <hc_pairs_upstream@plt>
lea    0x1(%r15),%r10d
mov    %r15d,%r8d
not    %r8d
cmp    %r12d,%r10d
jae    11a2 <hc_weak_enforce_pair+0x92>
lea    0x1(%r12),%edx
lea    (%r8,%r12,1),%eax
lea    -0x2(%r12),%esi
mov    %r10d,%ecx
test   $0x1,%al
je     1199 <hc_weak_enforce_pair+0x89>
cmp    %r13d,%edx
ja     1195 <hc_weak_enforce_pair+0x85>
mov    %edx,%eax
nopl   (%rax)
mov    %eax,%ecx
mov    0x0(%rbp,%rcx,4),%ecx
add    %r10d,%ecx
movb   $0x0,(%rbx,%rcx,1)
add    $0x1,%eax
cmp    %r13d,%eax
jbe    1180 <hc_weak_enforce_pair+0x70>
lea    0x2(%r15),%ecx
cmp    %r15d,%esi
jne    125c <hc_weak_enforce_pair+0x14c>
mov    %r12d,%edx
cmp    $0x2,%r15d
jb     12a6 <hc_weak_enforce_pair+0x196>
mov    %r10d,%r11d
add    %r12d,%r8d
mov    %r12d,%r9d
sub    %r15d,%r9d
add    $0xfffffffe,%r9d
and    $0x3,%r8d
mov    $0x1,%ecx
jmp    11dc <hc_weak_enforce_pair+0xcc>
nopw   0x0(%rax,%rax,1)
add    $0x1,%ecx
cmp    %r15d,%ecx
je     12a6 <hc_weak_enforce_pair+0x196>
cmp    %r12d,%r10d
jae    11d0 <hc_weak_enforce_pair+0xc0>
mov    %r11,%rsi
test   %r8d,%r8d
je     1203 <hc_weak_enforce_pair+0xf3>
mov    %r8d,%eax
mov    %r11,%rsi
nop
mov    0x0(%rbp,%rsi,4),%edi
add    %ecx,%edi
movb   $0x0,(%rbx,%rdi,1)
add    $0x1,%rsi
add    $0xffffffff,%eax
jne    11f0 <hc_weak_enforce_pair+0xe0>
cmp    $0x3,%r9d
jb     11d0 <hc_weak_enforce_pair+0xc0>
nopl   0x0(%rax)
mov    0x0(%rbp,%rsi,4),%eax
add    %ecx,%eax
movb   $0x0,(%rbx,%rax,1)
mov    0x4(%rbp,%rsi,4),%eax
add    %ecx,%eax
movb   $0x0,(%rbx,%rax,1)
mov    0x8(%rbp,%rsi,4),%eax
add    %ecx,%eax
movb   $0x0,(%rbx,%rax,1)
mov    0xc(%rbp,%rsi,4),%eax
add    %ecx,%eax
movb   $0x0,(%rbx,%rax,1)
add    $0x4,%rsi
cmp    %esi,%edx
jne    1210 <hc_weak_enforce_pair+0x100>
jmp    11d0 <hc_weak_enforce_pair+0xc0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x2,%ecx
cmp    %r12d,%ecx
je     11a2 <hc_weak_enforce_pair+0x92>
mov    %edx,%eax
cmp    %r13d,%edx
ja     1284 <hc_weak_enforce_pair+0x174>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %eax,%esi
mov    0x0(%rbp,%rsi,4),%esi
add    %ecx,%esi
movb   $0x0,(%rbx,%rsi,1)
add    $0x1,%eax
cmp    %r13d,%eax
jbe    1270 <hc_weak_enforce_pair+0x160>
cmp    %r13d,%edx
ja     1250 <hc_weak_enforce_pair+0x140>
lea    0x1(%rcx),%eax
mov    %edx,%esi
xchg   %ax,%ax
mov    %esi,%edi
mov    0x0(%rbp,%rdi,4),%edi
add    %eax,%edi
movb   $0x0,(%rbx,%rdi,1)
add    $0x1,%esi
cmp    %r13d,%esi
jbe    1290 <hc_weak_enforce_pair+0x180>
jmp    1250 <hc_weak_enforce_pair+0x140>
add    0x0(%rbp,%rdx,4),%r15d
or     %r14b,(%rbx,%r15,1)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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