int deterRotMx(const int *RotMx) {
  int det;
  det = RotMx[0] * (RotMx[4] * RotMx[8] - RotMx[5] * RotMx[7]);
  det -= RotMx[1] * (RotMx[3] * RotMx[8] - RotMx[5] * RotMx[6]);
  det += RotMx[2] * (RotMx[3] * RotMx[7] - RotMx[4] * RotMx[6]);
  return det;
}


x86 assembly (clang, -O0):
<deterRotMx>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
mov    0x10(%rcx),%ecx
mov    -0x8(%rbp),%rdx
imul   0x20(%rdx),%ecx
mov    -0x8(%rbp),%rdx
mov    0x14(%rdx),%edx
mov    -0x8(%rbp),%rsi
imul   0x1c(%rsi),%edx
sub    %edx,%ecx
imul   %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x8(%rbp),%rdx
imul   0x20(%rdx),%eax
mov    -0x8(%rbp),%rdx
mov    0x14(%rdx),%edx
mov    -0x8(%rbp),%rsi
imul   0x18(%rsi),%edx
sub    %edx,%eax
imul   %eax,%ecx
mov    -0xc(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
mov    0xc(%rcx),%ecx
mov    -0x8(%rbp),%rdx
imul   0x1c(%rdx),%ecx
mov    -0x8(%rbp),%rdx
mov    0x10(%rdx),%edx
mov    -0x8(%rbp),%rsi
imul   0x18(%rsi),%edx
sub    %edx,%ecx
imul   %ecx,%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<deterRotMx>:
mov    0xc(%rdi),%eax
mov    0x10(%rdi),%r8d
mov    0x20(%rdi),%r10d
mov    %r10d,%esi
imul   %r8d,%esi
mov    0x14(%rdi),%ecx
mov    0x1c(%rdi),%r9d
mov    %r9d,%edx
imul   %ecx,%edx
sub    %edx,%esi
imul   (%rdi),%esi
imul   %eax,%r10d
imul   %r9d,%eax
mov    0x18(%rdi),%edx
imul   %edx,%ecx
sub    %r10d,%ecx
imul   0x4(%rdi),%ecx
add    %esi,%ecx
imul   %r8d,%edx
sub    %edx,%eax
imul   0x8(%rdi),%eax
add    %ecx,%eax
ret

LLVM IR (-O0):
define i32 @deterRotMx(i32* %0) {
%2 = alloca i32*
%3 = alloca i32
store i32* %0, i32** %2
%4 = load i32*, i32** %2
%5 = getelementptr inbounds i32, i32* %4, i64 0
%6 = load i32, i32* %5
%7 = load i32*, i32** %2
%8 = getelementptr inbounds i32, i32* %7, i64 4
%9 = load i32, i32* %8
%10 = load i32*, i32** %2
%11 = getelementptr inbounds i32, i32* %10, i64 8
%12 = load i32, i32* %11
%13 = mul nsw i32 %9, %12
%14 = load i32*, i32** %2
%15 = getelementptr inbounds i32, i32* %14, i64 5
%16 = load i32, i32* %15
%17 = load i32*, i32** %2
%18 = getelementptr inbounds i32, i32* %17, i64 7
%19 = load i32, i32* %18
%20 = mul nsw i32 %16, %19
%21 = sub nsw i32 %13, %20
%22 = mul nsw i32 %6, %21
store i32 %22, i32* %3
%23 = load i32*, i32** %2
%24 = getelementptr inbounds i32, i32* %23, i64 1
%25 = load i32, i32* %24
%26 = load i32*, i32** %2
%27 = getelementptr inbounds i32, i32* %26, i64 3
%28 = load i32, i32* %27
%29 = load i32*, i32** %2
%30 = getelementptr inbounds i32, i32* %29, i64 8
%31 = load i32, i32* %30
%32 = mul nsw i32 %28, %31
%33 = load i32*, i32** %2
%34 = getelementptr inbounds i32, i32* %33, i64 5
%35 = load i32, i32* %34
%36 = load i32*, i32** %2
%37 = getelementptr inbounds i32, i32* %36, i64 6
%38 = load i32, i32* %37
%39 = mul nsw i32 %35, %38
%40 = sub nsw i32 %32, %39
%41 = mul nsw i32 %25, %40
%42 = load i32, i32* %3
%43 = sub nsw i32 %42, %41
store i32 %43, i32* %3
%44 = load i32*, i32** %2
%45 = getelementptr inbounds i32, i32* %44, i64 2
%46 = load i32, i32* %45
%47 = load i32*, i32** %2
%48 = getelementptr inbounds i32, i32* %47, i64 3
%49 = load i32, i32* %48
%50 = load i32*, i32** %2
%51 = getelementptr inbounds i32, i32* %50, i64 7
%52 = load i32, i32* %51
%53 = mul nsw i32 %49, %52
%54 = load i32*, i32** %2
%55 = getelementptr inbounds i32, i32* %54, i64 4
%56 = load i32, i32* %55
%57 = load i32*, i32** %2
%58 = getelementptr inbounds i32, i32* %57, i64 6
%59 = load i32, i32* %58
%60 = mul nsw i32 %56, %59
%61 = sub nsw i32 %53, %60
%62 = mul nsw i32 %46, %61
%63 = load i32, i32* %3
%64 = add nsw i32 %63, %62
store i32 %64, i32* %3
%65 = load i32, i32* %3
ret i32 %65
}

LLVM IR (-O2):
define i32 @deterRotMx(i32* nocapture %0) {
%2 = load i32, i32* %0
%3 = getelementptr inbounds i32, i32* %0, i64 4
%4 = load i32, i32* %3
%5 = getelementptr inbounds i32, i32* %0, i64 8
%6 = load i32, i32* %5
%7 = mul nsw i32 %6, %4
%8 = getelementptr inbounds i32, i32* %0, i64 5
%9 = load i32, i32* %8
%10 = getelementptr inbounds i32, i32* %0, i64 7
%11 = load i32, i32* %10
%12 = mul nsw i32 %11, %9
%13 = sub nsw i32 %7, %12
%14 = mul nsw i32 %13, %2
%15 = getelementptr inbounds i32, i32* %0, i64 1
%16 = load i32, i32* %15
%17 = getelementptr inbounds i32, i32* %0, i64 3
%18 = load i32, i32* %17
%19 = mul nsw i32 %18, %6
%20 = getelementptr inbounds i32, i32* %0, i64 6
%21 = load i32, i32* %20
%22 = mul nsw i32 %21, %9
%23 = sub i32 %22, %19
%24 = mul i32 %23, %16
%25 = add i32 %24, %14
%26 = getelementptr inbounds i32, i32* %0, i64 2
%27 = load i32, i32* %26
%28 = mul nsw i32 %18, %11
%29 = mul nsw i32 %21, %4
%30 = sub nsw i32 %28, %29
%31 = mul nsw i32 %30, %27
%32 = add nsw i32 %25, %31
ret i32 %32
}