void barycenter(float dest[2], unsigned indices[3], float (*vertices)[2]) {
  unsigned a, b, c;
  a = indices[0];
  b = indices[1];
  c = indices[2];
  dest[0] = (vertices[a][0] + vertices[b][0] + vertices[c][0]) / 3.0;
  dest[1] = (vertices[a][1] + vertices[b][1] + vertices[c][1]) / 3.0;
}


x86 assembly (clang, -O0):
<barycenter>:
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    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
movss  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
addss  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
addss  (%rax,%rcx,8),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xea3(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
movss  0x4(%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
addss  0x4(%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
addss  0x4(%rax,%rcx,8),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe60(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<barycenter>:
mov    (%rsi),%eax
mov    0x4(%rsi),%ecx
mov    0x8(%rsi),%esi
movss  (%rdx,%rax,8),%xmm0
addss  (%rdx,%rcx,8),%xmm0
addss  (%rdx,%rsi,8),%xmm0
movss  0xee1(%rip),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,(%rdi)
movss  0x4(%rdx,%rax,8),%xmm0
addss  0x4(%rdx,%rcx,8),%xmm0
addss  0x4(%rdx,%rsi,8),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,0x4(%rdi)
ret

LLVM IR (-O0):
define void @barycenter(float* %0, i32* %1, [2 x float]* %2) {
%4 = alloca float*
%5 = alloca i32*
%6 = alloca [2 x float]*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store float* %0, float** %4
store i32* %1, i32** %5
store [2 x float]* %2, [2 x float]** %6
%10 = load i32*, i32** %5
%11 = getelementptr inbounds i32, i32* %10, i64 0
%12 = load i32, i32* %11
store i32 %12, i32* %7
%13 = load i32*, i32** %5
%14 = getelementptr inbounds i32, i32* %13, i64 1
%15 = load i32, i32* %14
store i32 %15, i32* %8
%16 = load i32*, i32** %5
%17 = getelementptr inbounds i32, i32* %16, i64 2
%18 = load i32, i32* %17
store i32 %18, i32* %9
%19 = load [2 x float]*, [2 x float]** %6
%20 = load i32, i32* %7
%21 = zext i32 %20 to i64
%22 = getelementptr inbounds [2 x float], [2 x float]* %19, i64 %21
%23 = getelementptr inbounds [2 x float], [2 x float]* %22, i64 0, i64 0
%24 = load float, float* %23
%25 = load [2 x float]*, [2 x float]** %6
%26 = load i32, i32* %8
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds [2 x float], [2 x float]* %25, i64 %27
%29 = getelementptr inbounds [2 x float], [2 x float]* %28, i64 0, i64 0
%30 = load float, float* %29
%31 = fadd float %24, %30
%32 = load [2 x float]*, [2 x float]** %6
%33 = load i32, i32* %9
%34 = zext i32 %33 to i64
%35 = getelementptr inbounds [2 x float], [2 x float]* %32, i64 %34
%36 = getelementptr inbounds [2 x float], [2 x float]* %35, i64 0, i64 0
%37 = load float, float* %36
%38 = fadd float %31, %37
%39 = fpext float %38 to double
%40 = fdiv double %39, 3.000000e+00
%41 = fptrunc double %40 to float
%42 = load float*, float** %4
%43 = getelementptr inbounds float, float* %42, i64 0
store float %41, float* %43
%44 = load [2 x float]*, [2 x float]** %6
%45 = load i32, i32* %7
%46 = zext i32 %45 to i64
%47 = getelementptr inbounds [2 x float], [2 x float]* %44, i64 %46
%48 = getelementptr inbounds [2 x float], [2 x float]* %47, i64 0, i64 1
%49 = load float, float* %48
%50 = load [2 x float]*, [2 x float]** %6
%51 = load i32, i32* %8
%52 = zext i32 %51 to i64
%53 = getelementptr inbounds [2 x float], [2 x float]* %50, i64 %52
%54 = getelementptr inbounds [2 x float], [2 x float]* %53, i64 0, i64 1
%55 = load float, float* %54
%56 = fadd float %49, %55
%57 = load [2 x float]*, [2 x float]** %6
%58 = load i32, i32* %9
%59 = zext i32 %58 to i64
%60 = getelementptr inbounds [2 x float], [2 x float]* %57, i64 %59
%61 = getelementptr inbounds [2 x float], [2 x float]* %60, i64 0, i64 1
%62 = load float, float* %61
%63 = fadd float %56, %62
%64 = fpext float %63 to double
%65 = fdiv double %64, 3.000000e+00
%66 = fptrunc double %65 to float
%67 = load float*, float** %4
%68 = getelementptr inbounds float, float* %67, i64 1
store float %66, float* %68
ret void
}

LLVM IR (-O2):
define void @barycenter(float* nocapture writeonly %0, i32* nocapture %1, [2 x float]* nocapture %2) {
%4 = load i32, i32* %1
%5 = getelementptr inbounds i32, i32* %1, i64 1
%6 = load i32, i32* %5
%7 = getelementptr inbounds i32, i32* %1, i64 2
%8 = load i32, i32* %7
%9 = zext i32 %4 to i64
%10 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %9, i64 0
%11 = load float, float* %10
%12 = zext i32 %6 to i64
%13 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %12, i64 0
%14 = load float, float* %13
%15 = fadd float %11, %14
%16 = zext i32 %8 to i64
%17 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %16, i64 0
%18 = load float, float* %17
%19 = fadd float %15, %18
%20 = fdiv float %19, 3.000000e+00
store float %20, float* %0
%21 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %9, i64 1
%22 = load float, float* %21
%23 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %12, i64 1
%24 = load float, float* %23
%25 = fadd float %22, %24
%26 = getelementptr inbounds [2 x float], [2 x float]* %2, i64 %16, i64 1
%27 = load float, float* %26
%28 = fadd float %25, %27
%29 = fdiv float %28, 3.000000e+00
%30 = getelementptr inbounds float, float* %0, i64 1
store float %29, float* %30
ret void
}