int position(int *obs, int start, int end, int *tupleSize, int **preposition) {
  int pos = tupleSize[end - start];
  int i = 0;
  for (; start < end; i++, start++) {
    pos += preposition[i][obs[start]];
  }
  return pos;
}


x86 assembly (clang, -O0):
<position>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1174 <position+0x74>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1130 <position+0x30>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<position>:
push   %r14
push   %rbx
sub    %esi,%edx
movslq %edx,%rax
mov    (%rcx,%rax,4),%eax
jle    11a4 <position+0xa4>
movslq %esi,%r9
mov    %edx,%r11d
lea    -0x1(%r11),%rdx
mov    %r11d,%r10d
and    $0x3,%r10d
cmp    $0x3,%rdx
jae    1131 <position+0x31>
xor    %edx,%edx
test   %r10,%r10
jne    1184 <position+0x84>
jmp    11a4 <position+0xa4>
and    $0xfffffffc,%r11d
lea    (%rdi,%r9,4),%rsi
add    $0xc,%rsi
xor    %edx,%edx
nop
movslq -0xc(%rsi,%rdx,4),%rcx
mov    (%r8,%rdx,8),%rbx
mov    0x8(%r8,%rdx,8),%r14
add    (%rbx,%rcx,4),%eax
movslq -0x8(%rsi,%rdx,4),%rcx
add    (%r14,%rcx,4),%eax
mov    0x10(%r8,%rdx,8),%rcx
movslq -0x4(%rsi,%rdx,4),%rbx
add    (%rcx,%rbx,4),%eax
mov    0x18(%r8,%rdx,8),%rcx
movslq (%rsi,%rdx,4),%rbx
add    (%rcx,%rbx,4),%eax
add    $0x4,%rdx
cmp    %rdx,%r11
jne    1140 <position+0x40>
add    %rdx,%r9
test   %r10,%r10
je     11a4 <position+0xa4>
lea    (%rdi,%r9,4),%rcx
lea    (%r8,%rdx,8),%rdx
xor    %esi,%esi
xchg   %ax,%ax
mov    (%rdx,%rsi,8),%rdi
movslq (%rcx,%rsi,4),%rbx
add    (%rdi,%rbx,4),%eax
add    $0x1,%rsi
cmp    %rsi,%r10
jne    1190 <position+0x90>
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @position(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
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
%13 = load i32*, i32** %9
%14 = load i32, i32* %8
%15 = load i32, i32* %7
%16 = sub nsw i32 %14, %15
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %13, i64 %17
%19 = load i32, i32* %18
store i32 %19, i32* %11
store i32 0, i32* %12
br label %20
20: ; preds = %40, %5
%21 = load i32, i32* %7
%22 = load i32, i32* %8
%23 = icmp slt i32 %21, %22
br i1 %23, label %24, label %45
24: ; preds = %20
%25 = load i32**, i32*** %10
%26 = load i32, i32* %12
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32*, i32** %25, i64 %27
%29 = load i32*, i32** %28
%30 = load i32*, i32** %6
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %29, i64 %35
%37 = load i32, i32* %36
%38 = load i32, i32* %11
%39 = add nsw i32 %38, %37
store i32 %39, i32* %11
br label %40
40: ; preds = %24
%41 = load i32, i32* %12
%42 = add nsw i32 %41, 1
store i32 %42, i32* %12
%43 = load i32, i32* %7
%44 = add nsw i32 %43, 1
store i32 %44, i32* %7
br label %20
45: ; preds = %20
%46 = load i32, i32* %11
ret i32 %46
}

LLVM IR (-O2):
define i32 @position(i32* nocapture %0, i32 %1, i32 %2, i32* nocapture %3, i32** nocapture %4) {
%6 = sub i32 %2, %1
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i32, i32* %3, i64 %7
%9 = load i32, i32* %8
%10 = icmp sgt i32 %2, %1
br i1 %10, label %11, label %89
11: ; preds = %5
%12 = sext i32 %1 to i64
%13 = zext i32 %6 to i64
%14 = add nsw i64 %13, -1
%15 = and i64 %13, 3
%16 = icmp ult i64 %14, 3
br i1 %16, label %66, label %17
17: ; preds = %11
%18 = and i64 %13, 4294967292
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ %12, %17 ], [ %63, %19 ]
%21 = phi i64 [ 0, %17 ], [ %62, %19 ]
%22 = phi i32 [ %9, %17 ], [ %61, %19 ]
%23 = phi i64 [ 0, %17 ], [ %64, %19 ]
%24 = getelementptr inbounds i32*, i32** %4, i64 %21
%25 = load i32*, i32** %24
%26 = getelementptr inbounds i32, i32* %0, i64 %20
%27 = load i32, i32* %26
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %25, i64 %28
%30 = load i32, i32* %29
%31 = add nsw i32 %30, %22
%32 = or i64 %21, 1
%33 = add nsw i64 %20, 1
%34 = getelementptr inbounds i32*, i32** %4, i64 %32
%35 = load i32*, i32** %34
%36 = getelementptr inbounds i32, i32* %0, i64 %33
%37 = load i32, i32* %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %35, i64 %38
%40 = load i32, i32* %39
%41 = add nsw i32 %40, %31
%42 = or i64 %21, 2
%43 = add nsw i64 %20, 2
%44 = getelementptr inbounds i32*, i32** %4, i64 %42
%45 = load i32*, i32** %44
%46 = getelementptr inbounds i32, i32* %0, i64 %43
%47 = load i32, i32* %46
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %45, i64 %48
%50 = load i32, i32* %49
%51 = add nsw i32 %50, %41
%52 = or i64 %21, 3
%53 = add nsw i64 %20, 3
%54 = getelementptr inbounds i32*, i32** %4, i64 %52
%55 = load i32*, i32** %54
%56 = getelementptr inbounds i32, i32* %0, i64 %53
%57 = load i32, i32* %56
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %55, i64 %58
%60 = load i32, i32* %59
%61 = add nsw i32 %60, %51
%62 = add nuw nsw i64 %21, 4
%63 = add nsw i64 %20, 4
%64 = add i64 %23, 4
%65 = icmp eq i64 %64, %18
br i1 %65, label %66, label %19
66: ; preds = %19, %11
%67 = phi i32 [ undef, %11 ], [ %61, %19 ]
%68 = phi i64 [ %12, %11 ], [ %63, %19 ]
%69 = phi i64 [ 0, %11 ], [ %62, %19 ]
%70 = phi i32 [ %9, %11 ], [ %61, %19 ]
%71 = icmp eq i64 %15, 0
br i1 %71, label %89, label %72
72: ; preds = %66, %72
%73 = phi i64 [ %86, %72 ], [ %68, %66 ]
%74 = phi i64 [ %85, %72 ], [ %69, %66 ]
%75 = phi i32 [ %84, %72 ], [ %70, %66 ]
%76 = phi i64 [ %87, %72 ], [ 0, %66 ]
%77 = getelementptr inbounds i32*, i32** %4, i64 %74
%78 = load i32*, i32** %77
%79 = getelementptr inbounds i32, i32* %0, i64 %73
%80 = load i32, i32* %79
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %78, i64 %81
%83 = load i32, i32* %82
%84 = add nsw i32 %83, %75
%85 = add nuw nsw i64 %74, 1
%86 = add nsw i64 %73, 1
%87 = add i64 %76, 1
%88 = icmp eq i64 %87, %15
br i1 %88, label %89, label %72
89: ; preds = %66, %72, %5
%90 = phi i32 [ %9, %5 ], [ %67, %66 ], [ %84, %72 ]
ret i32 %90
}