#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
void remapImage(float *src, int sw, int sh, float *dst, int dw, int dh,
                int bands, double **table) {
  int i, j, k;
  int x, y;
  int xp1, yp1;
  double val;
  double xfrac, yfrac;
  int line;
  fprintf(stderr, "Remap using truncation.\n");
  line = dw * bands;
  for (j = 0; j < dh; j++) {
    for (i = 0; i < dw; i++) {
      if (table[j][2 * i] < 0.0 || table[j][2 * i + 1] < 0.0 ||
          table[j][2 * i] > sw - 1 || table[j][2 * i + 1] > sh - 1)
        continue;
      x = (int)table[j][2 * i];
      xfrac = table[j][2 * i] - x;
      y = (int)table[j][2 * i + 1];
      yfrac = table[j][2 * i + 1] - y;
      xp1 = x + 1;
      yp1 = y + 1;
      if (xp1 >= sw)
        xp1 = sw - 1;
      if (yp1 >= sh)
        yp1 = sh - 1;
      for (k = 0; k < bands; k++) {
        val = src[bands * (sw * y + x) + k];
        dst[j * line + bands * i + k] = (float)val;
      }
    }
  }
  return;
}


x86 assembly (clang, -O0):
<remapImage>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    0x2ea4(%rip),%rax
mov    (%rax),%edi
lea    0xebb(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0x1c(%rbp),%eax
imul   0x10(%rbp),%eax
mov    %eax,-0x5c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    138a <remapImage+0x27a>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1377 <remapImage+0x267>
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
ja     1222 <remapImage+0x112>
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
ja     1222 <remapImage+0x112>
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm1
ucomisd %xmm1,%xmm0
ja     1222 <remapImage+0x112>
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm1
ucomisd %xmm1,%xmm0
jbe    1227 <remapImage+0x117>
jmp    1369 <remapImage+0x259>
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
cvttsd2si (%rax,%rcx,8),%eax
mov    %eax,-0x30(%rbp)
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
cvtsi2sdl -0x30(%rbp),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cvttsd2si (%rax,%rcx,8),%eax
mov    %eax,-0x34(%rbp)
mov    0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x24(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
cvtsi2sdl -0x34(%rbp),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     12de <remapImage+0x1ce>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     12f3 <remapImage+0x1e3>
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    1364 <remapImage+0x254>
mov    -0x8(%rbp),%rax
mov    0x10(%rbp),%ecx
mov    -0xc(%rbp),%edx
imul   -0x34(%rbp),%edx
add    -0x30(%rbp),%edx
imul   %edx,%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x5c(%rbp),%ecx
mov    0x10(%rbp),%edx
imul   -0x24(%rbp),%edx
add    %edx,%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    12fa <remapImage+0x1ea>
jmp    1369 <remapImage+0x259>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    116e <remapImage+0x5e>
jmp    137c <remapImage+0x26c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    115b <remapImage+0x4b>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<remapImage>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %r9d,%r12d
mov    %r8d,%ebp
mov    %rcx,%rbx
mov    %edx,%r13d
mov    %rsi,0x10(%rsp)
mov    %rdi,(%rsp)
mov    0x2ea3(%rip),%rax
mov    (%rax),%edi
lea    0xeba(%rip),%rsi
call   1030 <fprintf@plt>
test   %r12d,%r12d
jle    14fb <remapImage+0x3eb>
mov    %ebp,%r11d
mov    0x10(%rsp),%rax
add    $0xffffffff,%eax
cvtsi2sd %eax,%xmm0
add    $0xffffffff,%r13d
cvtsi2sd %r13d,%xmm1
mov    0xe0(%rsp),%r14d
mov    %r12d,%eax
mov    %rax,0x80(%rsp)
mov    %ebp,%eax
mov    %rax,0xa0(%rsp)
mov    %r14d,%edi
lea    -0x1(%rdi),%rax
mov    %rax,0x90(%rsp)
mov    %r14d,%eax
imul   %ebp,%eax
mov    %rax,0x38(%rsp)
mov    (%rsp),%rax
lea    (%rax,%rdi,4),%rcx
mov    %rcx,0x78(%rsp)
lea    (%rbx,%rdi,4),%rcx
mov    %rcx,0x88(%rsp)
mov    %edi,%ecx
and    $0xfffffff8,%ecx
mov    %rcx,0x70(%rsp)
add    $0xfffffffffffffff8,%rcx
mov    %rcx,0x68(%rsp)
mov    %rcx,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %rdx,%rcx
mov    %rdx,0x60(%rsp)
and    $0xfffffffffffffffe,%rdx
mov    %rdx,0x58(%rsp)
mov    %rdi,0x28(%rsp)
neg    %rdi
add    $0x30,%rax
mov    %rax,0x50(%rsp)
xorpd  %xmm2,%xmm2
movl   $0x8,0xc(%rsp)
xor    %eax,%eax
mov    %rax,0x20(%rsp)
movl   $0x1,0x8(%rsp)
xor    %eax,%eax
mov    %rax,0x18(%rsp)
mov    %ebp,0x34(%rsp)
jmp    1268 <remapImage+0x158>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x18(%rsp),%rdx
add    $0x1,%rdx
mov    0x38(%rsp),%rax
add    %eax,0xc(%rsp)
mov    0x20(%rsp),%rcx
add    %eax,%ecx
mov    %rcx,0x20(%rsp)
add    %eax,0x8(%rsp)
mov    %rdx,%rax
mov    %rdx,0x18(%rsp)
cmp    0x80(%rsp),%rdx
je     14fb <remapImage+0x3eb>
test   %r11d,%r11d
mov    0x10(%rsp),%r12
jle    1230 <remapImage+0x120>
mov    0x18(%rsp),%rcx
mov    %rcx,%rax
imul   0x38(%rsp),%rax
mov    %rax,0x40(%rsp)
mov    0xe8(%rsp),%rax
mov    (%rax,%rcx,8),%rax
mov    %rax,0x48(%rsp)
imul   %r11d,%ecx
mov    %rcx,0x98(%rsp)
mov    0x8(%rsp),%r9d
mov    0x20(%rsp),%r10
mov    0xc(%rsp),%r13d
xor    %r8d,%r8d
jmp    12db <remapImage+0x1cb>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%r8
add    %r14d,%r13d
add    %r14d,%r10d
add    %r14d,%r9d
cmp    0xa0(%rsp),%r8
je     1230 <remapImage+0x120>
mov    %r8,%rax
shl    $0x4,%rax
mov    0x48(%rsp),%rcx
movsd  (%rcx,%rax,1),%xmm3
ucomisd %xmm3,%xmm2
ja     12c0 <remapImage+0x1b0>
lea    (%r8,%r8,1),%rax
shl    $0x3,%rax
or     $0x8,%rax
mov    0x48(%rsp),%rcx
movsd  (%rcx,%rax,1),%xmm4
ucomisd %xmm4,%xmm2
ja     12c0 <remapImage+0x1b0>
ucomisd %xmm0,%xmm3
ja     12c0 <remapImage+0x1b0>
ucomisd %xmm1,%xmm4
ja     12c0 <remapImage+0x1b0>
test   %r14d,%r14d
jle    12c0 <remapImage+0x1b0>
cvttsd2si %xmm4,%eax
cvttsd2si %xmm3,%edx
imul   %r12d,%eax
add    %edx,%eax
imul   %r14d,%eax
mov    0x98(%rsp),%rcx
lea    (%rcx,%r8,1),%r15d
imul   %r14d,%r15d
movslq %eax,%rbp
cmp    $0x8,%r14d
jb     13b0 <remapImage+0x2a0>
mov    %r8d,%eax
imul   0x28(%rsp),%eax
mov    0x40(%rsp),%rcx
lea    (%rcx,%rax,1),%edx
mov    0x90(%rsp),%rcx
lea    (%rdx,%rcx,1),%esi
cmp    %edx,%esi
jl     13b0 <remapImage+0x2a0>
mov    %rcx,%rdx
shr    $0x20,%rdx
mov    $0x0,%edx
jne    13b2 <remapImage+0x2a2>
add    0x40(%rsp),%eax
cltq
mov    0x88(%rsp),%rcx
lea    (%rcx,%rax,4),%rdx
mov    (%rsp),%rcx
lea    (%rcx,%rbp,4),%rsi
cmp    %rdx,%rsi
jae    1438 <remapImage+0x328>
lea    (%rbx,%rax,4),%rax
mov    0x78(%rsp),%rcx
lea    (%rcx,%rbp,4),%rdx
cmp    %rdx,%rax
jae    1438 <remapImage+0x328>
xor    %edx,%edx
mov    %rdx,%rax
testb  $0x1,0x28(%rsp)
je     13db <remapImage+0x2cb>
lea    (%rdx,%rbp,1),%rax
mov    (%rsp),%rcx
movss  (%rcx,%rax,4),%xmm3
add    %edx,%r15d
movslq %r15d,%rax
movss  %xmm3,(%rbx,%rax,4)
mov    %rdx,%rax
or     $0x1,%rax
not    %rdx
cmp    %rdi,%rdx
je     12c0 <remapImage+0x1b0>
lea    0x1(%rax),%rdx
lea    (%r10,%rax,1),%esi
mov    (%rsp),%rcx
lea    (%rcx,%rbp,4),%rbp
add    %r9d,%eax
nopw   0x0(%rax,%rax,1)
movss  -0x4(%rbp,%rdx,4),%xmm3
movslq %esi,%rsi
movss  %xmm3,(%rbx,%rsi,4)
movss  0x0(%rbp,%rdx,4),%xmm3
cltq
movss  %xmm3,(%rbx,%rax,4)
lea    (%rdi,%rdx,1),%rcx
add    $0x2,%rcx
add    $0x2,%rdx
add    $0x2,%esi
add    $0x2,%eax
cmp    $0x1,%rcx
jne    1400 <remapImage+0x2f0>
jmp    12c0 <remapImage+0x1b0>
cmpq   $0x0,0x68(%rsp)
je     14a5 <remapImage+0x395>
mov    0x50(%rsp),%rax
mov    %rbp,%rcx
lea    (%rax,%rbp,4),%rdx
mov    0x58(%rsp),%rsi
mov    %r13d,%r11d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movups -0x30(%rdx,%rax,4),%xmm3
movups -0x20(%rdx,%rax,4),%xmm4
lea    -0x8(%r11),%r12d
movslq %r12d,%rbp
movups %xmm3,(%rbx,%rbp,4)
movups %xmm4,0x10(%rbx,%rbp,4)
movupd -0x10(%rdx,%rax,4),%xmm3
movupd (%rdx,%rax,4),%xmm4
movslq %r11d,%r11
movupd %xmm3,(%rbx,%r11,4)
movupd %xmm4,0x10(%rbx,%r11,4)
add    $0x10,%rax
add    $0x10,%r11d
add    $0xfffffffffffffffe,%rsi
jne    1460 <remapImage+0x350>
jmp    14aa <remapImage+0x39a>
mov    %rbp,%rcx
xor    %eax,%eax
testb  $0x1,0x60(%rsp)
mov    %rcx,%rbp
je     14d9 <remapImage+0x3c9>
mov    %rax,%rdx
add    %rbp,%rdx
mov    (%rsp),%rcx
movupd (%rcx,%rdx,4),%xmm3
movupd 0x10(%rcx,%rdx,4),%xmm4
add    %r15d,%eax
cltq
movupd %xmm3,(%rbx,%rax,4)
movupd %xmm4,0x10(%rbx,%rax,4)
mov    0x70(%rsp),%rax
mov    %rax,%rdx
cmp    0x28(%rsp),%rax
mov    0x34(%rsp),%r11d
mov    0x10(%rsp),%r12
je     12c0 <remapImage+0x1b0>
jmp    13b2 <remapImage+0x2a2>
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [25 x i8] c"Remap using truncation.\0A\00"
define void @remapImage(float* %0, i32 %1, i32 %2, float* %3, i32 %4, i32 %5, i32 %6, double** %7) {
%9 = alloca float*
%10 = alloca i32
%11 = alloca i32
%12 = alloca float*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca double**
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca i32
store float* %0, float** %9
store i32 %1, i32* %10
store i32 %2, i32* %11
store float* %3, float** %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i32 %6, i32* %15
store double** %7, double*** %16
%28 = load i32, i32* @stderr
%29 = call i32 @fprintf(i32 %28, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
%30 = load i32, i32* %13
%31 = load i32, i32* %15
%32 = mul nsw i32 %30, %31
store i32 %32, i32* %27
store i32 0, i32* %18
br label %33
33: ; preds = %209, %8
%34 = load i32, i32* %18
%35 = load i32, i32* %14
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %212
37: ; preds = %33
store i32 0, i32* %17
br label %38
38: ; preds = %205, %37
%39 = load i32, i32* %17
%40 = load i32, i32* %13
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %208
42: ; preds = %38
%43 = load double**, double*** %16
%44 = load i32, i32* %18
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds double*, double** %43, i64 %45
%47 = load double*, double** %46
%48 = load i32, i32* %17
%49 = mul nsw i32 2, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds double, double* %47, i64 %50
%52 = load double, double* %51
%53 = fcmp olt double %52, 0.000000e+00
br i1 %53, label %98, label %54
54: ; preds = %42
%55 = load double**, double*** %16
%56 = load i32, i32* %18
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double*, double** %55, i64 %57
%59 = load double*, double** %58
%60 = load i32, i32* %17
%61 = mul nsw i32 2, %60
%62 = add nsw i32 %61, 1
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds double, double* %59, i64 %63
%65 = load double, double* %64
%66 = fcmp olt double %65, 0.000000e+00
br i1 %66, label %98, label %67
67: ; preds = %54
%68 = load double**, double*** %16
%69 = load i32, i32* %18
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds double*, double** %68, i64 %70
%72 = load double*, double** %71
%73 = load i32, i32* %17
%74 = mul nsw i32 2, %73
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds double, double* %72, i64 %75
%77 = load double, double* %76
%78 = load i32, i32* %10
%79 = sub nsw i32 %78, 1
%80 = sitofp i32 %79 to double
%81 = fcmp ogt double %77, %80
br i1 %81, label %98, label %82
82: ; preds = %67
%83 = load double**, double*** %16
%84 = load i32, i32* %18
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds double*, double** %83, i64 %85
%87 = load double*, double** %86
%88 = load i32, i32* %17
%89 = mul nsw i32 2, %88
%90 = add nsw i32 %89, 1
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds double, double* %87, i64 %91
%93 = load double, double* %92
%94 = load i32, i32* %11
%95 = sub nsw i32 %94, 1
%96 = sitofp i32 %95 to double
%97 = fcmp ogt double %93, %96
br i1 %97, label %98, label %99
98: ; preds = %82, %67, %54, %42
br label %205
99: ; preds = %82
%100 = load double**, double*** %16
%101 = load i32, i32* %18
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds double*, double** %100, i64 %102
%104 = load double*, double** %103
%105 = load i32, i32* %17
%106 = mul nsw i32 2, %105
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds double, double* %104, i64 %107
%109 = load double, double* %108
%110 = fptosi double %109 to i32
store i32 %110, i32* %20
%111 = load double**, double*** %16
%112 = load i32, i32* %18
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds double*, double** %111, i64 %113
%115 = load double*, double** %114
%116 = load i32, i32* %17
%117 = mul nsw i32 2, %116
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds double, double* %115, i64 %118
%120 = load double, double* %119
%121 = load i32, i32* %20
%122 = sitofp i32 %121 to double
%123 = fsub double %120, %122
store double %123, double* %25
%124 = load double**, double*** %16
%125 = load i32, i32* %18
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds double*, double** %124, i64 %126
%128 = load double*, double** %127
%129 = load i32, i32* %17
%130 = mul nsw i32 2, %129
%131 = add nsw i32 %130, 1
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds double, double* %128, i64 %132
%134 = load double, double* %133
%135 = fptosi double %134 to i32
store i32 %135, i32* %21
%136 = load double**, double*** %16
%137 = load i32, i32* %18
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds double*, double** %136, i64 %138
%140 = load double*, double** %139
%141 = load i32, i32* %17
%142 = mul nsw i32 2, %141
%143 = add nsw i32 %142, 1
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds double, double* %140, i64 %144
%146 = load double, double* %145
%147 = load i32, i32* %21
%148 = sitofp i32 %147 to double
%149 = fsub double %146, %148
store double %149, double* %26
%150 = load i32, i32* %20
%151 = add nsw i32 %150, 1
store i32 %151, i32* %22
%152 = load i32, i32* %21
%153 = add nsw i32 %152, 1
store i32 %153, i32* %23
%154 = load i32, i32* %22
%155 = load i32, i32* %10
%156 = icmp sge i32 %154, %155
br i1 %156, label %157, label %160
157: ; preds = %99
%158 = load i32, i32* %10
%159 = sub nsw i32 %158, 1
store i32 %159, i32* %22
br label %160
160: ; preds = %157, %99
%161 = load i32, i32* %23
%162 = load i32, i32* %11
%163 = icmp sge i32 %161, %162
br i1 %163, label %164, label %167
164: ; preds = %160
%165 = load i32, i32* %11
%166 = sub nsw i32 %165, 1
store i32 %166, i32* %23
br label %167
167: ; preds = %164, %160
store i32 0, i32* %19
br label %168
168: ; preds = %201, %167
%169 = load i32, i32* %19
%170 = load i32, i32* %15
%171 = icmp slt i32 %169, %170
br i1 %171, label %172, label %204
172: ; preds = %168
%173 = load float*, float** %9
%174 = load i32, i32* %15
%175 = load i32, i32* %10
%176 = load i32, i32* %21
%177 = mul nsw i32 %175, %176
%178 = load i32, i32* %20
%179 = add nsw i32 %177, %178
%180 = mul nsw i32 %174, %179
%181 = load i32, i32* %19
%182 = add nsw i32 %180, %181
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds float, float* %173, i64 %183
%185 = load float, float* %184
%186 = fpext float %185 to double
store double %186, double* %24
%187 = load double, double* %24
%188 = fptrunc double %187 to float
%189 = load float*, float** %12
%190 = load i32, i32* %18
%191 = load i32, i32* %27
%192 = mul nsw i32 %190, %191
%193 = load i32, i32* %15
%194 = load i32, i32* %17
%195 = mul nsw i32 %193, %194
%196 = add nsw i32 %192, %195
%197 = load i32, i32* %19
%198 = add nsw i32 %196, %197
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds float, float* %189, i64 %199
store float %188, float* %200
br label %201
201: ; preds = %172
%202 = load i32, i32* %19
%203 = add nsw i32 %202, 1
store i32 %203, i32* %19
br label %168
204: ; preds = %168
br label %205
205: ; preds = %204, %98
%206 = load i32, i32* %17
%207 = add nsw i32 %206, 1
store i32 %207, i32* %17
br label %38
208: ; preds = %38
br label %209
209: ; preds = %208
%210 = load i32, i32* %18
%211 = add nsw i32 %210, 1
store i32 %211, i32* %18
br label %33
212: ; preds = %33
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [25 x i8] c"Remap using truncation.\0A\00"
define void @remapImage(float* nocapture %0, i32 %1, i32 %2, float* nocapture writeonly %3, i32 %4, i32 %5, i32 %6, double** nocapture %7) {
%9 = load i32, i32* @stderr
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
%11 = icmp sgt i32 %5, 0
br i1 %11, label %12, label %192
12: ; preds = %8
%13 = icmp sgt i32 %4, 0
%14 = add nsw i32 %1, -1
%15 = sitofp i32 %14 to double
%16 = add nsw i32 %2, -1
%17 = sitofp i32 %16 to double
%18 = icmp slt i32 %6, 1
%19 = zext i32 %5 to i64
%20 = zext i32 %4 to i64
%21 = zext i32 %6 to i64
%22 = add nsw i64 %21, -1
%23 = mul i32 %6, %4
%24 = zext i32 %23 to i64
%25 = getelementptr float, float* %0, i64 %21
%26 = zext i32 %23 to i64
%27 = getelementptr float, float* %3, i64 %21
%28 = and i64 %21, 4294967288
%29 = add nsw i64 %28, -8
%30 = lshr exact i64 %29, 3
%31 = add nuw nsw i64 %30, 1
%32 = icmp ult i32 %6, 8
%33 = trunc i64 %22 to i32
%34 = icmp ugt i64 %22, 4294967295
%35 = and i64 %21, 4294967288
%36 = and i64 %31, 1
%37 = icmp eq i64 %29, 0
%38 = and i64 %31, 4611686018427387902
%39 = icmp eq i64 %36, 0
%40 = icmp eq i64 %35, %21
%41 = and i64 %21, 1
%42 = icmp eq i64 %41, 0
%43 = sub nsw i64 0, %21
br label %44
44: ; preds = %12, %189
%45 = phi i64 [ 0, %12 ], [ %190, %189 ]
%46 = mul i64 %45, %26
%47 = mul i64 %45, %24
br i1 %13, label %48, label %189
48: ; preds = %44
%49 = getelementptr inbounds double*, double** %7, i64 %45
%50 = load double*, double** %49
%51 = trunc i64 %45 to i32
%52 = mul i32 %51, %4
br label %53
53: ; preds = %48, %186
%54 = phi i64 [ 0, %48 ], [ %187, %186 ]
%55 = mul i64 %54, %21
%56 = add i64 %46, %55
%57 = shl i64 %56, 32
%58 = ashr exact i64 %57, 32
%59 = getelementptr float, float* %3, i64 %58
%60 = getelementptr float, float* %27, i64 %58
%61 = mul i64 %54, %21
%62 = add i64 %47, %61
%63 = trunc i64 %62 to i32
%64 = shl nuw nsw i64 %54, 1
%65 = getelementptr inbounds double, double* %50, i64 %64
%66 = load double, double* %65
%67 = fcmp olt double %66, 0.000000e+00
br i1 %67, label %186, label %68
68: ; preds = %53
%69 = or i64 %64, 1
%70 = getelementptr inbounds double, double* %50, i64 %69
%71 = load double, double* %70
%72 = fcmp olt double %71, 0.000000e+00
%73 = fcmp ogt double %66, %15
%74 = select i1 %72, i1 true, i1 %73
%75 = fcmp ogt double %71, %17
%76 = select i1 %74, i1 true, i1 %75
%77 = or i1 %76, %18
br i1 %77, label %186, label %78
78: ; preds = %68
%79 = fptosi double %71 to i32
%80 = fptosi double %66 to i32
%81 = mul nsw i32 %79, %1
%82 = add nsw i32 %81, %80
%83 = mul nsw i32 %82, %6
%84 = trunc i64 %54 to i32
%85 = add i32 %52, %84
%86 = mul i32 %85, %6
%87 = sext i32 %83 to i64
br i1 %32, label %152, label %88
88: ; preds = %78
%89 = add i32 %63, %33
%90 = icmp slt i32 %89, %63
%91 = or i1 %90, %34
br i1 %91, label %152, label %92
92: ; preds = %88
%93 = getelementptr float, float* %0, i64 %87
%94 = getelementptr float, float* %25, i64 %87
%95 = icmp ult float* %93, %60
%96 = icmp ult float* %59, %94
%97 = and i1 %95, %96
br i1 %97, label %152, label %98
98: ; preds = %92
br i1 %37, label %134, label %99
99: ; preds = %98, %99
%100 = phi i64 [ %131, %99 ], [ 0, %98 ]
%101 = phi i64 [ %132, %99 ], [ 0, %98 ]
%102 = trunc i64 %100 to i32
%103 = add nsw i64 %100, %87
%104 = getelementptr inbounds float, float* %0, i64 %103
%105 = bitcast float* %104 to <4 x float>*
%106 = load <4 x float>, <4 x float>* %105
%107 = getelementptr inbounds float, float* %104, i64 4
%108 = bitcast float* %107 to <4 x float>*
%109 = load <4 x float>, <4 x float>* %108
%110 = add i32 %86, %102
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds float, float* %3, i64 %111
%113 = bitcast float* %112 to <4 x float>*
store <4 x float> %106, <4 x float>* %113
%114 = getelementptr inbounds float, float* %112, i64 4
%115 = bitcast float* %114 to <4 x float>*
store <4 x float> %109, <4 x float>* %115
%116 = or i64 %100, 8
%117 = trunc i64 %116 to i32
%118 = add nsw i64 %116, %87
%119 = getelementptr inbounds float, float* %0, i64 %118
%120 = bitcast float* %119 to <4 x float>*
%121 = load <4 x float>, <4 x float>* %120
%122 = getelementptr inbounds float, float* %119, i64 4
%123 = bitcast float* %122 to <4 x float>*
%124 = load <4 x float>, <4 x float>* %123
%125 = add i32 %86, %117
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds float, float* %3, i64 %126
%128 = bitcast float* %127 to <4 x float>*
store <4 x float> %121, <4 x float>* %128
%129 = getelementptr inbounds float, float* %127, i64 4
%130 = bitcast float* %129 to <4 x float>*
store <4 x float> %124, <4 x float>* %130
%131 = add nuw i64 %100, 16
%132 = add i64 %101, 2
%133 = icmp eq i64 %132, %38
br i1 %133, label %134, label %99
134: ; preds = %99, %98
%135 = phi i64 [ 0, %98 ], [ %131, %99 ]
br i1 %39, label %151, label %136
136: ; preds = %134
%137 = trunc i64 %135 to i32
%138 = add nsw i64 %135, %87
%139 = getelementptr inbounds float, float* %0, i64 %138
%140 = bitcast float* %139 to <4 x float>*
%141 = load <4 x float>, <4 x float>* %140
%142 = getelementptr inbounds float, float* %139, i64 4
%143 = bitcast float* %142 to <4 x float>*
%144 = load <4 x float>, <4 x float>* %143
%145 = add i32 %86, %137
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds float, float* %3, i64 %146
%148 = bitcast float* %147 to <4 x float>*
store <4 x float> %141, <4 x float>* %148
%149 = getelementptr inbounds float, float* %147, i64 4
%150 = bitcast float* %149 to <4 x float>*
store <4 x float> %144, <4 x float>* %150
br label %151
151: ; preds = %134, %136
br i1 %40, label %186, label %152
152: ; preds = %92, %88, %78, %151
%153 = phi i64 [ 0, %92 ], [ 0, %88 ], [ 0, %78 ], [ %35, %151 ]
%154 = xor i64 %153, -1
br i1 %42, label %164, label %155
155: ; preds = %152
%156 = add nsw i64 %153, %87
%157 = getelementptr inbounds float, float* %0, i64 %156
%158 = load float, float* %157
%159 = trunc i64 %153 to i32
%160 = add i32 %86, %159
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds float, float* %3, i64 %161
store float %158, float* %162
%163 = or i64 %153, 1
br label %164
164: ; preds = %155, %152
%165 = phi i64 [ %153, %152 ], [ %163, %155 ]
%166 = icmp eq i64 %154, %43
br i1 %166, label %186, label %167
167: ; preds = %164, %167
%168 = phi i64 [ %184, %167 ], [ %165, %164 ]
%169 = add nsw i64 %168, %87
%170 = getelementptr inbounds float, float* %0, i64 %169
%171 = load float, float* %170
%172 = trunc i64 %168 to i32
%173 = add i32 %86, %172
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds float, float* %3, i64 %174
store float %171, float* %175
%176 = add nuw nsw i64 %168, 1
%177 = add nsw i64 %176, %87
%178 = getelementptr inbounds float, float* %0, i64 %177
%179 = load float, float* %178
%180 = trunc i64 %176 to i32
%181 = add i32 %86, %180
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds float, float* %3, i64 %182
store float %179, float* %183
%184 = add nuw nsw i64 %168, 2
%185 = icmp eq i64 %184, %21
br i1 %185, label %186, label %167
186: ; preds = %164, %167, %151, %68, %53
%187 = add nuw nsw i64 %54, 1
%188 = icmp eq i64 %187, %20
br i1 %188, label %189, label %53
189: ; preds = %186, %44
%190 = add nuw nsw i64 %45, 1
%191 = icmp eq i64 %190, %19
br i1 %191, label %192, label %44
192: ; preds = %189, %8
ret void
}