#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*/ assert(int);
float floor(float);
void sift_oversample_bilin(const float *in, int wi, int hi, float *out, int wo,
                           int ho, float delta_out) {
  assert(delta_out <= 1);
  for (int i = 0; i < ho; i++) {
    for (int j = 0; j < wo; j++) {
      float x = i * delta_out;
      float y = j * delta_out;
      int im = (int)x;
      int jm = (int)y;
      int ip = im + 1;
      int jp = jm + 1;
      if (ip >= hi) {
        ip = 2 * hi - 1 - ip;
      }
      if (im >= hi) {
        im = 2 * hi - 1 - im;
      }
      if (jp >= wi) {
        jp = 2 * wi - 1 - jp;
      }
      if (jm >= wi) {
        jm = 2 * wi - 1 - jm;
      }
      const float fractional_x = x - floor(x);
      const float fractional_y = y - floor(y);
      out[i * wo + j] =
          fractional_x * (fractional_y * in[ip * wi + jp] +
                          (1 - fractional_y) * in[ip * wi + jm]) +
          (1 - fractional_x) * (fractional_y * in[im * wi + jp] +
                                (1 - fractional_y) * in[im * wi + jm]);
    }
  }
}


x86 assembly (clang, -O0):
<sift_oversample_bilin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
movss  %xmm0,-0x24(%rbp)
movss  0xeb5(%rip),%xmm0
ucomiss -0x24(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1359 <sift_oversample_bilin+0x239>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1346 <sift_oversample_bilin+0x226>
cvtsi2ssl -0x28(%rbp),%xmm0
mulss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
cvtsi2ssl -0x2c(%rbp),%xmm0
mulss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
cvttss2si -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
cvttss2si -0x34(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     11dd <sift_oversample_bilin+0xbd>
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
sub    $0x1,%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     11f8 <sift_oversample_bilin+0xd8>
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
sub    $0x1,%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1213 <sift_oversample_bilin+0xf3>
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
sub    $0x1,%eax
sub    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     122e <sift_oversample_bilin+0x10e>
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
sub    $0x1,%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x30(%rbp),%xmm0
call   1040 <floor@plt>
movaps %xmm0,%xmm1
movss  -0x54(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x34(%rbp),%xmm0
call   1040 <floor@plt>
movaps %xmm0,%xmm1
movss  -0x50(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x48(%rbp),%xmm0
movss  -0x4c(%rbp),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm3
movss  0xd60(%rip),%xmm1
subss  -0x4c(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm1
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
movss  0xd35(%rip),%xmm1
subss  -0x48(%rbp),%xmm1
movss  -0x4c(%rbp),%xmm3
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm5
movss  0xd0d(%rip),%xmm4
subss  -0x4c(%rbp),%xmm4
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm4
mulss  %xmm5,%xmm3
addss  %xmm4,%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1176 <sift_oversample_bilin+0x56>
jmp    134b <sift_oversample_bilin+0x22b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1163 <sift_oversample_bilin+0x43>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sift_oversample_bilin>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9d,%r15d
mov    %r8d,0xc(%rsp)
mov    %rcx,%rbx
mov    %rdx,0x38(%rsp)
mov    %esi,%ebp
mov    %rdi,%r12
movss  0xeb5(%rip),%xmm1
xor    %edi,%edi
movss  %xmm0,0x14(%rsp)
ucomiss %xmm0,%xmm1
setae  %dil
call   1040 <assert@plt>
test   %r15d,%r15d
jle    1344 <sift_oversample_bilin+0x224>
mov    %rbp,%rsi
mov    0x38(%rsp),%rax
lea    (%rax,%rax,1),%ecx
mov    %ecx,0x28(%rsp)
add    %eax,%eax
add    $0xfffffffe,%eax
mov    %eax,0x24(%rsp)
lea    0x0(%rbp,%rbp,1),%edx
lea    -0x2(%rbp,%rbp,1),%r14d
movslq 0xc(%rsp),%rax
mov    %r15d,%ecx
mov    %rcx,0x48(%rsp)
mov    %eax,%ebp
shl    $0x2,%rax
mov    %rax,0x50(%rsp)
xor    %eax,%eax
mov    %rax,0x18(%rsp)
mov    %rsi,0x40(%rsp)
mov    %edx,0x10(%rsp)
mov    %rbp,0x58(%rsp)
jmp    11e1 <sift_oversample_bilin+0xc1>
nopl   0x0(%rax,%rax,1)
mov    0x18(%rsp),%rcx
add    $0x1,%rcx
add    0x50(%rsp),%rbx
mov    %rcx,%rax
mov    %rcx,0x18(%rsp)
cmp    0x48(%rsp),%rcx
je     1344 <sift_oversample_bilin+0x224>
cmpl   $0x0,0xc(%rsp)
jle    11c0 <sift_oversample_bilin+0xa0>
xorps  %xmm0,%xmm0
cvtsi2ssl 0x18(%rsp),%xmm0
mulss  0x14(%rsp),%xmm0
cvttss2si %xmm0,%eax
movss  %xmm0,0x8(%rsp)
lea    0x1(%rax),%ecx
mov    0x24(%rsp),%edx
mov    %edx,%r15d
sub    %eax,%r15d
mov    0x38(%rsp),%rdx
cmp    %edx,%ecx
cmovl  %ecx,%r15d
mov    %eax,%r13d
not    %r13d
add    0x28(%rsp),%r13d
cmp    %edx,%eax
cmovl  %eax,%r13d
call   1030 <floorf@plt>
mov    0x10(%rsp),%edx
mov    0x40(%rsp),%rsi
movss  0x8(%rsp),%xmm1
subss  %xmm0,%xmm1
imul   %esi,%r15d
mov    %r15,0x60(%rsp)
movss  0xdad(%rip),%xmm0
movss  %xmm1,0x8(%rsp)
subss  %xmm1,%xmm0
movss  %xmm0,0x2c(%rsp)
imul   %esi,%r13d
mov    %r13d,0x30(%rsp)
xor    %r15d,%r15d
nop
xorps  %xmm0,%xmm0
cvtsi2ss %r15d,%xmm0
mulss  0x14(%rsp),%xmm0
cvttss2si %xmm0,%eax
movss  %xmm0,0x34(%rsp)
lea    0x1(%rax),%ecx
mov    %r12,%r13
mov    %r14d,%r12d
sub    %eax,%r12d
cmp    %esi,%ecx
cmovl  %ecx,%r12d
mov    %eax,%ebp
not    %ebp
add    %edx,%ebp
cmp    %esi,%eax
cmovl  %eax,%ebp
call   1030 <floorf@plt>
mov    0x10(%rsp),%edx
mov    0x40(%rsp),%rsi
movss  0x34(%rsp),%xmm3
subss  %xmm0,%xmm3
mov    0x60(%rsp),%rcx
lea    (%r12,%rcx,1),%eax
cltq
movss  0xd30(%rip),%xmm0
subss  %xmm3,%xmm0
add    %ebp,%ecx
movslq %ecx,%rcx
movss  0x0(%r13,%rcx,4),%xmm1
mulss  %xmm0,%xmm1
movss  0x0(%r13,%rax,4),%xmm2
mulss  %xmm3,%xmm2
mov    0x30(%rsp),%ecx
add    %ecx,%r12d
movslq %r12d,%rax
mov    %r13,%r12
add    %ecx,%ebp
movslq %ebp,%rcx
mov    0x58(%rsp),%rbp
mulss  0x0(%r13,%rcx,4),%xmm0
mulss  0x0(%r13,%rax,4),%xmm3
addss  %xmm1,%xmm2
addss  %xmm0,%xmm3
mulss  0x2c(%rsp),%xmm3
mulss  0x8(%rsp),%xmm2
addss  %xmm3,%xmm2
movss  %xmm2,(%rbx,%r15,4)
add    $0x1,%r15
cmp    %r15,%rbp
jne    1270 <sift_oversample_bilin+0x150>
jmp    11c0 <sift_oversample_bilin+0xa0>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @sift_oversample_bilin(float* %0, i32 %1, i32 %2, float* %3, i32 %4, i32 %5, float %6) {
%8 = alloca float*
%9 = alloca i32
%10 = alloca i32
%11 = alloca float*
%12 = alloca i32
%13 = alloca i32
%14 = alloca float
%15 = alloca i32
%16 = alloca i32
%17 = alloca float
%18 = alloca float
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca float
%24 = alloca float
store float* %0, float** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store float* %3, float** %11
store i32 %4, i32* %12
store i32 %5, i32* %13
store float %6, float* %14
%25 = load float, float* %14
%26 = fcmp ole float %25, 1.000000e+00
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
store i32 0, i32* %15
br label %29
29: ; preds = %166, %7
%30 = load i32, i32* %15
%31 = load i32, i32* %13
%32 = icmp slt i32 %30, %31
br i1 %32, label %33, label %169
33: ; preds = %29
store i32 0, i32* %16
br label %34
34: ; preds = %162, %33
%35 = load i32, i32* %16
%36 = load i32, i32* %12
%37 = icmp slt i32 %35, %36
br i1 %37, label %38, label %165
38: ; preds = %34
%39 = load i32, i32* %15
%40 = sitofp i32 %39 to float
%41 = load float, float* %14
%42 = fmul float %40, %41
store float %42, float* %17
%43 = load i32, i32* %16
%44 = sitofp i32 %43 to float
%45 = load float, float* %14
%46 = fmul float %44, %45
store float %46, float* %18
%47 = load float, float* %17
%48 = fptosi float %47 to i32
store i32 %48, i32* %19
%49 = load float, float* %18
%50 = fptosi float %49 to i32
store i32 %50, i32* %20
%51 = load i32, i32* %19
%52 = add nsw i32 %51, 1
store i32 %52, i32* %21
%53 = load i32, i32* %20
%54 = add nsw i32 %53, 1
store i32 %54, i32* %22
%55 = load i32, i32* %21
%56 = load i32, i32* %10
%57 = icmp sge i32 %55, %56
br i1 %57, label %58, label %64
58: ; preds = %38
%59 = load i32, i32* %10
%60 = mul nsw i32 2, %59
%61 = sub nsw i32 %60, 1
%62 = load i32, i32* %21
%63 = sub nsw i32 %61, %62
store i32 %63, i32* %21
br label %64
64: ; preds = %58, %38
%65 = load i32, i32* %19
%66 = load i32, i32* %10
%67 = icmp sge i32 %65, %66
br i1 %67, label %68, label %74
68: ; preds = %64
%69 = load i32, i32* %10
%70 = mul nsw i32 2, %69
%71 = sub nsw i32 %70, 1
%72 = load i32, i32* %19
%73 = sub nsw i32 %71, %72
store i32 %73, i32* %19
br label %74
74: ; preds = %68, %64
%75 = load i32, i32* %22
%76 = load i32, i32* %9
%77 = icmp sge i32 %75, %76
br i1 %77, label %78, label %84
78: ; preds = %74
%79 = load i32, i32* %9
%80 = mul nsw i32 2, %79
%81 = sub nsw i32 %80, 1
%82 = load i32, i32* %22
%83 = sub nsw i32 %81, %82
store i32 %83, i32* %22
br label %84
84: ; preds = %78, %74
%85 = load i32, i32* %20
%86 = load i32, i32* %9
%87 = icmp sge i32 %85, %86
br i1 %87, label %88, label %94
88: ; preds = %84
%89 = load i32, i32* %9
%90 = mul nsw i32 2, %89
%91 = sub nsw i32 %90, 1
%92 = load i32, i32* %20
%93 = sub nsw i32 %91, %92
store i32 %93, i32* %20
br label %94
94: ; preds = %88, %84
%95 = load float, float* %17
%96 = load float, float* %17
%97 = call float @floor(float %96)
%98 = fsub float %95, %97
store float %98, float* %23
%99 = load float, float* %18
%100 = load float, float* %18
%101 = call float @floor(float %100)
%102 = fsub float %99, %101
store float %102, float* %24
%103 = load float, float* %23
%104 = load float, float* %24
%105 = load float*, float** %8
%106 = load i32, i32* %21
%107 = load i32, i32* %9
%108 = mul nsw i32 %106, %107
%109 = load i32, i32* %22
%110 = add nsw i32 %108, %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds float, float* %105, i64 %111
%113 = load float, float* %112
%114 = load float, float* %24
%115 = fsub float 1.000000e+00, %114
%116 = load float*, float** %8
%117 = load i32, i32* %21
%118 = load i32, i32* %9
%119 = mul nsw i32 %117, %118
%120 = load i32, i32* %20
%121 = add nsw i32 %119, %120
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds float, float* %116, i64 %122
%124 = load float, float* %123
%125 = fmul float %115, %124
%126 = call float @llvm.fmuladd.f32(float %104, float %113, float %125)
%127 = load float, float* %23
%128 = fsub float 1.000000e+00, %127
%129 = load float, float* %24
%130 = load float*, float** %8
%131 = load i32, i32* %19
%132 = load i32, i32* %9
%133 = mul nsw i32 %131, %132
%134 = load i32, i32* %22
%135 = add nsw i32 %133, %134
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds float, float* %130, i64 %136
%138 = load float, float* %137
%139 = load float, float* %24
%140 = fsub float 1.000000e+00, %139
%141 = load float*, float** %8
%142 = load i32, i32* %19
%143 = load i32, i32* %9
%144 = mul nsw i32 %142, %143
%145 = load i32, i32* %20
%146 = add nsw i32 %144, %145
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds float, float* %141, i64 %147
%149 = load float, float* %148
%150 = fmul float %140, %149
%151 = call float @llvm.fmuladd.f32(float %129, float %138, float %150)
%152 = fmul float %128, %151
%153 = call float @llvm.fmuladd.f32(float %103, float %126, float %152)
%154 = load float*, float** %11
%155 = load i32, i32* %15
%156 = load i32, i32* %12
%157 = mul nsw i32 %155, %156
%158 = load i32, i32* %16
%159 = add nsw i32 %157, %158
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds float, float* %154, i64 %160
store float %153, float* %161
br label %162
162: ; preds = %94
%163 = load i32, i32* %16
%164 = add nsw i32 %163, 1
store i32 %164, i32* %16
br label %34
165: ; preds = %34
br label %166
166: ; preds = %165
%167 = load i32, i32* %15
%168 = add nsw i32 %167, 1
store i32 %168, i32* %15
br label %29
169: ; preds = %29
ret void
}

LLVM IR (-O2):
define void @sift_oversample_bilin(float* nocapture %0, i32 %1, i32 %2, float* nocapture writeonly %3, i32 %4, i32 %5, float %6) {
%8 = fcmp ole float %6, 1.000000e+00
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = icmp sgt i32 %5, 0
br i1 %11, label %12, label %42
12: ; preds = %7
%13 = icmp sgt i32 %4, 0
%14 = shl nsw i32 %2, 1
%15 = add i32 %14, -2
%16 = shl nsw i32 %1, 1
%17 = add i32 %16, -2
%18 = sext i32 %4 to i64
%19 = zext i32 %5 to i64
%20 = zext i32 %4 to i64
br label %21
21: ; preds = %12, %43
%22 = phi i64 [ 0, %12 ], [ %44, %43 ]
br i1 %13, label %23, label %43
23: ; preds = %21
%24 = trunc i64 %22 to i32
%25 = sitofp i32 %24 to float
%26 = fmul float %25, %6
%27 = fptosi float %26 to i32
%28 = add nsw i32 %27, 1
%29 = icmp slt i32 %28, %2
%30 = sub i32 %15, %27
%31 = select i1 %29, i32 %28, i32 %30
%32 = icmp slt i32 %27, %2
%33 = xor i32 %27, -1
%34 = add i32 %14, %33
%35 = select i1 %32, i32 %27, i32 %34
%36 = tail call float @llvm.floor.f32(float %26)
%37 = fsub float %26, %36
%38 = mul nsw i32 %31, %1
%39 = fsub float 1.000000e+00, %37
%40 = mul nsw i32 %35, %1
%41 = mul nsw i64 %22, %18
br label %46
42: ; preds = %43, %7
ret void
43: ; preds = %46, %21
%44 = add nuw nsw i64 %22, 1
%45 = icmp eq i64 %44, %19
br i1 %45, label %42, label %21
46: ; preds = %23, %46
%47 = phi i64 [ 0, %23 ], [ %87, %46 ]
%48 = trunc i64 %47 to i32
%49 = sitofp i32 %48 to float
%50 = fmul float %49, %6
%51 = fptosi float %50 to i32
%52 = add nsw i32 %51, 1
%53 = icmp slt i32 %52, %1
%54 = sub i32 %17, %51
%55 = select i1 %53, i32 %52, i32 %54
%56 = icmp slt i32 %51, %1
%57 = xor i32 %51, -1
%58 = add i32 %16, %57
%59 = select i1 %56, i32 %51, i32 %58
%60 = tail call float @llvm.floor.f32(float %50)
%61 = fsub float %50, %60
%62 = add nsw i32 %55, %38
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds float, float* %0, i64 %63
%65 = load float, float* %64
%66 = fsub float 1.000000e+00, %61
%67 = add nsw i32 %59, %38
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds float, float* %0, i64 %68
%70 = load float, float* %69
%71 = fmul float %66, %70
%72 = tail call float @llvm.fmuladd.f32(float %61, float %65, float %71)
%73 = add nsw i32 %55, %40
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds float, float* %0, i64 %74
%76 = load float, float* %75
%77 = add nsw i32 %59, %40
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds float, float* %0, i64 %78
%80 = load float, float* %79
%81 = fmul float %66, %80
%82 = tail call float @llvm.fmuladd.f32(float %61, float %76, float %81)
%83 = fmul float %39, %82
%84 = tail call float @llvm.fmuladd.f32(float %37, float %72, float %83)
%85 = add nsw i64 %47, %41
%86 = getelementptr inbounds float, float* %3, i64 %85
store float %84, float* %86
%87 = add nuw nsw i64 %47, 1
%88 = icmp eq i64 %87, %20
br i1 %88, label %43, label %46
}