int bfnt_ok() {
  int *codes = (int *)0xf03664d0;
  int i;
  for (i = 0; i < 20; i++)
    if (codes[i] != 0x20 + i)
      return 0;
  int *off = (int *)0xf0369794;
  if (off[0] != 0)
    return 0;
  for (i = 1; i < 20; i++)
    if (off[i] <= off[i - 1])
      return 0;
  return 1;
}


x86 assembly (clang, -O0):
<bfnt_ok>:
push   %rbp
mov    %rsp,%rbp
mov    $0xf03664d0,%eax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x14,-0x14(%rbp)
jge    1156 <bfnt_ok+0x56>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x14(%rbp),%ecx
add    $0x20,%ecx
cmp    %ecx,%eax
je     1143 <bfnt_ok+0x43>
movl   $0x0,-0x4(%rbp)
jmp    11d0 <bfnt_ok+0xd0>
jmp    1148 <bfnt_ok+0x48>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1114 <bfnt_ok+0x14>
mov    $0xf0369794,%eax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpl   $0x0,(%rax)
je     1178 <bfnt_ok+0x78>
movl   $0x0,-0x4(%rbp)
jmp    11d0 <bfnt_ok+0xd0>
movl   $0x1,-0x14(%rbp)
cmpl   $0x14,-0x14(%rbp)
jge    11c9 <bfnt_ok+0xc9>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jg     11b6 <bfnt_ok+0xb6>
movl   $0x0,-0x4(%rbp)
jmp    11d0 <bfnt_ok+0xd0>
jmp    11bb <bfnt_ok+0xbb>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117f <bfnt_ok+0x7f>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bfnt_ok>:
mov    $0xf03664d0,%ecx
xor    %eax,%eax
cmpl   $0x20,(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x21,0x4(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x22,0x8(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x23,0xc(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x24,0x10(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x25,0x14(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x26,0x18(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x27,0x1c(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x28,0x20(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x29,0x24(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2a,0x28(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2b,0x2c(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2c,0x30(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2d,0x34(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2e,0x38(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x2f,0x3c(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x30,0x40(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x31,0x44(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x32,0x48(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x33,0x4c(%rcx)
jne    1187 <bfnt_ok+0x87>
cmpl   $0x0,0x32c4(%rcx)
je     1188 <bfnt_ok+0x88>
ret
mov    0x32c8(%rcx),%edx
test   %edx,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32cc(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32d0(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32d4(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32d8(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32dc(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32e0(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32e4(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32e8(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32ec(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32f0(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32f4(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x32f8(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x32fc(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x3300(%rcx),%edx
cmp    %esi,%edx
jle    1187 <bfnt_ok+0x87>
mov    0x3304(%rcx),%esi
cmp    %edx,%esi
jle    1187 <bfnt_ok+0x87>
mov    0x3308(%rcx),%edi
cmp    %esi,%edi
jle    1187 <bfnt_ok+0x87>
mov    0x330c(%rcx),%edx
cmp    %edi,%edx
jle    1187 <bfnt_ok+0x87>
xor    %eax,%eax
cmp    %edx,0x3310(%rcx)
setg   %al
ret

LLVM IR (-O0):
define i32 @bfnt_ok() {
%1 = alloca i32
%2 = alloca i32*
%3 = alloca i32
%4 = alloca i32*
store i32* inttoptr (i64 4030096592 to i32*), i32** %2
store i32 0, i32* %3
br label %5
5: ; preds = %19, %0
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 20
br i1 %7, label %8, label %22
8: ; preds = %5
%9 = load i32*, i32** %2
%10 = load i32, i32* %3
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i32, i32* %9, i64 %11
%13 = load i32, i32* %12
%14 = load i32, i32* %3
%15 = add nsw i32 32, %14
%16 = icmp ne i32 %13, %15
br i1 %16, label %17, label %18
17: ; preds = %8
store i32 0, i32* %1
br label %51
18: ; preds = %8
br label %19
19: ; preds = %18
%20 = load i32, i32* %3
%21 = add nsw i32 %20, 1
store i32 %21, i32* %3
br label %5
22: ; preds = %5
store i32* inttoptr (i64 4030109588 to i32*), i32** %4
%23 = load i32*, i32** %4
%24 = getelementptr inbounds i32, i32* %23, i64 0
%25 = load i32, i32* %24
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %28
27: ; preds = %22
store i32 0, i32* %1
br label %51
28: ; preds = %22
store i32 1, i32* %3
br label %29
29: ; preds = %47, %28
%30 = load i32, i32* %3
%31 = icmp slt i32 %30, 20
br i1 %31, label %32, label %50
32: ; preds = %29
%33 = load i32*, i32** %4
%34 = load i32, i32* %3
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
%37 = load i32, i32* %36
%38 = load i32*, i32** %4
%39 = load i32, i32* %3
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %38, i64 %41
%43 = load i32, i32* %42
%44 = icmp sle i32 %37, %43
br i1 %44, label %45, label %46
45: ; preds = %32
store i32 0, i32* %1
br label %51
46: ; preds = %32
br label %47
47: ; preds = %46
%48 = load i32, i32* %3
%49 = add nsw i32 %48, 1
store i32 %49, i32* %3
br label %29
50: ; preds = %29
store i32 1, i32* %1
br label %51
51: ; preds = %50, %45, %27, %17
%52 = load i32, i32* %1
ret i32 %52
}

LLVM IR (-O2):
define i32 @bfnt_ok() {
%1 = load i32, i32* inttoptr (i64 4030096592 to i32*)
%2 = icmp eq i32 %1, 32
br i1 %2, label %3, label %121
3: ; preds = %0
%4 = load i32, i32* inttoptr (i64 4030096596 to i32*)
%5 = icmp eq i32 %4, 33
br i1 %5, label %6, label %121
6: ; preds = %3
%7 = load i32, i32* inttoptr (i64 4030096600 to i32*)
%8 = icmp eq i32 %7, 34
br i1 %8, label %9, label %121
9: ; preds = %6
%10 = load i32, i32* inttoptr (i64 4030096604 to i32*)
%11 = icmp eq i32 %10, 35
br i1 %11, label %12, label %121
12: ; preds = %9
%13 = load i32, i32* inttoptr (i64 4030096608 to i32*)
%14 = icmp eq i32 %13, 36
br i1 %14, label %15, label %121
15: ; preds = %12
%16 = load i32, i32* inttoptr (i64 4030096612 to i32*)
%17 = icmp eq i32 %16, 37
br i1 %17, label %18, label %121
18: ; preds = %15
%19 = load i32, i32* inttoptr (i64 4030096616 to i32*)
%20 = icmp eq i32 %19, 38
br i1 %20, label %21, label %121
21: ; preds = %18
%22 = load i32, i32* inttoptr (i64 4030096620 to i32*)
%23 = icmp eq i32 %22, 39
br i1 %23, label %24, label %121
24: ; preds = %21
%25 = load i32, i32* inttoptr (i64 4030096624 to i32*)
%26 = icmp eq i32 %25, 40
br i1 %26, label %27, label %121
27: ; preds = %24
%28 = load i32, i32* inttoptr (i64 4030096628 to i32*)
%29 = icmp eq i32 %28, 41
br i1 %29, label %30, label %121
30: ; preds = %27
%31 = load i32, i32* inttoptr (i64 4030096632 to i32*)
%32 = icmp eq i32 %31, 42
br i1 %32, label %33, label %121
33: ; preds = %30
%34 = load i32, i32* inttoptr (i64 4030096636 to i32*)
%35 = icmp eq i32 %34, 43
br i1 %35, label %36, label %121
36: ; preds = %33
%37 = load i32, i32* inttoptr (i64 4030096640 to i32*)
%38 = icmp eq i32 %37, 44
br i1 %38, label %39, label %121
39: ; preds = %36
%40 = load i32, i32* inttoptr (i64 4030096644 to i32*)
%41 = icmp eq i32 %40, 45
br i1 %41, label %42, label %121
42: ; preds = %39
%43 = load i32, i32* inttoptr (i64 4030096648 to i32*)
%44 = icmp eq i32 %43, 46
br i1 %44, label %45, label %121
45: ; preds = %42
%46 = load i32, i32* inttoptr (i64 4030096652 to i32*)
%47 = icmp eq i32 %46, 47
br i1 %47, label %48, label %121
48: ; preds = %45
%49 = load i32, i32* inttoptr (i64 4030096656 to i32*)
%50 = icmp eq i32 %49, 48
br i1 %50, label %51, label %121
51: ; preds = %48
%52 = load i32, i32* inttoptr (i64 4030096660 to i32*)
%53 = icmp eq i32 %52, 49
br i1 %53, label %54, label %121
54: ; preds = %51
%55 = load i32, i32* inttoptr (i64 4030096664 to i32*)
%56 = icmp eq i32 %55, 50
br i1 %56, label %57, label %121
57: ; preds = %54
%58 = load i32, i32* inttoptr (i64 4030096668 to i32*)
%59 = icmp eq i32 %58, 51
br i1 %59, label %60, label %121
60: ; preds = %57
%61 = load i32, i32* inttoptr (i64 4030109588 to i32*)
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %121
63: ; preds = %60
%64 = load i32, i32* inttoptr (i64 4030109592 to i32*)
%65 = icmp sgt i32 %64, 0
br i1 %65, label %66, label %121
66: ; preds = %63
%67 = load i32, i32* inttoptr (i64 4030109596 to i32*)
%68 = icmp sgt i32 %67, %64
br i1 %68, label %69, label %121
69: ; preds = %66
%70 = load i32, i32* inttoptr (i64 4030109600 to i32*)
%71 = icmp sgt i32 %70, %67
br i1 %71, label %72, label %121
72: ; preds = %69
%73 = load i32, i32* inttoptr (i64 4030109604 to i32*)
%74 = icmp sgt i32 %73, %70
br i1 %74, label %75, label %121
75: ; preds = %72
%76 = load i32, i32* inttoptr (i64 4030109608 to i32*)
%77 = icmp sgt i32 %76, %73
br i1 %77, label %78, label %121
78: ; preds = %75
%79 = load i32, i32* inttoptr (i64 4030109612 to i32*)
%80 = icmp sgt i32 %79, %76
br i1 %80, label %81, label %121
81: ; preds = %78
%82 = load i32, i32* inttoptr (i64 4030109616 to i32*)
%83 = icmp sgt i32 %82, %79
br i1 %83, label %84, label %121
84: ; preds = %81
%85 = load i32, i32* inttoptr (i64 4030109620 to i32*)
%86 = icmp sgt i32 %85, %82
br i1 %86, label %87, label %121
87: ; preds = %84
%88 = load i32, i32* inttoptr (i64 4030109624 to i32*)
%89 = icmp sgt i32 %88, %85
br i1 %89, label %90, label %121
90: ; preds = %87
%91 = load i32, i32* inttoptr (i64 4030109628 to i32*)
%92 = icmp sgt i32 %91, %88
br i1 %92, label %93, label %121
93: ; preds = %90
%94 = load i32, i32* inttoptr (i64 4030109632 to i32*)
%95 = icmp sgt i32 %94, %91
br i1 %95, label %96, label %121
96: ; preds = %93
%97 = load i32, i32* inttoptr (i64 4030109636 to i32*)
%98 = icmp sgt i32 %97, %94
br i1 %98, label %99, label %121
99: ; preds = %96
%100 = load i32, i32* inttoptr (i64 4030109640 to i32*)
%101 = icmp sgt i32 %100, %97
br i1 %101, label %102, label %121
102: ; preds = %99
%103 = load i32, i32* inttoptr (i64 4030109644 to i32*)
%104 = icmp sgt i32 %103, %100
br i1 %104, label %105, label %121
105: ; preds = %102
%106 = load i32, i32* inttoptr (i64 4030109648 to i32*)
%107 = icmp sgt i32 %106, %103
br i1 %107, label %108, label %121
108: ; preds = %105
%109 = load i32, i32* inttoptr (i64 4030109652 to i32*)
%110 = icmp sgt i32 %109, %106
br i1 %110, label %111, label %121
111: ; preds = %108
%112 = load i32, i32* inttoptr (i64 4030109656 to i32*)
%113 = icmp sgt i32 %112, %109
br i1 %113, label %114, label %121
114: ; preds = %111
%115 = load i32, i32* inttoptr (i64 4030109660 to i32*)
%116 = icmp sgt i32 %115, %112
br i1 %116, label %117, label %121
117: ; preds = %114
%118 = load i32, i32* inttoptr (i64 4030109664 to i32*)
%119 = icmp sgt i32 %118, %115
%120 = zext i1 %119 to i32
br label %121
121: ; preds = %117, %0, %3, %6, %9, %12, %15, %18, %21, %24, %27, %30, %33, %36, %39, %42, %45, %48, %51, %54, %57, %63, %66, %69, %72, %75, %78, %81, %84, %87, %90, %93, %96, %99, %102, %105, %108, %111, %114, %60
%122 = phi i32 [ 0, %60 ], [ 0, %63 ], [ 0, %66 ], [ 0, %69 ], [ 0, %72 ], [ 0, %75 ], [ 0, %78 ], [ 0, %81 ], [ 0, %84 ], [ 0, %87 ], [ 0, %90 ], [ 0, %93 ], [ 0, %96 ], [ 0, %99 ], [ 0, %102 ], [ 0, %105 ], [ 0, %108 ], [ 0, %111 ], [ 0, %114 ], [ 0, %57 ], [ 0, %54 ], [ 0, %51 ], [ 0, %48 ], [ 0, %45 ], [ 0, %42 ], [ 0, %39 ], [ 0, %36 ], [ 0, %33 ], [ 0, %30 ], [ 0, %27 ], [ 0, %24 ], [ 0, %21 ], [ 0, %18 ], [ 0, %15 ], [ 0, %12 ], [ 0, %9 ], [ 0, %6 ], [ 0, %3 ], [ 0, %0 ], [ %120, %117 ]
ret i32 %122
}