#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 scalar_t__ GLfloat;

/* Variables and functions */
int /*<<< orphan*/ crossProduct(scalar_t__ *, scalar_t__ *, scalar_t__ *);
int /*<<< orphan*/ normalize(scalar_t__ *);
void makeNormals(GLfloat vs[][3], int fs[], int nrFacets, GLfloat ns[][3]) {
  int f, i, c;
  GLfloat vec1[3], vec2[3];
  i = 0;
  for (f = 0; f < nrFacets; f++) {
    for (c = 0; c < 3; c++) {
      vec1[c] = vs[fs[i + 2]][c] - vs[fs[i + 1]][c];
      vec2[c] = vs[fs[i]][c] - vs[fs[i + 1]][c];
    }
    crossProduct(vec1, vec2, ns[f]);
    normalize(ns[f]);
    while (fs[i] >= 0)
      i++;
    i++;
  }
}


x86 assembly (clang, -O0):
<makeNormals>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1274 <makeNormals+0x154>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jge    120d <makeNormals+0xed>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rdx
mov    -0x28(%rbp),%esi
add    $0x1,%esi
movslq %esi,%rsi
movslq (%rdx,%rsi,4),%rdx
imul   $0x18,%rdx,%rdx
add    %rdx,%rax
movslq -0x2c(%rbp),%rdx
sub    (%rax,%rdx,8),%rcx
movslq -0x2c(%rbp),%rax
mov    %rcx,-0x50(%rbp,%rax,8)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rdx
mov    -0x28(%rbp),%esi
add    $0x1,%esi
movslq %esi,%rsi
movslq (%rdx,%rsi,4),%rdx
imul   $0x18,%rdx,%rdx
add    %rdx,%rax
movslq -0x2c(%rbp),%rdx
sub    (%rax,%rdx,8),%rcx
movslq -0x2c(%rbp),%rax
mov    %rcx,-0x70(%rbp,%rax,8)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1158 <makeNormals+0x38>
lea    -0x50(%rbp),%rdi
lea    -0x70(%rbp),%rsi
mov    -0x20(%rbp),%rdx
movslq -0x24(%rbp),%rax
imul   $0x18,%rax,%rax
add    %rax,%rdx
call   1030 <crossProduct@plt>
mov    -0x20(%rbp),%rdi
movslq -0x24(%rbp),%rax
imul   $0x18,%rax,%rax
add    %rax,%rdi
call   1040 <normalize@plt>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jl     125d <makeNormals+0x13d>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    123d <makeNormals+0x11d>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1145 <makeNormals+0x25>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<makeNormals>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rcx,0x8(%rsp)
test   %edx,%edx
jle    120e <makeNormals+0xee>
mov    %rsi,%r15
mov    %rdi,%rbx
mov    %edx,%eax
mov    %rax,(%rsp)
xor    %r13d,%r13d
xor    %r14d,%r14d
nopl   (%rax)
movslq %r14d,%rax
movslq 0x8(%r15,%rax,4),%rcx
movslq 0x4(%r15,%rax,4),%rdx
lea    (%r15,%rax,4),%r12
movslq (%r15,%rax,4),%rax
lea    (%rcx,%rcx,2),%rcx
lea    (%rdx,%rdx,2),%rdx
lea    (%rax,%rax,2),%rax
movdqu (%rbx,%rdx,8),%xmm0
movdqu (%rbx,%rcx,8),%xmm1
psubq  %xmm0,%xmm1
movdqa %xmm1,0x30(%rsp)
movdqu (%rbx,%rax,8),%xmm1
psubq  %xmm0,%xmm1
movdqa %xmm1,0x10(%rsp)
mov    0x10(%rbx,%rcx,8),%rcx
mov    0x10(%rbx,%rdx,8),%rdx
sub    %rdx,%rcx
mov    %rcx,0x40(%rsp)
mov    0x10(%rbx,%rax,8),%rax
sub    %rdx,%rax
mov    %rax,0x20(%rsp)
lea    0x0(,%r13,2),%rax
add    %r13,%rax
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,8),%rbp
lea    0x30(%rsp),%rdi
lea    0x10(%rsp),%rsi
mov    %rbp,%rdx
call   1030 <crossProduct@plt>
mov    %rbp,%rdi
call   1040 <normalize@plt>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14d
cmpl   $0x0,(%r12)
lea    0x4(%r12),%r12
jns    11f0 <makeNormals+0xd0>
add    $0x1,%r13
cmp    (%rsp),%r13
jne    1150 <makeNormals+0x30>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @makeNormals([3 x i64]* %0, i32* %1, i32 %2, [3 x i64]* %3) {
%5 = alloca [3 x i64]*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca [3 x i64]*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca [3 x i64]
%13 = alloca [3 x i64]
store [3 x i64]* %0, [3 x i64]** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store [3 x i64]* %3, [3 x i64]** %8
store i32 0, i32* %10
store i32 0, i32* %9
br label %14
14: ; preds = %113, %4
%15 = load i32, i32* %9
%16 = load i32, i32* %7
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %116
18: ; preds = %14
store i32 0, i32* %11
br label %19
19: ; preds = %82, %18
%20 = load i32, i32* %11
%21 = icmp slt i32 %20, 3
br i1 %21, label %22, label %85
22: ; preds = %19
%23 = load [3 x i64]*, [3 x i64]** %5
%24 = load i32*, i32** %6
%25 = load i32, i32* %10
%26 = add nsw i32 %25, 2
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %24, i64 %27
%29 = load i32, i32* %28
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [3 x i64], [3 x i64]* %23, i64 %30
%32 = load i32, i32* %11
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [3 x i64], [3 x i64]* %31, i64 0, i64 %33
%35 = load i64, i64* %34
%36 = load [3 x i64]*, [3 x i64]** %5
%37 = load i32*, i32** %6
%38 = load i32, i32* %10
%39 = add nsw i32 %38, 1
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i32, i32* %37, i64 %40
%42 = load i32, i32* %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [3 x i64], [3 x i64]* %36, i64 %43
%45 = load i32, i32* %11
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [3 x i64], [3 x i64]* %44, i64 0, i64 %46
%48 = load i64, i64* %47
%49 = sub nsw i64 %35, %48
%50 = load i32, i32* %11
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [3 x i64], [3 x i64]* %12, i64 0, i64 %51
store i64 %49, i64* %52
%53 = load [3 x i64]*, [3 x i64]** %5
%54 = load i32*, i32** %6
%55 = load i32, i32* %10
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
%58 = load i32, i32* %57
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [3 x i64], [3 x i64]* %53, i64 %59
%61 = load i32, i32* %11
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [3 x i64], [3 x i64]* %60, i64 0, i64 %62
%64 = load i64, i64* %63
%65 = load [3 x i64]*, [3 x i64]** %5
%66 = load i32*, i32** %6
%67 = load i32, i32* %10
%68 = add nsw i32 %67, 1
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %66, i64 %69
%71 = load i32, i32* %70
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [3 x i64], [3 x i64]* %65, i64 %72
%74 = load i32, i32* %11
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [3 x i64], [3 x i64]* %73, i64 0, i64 %75
%77 = load i64, i64* %76
%78 = sub nsw i64 %64, %77
%79 = load i32, i32* %11
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [3 x i64], [3 x i64]* %13, i64 0, i64 %80
store i64 %78, i64* %81
br label %82
82: ; preds = %22
%83 = load i32, i32* %11
%84 = add nsw i32 %83, 1
store i32 %84, i32* %11
br label %19
85: ; preds = %19
%86 = getelementptr inbounds [3 x i64], [3 x i64]* %12, i64 0, i64 0
%87 = getelementptr inbounds [3 x i64], [3 x i64]* %13, i64 0, i64 0
%88 = load [3 x i64]*, [3 x i64]** %8
%89 = load i32, i32* %9
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [3 x i64], [3 x i64]* %88, i64 %90
%92 = getelementptr inbounds [3 x i64], [3 x i64]* %91, i64 0, i64 0
%93 = call i32 @crossProduct(i64* %86, i64* %87, i64* %92)
%94 = load [3 x i64]*, [3 x i64]** %8
%95 = load i32, i32* %9
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [3 x i64], [3 x i64]* %94, i64 %96
%98 = getelementptr inbounds [3 x i64], [3 x i64]* %97, i64 0, i64 0
%99 = call i32 @normalize(i64* %98)
br label %100
100: ; preds = %107, %85
%101 = load i32*, i32** %6
%102 = load i32, i32* %10
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
%106 = icmp sge i32 %105, 0
br i1 %106, label %107, label %110
107: ; preds = %100
%108 = load i32, i32* %10
%109 = add nsw i32 %108, 1
store i32 %109, i32* %10
br label %100
110: ; preds = %100
%111 = load i32, i32* %10
%112 = add nsw i32 %111, 1
store i32 %112, i32* %10
br label %113
113: ; preds = %110
%114 = load i32, i32* %9
%115 = add nsw i32 %114, 1
store i32 %115, i32* %9
br label %14
116: ; preds = %14
ret void
}

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