#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();
__attribute__((no, noclone)) void foo(int *p, int *q, int *r, int n, int m) {
  int i, err, *s = r;
  int sep = 1;
#pragma omp target map(to : sep)
  sep = 0;
#pragma omp target data map(to : p [0:8])
  {
#pragma omp target map(alloc                                                   \
                       : p[:0]) map(to                                         \
                                    : q[:0]) map(from                          \
                                                 : r[:0]) private(i)           \
    map(from                                                                   \
        : err) firstprivate(s)
    {
      err = 0;
      for (i = 0; i < 8; i++)
        if (p[i] != i + 1)
          err = 1;
      if (sep) {
        if (q != (int *)0 || r != (int *)0)
          err = 1;
      } else if (p + 8 != q || r != s)
        err = 1;
    }
    if (err)
      abort();
#pragma omp target private(i) map(from : err) firstprivate(s)
    {
      err = 0;
      for (i = 0; i < 8; i++)
        if (p[i] != i + 1)
          err = 1;
      if (sep) {
        if (q != (int *)0 || r != (int *)0)
          err = 1;
      } else if (p + 8 != q || r != s)
        err = 1;
    }
    if (err)
      abort();
#pragma omp target map(p[:n]) map(tofrom                                       \
                                  : q[:n]) map(alloc                           \
                                               : r[:n]) private(i) map(from    \
                                                                       : err)  \
    firstprivate(s)
    {
      err = 0;
      for (i = 0; i < 8; i++)
        if (p[i] != i + 1)
          err = 1;
      if (sep) {
        if (q != (int *)0 || r != (int *)0)
          err = 1;
      } else if (p + 8 != q || r != s)
        err = 1;
    }
    if (err)
      abort();
#pragma omp target map(p[:m]) map(tofrom                                       \
                                  : q[:m]) map(to                              \
                                               : r[:m]) private(i) map(from    \
                                                                       : err)
    {
      err = 0;
      for (i = 0; i < 8; i++)
        if (p[i] != i + 1)
          err = 1;
      if (q[0] != 9 || r[0] != 10)
        err = 1;
    }
    if (err)
      abort();
#pragma omp target data map(to : q [0:1])
    {
#pragma omp target map(to                                                      \
                       : p[:0]) map(from                                       \
                                    : q[:0]) map(tofrom                        \
                                                 : r[:0]) private(i)           \
    map(from                                                                   \
        : err)
      {
        err = 0;
        for (i = 0; i < 8; i++)
          if (p[i] != i + 1)
            err = 1;
        if (q[0] != 9)
          err = 1;
        else if (sep) {
          if (r != (int *)0)
            err = 1;
        } else if (r != q + 1)
          err = 1;
      }
      if (err)
        abort();
#pragma omp target private(i) map(from : err)
      {
        err = 0;
        for (i = 0; i < 8; i++)
          if (p[i] != i + 1)
            err = 1;
        if (q[0] != 9)
          err = 1;
        else if (sep) {
          if (r != (int *)0)
            err = 1;
        } else if (r != q + 1)
          err = 1;
      }
      if (err)
        abort();
#pragma omp target map(p[:n]) map(alloc                                        \
                                  : q[:n]) map(from                            \
                                               : r[:n]) private(i) map(from    \
                                                                       : err)
      {
        err = 0;
        for (i = 0; i < 8; i++)
          if (p[i] != i + 1)
            err = 1;
        if (q[0] != 9)
          err = 1;
        else if (sep) {
          if (r != (int *)0)
            err = 1;
        } else if (r != q + 1)
          err = 1;
      }
      if (err)
        abort();
#pragma omp target map(p[:m]) map(alloc                                        \
                                  : q[:m]) map(tofrom                          \
                                               : r[:m]) private(i) map(from    \
                                                                       : err)
      {
        err = 0;
        for (i = 0; i < 8; i++)
          if (p[i] != i + 1)
            err = 1;
        if (q[0] != 9 || r[0] != 10)
          err = 1;
      }
      if (err)
        abort();
    }
  }
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    118c <foo+0x7c>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     1179 <foo+0x69>
movl   $0x1,-0x28(%rbp)
jmp    117e <foo+0x6e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114f <foo+0x3f>
cmpl   $0x0,-0x34(%rbp)
je     11b8 <foo+0xa8>
cmpq   $0x0,-0x10(%rbp)
jne    11ac <foo+0x9c>
cmpq   $0x0,-0x18(%rbp)
je     11b3 <foo+0xa3>
movl   $0x1,-0x28(%rbp)
jmp    11e4 <foo+0xd4>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
cmp    -0x10(%rbp),%rax
jne    11d8 <foo+0xc8>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     11df <foo+0xcf>
movl   $0x1,-0x28(%rbp)
jmp    11e4 <foo+0xd4>
cmpl   $0x0,-0x28(%rbp)
je     11f5 <foo+0xe5>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    1240 <foo+0x130>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     122d <foo+0x11d>
movl   $0x1,-0x28(%rbp)
jmp    1232 <foo+0x122>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1203 <foo+0xf3>
cmpl   $0x0,-0x34(%rbp)
je     126c <foo+0x15c>
cmpq   $0x0,-0x10(%rbp)
jne    1260 <foo+0x150>
cmpq   $0x0,-0x18(%rbp)
je     1267 <foo+0x157>
movl   $0x1,-0x28(%rbp)
jmp    1298 <foo+0x188>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
cmp    -0x10(%rbp),%rax
jne    128c <foo+0x17c>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     1293 <foo+0x183>
movl   $0x1,-0x28(%rbp)
jmp    1298 <foo+0x188>
cmpl   $0x0,-0x28(%rbp)
je     12a9 <foo+0x199>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    12f4 <foo+0x1e4>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     12e1 <foo+0x1d1>
movl   $0x1,-0x28(%rbp)
jmp    12e6 <foo+0x1d6>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12b7 <foo+0x1a7>
cmpl   $0x0,-0x34(%rbp)
je     1320 <foo+0x210>
cmpq   $0x0,-0x10(%rbp)
jne    1314 <foo+0x204>
cmpq   $0x0,-0x18(%rbp)
je     131b <foo+0x20b>
movl   $0x1,-0x28(%rbp)
jmp    134c <foo+0x23c>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
cmp    -0x10(%rbp),%rax
jne    1340 <foo+0x230>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     1347 <foo+0x237>
movl   $0x1,-0x28(%rbp)
jmp    134c <foo+0x23c>
cmpl   $0x0,-0x28(%rbp)
je     135d <foo+0x24d>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    13a8 <foo+0x298>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     1395 <foo+0x285>
movl   $0x1,-0x28(%rbp)
jmp    139a <foo+0x28a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    136b <foo+0x25b>
mov    -0x10(%rbp),%rax
cmpl   $0x9,(%rax)
jne    13c2 <foo+0x2b2>
mov    -0x18(%rbp),%rax
cmpl   $0xa,(%rax)
je     13c9 <foo+0x2b9>
movl   $0x1,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     13da <foo+0x2ca>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    1425 <foo+0x315>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     1412 <foo+0x302>
movl   $0x1,-0x28(%rbp)
jmp    1417 <foo+0x307>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13e8 <foo+0x2d8>
mov    -0x10(%rbp),%rax
cmpl   $0x9,(%rax)
je     143e <foo+0x32e>
movl   $0x1,-0x28(%rbp)
jmp    1485 <foo+0x375>
cmpl   $0x0,-0x34(%rbp)
je     145f <foo+0x34f>
cmpq   $0x0,-0x18(%rbp)
je     145a <foo+0x34a>
movl   $0x1,-0x28(%rbp)
jmp    1480 <foo+0x370>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    $0x4,%rcx
cmp    %rcx,%rax
je     147b <foo+0x36b>
movl   $0x1,-0x28(%rbp)
jmp    1480 <foo+0x370>
jmp    1485 <foo+0x375>
cmpl   $0x0,-0x28(%rbp)
je     1496 <foo+0x386>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    14e1 <foo+0x3d1>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     14ce <foo+0x3be>
movl   $0x1,-0x28(%rbp)
jmp    14d3 <foo+0x3c3>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    14a4 <foo+0x394>
mov    -0x10(%rbp),%rax
cmpl   $0x9,(%rax)
je     14fa <foo+0x3ea>
movl   $0x1,-0x28(%rbp)
jmp    1541 <foo+0x431>
cmpl   $0x0,-0x34(%rbp)
je     151b <foo+0x40b>
cmpq   $0x0,-0x18(%rbp)
je     1516 <foo+0x406>
movl   $0x1,-0x28(%rbp)
jmp    153c <foo+0x42c>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    $0x4,%rcx
cmp    %rcx,%rax
je     1537 <foo+0x427>
movl   $0x1,-0x28(%rbp)
jmp    153c <foo+0x42c>
jmp    1541 <foo+0x431>
cmpl   $0x0,-0x28(%rbp)
je     1552 <foo+0x442>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    159d <foo+0x48d>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     158a <foo+0x47a>
movl   $0x1,-0x28(%rbp)
jmp    158f <foo+0x47f>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1560 <foo+0x450>
mov    -0x10(%rbp),%rax
cmpl   $0x9,(%rax)
je     15b6 <foo+0x4a6>
movl   $0x1,-0x28(%rbp)
jmp    15fd <foo+0x4ed>
cmpl   $0x0,-0x34(%rbp)
je     15d7 <foo+0x4c7>
cmpq   $0x0,-0x18(%rbp)
je     15d2 <foo+0x4c2>
movl   $0x1,-0x28(%rbp)
jmp    15f8 <foo+0x4e8>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    $0x4,%rcx
cmp    %rcx,%rax
je     15f3 <foo+0x4e3>
movl   $0x1,-0x28(%rbp)
jmp    15f8 <foo+0x4e8>
jmp    15fd <foo+0x4ed>
cmpl   $0x0,-0x28(%rbp)
je     160e <foo+0x4fe>
mov    $0x0,%al
call   1030 <abort@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    1659 <foo+0x549>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     1646 <foo+0x536>
movl   $0x1,-0x28(%rbp)
jmp    164b <foo+0x53b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    161c <foo+0x50c>
mov    -0x10(%rbp),%rax
cmpl   $0x9,(%rax)
jne    1673 <foo+0x563>
mov    -0x18(%rbp),%rax
cmpl   $0xa,(%rax)
je     167a <foo+0x56a>
movl   $0x1,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     168b <foo+0x57b>
mov    $0x0,%al
call   1030 <abort@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rax
lea    0x20(%rdi),%rax
cmp    %rsi,%rax
jne    119e <foo+0x8e>
movdqu (%rdi),%xmm0
movdqu 0x10(%rdi),%xmm1
pcmpeqd 0xed1(%rip),%xmm1
pcmpeqd 0xed9(%rip),%xmm0
packssdw %xmm1,%xmm0
packsswb %xmm0,%xmm0
pmovmskb %xmm0,%eax
mov    %eax,%ecx
shr    $0x7,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x40,%cl
shr    $0x6,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x20,%cl
shr    $0x5,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x10,%cl
shr    $0x4,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x8,%cl
shr    $0x3,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x4,%cl
shr    $0x2,%cl
je     119e <foo+0x8e>
mov    %eax,%ecx
and    $0x2,%cl
shr    %cl
je     119e <foo+0x8e>
test   $0x1,%al
je     119e <foo+0x8e>
cmpl   $0x9,(%rsi)
jne    119e <foo+0x8e>
cmpl   $0xa,(%rdx)
jne    119e <foo+0x8e>
add    $0x4,%rsi
cmp    %rdx,%rsi
jne    119e <foo+0x8e>
pop    %rax
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define void @foo(i32* %0, i32* %1, i32* %2, i32 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32*
%14 = alloca i32
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%15 = load i32*, i32** %8
store i32* %15, i32** %13
store i32 1, i32* %14
store i32 0, i32* %14
store i32 0, i32* %12
store i32 0, i32* %11
br label %16
16: ; preds = %30, %5
%17 = load i32, i32* %11
%18 = icmp slt i32 %17, 8
br i1 %18, label %19, label %33
19: ; preds = %16
%20 = load i32*, i32** %6
%21 = load i32, i32* %11
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
%24 = load i32, i32* %23
%25 = load i32, i32* %11
%26 = add nsw i32 %25, 1
%27 = icmp ne i32 %24, %26
br i1 %27, label %28, label %29
28: ; preds = %19
store i32 1, i32* %12
br label %29
29: ; preds = %28, %19
br label %30
30: ; preds = %29
%31 = load i32, i32* %11
%32 = add nsw i32 %31, 1
store i32 %32, i32* %11
br label %16
33: ; preds = %16
%34 = load i32, i32* %14
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %44
36: ; preds = %33
%37 = load i32*, i32** %7
%38 = icmp ne i32* %37, null
br i1 %38, label %42, label %39
39: ; preds = %36
%40 = load i32*, i32** %8
%41 = icmp ne i32* %40, null
br i1 %41, label %42, label %43
42: ; preds = %39, %36
store i32 1, i32* %12
br label %43
43: ; preds = %42, %39
br label %55
44: ; preds = %33
%45 = load i32*, i32** %6
%46 = getelementptr inbounds i32, i32* %45, i64 8
%47 = load i32*, i32** %7
%48 = icmp ne i32* %46, %47
br i1 %48, label %53, label %49
49: ; preds = %44
%50 = load i32*, i32** %8
%51 = load i32*, i32** %13
%52 = icmp ne i32* %50, %51
br i1 %52, label %53, label %54
53: ; preds = %49, %44
store i32 1, i32* %12
br label %54
54: ; preds = %53, %49
br label %55
55: ; preds = %54, %43
%56 = load i32, i32* %12
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %60
58: ; preds = %55
%59 = call i32 (...) @abort()
unreachable
60: ; preds = %55
store i32 0, i32* %12
store i32 0, i32* %11
br label %61
61: ; preds = %75, %60
%62 = load i32, i32* %11
%63 = icmp slt i32 %62, 8
br i1 %63, label %64, label %78
64: ; preds = %61
%65 = load i32*, i32** %6
%66 = load i32, i32* %11
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i32, i32* %65, i64 %67
%69 = load i32, i32* %68
%70 = load i32, i32* %11
%71 = add nsw i32 %70, 1
%72 = icmp ne i32 %69, %71
br i1 %72, label %73, label %74
73: ; preds = %64
store i32 1, i32* %12
br label %74
74: ; preds = %73, %64
br label %75
75: ; preds = %74
%76 = load i32, i32* %11
%77 = add nsw i32 %76, 1
store i32 %77, i32* %11
br label %61
78: ; preds = %61
%79 = load i32, i32* %14
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %89
81: ; preds = %78
%82 = load i32*, i32** %7
%83 = icmp ne i32* %82, null
br i1 %83, label %87, label %84
84: ; preds = %81
%85 = load i32*, i32** %8
%86 = icmp ne i32* %85, null
br i1 %86, label %87, label %88
87: ; preds = %84, %81
store i32 1, i32* %12
br label %88
88: ; preds = %87, %84
br label %100
89: ; preds = %78
%90 = load i32*, i32** %6
%91 = getelementptr inbounds i32, i32* %90, i64 8
%92 = load i32*, i32** %7
%93 = icmp ne i32* %91, %92
br i1 %93, label %98, label %94
94: ; preds = %89
%95 = load i32*, i32** %8
%96 = load i32*, i32** %13
%97 = icmp ne i32* %95, %96
br i1 %97, label %98, label %99
98: ; preds = %94, %89
store i32 1, i32* %12
br label %99
99: ; preds = %98, %94
br label %100
100: ; preds = %99, %88
%101 = load i32, i32* %12
%102 = icmp ne i32 %101, 0
br i1 %102, label %103, label %105
103: ; preds = %100
%104 = call i32 (...) @abort()
unreachable
105: ; preds = %100
store i32 0, i32* %12
store i32 0, i32* %11
br label %106
106: ; preds = %120, %105
%107 = load i32, i32* %11
%108 = icmp slt i32 %107, 8
br i1 %108, label %109, label %123
109: ; preds = %106
%110 = load i32*, i32** %6
%111 = load i32, i32* %11
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %110, i64 %112
%114 = load i32, i32* %113
%115 = load i32, i32* %11
%116 = add nsw i32 %115, 1
%117 = icmp ne i32 %114, %116
br i1 %117, label %118, label %119
118: ; preds = %109
store i32 1, i32* %12
br label %119
119: ; preds = %118, %109
br label %120
120: ; preds = %119
%121 = load i32, i32* %11
%122 = add nsw i32 %121, 1
store i32 %122, i32* %11
br label %106
123: ; preds = %106
%124 = load i32, i32* %14
%125 = icmp ne i32 %124, 0
br i1 %125, label %126, label %134
126: ; preds = %123
%127 = load i32*, i32** %7
%128 = icmp ne i32* %127, null
br i1 %128, label %132, label %129
129: ; preds = %126
%130 = load i32*, i32** %8
%131 = icmp ne i32* %130, null
br i1 %131, label %132, label %133
132: ; preds = %129, %126
store i32 1, i32* %12
br label %133
133: ; preds = %132, %129
br label %145
134: ; preds = %123
%135 = load i32*, i32** %6
%136 = getelementptr inbounds i32, i32* %135, i64 8
%137 = load i32*, i32** %7
%138 = icmp ne i32* %136, %137
br i1 %138, label %143, label %139
139: ; preds = %134
%140 = load i32*, i32** %8
%141 = load i32*, i32** %13
%142 = icmp ne i32* %140, %141
br i1 %142, label %143, label %144
143: ; preds = %139, %134
store i32 1, i32* %12
br label %144
144: ; preds = %143, %139
br label %145
145: ; preds = %144, %133
%146 = load i32, i32* %12
%147 = icmp ne i32 %146, 0
br i1 %147, label %148, label %150
148: ; preds = %145
%149 = call i32 (...) @abort()
unreachable
150: ; preds = %145
store i32 0, i32* %12
store i32 0, i32* %11
br label %151
151: ; preds = %165, %150
%152 = load i32, i32* %11
%153 = icmp slt i32 %152, 8
br i1 %153, label %154, label %168
154: ; preds = %151
%155 = load i32*, i32** %6
%156 = load i32, i32* %11
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds i32, i32* %155, i64 %157
%159 = load i32, i32* %158
%160 = load i32, i32* %11
%161 = add nsw i32 %160, 1
%162 = icmp ne i32 %159, %161
br i1 %162, label %163, label %164
163: ; preds = %154
store i32 1, i32* %12
br label %164
164: ; preds = %163, %154
br label %165
165: ; preds = %164
%166 = load i32, i32* %11
%167 = add nsw i32 %166, 1
store i32 %167, i32* %11
br label %151
168: ; preds = %151
%169 = load i32*, i32** %7
%170 = getelementptr inbounds i32, i32* %169, i64 0
%171 = load i32, i32* %170
%172 = icmp ne i32 %171, 9
br i1 %172, label %178, label %173
173: ; preds = %168
%174 = load i32*, i32** %8
%175 = getelementptr inbounds i32, i32* %174, i64 0
%176 = load i32, i32* %175
%177 = icmp ne i32 %176, 10
br i1 %177, label %178, label %179
178: ; preds = %173, %168
store i32 1, i32* %12
br label %179
179: ; preds = %178, %173
%180 = load i32, i32* %12
%181 = icmp ne i32 %180, 0
br i1 %181, label %182, label %184
182: ; preds = %179
%183 = call i32 (...) @abort()
unreachable
184: ; preds = %179
store i32 0, i32* %12
store i32 0, i32* %11
br label %185
185: ; preds = %199, %184
%186 = load i32, i32* %11
%187 = icmp slt i32 %186, 8
br i1 %187, label %188, label %202
188: ; preds = %185
%189 = load i32*, i32** %6
%190 = load i32, i32* %11
%191 = sext i32 %190 to i64
%192 = getelementptr inbounds i32, i32* %189, i64 %191
%193 = load i32, i32* %192
%194 = load i32, i32* %11
%195 = add nsw i32 %194, 1
%196 = icmp ne i32 %193, %195
br i1 %196, label %197, label %198
197: ; preds = %188
store i32 1, i32* %12
br label %198
198: ; preds = %197, %188
br label %199
199: ; preds = %198
%200 = load i32, i32* %11
%201 = add nsw i32 %200, 1
store i32 %201, i32* %11
br label %185
202: ; preds = %185
%203 = load i32*, i32** %7
%204 = getelementptr inbounds i32, i32* %203, i64 0
%205 = load i32, i32* %204
%206 = icmp ne i32 %205, 9
br i1 %206, label %207, label %208
207: ; preds = %202
store i32 1, i32* %12
br label %224
208: ; preds = %202
%209 = load i32, i32* %14
%210 = icmp ne i32 %209, 0
br i1 %210, label %211, label %216
211: ; preds = %208
%212 = load i32*, i32** %8
%213 = icmp ne i32* %212, null
br i1 %213, label %214, label %215
214: ; preds = %211
store i32 1, i32* %12
br label %215
215: ; preds = %214, %211
br label %223
216: ; preds = %208
%217 = load i32*, i32** %8
%218 = load i32*, i32** %7
%219 = getelementptr inbounds i32, i32* %218, i64 1
%220 = icmp ne i32* %217, %219
br i1 %220, label %221, label %222
221: ; preds = %216
store i32 1, i32* %12
br label %222
222: ; preds = %221, %216
br label %223
223: ; preds = %222, %215
br label %224
224: ; preds = %223, %207
%225 = load i32, i32* %12
%226 = icmp ne i32 %225, 0
br i1 %226, label %227, label %229
227: ; preds = %224
%228 = call i32 (...) @abort()
unreachable
229: ; preds = %224
store i32 0, i32* %12
store i32 0, i32* %11
br label %230
230: ; preds = %244, %229
%231 = load i32, i32* %11
%232 = icmp slt i32 %231, 8
br i1 %232, label %233, label %247
233: ; preds = %230
%234 = load i32*, i32** %6
%235 = load i32, i32* %11
%236 = sext i32 %235 to i64
%237 = getelementptr inbounds i32, i32* %234, i64 %236
%238 = load i32, i32* %237
%239 = load i32, i32* %11
%240 = add nsw i32 %239, 1
%241 = icmp ne i32 %238, %240
br i1 %241, label %242, label %243
242: ; preds = %233
store i32 1, i32* %12
br label %243
243: ; preds = %242, %233
br label %244
244: ; preds = %243
%245 = load i32, i32* %11
%246 = add nsw i32 %245, 1
store i32 %246, i32* %11
br label %230
247: ; preds = %230
%248 = load i32*, i32** %7
%249 = getelementptr inbounds i32, i32* %248, i64 0
%250 = load i32, i32* %249
%251 = icmp ne i32 %250, 9
br i1 %251, label %252, label %253
252: ; preds = %247
store i32 1, i32* %12
br label %269
253: ; preds = %247
%254 = load i32, i32* %14
%255 = icmp ne i32 %254, 0
br i1 %255, label %256, label %261
256: ; preds = %253
%257 = load i32*, i32** %8
%258 = icmp ne i32* %257, null
br i1 %258, label %259, label %260
259: ; preds = %256
store i32 1, i32* %12
br label %260
260: ; preds = %259, %256
br label %268
261: ; preds = %253
%262 = load i32*, i32** %8
%263 = load i32*, i32** %7
%264 = getelementptr inbounds i32, i32* %263, i64 1
%265 = icmp ne i32* %262, %264
br i1 %265, label %266, label %267
266: ; preds = %261
store i32 1, i32* %12
br label %267
267: ; preds = %266, %261
br label %268
268: ; preds = %267, %260
br label %269
269: ; preds = %268, %252
%270 = load i32, i32* %12
%271 = icmp ne i32 %270, 0
br i1 %271, label %272, label %274
272: ; preds = %269
%273 = call i32 (...) @abort()
unreachable
274: ; preds = %269
store i32 0, i32* %12
store i32 0, i32* %11
br label %275
275: ; preds = %289, %274
%276 = load i32, i32* %11
%277 = icmp slt i32 %276, 8
br i1 %277, label %278, label %292
278: ; preds = %275
%279 = load i32*, i32** %6
%280 = load i32, i32* %11
%281 = sext i32 %280 to i64
%282 = getelementptr inbounds i32, i32* %279, i64 %281
%283 = load i32, i32* %282
%284 = load i32, i32* %11
%285 = add nsw i32 %284, 1
%286 = icmp ne i32 %283, %285
br i1 %286, label %287, label %288
287: ; preds = %278
store i32 1, i32* %12
br label %288
288: ; preds = %287, %278
br label %289
289: ; preds = %288
%290 = load i32, i32* %11
%291 = add nsw i32 %290, 1
store i32 %291, i32* %11
br label %275
292: ; preds = %275
%293 = load i32*, i32** %7
%294 = getelementptr inbounds i32, i32* %293, i64 0
%295 = load i32, i32* %294
%296 = icmp ne i32 %295, 9
br i1 %296, label %297, label %298
297: ; preds = %292
store i32 1, i32* %12
br label %314
298: ; preds = %292
%299 = load i32, i32* %14
%300 = icmp ne i32 %299, 0
br i1 %300, label %301, label %306
301: ; preds = %298
%302 = load i32*, i32** %8
%303 = icmp ne i32* %302, null
br i1 %303, label %304, label %305
304: ; preds = %301
store i32 1, i32* %12
br label %305
305: ; preds = %304, %301
br label %313
306: ; preds = %298
%307 = load i32*, i32** %8
%308 = load i32*, i32** %7
%309 = getelementptr inbounds i32, i32* %308, i64 1
%310 = icmp ne i32* %307, %309
br i1 %310, label %311, label %312
311: ; preds = %306
store i32 1, i32* %12
br label %312
312: ; preds = %311, %306
br label %313
313: ; preds = %312, %305
br label %314
314: ; preds = %313, %297
%315 = load i32, i32* %12
%316 = icmp ne i32 %315, 0
br i1 %316, label %317, label %319
317: ; preds = %314
%318 = call i32 (...) @abort()
unreachable
319: ; preds = %314
store i32 0, i32* %12
store i32 0, i32* %11
br label %320
320: ; preds = %334, %319
%321 = load i32, i32* %11
%322 = icmp slt i32 %321, 8
br i1 %322, label %323, label %337
323: ; preds = %320
%324 = load i32*, i32** %6
%325 = load i32, i32* %11
%326 = sext i32 %325 to i64
%327 = getelementptr inbounds i32, i32* %324, i64 %326
%328 = load i32, i32* %327
%329 = load i32, i32* %11
%330 = add nsw i32 %329, 1
%331 = icmp ne i32 %328, %330
br i1 %331, label %332, label %333
332: ; preds = %323
store i32 1, i32* %12
br label %333
333: ; preds = %332, %323
br label %334
334: ; preds = %333
%335 = load i32, i32* %11
%336 = add nsw i32 %335, 1
store i32 %336, i32* %11
br label %320
337: ; preds = %320
%338 = load i32*, i32** %7
%339 = getelementptr inbounds i32, i32* %338, i64 0
%340 = load i32, i32* %339
%341 = icmp ne i32 %340, 9
br i1 %341, label %347, label %342
342: ; preds = %337
%343 = load i32*, i32** %8
%344 = getelementptr inbounds i32, i32* %343, i64 0
%345 = load i32, i32* %344
%346 = icmp ne i32 %345, 10
br i1 %346, label %347, label %348
347: ; preds = %342, %337
store i32 1, i32* %12
br label %348
348: ; preds = %347, %342
%349 = load i32, i32* %12
%350 = icmp ne i32 %349, 0
br i1 %350, label %351, label %353
351: ; preds = %348
%352 = call i32 (...) @abort()
unreachable
353: ; preds = %348
ret void
}

LLVM IR (-O2):
define void @foo(i32* %0, i32* %1, i32* %2, i32 %3, i32 %4) {
%6 = bitcast i32* %0 to <8 x i32>*
%7 = load <8 x i32>, <8 x i32>* %6
%8 = icmp eq <8 x i32> %7, <i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8>
%9 = getelementptr inbounds i32, i32* %0, i64 8
%10 = icmp eq i32* %9, %1
%11 = extractelement <8 x i1> %8, i64 7
%12 = select i1 %10, i1 %11, i1 false
%13 = extractelement <8 x i1> %8, i64 6
%14 = select i1 %12, i1 %13, i1 false
%15 = extractelement <8 x i1> %8, i64 5
%16 = select i1 %14, i1 %15, i1 false
%17 = extractelement <8 x i1> %8, i64 4
%18 = select i1 %16, i1 %17, i1 false
%19 = extractelement <8 x i1> %8, i64 3
%20 = select i1 %18, i1 %19, i1 false
%21 = extractelement <8 x i1> %8, i64 2
%22 = select i1 %20, i1 %21, i1 false
%23 = extractelement <8 x i1> %8, i64 1
%24 = select i1 %22, i1 %23, i1 false
%25 = extractelement <8 x i1> %8, i64 0
%26 = select i1 %24, i1 %25, i1 false
br i1 %26, label %29, label %27
27: ; preds = %5
%28 = tail call i32 (...) @abort()
unreachable
29: ; preds = %5
%30 = load i32, i32* %1
%31 = icmp eq i32 %30, 9
br i1 %31, label %32, label %38
32: ; preds = %29
%33 = load i32, i32* %2
%34 = icmp eq i32 %33, 10
br i1 %34, label %35, label %38
35: ; preds = %32
%36 = getelementptr inbounds i32, i32* %1, i64 1
%37 = icmp eq i32* %36, %2
br i1 %37, label %42, label %40
38: ; preds = %32, %29
%39 = tail call i32 (...) @abort()
unreachable
40: ; preds = %35
%41 = tail call i32 (...) @abort()
unreachable
42: ; preds = %35
ret void
}