#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint16_t;

/* Variables and functions */
void normals(float *normal_vectors, uint16_t *triangles, float *result,
             size_t amount) {
  uint16_t vertex;
  float normal_x, normal_y, normal_z;
  size_t j;
  while (amount-- > 0) {
    normal_x = normal_vectors[amount * 3 + 0];
    normal_y = normal_vectors[amount * 3 + 1];
    normal_z = normal_vectors[amount * 3 + 2];
    j = 3;
    while (j-- > 0) {
      vertex = triangles[amount * 3 + j];
      result[vertex * 3 + 0] += normal_x;
      result[vertex * 3 + 1] += normal_y;
      result[vertex * 3 + 2] += normal_z;
    }
  }
}


x86 assembly (clang, -O0):
<normals>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
cmp    $0x0,%rax
jbe    11fd <normals+0xfd>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x20(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x20(%rbp),%rcx
movss  0x8(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x30(%rbp)
movq   $0x3,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
cmp    $0x0,%rax
jbe    11f8 <normals+0xf8>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
imul   $0x3,-0x24(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
movss  -0x2c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
imul   $0x3,-0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
movss  -0x30(%rbp),%xmm0
mov    -0x18(%rbp),%rax
imul   $0x3,-0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
jmp    1170 <normals+0x70>
jmp    1114 <normals+0x14>
pop    %rbp
ret

x86 assembly (clang, -O2):
<normals>:
test   %rcx,%rcx
je     11e0 <normals+0xe0>
lea    (%rcx,%rcx,2),%rax
lea    -0x4(,%rax,4),%r8
ff
cs nopw 0x0(%rax,%rax,1)
nop
movss  -0x8(%rdi,%r8,1),%xmm2
movss  -0x4(%rdi,%r8,1),%xmm1
movss  (%rdi,%r8,1),%xmm0
movslq (%rsi,%r8,1),%rax
lea    (%rax,%rax,2),%rax
movss  (%rdx,%rax,4),%xmm3
addss  %xmm2,%xmm3
movss  %xmm3,(%rdx,%rax,4)
cltq
movss  0x4(%rdx,%rax,4),%xmm3
addss  %xmm1,%xmm3
movss  %xmm3,0x4(%rdx,%rax,4)
movss  0x8(%rdx,%rax,4),%xmm3
addss  %xmm0,%xmm3
movss  %xmm3,0x8(%rdx,%rax,4)
movslq -0x4(%rsi,%r8,1),%rax
lea    (%rax,%rax,2),%rax
movss  (%rdx,%rax,4),%xmm3
addss  %xmm2,%xmm3
movss  %xmm3,(%rdx,%rax,4)
cltq
movss  0x4(%rdx,%rax,4),%xmm3
addss  %xmm1,%xmm3
movss  %xmm3,0x4(%rdx,%rax,4)
movss  0x8(%rdx,%rax,4),%xmm3
addss  %xmm0,%xmm3
movss  %xmm3,0x8(%rdx,%rax,4)
movslq -0x8(%rsi,%r8,1),%rax
add    $0xfffffffffffffff4,%r8
lea    (%rax,%rax,2),%rax
addss  (%rdx,%rax,4),%xmm2
movss  %xmm2,(%rdx,%rax,4)
cltq
addss  0x4(%rdx,%rax,4),%xmm1
movss  %xmm1,0x4(%rdx,%rax,4)
addss  0x8(%rdx,%rax,4),%xmm0
movss  %xmm0,0x8(%rdx,%rax,4)
add    $0xffffffffffffffff,%rcx
jne    1120 <normals+0x20>
ret

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

LLVM IR (-O2):
define void @normals(float* nocapture %0, i32* nocapture %1, float* nocapture %2, i64 %3) {
%5 = icmp eq i64 %3, 0
br i1 %5, label %70, label %6
6: ; preds = %4, %6
%7 = phi i64 [ %8, %6 ], [ %3, %4 ]
%8 = add i64 %7, -1
%9 = mul i64 %8, 3
%10 = getelementptr inbounds float, float* %0, i64 %9
%11 = load float, float* %10
%12 = add i64 %9, 1
%13 = getelementptr inbounds float, float* %0, i64 %12
%14 = load float, float* %13
%15 = add i64 %9, 2
%16 = getelementptr inbounds float, float* %0, i64 %15
%17 = load float, float* %16
%18 = getelementptr inbounds i32, i32* %1, i64 %15
%19 = load i32, i32* %18
%20 = mul nsw i32 %19, 3
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds float, float* %2, i64 %21
%23 = load float, float* %22
%24 = fadd float %11, %23
store float %24, float* %22
%25 = add nsw i32 %20, 1
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds float, float* %2, i64 %26
%28 = load float, float* %27
%29 = fadd float %14, %28
store float %29, float* %27
%30 = add nsw i32 %20, 2
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %2, i64 %31
%33 = load float, float* %32
%34 = fadd float %17, %33
store float %34, float* %32
%35 = getelementptr inbounds i32, i32* %1, i64 %12
%36 = load i32, i32* %35
%37 = mul nsw i32 %36, 3
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds float, float* %2, i64 %38
%40 = load float, float* %39
%41 = fadd float %11, %40
store float %41, float* %39
%42 = add nsw i32 %37, 1
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds float, float* %2, i64 %43
%45 = load float, float* %44
%46 = fadd float %14, %45
store float %46, float* %44
%47 = add nsw i32 %37, 2
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds float, float* %2, i64 %48
%50 = load float, float* %49
%51 = fadd float %17, %50
store float %51, float* %49
%52 = getelementptr inbounds i32, i32* %1, i64 %9
%53 = load i32, i32* %52
%54 = mul nsw i32 %53, 3
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %2, i64 %55
%57 = load float, float* %56
%58 = fadd float %11, %57
store float %58, float* %56
%59 = add nsw i32 %54, 1
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds float, float* %2, i64 %60
%62 = load float, float* %61
%63 = fadd float %14, %62
store float %63, float* %61
%64 = add nsw i32 %54, 2
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds float, float* %2, i64 %65
%67 = load float, float* %66
%68 = fadd float %17, %67
store float %68, float* %66
%69 = icmp eq i64 %8, 0
br i1 %69, label %70, label %6
70: ; preds = %6, %4
ret void
}