int dot(int A[2], int B[2], int C[2]) {
  int AB[2];
  int BC[2];
  AB[0] = B[0] - A[0];
  AB[1] = B[1] - A[1];
  BC[0] = C[0] - B[0];
  BC[1] = C[1] - B[1];
  int dot = AB[0] * BC[0] + AB[1] * BC[1];
  return dot;
}


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

x86 assembly (clang, -O2):
<dot>:
mov    (%rsi),%eax
mov    (%rdx),%ecx
sub    %eax,%ecx
mov    %eax,%r8d
sub    (%rdi),%r8d
mov    0x4(%rsi),%r9d
mov    %r9d,%esi
sub    0x4(%rdi),%esi
mov    0x4(%rdx),%eax
sub    %r9d,%eax
imul   %r8d,%ecx
imul   %esi,%eax
add    %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @dot(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2) {
%4 = load i32, i32* %1
%5 = load i32, i32* %0
%6 = sub nsw i32 %4, %5
%7 = getelementptr inbounds i32, i32* %1, i64 1
%8 = load i32, i32* %7
%9 = getelementptr inbounds i32, i32* %0, i64 1
%10 = load i32, i32* %9
%11 = sub nsw i32 %8, %10
%12 = load i32, i32* %2
%13 = sub nsw i32 %12, %4
%14 = getelementptr inbounds i32, i32* %2, i64 1
%15 = load i32, i32* %14
%16 = sub nsw i32 %15, %8
%17 = mul nsw i32 %13, %6
%18 = mul nsw i32 %16, %11
%19 = add nsw i32 %18, %17
ret i32 %19
}