#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 */
typedef struct TYPE_3__ TYPE_1__;

/* Type definitions */
struct TYPE_3__ {
  scalar_t__ class;
  unsigned long red_mask;
  unsigned long green_mask;
  unsigned long blue_mask;
  unsigned long colormap_size;
};
typedef TYPE_1__ XVisualInfo;
typedef int Status;
typedef int Atom;

/* Variables and functions */
scalar_t__ DirectColor;
scalar_t__ TrueColor;
#define XA_RGB_BEST_MAP 133
#define XA_RGB_BLUE_MAP 132
#define XA_RGB_DEFAULT_MAP 131
#define XA_RGB_GRAY_MAP 130
#define XA_RGB_GREEN_MAP 129
#define XA_RGB_RED_MAP 128
Status valid_args(XVisualInfo *vinfo, unsigned long red_max,
                  unsigned long green_max, unsigned long blue_max,
                  Atom property) {
  unsigned long ncolors;
  if ((vinfo->class == DirectColor) || (vinfo->class == TrueColor)) {
    unsigned long mask;
    mask = vinfo->red_mask;
    while (!(mask & 1))
      mask >>= 1;
    if (red_max > mask)
      return 0;
    mask = vinfo->green_mask;
    while (!(mask & 1))
      mask >>= 1;
    if (green_max > mask)
      return 0;
    mask = vinfo->blue_mask;
    while (!(mask & 1))
      mask >>= 1;
    if (blue_max > mask)
      return 0;
  } else if (property == XA_RGB_GRAY_MAP) {
    ncolors = red_max + green_max + blue_max + 1;
    if (ncolors > vinfo->colormap_size)
      return 0;
  } else {
    ncolors = (red_max + 1) * (green_max + 1) * (blue_max + 1);
    if (ncolors > vinfo->colormap_size)
      return 0;
  }
  switch (property) {
  case XA_RGB_DEFAULT_MAP:
    if (red_max == 0 || green_max == 0 || blue_max == 0)
      return 0;
    break;
  case XA_RGB_RED_MAP:
    if (red_max == 0)
      return 0;
    break;
  case XA_RGB_GREEN_MAP:
    if (green_max == 0)
      return 0;
    break;
  case XA_RGB_BLUE_MAP:
    if (blue_max == 0)
      return 0;
    break;
  case XA_RGB_BEST_MAP:
    if (red_max == 0 || green_max == 0 || blue_max == 0)
      return 0;
    break;
  case XA_RGB_GRAY_MAP:
    if (red_max == 0 || blue_max == 0 || green_max == 0)
      return 0;
    break;
  default:
    return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<valid_args>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2eca(%rip),%rcx
cmp    (%rcx),%rax
je     1146 <valid_args+0x46>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    0x2ea3(%rip),%rcx
cmp    (%rcx),%rax
jne    124a <valid_args+0x14a>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1170 <valid_args+0x70>
jmp    1181 <valid_args+0x81>
mov    -0x40(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1152 <valid_args+0x52>
mov    -0x18(%rbp),%rax
cmp    -0x40(%rbp),%rax
jbe    119b <valid_args+0x9b>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    11c5 <valid_args+0xc5>
jmp    11d6 <valid_args+0xd6>
mov    -0x40(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11a7 <valid_args+0xa7>
mov    -0x20(%rbp),%rax
cmp    -0x40(%rbp),%rax
jbe    11f0 <valid_args+0xf0>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    121a <valid_args+0x11a>
jmp    122b <valid_args+0x12b>
mov    -0x40(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11fc <valid_args+0xfc>
mov    -0x28(%rbp),%rax
cmp    -0x40(%rbp),%rax
jbe    1245 <valid_args+0x145>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    12da <valid_args+0x1da>
cmpl   $0x82,-0x2c(%rbp)
jne    128e <valid_args+0x18e>
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
add    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
cmp    0x20(%rcx),%rax
jbe    1289 <valid_args+0x189>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    12d5 <valid_args+0x1d5>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    -0x20(%rbp),%rcx
add    $0x1,%rcx
imul   %rcx,%rax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
imul   %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
cmp    0x20(%rcx),%rax
jbe    12d0 <valid_args+0x1d0>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    12d5 <valid_args+0x1d5>
jmp    12da <valid_args+0x1da>
mov    -0x2c(%rbp),%eax
add    $0xffffff80,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
sub    $0x5,%eax
ja     13ed <valid_args+0x2ed>
mov    -0x48(%rbp),%rax
lea    0xd06(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmpq   $0x0,-0x18(%rbp)
je     1324 <valid_args+0x224>
cmpq   $0x0,-0x20(%rbp)
je     1324 <valid_args+0x224>
cmpq   $0x0,-0x28(%rbp)
jne    1330 <valid_args+0x230>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
cmpq   $0x0,-0x18(%rbp)
jne    134c <valid_args+0x24c>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
cmpq   $0x0,-0x20(%rbp)
jne    1368 <valid_args+0x268>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
cmpq   $0x0,-0x28(%rbp)
jne    1384 <valid_args+0x284>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
cmpq   $0x0,-0x18(%rbp)
je     13aa <valid_args+0x2aa>
cmpq   $0x0,-0x20(%rbp)
je     13aa <valid_args+0x2aa>
cmpq   $0x0,-0x28(%rbp)
jne    13b6 <valid_args+0x2b6>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
cmpq   $0x0,-0x18(%rbp)
je     13dc <valid_args+0x2dc>
cmpq   $0x0,-0x28(%rbp)
je     13dc <valid_args+0x2dc>
cmpq   $0x0,-0x20(%rbp)
jne    13e8 <valid_args+0x2e8>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
jmp    13f9 <valid_args+0x2f9>
movl   $0x0,-0x4(%rbp)
jmp    1400 <valid_args+0x300>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid_args>:
mov    (%rdi),%r9
mov    0x2ee6(%rip),%rax
cmp    (%rax),%r9
je     1148 <valid_args+0x48>
mov    0x2eca(%rip),%rax
cmp    (%rax),%r9
je     1148 <valid_args+0x48>
lea    0x1(%rsi),%r9
cmp    $0x82,%r8d
jne    11a2 <valid_args+0xa2>
add    %rdx,%r9
add    %rcx,%r9
xor    %eax,%eax
cmp    0x20(%rdi),%r9
ja     11a1 <valid_args+0xa1>
xor    %eax,%eax
test   %rdx,%rdx
je     11a1 <valid_args+0xa1>
test   %rsi,%rsi
jne    11e0 <valid_args+0xe0>
jmp    11a1 <valid_args+0xa1>
mov    0x8(%rdi),%rax
nopl   0x0(%rax)
mov    %rax,%r9
shr    %rax
test   $0x1,%r9b
je     1150 <valid_args+0x50>
xor    %eax,%eax
cmp    %rsi,%r9
jb     11a1 <valid_args+0xa1>
mov    0x10(%rdi),%r9
nopw   0x0(%rax,%rax,1)
mov    %r9,%r10
shr    %r9
test   $0x1,%r10b
je     1170 <valid_args+0x70>
cmp    %rdx,%r10
jb     11a1 <valid_args+0xa1>
mov    0x18(%rdi),%rdi
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rdi,%r9
shr    %rdi
test   $0x1,%r9b
je     1190 <valid_args+0x90>
cmp    %rcx,%r9
jae    11ba <valid_args+0xba>
ret
lea    0x1(%rdx),%rax
imul   %r9,%rax
lea    0x1(%rcx),%r9
imul   %rax,%r9
xor    %eax,%eax
cmp    0x20(%rdi),%r9
ja     11a1 <valid_args+0xa1>
xor    %eax,%eax
add    $0xffffff80,%r8d
cmp    $0x5,%r8d
ja     11a1 <valid_args+0xa1>
lea    0xe33(%rip),%r9
movslq (%r9,%r8,4),%rdi
add    %r9,%rdi
jmp    *%rdi
test   %rsi,%rsi
je     11a1 <valid_args+0xa1>
test   %rdx,%rdx
je     11a1 <valid_args+0xa1>
test   %rcx,%rcx
je     11a1 <valid_args+0xa1>
mov    $0x1,%eax
ret
test   %rsi,%rsi
jne    11e5 <valid_args+0xe5>
jmp    11a1 <valid_args+0xa1>
test   %rdx,%rdx
jne    11e5 <valid_args+0xe5>
jmp    11a1 <valid_args+0xa1>

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

LLVM IR (-O2):
%struct.TYPE_3__ = type { i64, i64, i64, i64, i64 }
@DirectColor = global i64 0
@TrueColor = global i64 0
define i32 @valid_args(%struct.TYPE_3__* nocapture %0, i64 %1, i64 %2, i64 %3, i32 %4) {
%6 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 0
%7 = load i64, i64* %6
%8 = load i64, i64* @DirectColor
%9 = icmp eq i64 %7, %8
%10 = load i64, i64* @TrueColor
%11 = icmp eq i64 %7, %10
%12 = select i1 %9, i1 true, i1 %11
br i1 %12, label %13, label %43
13: ; preds = %5
%14 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 1
%15 = load i64, i64* %14
br label %16
16: ; preds = %16, %13
%17 = phi i64 [ %15, %13 ], [ %20, %16 ]
%18 = and i64 %17, 1
%19 = icmp eq i64 %18, 0
%20 = lshr i64 %17, 1
br i1 %19, label %16, label %21
21: ; preds = %16
%22 = icmp ult i64 %17, %1
br i1 %22, label %86, label %23
23: ; preds = %21
%24 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 2
%25 = load i64, i64* %24
br label %26
26: ; preds = %26, %23
%27 = phi i64 [ %25, %23 ], [ %30, %26 ]
%28 = and i64 %27, 1
%29 = icmp eq i64 %28, 0
%30 = lshr i64 %27, 1
br i1 %29, label %26, label %31
31: ; preds = %26
%32 = icmp ult i64 %27, %2
br i1 %32, label %86, label %33
33: ; preds = %31
%34 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 3
%35 = load i64, i64* %34
br label %36
36: ; preds = %36, %33
%37 = phi i64 [ %35, %33 ], [ %40, %36 ]
%38 = and i64 %37, 1
%39 = icmp eq i64 %38, 0
%40 = lshr i64 %37, 1
br i1 %39, label %36, label %41
41: ; preds = %36
%42 = icmp ult i64 %37, %3
br i1 %42, label %86, label %60
43: ; preds = %5
%44 = icmp eq i32 %4, 130
%45 = add i64 %1, 1
br i1 %44, label %46, label %52
46: ; preds = %43
%47 = add i64 %45, %2
%48 = add i64 %47, %3
%49 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 4
%50 = load i64, i64* %49
%51 = icmp ugt i64 %48, %50
br i1 %51, label %86, label %79
52: ; preds = %43
%53 = add i64 %2, 1
%54 = mul i64 %53, %45
%55 = add i64 %3, 1
%56 = mul i64 %54, %55
%57 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %0, i64 0, i32 4
%58 = load i64, i64* %57
%59 = icmp ugt i64 %56, %58
br i1 %59, label %86, label %60
60: ; preds = %52, %41
switch i32 %4, label %86 [
i32 131, label %61
i32 128, label %67
i32 129, label %69
i32 132, label %71
i32 133, label %73
i32 130, label %79
]
61: ; preds = %60
%62 = icmp eq i64 %1, 0
%63 = icmp eq i64 %2, 0
%64 = or i1 %62, %63
%65 = icmp eq i64 %3, 0
%66 = or i1 %64, %65
br i1 %66, label %86, label %85
67: ; preds = %60
%68 = icmp eq i64 %1, 0
br i1 %68, label %86, label %85
69: ; preds = %60
%70 = icmp eq i64 %2, 0
br i1 %70, label %86, label %85
71: ; preds = %60
%72 = icmp eq i64 %3, 0
br i1 %72, label %86, label %85
73: ; preds = %60
%74 = icmp eq i64 %1, 0
%75 = icmp eq i64 %2, 0
%76 = or i1 %74, %75
%77 = icmp eq i64 %3, 0
%78 = or i1 %76, %77
br i1 %78, label %86, label %85
79: ; preds = %46, %60
%80 = icmp eq i64 %1, 0
%81 = icmp eq i64 %3, 0
%82 = or i1 %80, %81
%83 = icmp eq i64 %2, 0
%84 = or i1 %83, %82
br i1 %84, label %86, label %85
85: ; preds = %79, %73, %71, %69, %67, %61
br label %86
86: ; preds = %31, %21, %60, %79, %73, %71, %69, %67, %61, %52, %46, %41, %85
%87 = phi i32 [ 1, %85 ], [ 0, %41 ], [ 0, %46 ], [ 0, %52 ], [ 0, %61 ], [ 0, %67 ], [ 0, %69 ], [ 0, %71 ], [ 0, %73 ], [ 0, %79 ], [ 0, %60 ], [ 0, %21 ], [ 0, %31 ]
ret i32 %87
}