#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ free(int *);
scalar_t__ malloc(int);
int /*<<< orphan*/ stderr;
int check_schedule_deadlock(int **sched, int npes) {
  int *step, *depend, *visited, pe, pe2, period, done = 0;
  int counter = 0;
  step = (int *)malloc(sizeof(int) * npes);
  depend = (int *)malloc(sizeof(int) * npes);
  visited = (int *)malloc(sizeof(int) * npes);
  if (!step || !depend || !visited) {
    free(step);
    free(depend);
    free(visited);
    return 0;
  }
  for (pe = 0; pe < npes; ++pe)
    step[pe] = 0;
  while (!done) {
    ++counter;
    for (pe = 0; pe < npes; ++pe)
      depend[pe] = sched[pe][step[pe]];
    for (pe = 0; pe < npes; ++pe)
      if (depend[pe] != -1) {
        for (pe2 = 0; pe2 < npes; ++pe2)
          visited[pe2] = 0;
        period = 0;
        pe2 = pe;
        do {
          visited[pe2] = period + 1;
          pe2 = depend[pe2];
          period++;
        } while (pe2 != -1 && !visited[pe2]);
        if (pe2 == -1) {
          fprintf(stderr, "BUG: unterminated cycle in schedule!\n");
          free(step);
          free(depend);
          free(visited);
          return 0;
        }
        if (period - (visited[pe2] - 1) > 2) {
          fprintf(stderr, "BUG: deadlock in schedule!\n");
          free(step);
          free(depend);
          free(visited);
          return 0;
        }
        if (pe2 == pe)
          step[pe]++;
      }
    done = 1;
    for (pe = 0; pe < npes; ++pe)
      if (sched[pe][step[pe]] != -1) {
        done = 0;
        break;
      }
  }
  free(step);
  free(depend);
  free(visited);
  return (counter > 0 ? counter : 1);
}


x86 assembly (clang, -O0):
<check_schedule_deadlock>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x20(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11a7 <check_schedule_deadlock+0x77>
cmpq   $0x0,-0x28(%rbp)
je     11a7 <check_schedule_deadlock+0x77>
cmpq   $0x0,-0x30(%rbp)
jne    11ce <check_schedule_deadlock+0x9e>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1497 <check_schedule_deadlock+0x367>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11fe <check_schedule_deadlock+0xce>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11d5 <check_schedule_deadlock+0xa5>
jmp    1203 <check_schedule_deadlock+0xd3>
cmpl   $0x0,-0x40(%rbp)
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1219 <check_schedule_deadlock+0xe9>
jmp    1454 <check_schedule_deadlock+0x324>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1269 <check_schedule_deadlock+0x139>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1229 <check_schedule_deadlock+0xf9>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13f4 <check_schedule_deadlock+0x2c4>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
je     13e1 <check_schedule_deadlock+0x2b1>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12be <check_schedule_deadlock+0x18e>
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1295 <check_schedule_deadlock+0x165>
movl   $0x0,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%edx
add    $0x1,%edx
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
xor    %eax,%eax
cmpl   $0xffffffff,-0x38(%rbp)
mov    %al,-0x45(%rbp)
je     1316 <check_schedule_deadlock+0x1e6>
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
xor    $0xff,%al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    12cb <check_schedule_deadlock+0x19b>
cmpl   $0xffffffff,-0x38(%rbp)
jne    1367 <check_schedule_deadlock+0x237>
mov    0x2cae(%rip),%rax
mov    (%rax),%edi
lea    0xcc5(%rip),%rsi
call   1040 <fprintf@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1497 <check_schedule_deadlock+0x367>
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movslq -0x38(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
sub    $0x1,%ecx
sub    %ecx,%eax
cmp    $0x2,%eax
jle    13bf <check_schedule_deadlock+0x28f>
mov    0x2c56(%rip),%rax
mov    (%rax),%edi
lea    0xc93(%rip),%rsi
call   1040 <fprintf@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1497 <check_schedule_deadlock+0x367>
mov    -0x38(%rbp),%eax
cmp    -0x34(%rbp),%eax
jne    13dc <check_schedule_deadlock+0x2ac>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
jmp    13e1 <check_schedule_deadlock+0x2b1>
jmp    13e6 <check_schedule_deadlock+0x2b6>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1270 <check_schedule_deadlock+0x140>
movl   $0x1,-0x40(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    144f <check_schedule_deadlock+0x31f>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
je     143c <check_schedule_deadlock+0x30c>
movl   $0x0,-0x40(%rbp)
jmp    144f <check_schedule_deadlock+0x31f>
jmp    1441 <check_schedule_deadlock+0x311>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1402 <check_schedule_deadlock+0x2d2>
jmp    1203 <check_schedule_deadlock+0xd3>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
cmpl   $0x0,-0x44(%rbp)
jle    1484 <check_schedule_deadlock+0x354>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    1491 <check_schedule_deadlock+0x361>
mov    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1491 <check_schedule_deadlock+0x361>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_schedule_deadlock>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %esi,%r12d
mov    %rdi,%r13
lea    0x0(,%r12,4),%ebp
mov    %ebp,%edi
call   1060 <malloc@plt>
mov    %rax,%r15
mov    %ebp,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
mov    %ebp,%edi
call   1060 <malloc@plt>
mov    %rax,%r14
test   %r15,%r15
je     1362 <check_schedule_deadlock+0x222>
test   %rbx,%rbx
je     1362 <check_schedule_deadlock+0x222>
test   %r14,%r14
je     1362 <check_schedule_deadlock+0x222>
test   %r12d,%r12d
jle    137e <check_schedule_deadlock+0x23e>
mov    %r12d,%ebp
lea    0x0(,%rbp,4),%rdx
mov    %r15,%rdi
xor    %esi,%esi
mov    %rdx,0x30(%rsp)
call   1040 <memset@plt>
mov    %rbp,%r8
lea    -0x1(%rbp),%rax
mov    %r8d,%r9d
and    $0x3,%r9d
mov    %r8d,%esi
and    $0xfffffffc,%esi
mov    $0x1,%ebp
mov    %rax,0x10(%rsp)
mov    %rsi,0x20(%rsp)
cmp    $0x3,%rax
mov    %ebp,0xc(%rsp)
jae    11e9 <check_schedule_deadlock+0xa9>
xor    %eax,%eax
jmp    123b <check_schedule_deadlock+0xfb>
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rax,8),%rcx
movslq (%r15,%rax,4),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    %ecx,(%rbx,%rax,4)
mov    0x8(%r13,%rax,8),%rcx
movslq 0x4(%r15,%rax,4),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    %ecx,0x4(%rbx,%rax,4)
mov    0x10(%r13,%rax,8),%rcx
movslq 0x8(%r15,%rax,4),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    %ecx,0x8(%rbx,%rax,4)
mov    0x18(%r13,%rax,8),%rcx
movslq 0xc(%r15,%rax,4),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    %ecx,0xc(%rbx,%rax,4)
add    $0x4,%rax
cmp    %rax,%rsi
jne    11f0 <check_schedule_deadlock+0xb0>
test   %r9,%r9
je     1277 <check_schedule_deadlock+0x137>
lea    (%rbx,%rax,4),%rcx
lea    (%r15,%rax,4),%rdx
lea    0x0(,%rax,8),%rax
add    %r13,%rax
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rax,%rsi,8),%rdi
movslq (%rdx,%rsi,4),%rbp
mov    (%rdi,%rbp,4),%edi
mov    %edi,(%rcx,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%r9
jne    1260 <check_schedule_deadlock+0x120>
test   %r12d,%r12d
jle    13ac <check_schedule_deadlock+0x26c>
mov    %r12,0x18(%rsp)
xor    %r12d,%r12d
mov    %r9,0x28(%rsp)
jmp    1299 <check_schedule_deadlock+0x159>
nop
add    $0x1,%r12
cmp    %r8,%r12
je     12fc <check_schedule_deadlock+0x1bc>
cmpl   $0xffffffff,(%rbx,%r12,4)
je     1290 <check_schedule_deadlock+0x150>
mov    %r8,%rbp
mov    %r14,%rdi
xor    %esi,%esi
mov    0x30(%rsp),%rdx
call   1040 <memset@plt>
mov    $0x1,%ecx
mov    %r12d,%eax
nopw   0x0(%rax,%rax,1)
cltq
mov    %ecx,(%r14,%rax,4)
movslq (%rbx,%rax,4),%rax
cmp    $0xffffffffffffffff,%rax
je     134d <check_schedule_deadlock+0x20d>
mov    (%r14,%rax,4),%edx
add    $0x1,%ecx
test   %edx,%edx
je     12c0 <check_schedule_deadlock+0x180>
sub    %edx,%ecx
cmp    $0x3,%ecx
jge    13b2 <check_schedule_deadlock+0x272>
mov    %eax,%eax
cmp    %rax,%r12
mov    %rbp,%r8
mov    0x28(%rsp),%r9
jne    1290 <check_schedule_deadlock+0x150>
addl   $0x1,(%r15,%r12,4)
jmp    1290 <check_schedule_deadlock+0x150>
mov    0x18(%rsp),%r12
test   %r12d,%r12d
jle    13ac <check_schedule_deadlock+0x26c>
xor    %eax,%eax
mov    0xc(%rsp),%ebp
mov    0x20(%rsp),%rsi
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x0(%r13,%rax,8),%rcx
movslq (%r15,%rax,4),%rdx
cmpl   $0xffffffff,(%rcx,%rdx,4)
jne    133a <check_schedule_deadlock+0x1fa>
add    $0x1,%rax
cmp    %rax,%r8
jne    1320 <check_schedule_deadlock+0x1e0>
jmp    1383 <check_schedule_deadlock+0x243>
add    $0x1,%ebp
test   %r12d,%r12d
mov    0x10(%rsp),%rax
jg     11db <check_schedule_deadlock+0x9b>
jmp    1383 <check_schedule_deadlock+0x243>
mov    0x2c8c(%rip),%rax
mov    (%rax),%edi
lea    0xca3(%rip),%rsi
call   1050 <fprintf@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
call   1030 <free@plt>
xor    %ebp,%ebp
jmp    139b <check_schedule_deadlock+0x25b>
mov    $0x1,%ebp
mov    %r15,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0xc(%rsp),%ebp
jmp    1383 <check_schedule_deadlock+0x243>
mov    0x2c27(%rip),%rax
mov    (%rax),%edi
lea    0xc64(%rip),%rsi
jmp    135d <check_schedule_deadlock+0x21d>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [38 x i8] c"BUG: unterminated cycle in schedule!\0A\00"
@.str.1 = [28 x i8] c"BUG: deadlock in schedule!\0A\00"
define i32 @check_schedule_deadlock(i32** %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32**
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32** %0, i32*** %4
store i32 %1, i32* %5
store i32 0, i32* %12
store i32 0, i32* %13
%14 = load i32, i32* %5
%15 = sext i32 %14 to i64
%16 = mul i64 4, %15
%17 = trunc i64 %16 to i32
%18 = call i64 @malloc(i32 %17)
%19 = inttoptr i64 %18 to i32*
store i32* %19, i32** %6
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = mul i64 4, %21
%23 = trunc i64 %22 to i32
%24 = call i64 @malloc(i32 %23)
%25 = inttoptr i64 %24 to i32*
store i32* %25, i32** %7
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = mul i64 4, %27
%29 = trunc i64 %28 to i32
%30 = call i64 @malloc(i32 %29)
%31 = inttoptr i64 %30 to i32*
store i32* %31, i32** %8
%32 = load i32*, i32** %6
%33 = icmp ne i32* %32, null
br i1 %33, label %34, label %40
34: ; preds = %2
%35 = load i32*, i32** %7
%36 = icmp ne i32* %35, null
br i1 %36, label %37, label %40
37: ; preds = %34
%38 = load i32*, i32** %8
%39 = icmp ne i32* %38, null
br i1 %39, label %47, label %40
40: ; preds = %37, %34, %2
%41 = load i32*, i32** %6
%42 = call i32 @free(i32* %41)
%43 = load i32*, i32** %7
%44 = call i32 @free(i32* %43)
%45 = load i32*, i32** %8
%46 = call i32 @free(i32* %45)
store i32 0, i32* %3
br label %234
47: ; preds = %37
store i32 0, i32* %9
br label %48
48: ; preds = %57, %47
%49 = load i32, i32* %9
%50 = load i32, i32* %5
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %60
52: ; preds = %48
%53 = load i32*, i32** %6
%54 = load i32, i32* %9
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %53, i64 %55
store i32 0, i32* %56
br label %57
57: ; preds = %52
%58 = load i32, i32* %9
%59 = add nsw i32 %58, 1
store i32 %59, i32* %9
br label %48
60: ; preds = %48
br label %61
61: ; preds = %219, %60
%62 = load i32, i32* %12
%63 = icmp ne i32 %62, 0
%64 = xor i1 %63, true
br i1 %64, label %65, label %220
65: ; preds = %61
%66 = load i32, i32* %13
%67 = add nsw i32 %66, 1
store i32 %67, i32* %13
store i32 0, i32* %9
br label %68
68: ; preds = %90, %65
%69 = load i32, i32* %9
%70 = load i32, i32* %5
%71 = icmp slt i32 %69, %70
br i1 %71, label %72, label %93
72: ; preds = %68
%73 = load i32**, i32*** %4
%74 = load i32, i32* %9
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32*, i32** %73, i64 %75
%77 = load i32*, i32** %76
%78 = load i32*, i32** %6
%79 = load i32, i32* %9
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %77, i64 %83
%85 = load i32, i32* %84
%86 = load i32*, i32** %7
%87 = load i32, i32* %9
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %86, i64 %88
store i32 %85, i32* %89
br label %90
90: ; preds = %72
%91 = load i32, i32* %9
%92 = add nsw i32 %91, 1
store i32 %92, i32* %9
br label %68
93: ; preds = %68
store i32 0, i32* %9
br label %94
94: ; preds = %191, %93
%95 = load i32, i32* %9
%96 = load i32, i32* %5
%97 = icmp slt i32 %95, %96
br i1 %97, label %98, label %194
98: ; preds = %94
%99 = load i32*, i32** %7
%100 = load i32, i32* %9
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32, i32* %102
%104 = icmp ne i32 %103, -1
br i1 %104, label %105, label %190
105: ; preds = %98
store i32 0, i32* %10
br label %106
106: ; preds = %115, %105
%107 = load i32, i32* %10
%108 = load i32, i32* %5
%109 = icmp slt i32 %107, %108
br i1 %109, label %110, label %118
110: ; preds = %106
%111 = load i32*, i32** %8
%112 = load i32, i32* %10
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
store i32 0, i32* %114
br label %115
115: ; preds = %110
%116 = load i32, i32* %10
%117 = add nsw i32 %116, 1
store i32 %117, i32* %10
br label %106
118: ; preds = %106
store i32 0, i32* %11
%119 = load i32, i32* %9
store i32 %119, i32* %10
br label %120
120: ; preds = %145, %118
%121 = load i32, i32* %11
%122 = add nsw i32 %121, 1
%123 = load i32*, i32** %8
%124 = load i32, i32* %10
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
store i32 %122, i32* %126
%127 = load i32*, i32** %7
%128 = load i32, i32* %10
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds i32, i32* %127, i64 %129
%131 = load i32, i32* %130
store i32 %131, i32* %10
%132 = load i32, i32* %11
%133 = add nsw i32 %132, 1
store i32 %133, i32* %11
br label %134
134: ; preds = %120
%135 = load i32, i32* %10
%136 = icmp ne i32 %135, -1
br i1 %136, label %137, label %145
137: ; preds = %134
%138 = load i32*, i32** %8
%139 = load i32, i32* %10
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %138, i64 %140
%142 = load i32, i32* %141
%143 = icmp ne i32 %142, 0
%144 = xor i1 %143, true
br label %145
145: ; preds = %137, %134
%146 = phi i1 [ false, %134 ], [ %144, %137 ]
br i1 %146, label %120, label %147
147: ; preds = %145
%148 = load i32, i32* %10
%149 = icmp eq i32 %148, -1
br i1 %149, label %150, label %159
150: ; preds = %147
%151 = load i32, i32* @stderr
%152 = call i32 @fprintf(i32 %151, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0))
%153 = load i32*, i32** %6
%154 = call i32 @free(i32* %153)
%155 = load i32*, i32** %7
%156 = call i32 @free(i32* %155)
%157 = load i32*, i32** %8
%158 = call i32 @free(i32* %157)
store i32 0, i32* %3
br label %234
159: ; preds = %147
%160 = load i32, i32* %11
%161 = load i32*, i32** %8
%162 = load i32, i32* %10
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds i32, i32* %161, i64 %163
%165 = load i32, i32* %164
%166 = sub nsw i32 %165, 1
%167 = sub nsw i32 %160, %166
%168 = icmp sgt i32 %167, 2
br i1 %168, label %169, label %178
169: ; preds = %159
%170 = load i32, i32* @stderr
%171 = call i32 @fprintf(i32 %170, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0))
%172 = load i32*, i32** %6
%173 = call i32 @free(i32* %172)
%174 = load i32*, i32** %7
%175 = call i32 @free(i32* %174)
%176 = load i32*, i32** %8
%177 = call i32 @free(i32* %176)
store i32 0, i32* %3
br label %234
178: ; preds = %159
%179 = load i32, i32* %10
%180 = load i32, i32* %9
%181 = icmp eq i32 %179, %180
br i1 %181, label %182, label %189
182: ; preds = %178
%183 = load i32*, i32** %6
%184 = load i32, i32* %9
%185 = sext i32 %184 to i64
%186 = getelementptr inbounds i32, i32* %183, i64 %185
%187 = load i32, i32* %186
%188 = add nsw i32 %187, 1
store i32 %188, i32* %186
br label %189
189: ; preds = %182, %178
br label %190
190: ; preds = %189, %98
br label %191
191: ; preds = %190
%192 = load i32, i32* %9
%193 = add nsw i32 %192, 1
store i32 %193, i32* %9
br label %94
194: ; preds = %94
store i32 1, i32* %12
store i32 0, i32* %9
br label %195
195: ; preds = %216, %194
%196 = load i32, i32* %9
%197 = load i32, i32* %5
%198 = icmp slt i32 %196, %197
br i1 %198, label %199, label %219
199: ; preds = %195
%200 = load i32**, i32*** %4
%201 = load i32, i32* %9
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds i32*, i32** %200, i64 %202
%204 = load i32*, i32** %203
%205 = load i32*, i32** %6
%206 = load i32, i32* %9
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds i32, i32* %205, i64 %207
%209 = load i32, i32* %208
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds i32, i32* %204, i64 %210
%212 = load i32, i32* %211
%213 = icmp ne i32 %212, -1
br i1 %213, label %214, label %215
214: ; preds = %199
store i32 0, i32* %12
br label %219
215: ; preds = %199
br label %216
216: ; preds = %215
%217 = load i32, i32* %9
%218 = add nsw i32 %217, 1
store i32 %218, i32* %9
br label %195
219: ; preds = %214, %195
br label %61
220: ; preds = %61
%221 = load i32*, i32** %6
%222 = call i32 @free(i32* %221)
%223 = load i32*, i32** %7
%224 = call i32 @free(i32* %223)
%225 = load i32*, i32** %8
%226 = call i32 @free(i32* %225)
%227 = load i32, i32* %13
%228 = icmp sgt i32 %227, 0
br i1 %228, label %229, label %231
229: ; preds = %220
%230 = load i32, i32* %13
br label %232
231: ; preds = %220
br label %232
232: ; preds = %231, %229
%233 = phi i32 [ %230, %229 ], [ 1, %231 ]
store i32 %233, i32* %3
br label %234
234: ; preds = %232, %169, %150, %40
%235 = load i32, i32* %3
ret i32 %235
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [38 x i8] c"BUG: unterminated cycle in schedule!\0A\00"
@.str.1 = [28 x i8] c"BUG: deadlock in schedule!\0A\00"
define i32 @check_schedule_deadlock(i32** nocapture %0, i32 %1) {
%3 = shl i32 %1, 2
%4 = tail call i64 @malloc(i32 %3)
%5 = inttoptr i64 %4 to i32*
%6 = inttoptr i64 %4 to i8*
%7 = tail call i64 @malloc(i32 %3)
%8 = inttoptr i64 %7 to i32*
%9 = tail call i64 @malloc(i32 %3)
%10 = inttoptr i64 %9 to i32*
%11 = inttoptr i64 %9 to i8*
%12 = icmp ne i64 %4, 0
%13 = icmp ne i64 %7, 0
%14 = select i1 %12, i1 %13, i1 false
%15 = icmp ne i64 %9, 0
%16 = select i1 %14, i1 %15, i1 false
br i1 %16, label %17, label %27
17: ; preds = %2
%18 = icmp sgt i32 %1, 0
%19 = zext i32 %1 to i64
%20 = shl nuw nsw i64 %19, 2
br i1 %18, label %21, label %154
21: ; preds = %17
%22 = add nsw i64 %19, -1
%23 = and i64 %19, 3
%24 = icmp ult i64 %22, 3
%25 = and i64 %19, 4294967292
%26 = icmp eq i64 %23, 0
br label %33
27: ; preds = %2
%28 = tail call i32 @free(i32* %5)
%29 = tail call i32 @free(i32* %8)
%30 = tail call i32 @free(i32* %10)
br label %159
31: ; preds = %143
%32 = add nuw nsw i32 %34, 1
br i1 %18, label %33, label %154
33: ; preds = %21, %31
%34 = phi i32 [ %32, %31 ], [ 1, %21 ]
br i1 %24, label %35, label %52
35: ; preds = %52, %33
%36 = phi i64 [ 0, %33 ], [ %90, %52 ]
br i1 %26, label %51, label %37
37: ; preds = %35, %37
%38 = phi i64 [ %48, %37 ], [ %36, %35 ]
%39 = phi i64 [ %49, %37 ], [ 0, %35 ]
%40 = getelementptr inbounds i32*, i32** %0, i64 %38
%41 = load i32*, i32** %40
%42 = getelementptr inbounds i32, i32* %5, i64 %38
%43 = load i32, i32* %42
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %41, i64 %44
%46 = load i32, i32* %45
%47 = getelementptr inbounds i32, i32* %8, i64 %38
store i32 %46, i32* %47
%48 = add nuw nsw i64 %38, 1
%49 = add i64 %39, 1
%50 = icmp eq i64 %49, %23
br i1 %50, label %51, label %37
51: ; preds = %37, %35
br i1 %18, label %94, label %154
52: ; preds = %33, %52
%53 = phi i64 [ %90, %52 ], [ 0, %33 ]
%54 = phi i64 [ %91, %52 ], [ 0, %33 ]
%55 = getelementptr inbounds i32*, i32** %0, i64 %53
%56 = load i32*, i32** %55
%57 = getelementptr inbounds i32, i32* %5, i64 %53
%58 = load i32, i32* %57
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %56, i64 %59
%61 = load i32, i32* %60
%62 = getelementptr inbounds i32, i32* %8, i64 %53
store i32 %61, i32* %62
%63 = or i64 %53, 1
%64 = getelementptr inbounds i32*, i32** %0, i64 %63
%65 = load i32*, i32** %64
%66 = getelementptr inbounds i32, i32* %5, i64 %63
%67 = load i32, i32* %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %65, i64 %68
%70 = load i32, i32* %69
%71 = getelementptr inbounds i32, i32* %8, i64 %63
store i32 %70, i32* %71
%72 = or i64 %53, 2
%73 = getelementptr inbounds i32*, i32** %0, i64 %72
%74 = load i32*, i32** %73
%75 = getelementptr inbounds i32, i32* %5, i64 %72
%76 = load i32, i32* %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %74, i64 %77
%79 = load i32, i32* %78
%80 = getelementptr inbounds i32, i32* %8, i64 %72
store i32 %79, i32* %80
%81 = or i64 %53, 3
%82 = getelementptr inbounds i32*, i32** %0, i64 %81
%83 = load i32*, i32** %82
%84 = getelementptr inbounds i32, i32* %5, i64 %81
%85 = load i32, i32* %84
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %83, i64 %86
%88 = load i32, i32* %87
%89 = getelementptr inbounds i32, i32* %8, i64 %81
store i32 %88, i32* %89
%90 = add nuw nsw i64 %53, 4
%91 = add i64 %54, 4
%92 = icmp eq i64 %91, %25
br i1 %92, label %35, label %52
93: ; preds = %138
br i1 %18, label %143, label %154
94: ; preds = %51, %138
%95 = phi i64 [ %139, %138 ], [ 0, %51 ]
%96 = getelementptr inbounds i32, i32* %8, i64 %95
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, -1
br i1 %98, label %138, label %99
99: ; preds = %94
%100 = trunc i64 %95 to i32
br label %101
101: ; preds = %99, %110
%102 = phi i32 [ %108, %110 ], [ %100, %99 ]
%103 = phi i32 [ %104, %110 ], [ 0, %99 ]
%104 = add nuw nsw i32 %103, 1
%105 = sext i32 %102 to i64
%106 = getelementptr inbounds i32, i32* %10, i64 %105
store i32 %104, i32* %106
%107 = getelementptr inbounds i32, i32* %8, i64 %105
%108 = load i32, i32* %107
%109 = icmp eq i32 %108, -1
br i1 %109, label %115, label %110
110: ; preds = %101
%111 = sext i32 %108 to i64
%112 = getelementptr inbounds i32, i32* %10, i64 %111
%113 = load i32, i32* %112
%114 = icmp eq i32 %113, 0
br i1 %114, label %101, label %121
115: ; preds = %101
%116 = load i32, i32* @stderr
%117 = tail call i32 @fprintf(i32 %116, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0))
%118 = tail call i32 @free(i32* %5)
%119 = tail call i32 @free(i32* %8)
%120 = tail call i32 @free(i32* %10)
br label %159
121: ; preds = %110
%122 = add nuw i32 %103, 2
%123 = sub i32 %122, %113
%124 = icmp sgt i32 %123, 2
br i1 %124, label %125, label %131
125: ; preds = %121
%126 = load i32, i32* @stderr
%127 = tail call i32 @fprintf(i32 %126, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0))
%128 = tail call i32 @free(i32* %5)
%129 = tail call i32 @free(i32* %8)
%130 = tail call i32 @free(i32* %10)
br label %159
131: ; preds = %121
%132 = zext i32 %108 to i64
%133 = icmp eq i64 %95, %132
br i1 %133, label %134, label %138
134: ; preds = %131
%135 = getelementptr inbounds i32, i32* %5, i64 %95
%136 = load i32, i32* %135
%137 = add nsw i32 %136, 1
store i32 %137, i32* %135
br label %138
138: ; preds = %94, %134, %131
%139 = add nuw nsw i64 %95, 1
%140 = icmp eq i64 %139, %19
br i1 %140, label %93, label %94
141: ; preds = %143
%142 = icmp eq i64 %153, %19
br i1 %142, label %154, label %143
143: ; preds = %93, %141
%144 = phi i64 [ %153, %141 ], [ 0, %93 ]
%145 = getelementptr inbounds i32*, i32** %0, i64 %144
%146 = load i32*, i32** %145
%147 = getelementptr inbounds i32, i32* %5, i64 %144
%148 = load i32, i32* %147
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %146, i64 %149
%151 = load i32, i32* %150
%152 = icmp eq i32 %151, -1
%153 = add nuw nsw i64 %144, 1
br i1 %152, label %141, label %31
154: ; preds = %93, %51, %31, %141, %17
%155 = phi i32 [ 1, %17 ], [ %34, %141 ], [ %32, %31 ], [ %34, %51 ], [ %34, %93 ]
%156 = tail call i32 @free(i32* %5)
%157 = tail call i32 @free(i32* %8)
%158 = tail call i32 @free(i32* %10)
br label %159
159: ; preds = %154, %125, %115, %27
%160 = phi i32 [ 0, %115 ], [ 0, %125 ], [ %155, %154 ], [ 0, %27 ]
ret i32 %160
}