#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 */

/* Variables and functions */
int /*<<< orphan*/ MergeVertsFast(int *, int *, float *, int *, float const *,
                                  int const, int const, int /*<<< orphan*/,
                                  int const, int /*<<< orphan*/);
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ free(int *);
scalar_t__ malloc(int);
int WeldMesh(int *piRemapTable, float *pfVertexDataOut,
             const float pfVertexDataIn[], const int iNrVerticesIn,
             const int iFloatsPerVert) {
  int iUniqueVertices = 0, i = 0;
  int *piVertexIDs = NULL;
  if (iNrVerticesIn <= 0)
    return 0;
  iUniqueVertices = 0;
  piVertexIDs = (int *)malloc(sizeof(int) * iNrVerticesIn);
  if (piVertexIDs != NULL) {
    for (i = 0; i < iNrVerticesIn; i++) {
      piRemapTable[i] = -1;
      piVertexIDs[i] = i;
    }
    MergeVertsFast(&iUniqueVertices, piRemapTable, pfVertexDataOut, piVertexIDs,
                   pfVertexDataIn, iNrVerticesIn, iFloatsPerVert, 0,
                   iNrVerticesIn - 1, 0);
    free(piVertexIDs);
    for (i = 0; i < iUniqueVertices; i++)
      assert(piRemapTable[i] >= 0);
  }
  return iUniqueVertices;
}


x86 assembly (clang, -O0):
<WeldMesh>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
cmpl   $0x0,-0x24(%rbp)
jg     1187 <WeldMesh+0x47>
movl   $0x0,-0x4(%rbp)
jmp    127a <WeldMesh+0x13a>
movl   $0x0,-0x2c(%rbp)
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     1274 <WeldMesh+0x134>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11ea <WeldMesh+0xaa>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    -0x30(%rbp),%edx
mov    -0x38(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11b3 <WeldMesh+0x73>
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x24(%rbp),%r9d
mov    -0x28(%rbp),%r10d
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
lea    -0x2c(%rbp),%rdi
xor    %r11d,%r11d
mov    %r10d,(%rsp)
movl   $0x0,0x8(%rsp)
mov    %eax,0x10(%rsp)
movl   $0x0,0x18(%rsp)
call   1040 <MergeVertsFast@plt>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    126f <WeldMesh+0x12f>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    123c <WeldMesh+0xfc>
jmp    1274 <WeldMesh+0x134>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WeldMesh>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %r14d,%r14d
test   %ecx,%ecx
jle    138b <WeldMesh+0x24b>
mov    %r8d,%r13d
mov    %ecx,%r15d
mov    %rdi,%rbx
mov    %rsi,0x10(%rsp)
mov    %rdx,%rbp
movl   $0x0,0xc(%rsp)
lea    0x0(,%r15,4),%edi
call   1060 <malloc@plt>
test   %rax,%rax
je     138b <WeldMesh+0x24b>
mov    %rax,%r12
mov    %r15d,%eax
cmp    $0x8,%r15d
jb     11ae <WeldMesh+0x6e>
lea    (%r12,%rax,4),%rcx
cmp    %rbx,%rcx
jbe    1239 <WeldMesh+0xf9>
lea    (%rbx,%rax,4),%rcx
cmp    %rcx,%r12
jae    1239 <WeldMesh+0xf9>
xor    %ecx,%ecx
mov    %rbp,%r8
mov    0x10(%rsp),%rdx
mov    %rcx,%rdi
not    %rdi
add    %rax,%rdi
mov    %rax,%rsi
and    $0x3,%rsi
je     11e5 <WeldMesh+0xa5>
nopw   0x0(%rax,%rax,1)
movl   $0xffffffff,(%rbx,%rcx,4)
mov    %ecx,(%r12,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    11d0 <WeldMesh+0x90>
cmp    $0x3,%rdi
jb     132f <WeldMesh+0x1ef>
nop
movl   $0xffffffff,(%rbx,%rcx,4)
mov    %ecx,(%r12,%rcx,4)
movl   $0xffffffff,0x4(%rbx,%rcx,4)
ff
lea    0x1(%rcx),%esi
mov    %esi,0x4(%r12,%rcx,4)
movl   $0xffffffff,0x8(%rbx,%rcx,4)
ff
lea    0x2(%rcx),%esi
mov    %esi,0x8(%r12,%rcx,4)
movl   $0xffffffff,0xc(%rbx,%rcx,4)
ff
lea    0x3(%rcx),%esi
mov    %esi,0xc(%r12,%rcx,4)
add    $0x4,%rcx
cmp    %rax,%rcx
jne    11f0 <WeldMesh+0xb0>
jmp    132f <WeldMesh+0x1ef>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
mov    %rbp,%r8
mov    0x10(%rsp),%rdx
je     139d <WeldMesh+0x25d>
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
movdqa 0xd93(%rip),%xmm0
xor    %esi,%esi
movdqa 0xd99(%rip),%xmm1
pcmpeqd %xmm2,%xmm2
movdqa 0xd9d(%rip),%xmm3
movdqa 0xda5(%rip),%xmm4
movdqa 0xdad(%rip),%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm6
paddd  %xmm1,%xmm6
movdqu %xmm2,(%rbx,%rsi,4)
movdqu %xmm2,0x10(%rbx,%rsi,4)
movdqu %xmm0,(%r12,%rsi,4)
movdqu %xmm6,0x10(%r12,%rsi,4)
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm4,%xmm7
movdqu %xmm2,0x20(%rbx,%rsi,4)
movdqu %xmm2,0x30(%rbx,%rsi,4)
movdqu %xmm6,0x20(%r12,%rsi,4)
movdqu %xmm7,0x30(%r12,%rsi,4)
add    $0x10,%rsi
paddd  %xmm5,%xmm0
add    $0xfffffffffffffffe,%rdi
jne    12a0 <WeldMesh+0x160>
test   $0x1,%r9b
je     1326 <WeldMesh+0x1e6>
movdqa 0xd0a(%rip),%xmm1
paddd  %xmm0,%xmm1
pcmpeqd %xmm2,%xmm2
movdqu %xmm2,(%rbx,%rsi,4)
movdqu %xmm2,0x10(%rbx,%rsi,4)
movdqu %xmm0,(%r12,%rsi,4)
movdqu %xmm1,0x10(%r12,%rsi,4)
cmp    %rax,%rcx
jne    11b8 <WeldMesh+0x78>
lea    -0x1(%r15),%eax
lea    0xc(%rsp),%rdi
mov    %rbx,%rsi
mov    %r12,%rcx
mov    %r15d,%r9d
push   $0x0
push   %rax
push   $0x0
push   %r13
call   1040 <MergeVertsFast@plt>
add    $0x20,%rsp
mov    %r12,%rdi
call   1030 <free@plt>
mov    0xc(%rsp),%r14d
test   %r14d,%r14d
jle    138b <WeldMesh+0x24b>
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rbx,%rbp,4),%edi
not    %edi
shr    $0x1f,%edi
call   1050 <assert@plt>
add    $0x1,%rbp
movslq 0xc(%rsp),%r14
cmp    %r14,%rbp
jl     1370 <WeldMesh+0x230>
mov    %r14d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movdqa 0xc5b(%rip),%xmm0
xor    %esi,%esi
test   $0x1,%r9b
jne    12fe <WeldMesh+0x1be>
jmp    1326 <WeldMesh+0x1e6>

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

LLVM IR (-O2):
define i32 @WeldMesh(i32* %0, float* %1, float* %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = bitcast i32* %6 to i8*
%8 = icmp slt i32 %3, 1
br i1 %8, label %132, label %9
9: ; preds = %5
store i32 0, i32* %6
%10 = shl i32 %3, 2
%11 = tail call i64 @malloc(i32 %10)
%12 = inttoptr i64 %11 to i32*
%13 = inttoptr i64 %11 to i8*
%14 = icmp eq i64 %11, 0
br i1 %14, label %132, label %15
15: ; preds = %9
%16 = zext i32 %3 to i64
%17 = icmp ult i32 %3, 8
br i1 %17, label %78, label %18
18: ; preds = %15
%19 = getelementptr i32, i32* %0, i64 %16
%20 = bitcast i32* %19 to i8*
%21 = getelementptr i32, i32* %12, i64 %16
%22 = icmp ugt i32* %21, %0
%23 = icmp ult i8* %13, %20
%24 = and i1 %22, %23
br i1 %24, label %78, label %25
25: ; preds = %18
%26 = and i64 %16, 4294967288
%27 = add nsw i64 %26, -8
%28 = lshr exact i64 %27, 3
%29 = add nuw nsw i64 %28, 1
%30 = and i64 %29, 1
%31 = icmp eq i64 %27, 0
br i1 %31, label %62, label %32
32: ; preds = %25
%33 = and i64 %29, 4611686018427387902
br label %34
34: ; preds = %34, %32
%35 = phi i64 [ 0, %32 ], [ %58, %34 ]
%36 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %32 ], [ %59, %34 ]
%37 = phi i64 [ 0, %32 ], [ %60, %34 ]
%38 = add <4 x i32> %36, <i32 4, i32 4, i32 4, i32 4>
%39 = getelementptr inbounds i32, i32* %0, i64 %35
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %40
%41 = getelementptr inbounds i32, i32* %39, i64 4
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %12, i64 %35
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %36, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %43, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %38, <4 x i32>* %46
%47 = or i64 %35, 8
%48 = add <4 x i32> %36, <i32 8, i32 8, i32 8, i32 8>
%49 = add <4 x i32> %36, <i32 12, i32 12, i32 12, i32 12>
%50 = getelementptr inbounds i32, i32* %0, i64 %47
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %53
%54 = getelementptr inbounds i32, i32* %12, i64 %47
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %55
%56 = getelementptr inbounds i32, i32* %54, i64 4
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %57
%58 = add nuw i64 %35, 16
%59 = add <4 x i32> %36, <i32 16, i32 16, i32 16, i32 16>
%60 = add i64 %37, 2
%61 = icmp eq i64 %60, %33
br i1 %61, label %62, label %34
62: ; preds = %34, %25
%63 = phi i64 [ 0, %25 ], [ %58, %34 ]
%64 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %25 ], [ %59, %34 ]
%65 = icmp eq i64 %30, 0
br i1 %65, label %76, label %66
66: ; preds = %62
%67 = add <4 x i32> %64, <i32 4, i32 4, i32 4, i32 4>
%68 = getelementptr inbounds i32, i32* %0, i64 %63
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %69
%70 = getelementptr inbounds i32, i32* %68, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %71
%72 = getelementptr inbounds i32, i32* %12, i64 %63
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %73
%74 = getelementptr inbounds i32, i32* %72, i64 4
%75 = bitcast i32* %74 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %75
br label %76
76: ; preds = %62, %66
%77 = icmp eq i64 %26, %16
br i1 %77, label %115, label %78
78: ; preds = %18, %15, %76
%79 = phi i64 [ 0, %18 ], [ 0, %15 ], [ %26, %76 ]
%80 = xor i64 %79, -1
%81 = add nsw i64 %80, %16
%82 = and i64 %16, 3
%83 = icmp eq i64 %82, 0
br i1 %83, label %93, label %84
84: ; preds = %78, %84
%85 = phi i64 [ %90, %84 ], [ %79, %78 ]
%86 = phi i64 [ %91, %84 ], [ 0, %78 ]
%87 = getelementptr inbounds i32, i32* %0, i64 %85
store i32 -1, i32* %87
%88 = getelementptr inbounds i32, i32* %12, i64 %85
%89 = trunc i64 %85 to i32
store i32 %89, i32* %88
%90 = add nuw nsw i64 %85, 1
%91 = add i64 %86, 1
%92 = icmp eq i64 %91, %82
br i1 %92, label %93, label %84
93: ; preds = %84, %78
%94 = phi i64 [ %79, %78 ], [ %90, %84 ]
%95 = icmp ult i64 %81, 3
br i1 %95, label %115, label %96
96: ; preds = %93, %96
%97 = phi i64 [ %113, %96 ], [ %94, %93 ]
%98 = getelementptr inbounds i32, i32* %0, i64 %97
store i32 -1, i32* %98
%99 = getelementptr inbounds i32, i32* %12, i64 %97
%100 = trunc i64 %97 to i32
store i32 %100, i32* %99
%101 = add nuw nsw i64 %97, 1
%102 = getelementptr inbounds i32, i32* %0, i64 %101
store i32 -1, i32* %102
%103 = getelementptr inbounds i32, i32* %12, i64 %101
%104 = trunc i64 %101 to i32
store i32 %104, i32* %103
%105 = add nuw nsw i64 %97, 2
%106 = getelementptr inbounds i32, i32* %0, i64 %105
store i32 -1, i32* %106
%107 = getelementptr inbounds i32, i32* %12, i64 %105
%108 = trunc i64 %105 to i32
store i32 %108, i32* %107
%109 = add nuw nsw i64 %97, 3
%110 = getelementptr inbounds i32, i32* %0, i64 %109
store i32 -1, i32* %110
%111 = getelementptr inbounds i32, i32* %12, i64 %109
%112 = trunc i64 %109 to i32
store i32 %112, i32* %111
%113 = add nuw nsw i64 %97, 4
%114 = icmp eq i64 %113, %16
br i1 %114, label %115, label %96
115: ; preds = %93, %96, %76
%116 = add nsw i32 %3, -1
%117 = call i32 @MergeVertsFast(i32* %6, i32* %0, float* %1, i32* %12, float* %2, i32 %3, i32 %4, i32 0, i32 %116, i32 0)
%118 = call i32 @free(i32* %12)
%119 = load i32, i32* %6
%120 = icmp sgt i32 %119, 0
br i1 %120, label %121, label %132
121: ; preds = %115, %121
%122 = phi i64 [ %128, %121 ], [ 0, %115 ]
%123 = getelementptr inbounds i32, i32* %0, i64 %122
%124 = load i32, i32* %123
%125 = xor i32 %124, -1
%126 = lshr i32 %125, 31
%127 = call i32 @assert(i32 %126)
%128 = add nuw nsw i64 %122, 1
%129 = load i32, i32* %6
%130 = sext i32 %129 to i64
%131 = icmp slt i64 %128, %130
br i1 %131, label %121, label %132
132: ; preds = %121, %9, %115, %5
%133 = phi i32 [ 0, %5 ], [ %119, %115 ], [ 0, %9 ], [ %129, %121 ]
ret i32 %133
}