#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 int32_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int32_t UniformInterp1Index(float xi, int32_t n, float *frac) {
  assert(frac != NULL);
  int32_t index = (int32_t)xi;
  if (index < 0) {
    assert(0);
    index = 0;
  } else if (index > n - 2) {
    assert(index < n);
    index = n - 2;
  }
  *frac = xi - (float)index;
  return index;
}


x86 assembly (clang, -O0):
<UniformInterp1Index>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cvttss2si -0x4(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jge    115b <UniformInterp1Index+0x4b>
xor    %edi,%edi
call   1030 <assert@plt>
movl   $0x0,-0x14(%rbp)
jmp    118d <UniformInterp1Index+0x7d>
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jle    1188 <UniformInterp1Index+0x78>
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    118d <UniformInterp1Index+0x7d>
movss  -0x4(%rbp),%xmm0
cvtsi2ssl -0x14(%rbp),%xmm1
subss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x14(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<UniformInterp1Index>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rsi,%r14
mov    %edi,%ebx
movss  %xmm0,0xc(%rsp)
xor    %edi,%edi
test   %rsi,%rsi
setne  %dil
call   1030 <assert@plt>
cvttss2si 0xc(%rsp),%eax
test   %eax,%eax
js     114c <UniformInterp1Index+0x3c>
lea    -0x2(%rbx),%ebp
cmp    %eax,%ebp
jge    1157 <UniformInterp1Index+0x47>
xor    %edi,%edi
cmp    %ebx,%eax
setl   %dil
jmp    1150 <UniformInterp1Index+0x40>
xor    %edi,%edi
xor    %ebp,%ebp
call   1030 <assert@plt>
mov    %ebp,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  0xc(%rsp),%xmm1
subss  %xmm0,%xmm1
movss  %xmm1,(%r14)
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @UniformInterp1Index(float %0, i32 %1, float* %2) {
%4 = alloca float
%5 = alloca i32
%6 = alloca float*
%7 = alloca i32
store float %0, float* %4
store i32 %1, i32* %5
store float* %2, float** %6
%8 = load float*, float** %6
%9 = icmp ne float* %8, null
%10 = zext i1 %9 to i32
%11 = call i32 @assert(i32 %10)
%12 = load float, float* %4
%13 = fptosi float %12 to i32
store i32 %13, i32* %7
%14 = load i32, i32* %7
%15 = icmp slt i32 %14, 0
br i1 %15, label %16, label %18
16: ; preds = %3
%17 = call i32 @assert(i32 0)
store i32 0, i32* %7
br label %32
18: ; preds = %3
%19 = load i32, i32* %7
%20 = load i32, i32* %5
%21 = sub nsw i32 %20, 2
%22 = icmp sgt i32 %19, %21
br i1 %22, label %23, label %31
23: ; preds = %18
%24 = load i32, i32* %7
%25 = load i32, i32* %5
%26 = icmp slt i32 %24, %25
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i32, i32* %5
%30 = sub nsw i32 %29, 2
store i32 %30, i32* %7
br label %31
31: ; preds = %23, %18
br label %32
32: ; preds = %31, %16
%33 = load float, float* %4
%34 = load i32, i32* %7
%35 = sitofp i32 %34 to float
%36 = fsub float %33, %35
%37 = load float*, float** %6
store float %36, float* %37
%38 = load i32, i32* %7
ret i32 %38
}

LLVM IR (-O2):
define i32 @UniformInterp1Index(float %0, i32 %1, float* writeonly %2) {
%4 = icmp ne float* %2, null
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = fptosi float %0 to i32
%8 = icmp slt i32 %7, 0
br i1 %8, label %15, label %9
9: ; preds = %3
%10 = add nsw i32 %1, -2
%11 = icmp slt i32 %10, %7
br i1 %11, label %12, label %19
12: ; preds = %9
%13 = icmp slt i32 %7, %1
%14 = zext i1 %13 to i32
br label %15
15: ; preds = %3, %12
%16 = phi i32 [ %14, %12 ], [ 0, %3 ]
%17 = phi i32 [ %10, %12 ], [ 0, %3 ]
%18 = tail call i32 @assert(i32 %16)
br label %19
19: ; preds = %15, %9
%20 = phi i32 [ %7, %9 ], [ %17, %15 ]
%21 = sitofp i32 %20 to float
%22 = fsub float %0, %21
store float %22, float* %2
ret i32 %20
}