#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*/ abort();
void test_reductions_bool(void) {
  const int n = 1000;
  int i;
  int array[n];
  int cmp_val;
  for (i = 0; i < n; i++)
    array[i] = i;
  cmp_val = 5;
  {
    bool res, vres;
    res = (true);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(&& : res)
    for (i = 0; i < n; i++)
      res = res && ((cmp_val > array[i]));
    vres = (true);
    for (i = 0; i < n; i++)
      vres = vres && ((cmp_val > array[i]));
    if (res != vres)
      abort();
  };
  {
    bool res, vres;
    res = (false);
#pragma acc parallel vector_length(vl) copy(res)

#pragma acc loop reduction(|| : res)
    for (i = 0; i < n; i++)
      res = res || ((cmp_val > array[i]));
    vres = (false);
    for (i = 0; i < n; i++)
      vres = vres || ((cmp_val > array[i]));
    if (res != vres)
      abort();
  };
}


x86 assembly (clang, -O0):
<test_reductions_bool>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfe0,%rsp
movl   $0x3e8,-0x4(%rbp)
mov    %rsp,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1159 <test_reductions_bool+0x49>
mov    -0x8(%rbp),%ecx
movslq -0x8(%rbp),%rax
mov    %ecx,-0xfd0(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1130 <test_reductions_bool+0x20>
movl   $0x5,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    11c0 <test_reductions_bool+0xb0>
xor    %eax,%eax
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0xfd1(%rbp)
je     11a4 <test_reductions_bool+0x94>
mov    -0x14(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfd0(%rbp,%rcx,4),%eax
setg   %al
mov    %al,-0xfd1(%rbp)
mov    -0xfd1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    116e <test_reductions_bool+0x5e>
movl   $0x1,-0x1c(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1220 <test_reductions_bool+0x110>
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0xfd2(%rbp)
je     1204 <test_reductions_bool+0xf4>
mov    -0x14(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfd0(%rbp,%rcx,4),%eax
setg   %al
mov    %al,-0xfd2(%rbp)
mov    -0xfd2(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11ce <test_reductions_bool+0xbe>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1233 <test_reductions_bool+0x123>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    1293 <test_reductions_bool+0x183>
mov    $0x1,%al
cmpl   $0x0,-0x20(%rbp)
mov    %al,-0xfd3(%rbp)
jne    1277 <test_reductions_bool+0x167>
mov    -0x14(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfd0(%rbp,%rcx,4),%eax
setg   %al
mov    %al,-0xfd3(%rbp)
mov    -0xfd3(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1241 <test_reductions_bool+0x131>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jge    12f3 <test_reductions_bool+0x1e3>
mov    $0x1,%al
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0xfd4(%rbp)
jne    12d7 <test_reductions_bool+0x1c7>
mov    -0x14(%rbp),%eax
movslq -0x8(%rbp),%rcx
cmp    -0xfd0(%rbp,%rcx,4),%eax
setg   %al
mov    %al,-0xfd4(%rbp)
mov    -0xfd4(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12a1 <test_reductions_bool+0x191>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
je     1306 <test_reductions_bool+0x1f6>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x10(%rbp),%rax
mov    %rax,%rsp
add    $0xfe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_reductions_bool>:
sub    $0xfa8,%rsp
movdqa 0xee1(%rip),%xmm0
xor    %eax,%eax
movdqa 0xee6(%rip),%xmm8
movdqa 0xeed(%rip),%xmm9
movdqa 0xef4(%rip),%xmm10
movdqa 0xefb(%rip),%xmm11
movdqa 0xf02(%rip),%xmm12
movdqa 0xf0a(%rip),%xmm6
movdqa 0xf12(%rip),%xmm7
movdqa 0xf1a(%rip),%xmm1
movdqa 0xf22(%rip),%xmm2
movdqa 0xf2a(%rip),%xmm3
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm0,%xmm4
paddd  %xmm8,%xmm4
movdqa %xmm0,(%rsp,%rax,4)
movdqa %xmm4,0x10(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm10,%xmm5
movdqa %xmm4,0x20(%rsp,%rax,4)
movdqa %xmm5,0x30(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm11,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm12,%xmm5
movdqa %xmm4,0x40(%rsp,%rax,4)
movdqa %xmm5,0x50(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm6,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm7,%xmm5
movdqa %xmm4,0x60(%rsp,%rax,4)
movdqa %xmm5,0x70(%rsp,%rax,4)
movdqa %xmm0,%xmm4
paddd  %xmm1,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm4,0x80(%rsp,%rax,4)
movdqa %xmm5,0x90(%rsp,%rax,4)
add    $0x28,%rax
paddd  %xmm3,%xmm0
cmp    $0x3e8,%rax
jne    1180 <test_reductions_bool+0x70>
mov    $0x1,%eax
mov    $0x1,%ecx
jmp    1242 <test_reductions_bool+0x132>
xchg   %ax,%ax
xor    %eax,%eax
movzbl %al,%eax
add    $0x2,%rcx
cmp    $0x3e9,%rcx
je     1256 <test_reductions_bool+0x146>
test   %eax,%eax
je     1230 <test_reductions_bool+0x120>
cmpl   $0x4,-0x4(%rsp,%rcx,4)
jg     1230 <test_reductions_bool+0x120>
cmpl   $0x5,(%rsp,%rcx,4)
setl   %al
jmp    1232 <test_reductions_bool+0x122>
mov    $0x1,%edx
mov    $0x1,%ecx
jmp    1282 <test_reductions_bool+0x172>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %edx,%edx
movzbl %dl,%edx
add    $0x2,%rcx
cmp    $0x3e9,%rcx
je     1296 <test_reductions_bool+0x186>
test   %edx,%edx
je     1270 <test_reductions_bool+0x160>
cmpl   $0x4,-0x4(%rsp,%rcx,4)
jg     1270 <test_reductions_bool+0x160>
cmpl   $0x5,(%rsp,%rcx,4)
setl   %dl
jmp    1272 <test_reductions_bool+0x162>
xor    %edx,%eax
jne    1312 <test_reductions_bool+0x202>
xor    %edx,%edx
mov    $0x1,%ecx
jmp    12c0 <test_reductions_bool+0x1b0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl %al,%edx
add    $0x2,%rcx
cmp    $0x3e9,%rcx
je     12d6 <test_reductions_bool+0x1c6>
mov    $0x1,%al
test   %edx,%edx
jne    12b0 <test_reductions_bool+0x1a0>
cmpl   $0x5,-0x4(%rsp,%rcx,4)
jl     12b0 <test_reductions_bool+0x1a0>
cmpl   $0x5,(%rsp,%rcx,4)
setl   %al
jmp    12b0 <test_reductions_bool+0x1a0>
xor    %esi,%esi
mov    $0x1,%ecx
jmp    12f0 <test_reductions_bool+0x1e0>
nop
movzbl %dl,%esi
add    $0x2,%rcx
cmp    $0x3e9,%rcx
je     1306 <test_reductions_bool+0x1f6>
mov    $0x1,%dl
test   %esi,%esi
jne    12e0 <test_reductions_bool+0x1d0>
cmpl   $0x5,-0x4(%rsp,%rcx,4)
jl     12e0 <test_reductions_bool+0x1d0>
cmpl   $0x5,(%rsp,%rcx,4)
setl   %dl
jmp    12e0 <test_reductions_bool+0x1d0>
cmp    %dl,%al
jne    1312 <test_reductions_bool+0x202>
add    $0xfa8,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

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