#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 /*<<< orphan*/ img;

/* Variables and functions */
float ldexp(float, int);
float find_max_RGBE(unsigned char *image, int width, int height) {
  float max_val = 0.0f;
  unsigned char *img = image;
  int i, j;
  for (i = width * height; i > 0; --i) {
    float scale = ldexp(1.0f / 255.0f, (int)(img[3]) - 128);
    for (j = 0; j < 3; ++j) {
      if (img[j] * scale > max_val) {
        max_val = img[j] * scale;
      }
    }
    img += 4;
  }
  return max_val;
}


x86 assembly (clang, -O0):
<find_max_RGBE>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    11dd <find_max_RGBE+0xcd>
mov    -0x20(%rbp),%rax
movzbl 0x3(%rax),%edi
sub    $0x80,%edi
movss  0xea4(%rip),%xmm0
call   1030 <ldexp@plt>
movss  %xmm0,-0x2c(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jge    11c3 <find_max_RGBE+0xb3>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x2c(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    11b0 <find_max_RGBE+0xa0>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    11b5 <find_max_RGBE+0xa5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    116d <find_max_RGBE+0x5d>
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    113c <find_max_RGBE+0x2c>
movss  -0x14(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_max_RGBE>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
imul   %edx,%ebp
test   %ebp,%ebp
jle    1192 <find_max_RGBE+0x82>
mov    %rdi,%rbx
add    $0x1,%ebp
add    $0x3,%rbx
xorps  %xmm1,%xmm1
nopl   0x0(%rax)
movss  %xmm1,0x4(%rsp)
movzbl (%rbx),%edi
add    $0xffffff80,%edi
movss  0xebc(%rip),%xmm0
call   1030 <ldexp@plt>
movzbl -0x3(%rbx),%eax
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
mulss  %xmm0,%xmm1
movzbl -0x2(%rbx),%eax
xorps  %xmm2,%xmm2
cvtsi2ss %eax,%xmm2
maxss  0x4(%rsp),%xmm1
mulss  %xmm0,%xmm2
maxss  %xmm1,%xmm2
movzbl -0x1(%rbx),%eax
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
mulss  %xmm0,%xmm1
maxss  %xmm2,%xmm1
add    $0xffffffff,%ebp
add    $0x4,%rbx
cmp    $0x1,%ebp
ja     1130 <find_max_RGBE+0x20>
jmp    1195 <find_max_RGBE+0x85>
xorps  %xmm1,%xmm1
movaps %xmm1,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define float @find_max_RGBE(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca float
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca float
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store float 0.000000e+00, float* %7
%12 = load i8*, i8** %4
store i8* %12, i8** %8
%13 = load i32, i32* %5
%14 = load i32, i32* %6
%15 = mul nsw i32 %13, %14
store i32 %15, i32* %9
br label %16
16: ; preds = %58, %3
%17 = load i32, i32* %9
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %61
19: ; preds = %16
%20 = load i8*, i8** %8
%21 = getelementptr inbounds i8, i8* %20, i64 3
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = sub nsw i32 %23, 128
%25 = call float @ldexp(float 0x3F70101020000000, i32 %24)
store float %25, float* %11
store i32 0, i32* %10
br label %26
26: ; preds = %52, %19
%27 = load i32, i32* %10
%28 = icmp slt i32 %27, 3
br i1 %28, label %29, label %55
29: ; preds = %26
%30 = load i8*, i8** %8
%31 = load i32, i32* %10
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i8, i8* %33
%35 = zext i8 %34 to i32
%36 = sitofp i32 %35 to float
%37 = load float, float* %11
%38 = fmul float %36, %37
%39 = load float, float* %7
%40 = fcmp ogt float %38, %39
br i1 %40, label %41, label %51
41: ; preds = %29
%42 = load i8*, i8** %8
%43 = load i32, i32* %10
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %42, i64 %44
%46 = load i8, i8* %45
%47 = zext i8 %46 to i32
%48 = sitofp i32 %47 to float
%49 = load float, float* %11
%50 = fmul float %48, %49
store float %50, float* %7
br label %51
51: ; preds = %41, %29
br label %52
52: ; preds = %51
%53 = load i32, i32* %10
%54 = add nsw i32 %53, 1
store i32 %54, i32* %10
br label %26
55: ; preds = %26
%56 = load i8*, i8** %8
%57 = getelementptr inbounds i8, i8* %56, i64 4
store i8* %57, i8** %8
br label %58
58: ; preds = %55
%59 = load i32, i32* %9
%60 = add nsw i32 %59, -1
store i32 %60, i32* %9
br label %16
61: ; preds = %16
%62 = load float, float* %7
ret float %62
}

LLVM IR (-O2):
define float @find_max_RGBE(i8* nocapture %0, i32 %1, i32 %2) {
%4 = mul nsw i32 %2, %1
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %35
6: ; preds = %3, %6
%7 = phi float [ %31, %6 ], [ 0.000000e+00, %3 ]
%8 = phi i32 [ %33, %6 ], [ %4, %3 ]
%9 = phi i8* [ %32, %6 ], [ %0, %3 ]
%10 = getelementptr inbounds i8, i8* %9, i64 3
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = add nsw i32 %12, -128
%14 = tail call float @ldexp(float 0x3F70101020000000, i32 %13)
%15 = load i8, i8* %9
%16 = uitofp i8 %15 to float
%17 = fmul float %14, %16
%18 = fcmp ogt float %17, %7
%19 = select i1 %18, float %17, float %7
%20 = getelementptr inbounds i8, i8* %9, i64 1
%21 = load i8, i8* %20
%22 = uitofp i8 %21 to float
%23 = fmul float %14, %22
%24 = fcmp ogt float %23, %19
%25 = select i1 %24, float %23, float %19
%26 = getelementptr inbounds i8, i8* %9, i64 2
%27 = load i8, i8* %26
%28 = uitofp i8 %27 to float
%29 = fmul float %14, %28
%30 = fcmp ogt float %29, %25
%31 = select i1 %30, float %29, float %25
%32 = getelementptr inbounds i8, i8* %9, i64 4
%33 = add nsw i32 %8, -1
%34 = icmp ugt i32 %8, 1
br i1 %34, label %6, label %35
35: ; preds = %6, %3
%36 = phi float [ 0.000000e+00, %3 ], [ %31, %6 ]
ret float %36
}