unsigned short setAxisValue(unsigned short index, unsigned short value,
                            unsigned short axis[], unsigned short length,
                            unsigned short errorBase) {
  if (index >= length) {
    return errorBase + 1;
  } else {
    if (index > 0) {
      if (axis[index - 1] > value) {
        return errorBase + 0;
      }
    }
    if (index < (length - 1)) {
      if (value > axis[index + 1]) {
        return errorBase + 0;
      }
    }
  }
  axis[index] = value;
  return 0;
}


x86 assembly (clang, -O0):
<setAxisValue>:
push   %rbp
mov    %rsp,%rbp
mov    %r8w,%ax
mov    %di,-0x4(%rbp)
mov    %si,-0x6(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %cx,-0x12(%rbp)
mov    %ax,-0x14(%rbp)
movzwl -0x4(%rbp),%eax
movzwl -0x12(%rbp),%ecx
cmp    %ecx,%eax
jl     113c <setAxisValue+0x3c>
movzwl -0x14(%rbp),%eax
add    $0x1,%eax
mov    %ax,-0x2(%rbp)
jmp    11dd <setAxisValue+0xdd>
movzwl -0x4(%rbp),%eax
cmp    $0x0,%eax
jle    117c <setAxisValue+0x7c>
mov    -0x10(%rbp),%rax
movzwl -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzwl (%rax,%rcx,2),%eax
movzwl -0x6(%rbp),%ecx
cmp    %ecx,%eax
jle    1177 <setAxisValue+0x77>
movzwl -0x14(%rbp),%eax
add    $0x0,%eax
mov    %ax,-0x2(%rbp)
jmp    11dd <setAxisValue+0xdd>
jmp    117c <setAxisValue+0x7c>
movzwl -0x4(%rbp),%eax
movzwl -0x12(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11c2 <setAxisValue+0xc2>
movzwl -0x6(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzwl -0x4(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movzwl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jle    11bd <setAxisValue+0xbd>
movzwl -0x14(%rbp),%eax
add    $0x0,%eax
mov    %ax,-0x2(%rbp)
jmp    11dd <setAxisValue+0xdd>
jmp    11c2 <setAxisValue+0xc2>
jmp    11c7 <setAxisValue+0xc7>
mov    -0x6(%rbp),%dx
mov    -0x10(%rbp),%rax
movzwl -0x4(%rbp),%ecx
mov    %dx,(%rax,%rcx,2)
movw   $0x0,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<setAxisValue>:
mov    %r8d,%eax
cmp    %cx,%di
jae    1132 <setAxisValue+0x32>
test   %di,%di
je     1118 <setAxisValue+0x18>
lea    -0x1(%rdi),%r8d
cmp    %si,(%rdx,%r8,2)
ja     1131 <setAxisValue+0x31>
add    $0xffffffff,%ecx
cmp    %edi,%ecx
jle    1128 <setAxisValue+0x28>
mov    %edi,%ecx
cmp    %si,0x2(%rdx,%rcx,2)
jb     1131 <setAxisValue+0x31>
movzwl %di,%eax
mov    %si,(%rdx,%rax,2)
xor    %eax,%eax
ret
add    $0x1,%eax
ret

LLVM IR (-O0):
define zeroext i16 @setAxisValue(i16 zeroext %0, i16 zeroext %1, i16* %2, i16 zeroext %3, i16 zeroext %4) {
%6 = alloca i16
%7 = alloca i16
%8 = alloca i16
%9 = alloca i16*
%10 = alloca i16
%11 = alloca i16
store i16 %0, i16* %7
store i16 %1, i16* %8
store i16* %2, i16** %9
store i16 %3, i16* %10
store i16 %4, i16* %11
%12 = load i16, i16* %7
%13 = zext i16 %12 to i32
%14 = load i16, i16* %10
%15 = zext i16 %14 to i32
%16 = icmp sge i32 %13, %15
br i1 %16, label %17, label %22
17: ; preds = %5
%18 = load i16, i16* %11
%19 = zext i16 %18 to i32
%20 = add nsw i32 %19, 1
%21 = trunc i32 %20 to i16
store i16 %21, i16* %6
br label %76
22: ; preds = %5
%23 = load i16, i16* %7
%24 = zext i16 %23 to i32
%25 = icmp sgt i32 %24, 0
br i1 %25, label %26, label %44
26: ; preds = %22
%27 = load i16*, i16** %9
%28 = load i16, i16* %7
%29 = zext i16 %28 to i32
%30 = sub nsw i32 %29, 1
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i16, i16* %27, i64 %31
%33 = load i16, i16* %32
%34 = zext i16 %33 to i32
%35 = load i16, i16* %8
%36 = zext i16 %35 to i32
%37 = icmp sgt i32 %34, %36
br i1 %37, label %38, label %43
38: ; preds = %26
%39 = load i16, i16* %11
%40 = zext i16 %39 to i32
%41 = add nsw i32 %40, 0
%42 = trunc i32 %41 to i16
store i16 %42, i16* %6
br label %76
43: ; preds = %26
br label %44
44: ; preds = %43, %22
%45 = load i16, i16* %7
%46 = zext i16 %45 to i32
%47 = load i16, i16* %10
%48 = zext i16 %47 to i32
%49 = sub nsw i32 %48, 1
%50 = icmp slt i32 %46, %49
br i1 %50, label %51, label %69
51: ; preds = %44
%52 = load i16, i16* %8
%53 = zext i16 %52 to i32
%54 = load i16*, i16** %9
%55 = load i16, i16* %7
%56 = zext i16 %55 to i32
%57 = add nsw i32 %56, 1
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i16, i16* %54, i64 %58
%60 = load i16, i16* %59
%61 = zext i16 %60 to i32
%62 = icmp sgt i32 %53, %61
br i1 %62, label %63, label %68
63: ; preds = %51
%64 = load i16, i16* %11
%65 = zext i16 %64 to i32
%66 = add nsw i32 %65, 0
%67 = trunc i32 %66 to i16
store i16 %67, i16* %6
br label %76
68: ; preds = %51
br label %69
69: ; preds = %68, %44
br label %70
70: ; preds = %69
%71 = load i16, i16* %8
%72 = load i16*, i16** %9
%73 = load i16, i16* %7
%74 = zext i16 %73 to i64
%75 = getelementptr inbounds i16, i16* %72, i64 %74
store i16 %71, i16* %75
store i16 0, i16* %6
br label %76
76: ; preds = %70, %63, %38, %17
%77 = load i16, i16* %6
ret i16 %77
}

LLVM IR (-O2):
define zeroext i16 @setAxisValue(i16 zeroext %0, i16 zeroext %1, i16* nocapture %2, i16 zeroext %3, i16 zeroext %4) {
%6 = zext i16 %0 to i32
%7 = zext i16 %3 to i32
%8 = icmp ult i16 %0, %3
br i1 %8, label %11, label %9
9: ; preds = %5
%10 = add i16 %4, 1
br label %31
11: ; preds = %5
%12 = icmp eq i16 %0, 0
br i1 %12, label %19, label %13
13: ; preds = %11
%14 = add nsw i32 %6, -1
%15 = zext i32 %14 to i64
%16 = getelementptr inbounds i16, i16* %2, i64 %15
%17 = load i16, i16* %16
%18 = icmp ugt i16 %17, %1
br i1 %18, label %31, label %19
19: ; preds = %13, %11
%20 = add nsw i32 %7, -1
%21 = icmp sgt i32 %20, %6
br i1 %21, label %22, label %28
22: ; preds = %19
%23 = add nuw nsw i32 %6, 1
%24 = zext i32 %23 to i64
%25 = getelementptr inbounds i16, i16* %2, i64 %24
%26 = load i16, i16* %25
%27 = icmp ult i16 %26, %1
br i1 %27, label %31, label %28
28: ; preds = %19, %22
%29 = zext i16 %0 to i64
%30 = getelementptr inbounds i16, i16* %2, i64 %29
store i16 %1, i16* %30
br label %31
31: ; preds = %22, %13, %28, %9
%32 = phi i16 [ %10, %9 ], [ 0, %28 ], [ %4, %13 ], [ %4, %22 ]
ret i16 %32
}