int isord(long *v, long n, int (*c)(void *a, void *b)) {
  for (long i = 1; i < n; i++)
    if (c(v + i - 1, v + i) > 0)
      return 0;
  return 1;
}


x86 assembly (clang, -O0):
<isord>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    117d <isord+0x7d>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rdi
add    $0xfffffffffffffff8,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x28(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rsi
call   *%rax
cmp    $0x0,%eax
jle    1167 <isord+0x67>
movl   $0x0,-0x4(%rbp)
jmp    1184 <isord+0x84>
jmp    116c <isord+0x6c>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    111c <isord+0x1c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isord>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    $0x1,%eax
cmp    $0x2,%rsi
jl     1167 <isord+0x67>
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
lea    0x8(%rdi),%rsi
call   *%rdx
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
jg     1167 <isord+0x67>
add    $0x10,%rbx
mov    $0x2,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rcx,%r12
cmp    %rcx,%r15
je     115f <isord+0x5f>
lea    -0x8(%rbx),%rdi
mov    %rbx,%rsi
call   *%r14
lea    0x1(%r12),%rcx
add    $0x8,%rbx
test   %eax,%eax
jle    1140 <isord+0x40>
xor    %eax,%eax
cmp    %r15,%r12
setge  %al
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @isord(i64* %0, i64 %1, i32 (i8*, i8*)* %2) {
%4 = alloca i32
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i32 (i8*, i8*)*
%8 = alloca i64
store i64* %0, i64** %5
store i64 %1, i64* %6
store i32 (i8*, i8*)* %2, i32 (i8*, i8*)** %7
store i64 1, i64* %8
br label %9
9: ; preds = %28, %3
%10 = load i64, i64* %8
%11 = load i64, i64* %6
%12 = icmp slt i64 %10, %11
br i1 %12, label %13, label %31
13: ; preds = %9
%14 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %7
%15 = load i64*, i64** %5
%16 = load i64, i64* %8
%17 = getelementptr inbounds i64, i64* %15, i64 %16
%18 = getelementptr inbounds i64, i64* %17, i64 -1
%19 = bitcast i64* %18 to i8*
%20 = load i64*, i64** %5
%21 = load i64, i64* %8
%22 = getelementptr inbounds i64, i64* %20, i64 %21
%23 = bitcast i64* %22 to i8*
%24 = call i32 %14(i8* %19, i8* %23)
%25 = icmp sgt i32 %24, 0
br i1 %25, label %26, label %27
26: ; preds = %13
store i32 0, i32* %4
br label %32
27: ; preds = %13
br label %28
28: ; preds = %27
%29 = load i64, i64* %8
%30 = add nsw i64 %29, 1
store i64 %30, i64* %8
br label %9
31: ; preds = %9
store i32 1, i32* %4
br label %32
32: ; preds = %31, %26
%33 = load i32, i32* %4
ret i32 %33
}

LLVM IR (-O2):
define i32 @isord(i64* %0, i64 %1, i32 (i8*, i8*)* nocapture %2) {
%4 = icmp sgt i64 %1, 1
br i1 %4, label %5, label %25
5: ; preds = %3
%6 = getelementptr inbounds i64, i64* %0, i64 1
%7 = bitcast i64* %0 to i8*
%8 = bitcast i64* %6 to i8*
%9 = tail call i32 %2(i8* %7, i8* %8)
%10 = icmp sgt i32 %9, 0
br i1 %10, label %25, label %11
11: ; preds = %5, %14
%12 = phi i64 [ %21, %14 ], [ 2, %5 ]
%13 = icmp eq i64 %12, %1
br i1 %13, label %22, label %14
14: ; preds = %11
%15 = getelementptr inbounds i64, i64* %0, i64 %12
%16 = getelementptr inbounds i64, i64* %15, i64 -1
%17 = bitcast i64* %16 to i8*
%18 = bitcast i64* %15 to i8*
%19 = tail call i32 %2(i8* %17, i8* %18)
%20 = icmp sgt i32 %19, 0
%21 = add nuw nsw i64 %12, 1
br i1 %20, label %22, label %11
22: ; preds = %11, %14
%23 = icmp sge i64 %12, %1
%24 = zext i1 %23 to i32
br label %25
25: ; preds = %22, %5, %3
%26 = phi i32 [ 1, %3 ], [ 0, %5 ], [ %24, %22 ]
ret i32 %26
}