unsigned char *image_rgb48be_from_rgb96f(signed int xres, signed int yres,
                                         float *fimg) {
  signed int x;
  signed int y;
  signed int R;
  signed int G;
  signed int B;
  unsigned char *img;
  void *return_value_malloc$1;
  return_value_malloc$1 = malloc((unsigned long int)(xres * yres * 6));
  img = (unsigned char *)return_value_malloc$1;
  y = 0;
  while (!(y >= yres)) {
    x = 0;
    while (!(x >= xres)) {
      signed int faddr = (xres * y + x) * 3;
      signed int iaddr = faddr * 2;
      R = (signed int)(fimg[(signed long int)faddr] * 65535.000000f);
      G = (signed int)(fimg[(signed long int)(faddr + 1)] * 65535.000000f);
      B = (signed int)(fimg[(signed long int)(faddr + 2)] * 65535.000000f);
      if (R > 65535)
        R = 65535;
      if (R < 0)
        R = 0;
      img[(signed long int)iaddr] = (unsigned char)(R >> 8 & 255);
      img[(signed long int)(iaddr + 1)] = (unsigned char)(R & 255);
      if (G > 65535)
        G = 65535;
      if (G < 0)
        G = 0;
      img[(signed long int)(iaddr + 2)] = (unsigned char)(G >> 8 & 255);
      img[(signed long int)(iaddr + 3)] = (unsigned char)(G & 255);
      if (B > 65535)
        B = 65535;
      if (B < 0)
        B = 0;
      img[(signed long int)(iaddr + 4)] = (unsigned char)(B >> 8 & 255);
      img[(signed long int)(iaddr + 5)] = (unsigned char)(B & 255);
      x = x + 1;
    }
    y = y + 1;
  }
  return img;
}


x86 assembly (clang, -O0):
<image_rgb48be_from_rgb96f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x4(%rbp),%eax
imul   -0x8(%rbp),%eax
imul   $0x6,%eax,%eax
movslq %eax,%rdi
call   1030 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x8(%rbp),%eax
setge  %al
xor    $0xff,%al
test   $0x1,%al
jne    115f <image_rgb48be_from_rgb96f+0x4f>
jmp    1320 <image_rgb48be_from_rgb96f+0x210>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x4(%rbp),%eax
setge  %al
xor    $0xff,%al
test   $0x1,%al
jne    117e <image_rgb48be_from_rgb96f+0x6e>
jmp    1312 <image_rgb48be_from_rgb96f+0x202>
mov    -0x4(%rbp),%eax
imul   -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
imul   $0x3,%eax,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  0xe59(%rip),%xmm0
mulss  (%rax,%rcx,4),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  0xe38(%rip),%xmm0
mulss  (%rax,%rcx,4),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  0xe17(%rip),%xmm0
mulss  (%rax,%rcx,4),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0xffff,-0x1c(%rbp)
jle    1209 <image_rgb48be_from_rgb96f+0xf9>
movl   $0xffff,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    121a <image_rgb48be_from_rgb96f+0x10a>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
cmpl   $0xffff,-0x20(%rbp)
jle    1260 <image_rgb48be_from_rgb96f+0x150>
movl   $0xffff,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jge    1271 <image_rgb48be_from_rgb96f+0x161>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
cmpl   $0xffff,-0x24(%rbp)
jle    12bc <image_rgb48be_from_rgb96f+0x1ac>
movl   $0xffff,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    12cd <image_rgb48be_from_rgb96f+0x1bd>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1166 <image_rgb48be_from_rgb96f+0x56>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1147 <image_rgb48be_from_rgb96f+0x37>
mov    -0x30(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<image_rgb48be_from_rgb96f>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r13
mov    %esi,%r14d
mov    %edi,%r15d
mov    %edi,%eax
imul   %esi,%eax
add    %eax,%eax
lea    (%rax,%rax,2),%eax
movslq %eax,%rdi
call   1030 <malloc@plt>
test   %r14d,%r14d
jle    126a <image_rgb48be_from_rgb96f+0x15a>
movslq %r15d,%rcx
mov    %r14d,%r8d
mov    %ecx,%edx
lea    (%rcx,%rcx,1),%esi
lea    (%rsi,%rsi,2),%r9d
add    $0x4,%r13
shl    $0x2,%rcx
lea    (%rcx,%rcx,2),%r10
add    %rdx,%rdx
lea    (%rdx,%rdx,2),%r14
xor    %r12d,%r12d
movss  0xe94(%rip),%xmm0
movaps 0xe9d(%rip),%xmm1
movdqa 0xea5(%rip),%xmm2
xor    %r11d,%r11d
jmp    1193 <image_rgb48be_from_rgb96f+0x83>
add    $0x1,%r11
add    %r9,%r12
add    %r10,%r13
cmp    %r8,%r11
je     126a <image_rgb48be_from_rgb96f+0x15a>
test   %r15d,%r15d
jle    1180 <image_rgb48be_from_rgb96f+0x70>
xor    %edx,%edx
jmp    11bb <image_rgb48be_from_rgb96f+0xab>
nopl   0x0(%rax)
lea    0x4(%rsi),%edi
movslq %edi,%rdi
mov    %ch,(%rax,%rdi,1)
add    $0x5,%esi
movslq %esi,%rsi
mov    %cl,(%rax,%rsi,1)
add    $0x6,%rdx
cmp    %rdx,%r14
je     1180 <image_rgb48be_from_rgb96f+0x70>
movss  -0x4(%r13,%rdx,2),%xmm3
mulss  %xmm0,%xmm3
cvttss2si %xmm3,%ebx
movsd  0x0(%r13,%rdx,2),%xmm3
mulps  %xmm1,%xmm3
mov    $0xffff,%ecx
cmp    $0xffff,%ebx
jl     11e6 <image_rgb48be_from_rgb96f+0xd6>
mov    $0xffff,%ebx
lea    (%r12,%rdx,1),%rsi
test   %ebx,%ebx
jns    11f0 <image_rgb48be_from_rgb96f+0xe0>
xor    %ebx,%ebx
cvttps2dq %xmm3,%xmm3
movslq %esi,%rdi
mov    %bh,(%rax,%rdi,1)
add    $0x1,%edi
movslq %edi,%rdi
mov    %bl,(%rax,%rdi,1)
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pshufd $0x50,%xmm4,%xmm4
movmskpd %xmm4,%edi
test   $0x1,%dil
jne    1230 <image_rgb48be_from_rgb96f+0x120>
mov    $0xffff,%ebx
test   %ebx,%ebx
js     1238 <image_rgb48be_from_rgb96f+0x128>
jmp    123a <image_rgb48be_from_rgb96f+0x12a>
cs nopw 0x0(%rax,%rax,1)
nop
movd   %xmm3,%ebx
test   %ebx,%ebx
jns    123a <image_rgb48be_from_rgb96f+0x12a>
xor    %ebx,%ebx
lea    0x2(%rsi),%ebp
movslq %ebp,%rbp
mov    %bh,(%rax,%rbp,1)
lea    0x3(%rsi),%ebp
movslq %ebp,%rbp
mov    %bl,(%rax,%rbp,1)
test   $0x2,%dil
je     125b <image_rgb48be_from_rgb96f+0x14b>
pshufd $0x55,%xmm3,%xmm3
movd   %xmm3,%ecx
test   %ecx,%ecx
jns    11a0 <image_rgb48be_from_rgb96f+0x90>
xor    %ecx,%ecx
jmp    11a0 <image_rgb48be_from_rgb96f+0x90>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @image_rgb48be_from_rgb96f(i32 %0, i32 %1, float* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca float*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i32
%15 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store float* %2, float** %6
%16 = load i32, i32* %4
%17 = load i32, i32* %5
%18 = mul nsw i32 %16, %17
%19 = mul nsw i32 %18, 6
%20 = sext i32 %19 to i64
%21 = call i8* @malloc(i64 %20)
store i8* %21, i8** %13
%22 = load i8*, i8** %13
store i8* %22, i8** %12
store i32 0, i32* %8
br label %23
23: ; preds = %142, %3
%24 = load i32, i32* %8
%25 = load i32, i32* %5
%26 = icmp sge i32 %24, %25
%27 = xor i1 %26, true
br i1 %27, label %28, label %145
28: ; preds = %23
store i32 0, i32* %7
br label %29
29: ; preds = %122, %28
%30 = load i32, i32* %7
%31 = load i32, i32* %4
%32 = icmp sge i32 %30, %31
%33 = xor i1 %32, true
br i1 %33, label %34, label %142
34: ; preds = %29
%35 = load i32, i32* %4
%36 = load i32, i32* %8
%37 = mul nsw i32 %35, %36
%38 = load i32, i32* %7
%39 = add nsw i32 %37, %38
%40 = mul nsw i32 %39, 3
store i32 %40, i32* %14
%41 = load i32, i32* %14
%42 = mul nsw i32 %41, 2
store i32 %42, i32* %15
%43 = load float*, float** %6
%44 = load i32, i32* %14
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds float, float* %43, i64 %45
%47 = load float, float* %46
%48 = fmul float %47, 6.553500e+04
%49 = fptosi float %48 to i32
store i32 %49, i32* %9
%50 = load float*, float** %6
%51 = load i32, i32* %14
%52 = add nsw i32 %51, 1
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds float, float* %50, i64 %53
%55 = load float, float* %54
%56 = fmul float %55, 6.553500e+04
%57 = fptosi float %56 to i32
store i32 %57, i32* %10
%58 = load float*, float** %6
%59 = load i32, i32* %14
%60 = add nsw i32 %59, 2
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds float, float* %58, i64 %61
%63 = load float, float* %62
%64 = fmul float %63, 6.553500e+04
%65 = fptosi float %64 to i32
store i32 %65, i32* %11
%66 = load i32, i32* %9
%67 = icmp sgt i32 %66, 65535
br i1 %67, label %68, label %69
68: ; preds = %34
store i32 65535, i32* %9
br label %69
69: ; preds = %68, %34
%70 = load i32, i32* %9
%71 = icmp slt i32 %70, 0
br i1 %71, label %72, label %73
72: ; preds = %69
store i32 0, i32* %9
br label %73
73: ; preds = %72, %69
%74 = load i32, i32* %9
%75 = ashr i32 %74, 8
%76 = and i32 %75, 255
%77 = trunc i32 %76 to i8
%78 = load i8*, i8** %12
%79 = load i32, i32* %15
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8, i8* %78, i64 %80
store i8 %77, i8* %81
%82 = load i32, i32* %9
%83 = and i32 %82, 255
%84 = trunc i32 %83 to i8
%85 = load i8*, i8** %12
%86 = load i32, i32* %15
%87 = add nsw i32 %86, 1
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %85, i64 %88
store i8 %84, i8* %89
%90 = load i32, i32* %10
%91 = icmp sgt i32 %90, 65535
br i1 %91, label %92, label %93
92: ; preds = %73
store i32 65535, i32* %10
br label %93
93: ; preds = %92, %73
%94 = load i32, i32* %10
%95 = icmp slt i32 %94, 0
br i1 %95, label %96, label %97
96: ; preds = %93
store i32 0, i32* %10
br label %97
97: ; preds = %96, %93
%98 = load i32, i32* %10
%99 = ashr i32 %98, 8
%100 = and i32 %99, 255
%101 = trunc i32 %100 to i8
%102 = load i8*, i8** %12
%103 = load i32, i32* %15
%104 = add nsw i32 %103, 2
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8, i8* %102, i64 %105
store i8 %101, i8* %106
%107 = load i32, i32* %10
%108 = and i32 %107, 255
%109 = trunc i32 %108 to i8
%110 = load i8*, i8** %12
%111 = load i32, i32* %15
%112 = add nsw i32 %111, 3
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i8, i8* %110, i64 %113
store i8 %109, i8* %114
%115 = load i32, i32* %11
%116 = icmp sgt i32 %115, 65535
br i1 %116, label %117, label %118
117: ; preds = %97
store i32 65535, i32* %11
br label %118
118: ; preds = %117, %97
%119 = load i32, i32* %11
%120 = icmp slt i32 %119, 0
br i1 %120, label %121, label %122
121: ; preds = %118
store i32 0, i32* %11
br label %122
122: ; preds = %121, %118
%123 = load i32, i32* %11
%124 = ashr i32 %123, 8
%125 = and i32 %124, 255
%126 = trunc i32 %125 to i8
%127 = load i8*, i8** %12
%128 = load i32, i32* %15
%129 = add nsw i32 %128, 4
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i8, i8* %127, i64 %130
store i8 %126, i8* %131
%132 = load i32, i32* %11
%133 = and i32 %132, 255
%134 = trunc i32 %133 to i8
%135 = load i8*, i8** %12
%136 = load i32, i32* %15
%137 = add nsw i32 %136, 5
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %135, i64 %138
store i8 %134, i8* %139
%140 = load i32, i32* %7
%141 = add nsw i32 %140, 1
store i32 %141, i32* %7
br label %29
142: ; preds = %29
%143 = load i32, i32* %8
%144 = add nsw i32 %143, 1
store i32 %144, i32* %8
br label %23
145: ; preds = %23
%146 = load i8*, i8** %12
ret i8* %146
}

LLVM IR (-O2):
define noalias i8* @image_rgb48be_from_rgb96f(i32 %0, i32 %1, float* nocapture %2) {
%4 = mul i32 %0, 6
%5 = mul i32 %4, %1
%6 = sext i32 %5 to i64
%7 = tail call i8* @malloc(i64 %6)
%8 = icmp sgt i32 %1, 0
br i1 %8, label %9, label %80
9: ; preds = %3
%10 = icmp sgt i32 %0, 0
%11 = sext i32 %0 to i64
%12 = zext i32 %1 to i64
%13 = zext i32 %0 to i64
br label %14
14: ; preds = %9, %77
%15 = phi i64 [ 0, %9 ], [ %78, %77 ]
br i1 %10, label %16, label %77
16: ; preds = %14
%17 = mul nsw i64 %15, %11
br label %18
18: ; preds = %16, %18
%19 = phi i64 [ 0, %16 ], [ %75, %18 ]
%20 = add nsw i64 %19, %17
%21 = mul nsw i64 %20, 3
%22 = trunc i64 %20 to i32
%23 = mul i32 %22, 6
%24 = getelementptr inbounds float, float* %2, i64 %21
%25 = load float, float* %24
%26 = fmul float %25, 6.553500e+04
%27 = fptosi float %26 to i32
%28 = add nsw i64 %21, 1
%29 = getelementptr inbounds float, float* %2, i64 %28
%30 = bitcast float* %29 to <2 x float>*
%31 = load <2 x float>, <2 x float>* %30
%32 = fmul <2 x float> %31, <float 6.553500e+04, float 6.553500e+04>
%33 = fptosi <2 x float> %32 to <2 x i32>
%34 = icmp slt i32 %27, 65535
%35 = select i1 %34, i32 %27, i32 65535
%36 = icmp sgt i32 %35, 0
%37 = select i1 %36, i32 %35, i32 0
%38 = lshr i32 %37, 8
%39 = trunc i32 %38 to i8
%40 = sext i32 %23 to i64
%41 = getelementptr inbounds i8, i8* %7, i64 %40
store i8 %39, i8* %41
%42 = trunc i32 %37 to i8
%43 = or i32 %23, 1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %7, i64 %44
store i8 %42, i8* %45
%46 = icmp slt <2 x i32> %33, <i32 65535, i32 65535>
%47 = extractelement <2 x i1> %46, i64 0
%48 = extractelement <2 x i32> %33, i64 0
%49 = select i1 %47, i32 %48, i32 65535
%50 = icmp sgt i32 %49, 0
%51 = select i1 %50, i32 %49, i32 0
%52 = lshr i32 %51, 8
%53 = trunc i32 %52 to i8
%54 = add nsw i32 %23, 2
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %7, i64 %55
store i8 %53, i8* %56
%57 = trunc i32 %51 to i8
%58 = add nsw i32 %23, 3
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %7, i64 %59
store i8 %57, i8* %60
%61 = extractelement <2 x i1> %46, i64 1
%62 = extractelement <2 x i32> %33, i64 1
%63 = select i1 %61, i32 %62, i32 65535
%64 = icmp sgt i32 %63, 0
%65 = select i1 %64, i32 %63, i32 0
%66 = lshr i32 %65, 8
%67 = trunc i32 %66 to i8
%68 = add nsw i32 %23, 4
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %7, i64 %69
store i8 %67, i8* %70
%71 = trunc i32 %65 to i8
%72 = add nsw i32 %23, 5
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %7, i64 %73
store i8 %71, i8* %74
%75 = add nuw nsw i64 %19, 1
%76 = icmp eq i64 %75, %13
br i1 %76, label %77, label %18
77: ; preds = %18, %14
%78 = add nuw nsw i64 %15, 1
%79 = icmp eq i64 %78, %12
br i1 %79, label %80, label %14
80: ; preds = %77, %3
ret i8* %7
}