int amd_valid(int n_row, int n_col, const int Ap[], const int Ai[]) {
  int nz, j, p1, p2, ilast, i, p, result = 0;
  if (n_row < 0 || n_col < 0 || Ap == 0 || Ai == 0) {
    return (-2);
  }
  nz = Ap[n_col];
  if (Ap[0] != 0 || nz < 0) {
    ;
    return (-2);
  }
  for (j = 0; j < n_col; j++) {
    p1 = Ap[j];
    p2 = Ap[j + 1];
    ;
    if (p1 > p2) {
      ;
      return (-2);
    }
    ilast = (-1);
    for (p = p1; p < p2; p++) {
      i = Ai[p];
      ;
      if (i < 0 || i >= n_row) {
        ;
        return (-2);
      }
      if (i <= ilast) {
        ;
        result = 1;
      }
      ilast = i;
    }
  }
  return (result);
}


x86 assembly (clang, -O0):
<amd_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x40(%rbp)
cmpl   $0x0,-0x8(%rbp)
jl     1143 <amd_valid+0x43>
cmpl   $0x0,-0xc(%rbp)
jl     1143 <amd_valid+0x43>
cmpq   $0x0,-0x18(%rbp)
je     1143 <amd_valid+0x43>
cmpq   $0x0,-0x20(%rbp)
jne    114f <amd_valid+0x4f>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1255 <amd_valid+0x155>
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jne    1174 <amd_valid+0x74>
cmpl   $0x0,-0x24(%rbp)
jge    1180 <amd_valid+0x80>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1255 <amd_valid+0x155>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    124f <amd_valid+0x14f>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    11cc <amd_valid+0xcc>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1255 <amd_valid+0x155>
movl   $0xffffffff,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    123c <amd_valid+0x13c>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jl     1209 <amd_valid+0x109>
mov    -0x38(%rbp),%eax
cmp    -0x8(%rbp),%eax
jl     1215 <amd_valid+0x115>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1255 <amd_valid+0x155>
mov    -0x38(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     1228 <amd_valid+0x128>
movl   $0x1,-0x40(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11d9 <amd_valid+0xd9>
jmp    1241 <amd_valid+0x141>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1187 <amd_valid+0x87>
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<amd_valid>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%eax
or     %edi,%eax
js     118e <amd_valid+0x8e>
test   %rdx,%rdx
je     118e <amd_valid+0x8e>
test   %rcx,%rcx
je     118e <amd_valid+0x8e>
cmpl   $0x0,(%rdx)
jne    118e <amd_valid+0x8e>
movslq %esi,%rax
cmpl   $0x0,(%rdx,%rax,4)
js     118e <amd_valid+0x8e>
test   %esi,%esi
jle    1198 <amd_valid+0x98>
mov    %esi,%r8d
xor    %r10d,%r10d
mov    $0x1,%r9d
xor    %r11d,%r11d
xor    %eax,%eax
jmp    1145 <amd_valid+0x45>
nopl   (%rax)
cmp    %r8,%r11
je     1193 <amd_valid+0x93>
mov    %r10d,%esi
mov    0x4(%rdx,%r11,4),%r10d
add    $0x1,%r11
cmp    %r10d,%esi
jg     118e <amd_valid+0x8e>
jge    1140 <amd_valid+0x40>
movslq %r10d,%r14
movslq %esi,%rbx
mov    $0xffffffff,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rcx,%rbx,4),%ebp
test   %ebp,%ebp
js     118e <amd_valid+0x8e>
cmp    %edi,%ebp
jge    118e <amd_valid+0x8e>
cmp    %esi,%ebp
cmovle %r9d,%eax
add    $0x1,%rbx
mov    %ebp,%esi
cmp    %rbx,%r14
jne    1170 <amd_valid+0x70>
jmp    1140 <amd_valid+0x40>
mov    $0xfffffffe,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %eax,%eax
jmp    1193 <amd_valid+0x93>

LLVM IR (-O0):
define i32 @amd_valid(i32 %0, i32 %1, i32* %2, i32* %3) {
%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
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32* %2, i32** %8
store i32* %3, i32** %9
store i32 0, i32* %17
%18 = load i32, i32* %6
%19 = icmp slt i32 %18, 0
br i1 %19, label %29, label %20
20: ; preds = %4
%21 = load i32, i32* %7
%22 = icmp slt i32 %21, 0
br i1 %22, label %29, label %23
23: ; preds = %20
%24 = load i32*, i32** %8
%25 = icmp eq i32* %24, null
br i1 %25, label %29, label %26
26: ; preds = %23
%27 = load i32*, i32** %9
%28 = icmp eq i32* %27, null
br i1 %28, label %29, label %30
29: ; preds = %26, %23, %20, %4
store i32 -2, i32* %5
br label %100
30: ; preds = %26
%31 = load i32*, i32** %8
%32 = load i32, i32* %7
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
store i32 %35, i32* %10
%36 = load i32*, i32** %8
%37 = getelementptr inbounds i32, i32* %36, i64 0
%38 = load i32, i32* %37
%39 = icmp ne i32 %38, 0
br i1 %39, label %43, label %40
40: ; preds = %30
%41 = load i32, i32* %10
%42 = icmp slt i32 %41, 0
br i1 %42, label %43, label %44
43: ; preds = %40, %30
store i32 -2, i32* %5
br label %100
44: ; preds = %40
store i32 0, i32* %11
br label %45
45: ; preds = %95, %44
%46 = load i32, i32* %11
%47 = load i32, i32* %7
%48 = icmp slt i32 %46, %47
br i1 %48, label %49, label %98
49: ; preds = %45
%50 = load i32*, i32** %8
%51 = load i32, i32* %11
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
store i32 %54, i32* %12
%55 = load i32*, i32** %8
%56 = load i32, i32* %11
%57 = add nsw i32 %56, 1
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %55, i64 %58
%60 = load i32, i32* %59
store i32 %60, i32* %13
%61 = load i32, i32* %12
%62 = load i32, i32* %13
%63 = icmp sgt i32 %61, %62
br i1 %63, label %64, label %65
64: ; preds = %49
store i32 -2, i32* %5
br label %100
65: ; preds = %49
store i32 -1, i32* %14
%66 = load i32, i32* %12
store i32 %66, i32* %16
br label %67
67: ; preds = %91, %65
%68 = load i32, i32* %16
%69 = load i32, i32* %13
%70 = icmp slt i32 %68, %69
br i1 %70, label %71, label %94
71: ; preds = %67
%72 = load i32*, i32** %9
%73 = load i32, i32* %16
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
store i32 %76, i32* %15
%77 = load i32, i32* %15
%78 = icmp slt i32 %77, 0
br i1 %78, label %83, label %79
79: ; preds = %71
%80 = load i32, i32* %15
%81 = load i32, i32* %6
%82 = icmp sge i32 %80, %81
br i1 %82, label %83, label %84
83: ; preds = %79, %71
store i32 -2, i32* %5
br label %100
84: ; preds = %79
%85 = load i32, i32* %15
%86 = load i32, i32* %14
%87 = icmp sle i32 %85, %86
br i1 %87, label %88, label %89
88: ; preds = %84
store i32 1, i32* %17
br label %89
89: ; preds = %88, %84
%90 = load i32, i32* %15
store i32 %90, i32* %14
br label %91
91: ; preds = %89
%92 = load i32, i32* %16
%93 = add nsw i32 %92, 1
store i32 %93, i32* %16
br label %67
94: ; preds = %67
br label %95
95: ; preds = %94
%96 = load i32, i32* %11
%97 = add nsw i32 %96, 1
store i32 %97, i32* %11
br label %45
98: ; preds = %45
%99 = load i32, i32* %17
store i32 %99, i32* %5
br label %100
100: ; preds = %98, %83, %64, %43, %29
%101 = load i32, i32* %5
ret i32 %101
}

LLVM IR (-O2):
define i32 @amd_valid(i32 %0, i32 %1, i32* %2, i32* %3) {
%5 = or i32 %1, %0
%6 = icmp slt i32 %5, 0
%7 = icmp eq i32* %2, null
%8 = or i1 %6, %7
%9 = icmp eq i32* %3, null
%10 = or i1 %8, %9
br i1 %10, label %53, label %11
11: ; preds = %4
%12 = sext i32 %1 to i64
%13 = getelementptr inbounds i32, i32* %2, i64 %12
%14 = load i32, i32* %13
%15 = load i32, i32* %2
%16 = icmp ne i32 %15, 0
%17 = icmp slt i32 %14, 0
%18 = select i1 %16, i1 true, i1 %17
br i1 %18, label %53, label %19
19: ; preds = %11
%20 = icmp sgt i32 %1, 0
br i1 %20, label %21, label %53
21: ; preds = %19
%22 = zext i32 %1 to i64
br label %26
23: ; preds = %48, %34
%24 = phi i32 [ %29, %34 ], [ %50, %48 ]
%25 = icmp eq i64 %30, %22
br i1 %25, label %53, label %26
26: ; preds = %21, %23
%27 = phi i32 [ 0, %21 ], [ %32, %23 ]
%28 = phi i64 [ 0, %21 ], [ %30, %23 ]
%29 = phi i32 [ 0, %21 ], [ %24, %23 ]
%30 = add nuw nsw i64 %28, 1
%31 = getelementptr inbounds i32, i32* %2, i64 %30
%32 = load i32, i32* %31
%33 = icmp sgt i32 %27, %32
br i1 %33, label %53, label %34
34: ; preds = %26
%35 = icmp slt i32 %27, %32
br i1 %35, label %36, label %23
36: ; preds = %34
%37 = sext i32 %27 to i64
%38 = sext i32 %32 to i64
br label %39
39: ; preds = %36, %48
%40 = phi i64 [ %37, %36 ], [ %51, %48 ]
%41 = phi i32 [ %29, %36 ], [ %50, %48 ]
%42 = phi i32 [ -1, %36 ], [ %44, %48 ]
%43 = getelementptr inbounds i32, i32* %3, i64 %40
%44 = load i32, i32* %43
%45 = icmp sgt i32 %44, -1
%46 = icmp slt i32 %44, %0
%47 = and i1 %45, %46
br i1 %47, label %48, label %53
48: ; preds = %39
%49 = icmp sgt i32 %44, %42
%50 = select i1 %49, i32 %41, i32 1
%51 = add nsw i64 %40, 1
%52 = icmp eq i64 %51, %38
br i1 %52, label %23, label %39
53: ; preds = %26, %23, %39, %19, %11, %4
%54 = phi i32 [ -2, %4 ], [ -2, %11 ], [ 0, %19 ], [ -2, %39 ], [ -2, %26 ], [ %24, %23 ]
ret i32 %54
}