#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 */
double fabs(double);
double mmax(double **U, int imax, int jmax) {
  int i, j;
  double maxij = U[0][5];
  for (i = 0; i < imax + 1; i++) {
    for (j = 5; j <= jmax; j++) {
      if (fabs(U[i][j]) > maxij) {
        maxij = fabs(U[i][j]);
      }
    }
  }
  return maxij;
}


x86 assembly (clang, -O0):
<mmax>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
movsd  0x28(%rax),%xmm0
movsd  %xmm0,-0x20(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    11c0 <mmax+0xc0>
movl   $0x5,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     11ad <mmax+0xad>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe9a(%rip),%xmm1
pand   %xmm1,%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    119a <mmax+0x9a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe6f(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    119f <mmax+0x9f>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113e <mmax+0x3e>
jmp    11b2 <mmax+0xb2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1126 <mmax+0x26>
movsd  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<mmax>:
push   %rbx
mov    (%rdi),%rax
movsd  0x28(%rax),%xmm0
test   %esi,%esi
js     120f <mmax+0x10f>
lea    0x1(%rdx),%r8d
add    $0x1,%esi
lea    -0x5(%r8),%r10
add    $0xfffffffffffffffa,%r8
mov    %r10d,%r11d
and    $0x3,%r11d
and    $0xfffffffffffffffc,%r10
neg    %r10
xor    %r9d,%r9d
movapd 0xec7(%rip),%xmm1
movapd 0xebf(%rip),%xmm2
jmp    115d <mmax+0x5d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r9
cmp    %rsi,%r9
je     120f <mmax+0x10f>
cmp    $0x5,%edx
jl     1150 <mmax+0x50>
mov    (%rdi,%r9,8),%rax
mov    $0x5,%ecx
cmp    $0x3,%r8
jae    1180 <mmax+0x80>
movapd %xmm0,%xmm3
jmp    11dd <mmax+0xdd>
nopw   0x0(%rax,%rax,1)
mov    $0x5,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rax,%rcx,8),%xmm4
movsd  0x8(%rax,%rcx,8),%xmm5
movsd  0x10(%rax,%rcx,8),%xmm6
movsd  0x18(%rax,%rcx,8),%xmm3
andpd  %xmm2,%xmm4
maxsd  %xmm0,%xmm4
andpd  %xmm2,%xmm5
maxsd  %xmm4,%xmm5
andpd  %xmm2,%xmm6
maxsd  %xmm5,%xmm6
andpd  %xmm2,%xmm3
maxsd  %xmm6,%xmm3
lea    (%r10,%rcx,1),%rbx
add    $0x4,%rbx
add    $0x4,%rcx
movapd %xmm3,%xmm0
cmp    $0x5,%rbx
jne    1190 <mmax+0x90>
movapd %xmm3,%xmm0
test   %r11,%r11
je     1150 <mmax+0x50>
lea    (%rax,%rcx,8),%rax
xor    %ecx,%ecx
movsd  (%rax,%rcx,8),%xmm0
andpd  %xmm1,%xmm0
maxsd  %xmm3,%xmm0
add    $0x1,%rcx
movapd %xmm0,%xmm3
cmp    %rcx,%r11
jne    11f0 <mmax+0xf0>
jmp    1150 <mmax+0x50>
pop    %rbx
ret

LLVM IR (-O0):
define double @mmax(double** %0, i32 %1, i32 %2) {
%4 = alloca double**
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca double
store double** %0, double*** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%10 = load double**, double*** %4
%11 = getelementptr inbounds double*, double** %10, i64 0
%12 = load double*, double** %11
%13 = getelementptr inbounds double, double* %12, i64 5
%14 = load double, double* %13
store double %14, double* %9
store i32 0, i32* %7
br label %15
15: ; preds = %54, %3
%16 = load i32, i32* %7
%17 = load i32, i32* %5
%18 = add nsw i32 %17, 1
%19 = icmp slt i32 %16, %18
br i1 %19, label %20, label %57
20: ; preds = %15
store i32 5, i32* %8
br label %21
21: ; preds = %50, %20
%22 = load i32, i32* %8
%23 = load i32, i32* %6
%24 = icmp sle i32 %22, %23
br i1 %24, label %25, label %53
25: ; preds = %21
%26 = load double**, double*** %4
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double*, double** %26, i64 %28
%30 = load double*, double** %29
%31 = load i32, i32* %8
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds double, double* %30, i64 %32
%34 = load double, double* %33
%35 = call double @llvm.fabs.f64(double %34)
%36 = load double, double* %9
%37 = fcmp ogt double %35, %36
br i1 %37, label %38, label %49
38: ; preds = %25
%39 = load double**, double*** %4
%40 = load i32, i32* %7
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double*, double** %39, i64 %41
%43 = load double*, double** %42
%44 = load i32, i32* %8
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds double, double* %43, i64 %45
%47 = load double, double* %46
%48 = call double @llvm.fabs.f64(double %47)
store double %48, double* %9
br label %49
49: ; preds = %38, %25
br label %50
50: ; preds = %49
%51 = load i32, i32* %8
%52 = add nsw i32 %51, 1
store i32 %52, i32* %8
br label %21
53: ; preds = %21
br label %54
54: ; preds = %53
%55 = load i32, i32* %7
%56 = add nsw i32 %55, 1
store i32 %56, i32* %7
br label %15
57: ; preds = %15
%58 = load double, double* %9
ret double %58
}

LLVM IR (-O2):
define double @mmax(double** nocapture %0, i32 %1, i32 %2) {
%4 = load double*, double** %0
%5 = getelementptr inbounds double, double* %4, i64 5
%6 = load double, double* %5
%7 = icmp slt i32 %1, 0
br i1 %7, label %76, label %8
8: ; preds = %3
%9 = icmp slt i32 %2, 5
%10 = add i32 %2, 1
%11 = add nuw i32 %1, 1
%12 = zext i32 %11 to i64
%13 = zext i32 %10 to i64
%14 = add nsw i64 %13, -5
%15 = add nsw i64 %13, -6
%16 = and i64 %14, 3
%17 = icmp ult i64 %15, 3
%18 = and i64 %14, -4
%19 = icmp eq i64 %16, 0
br label %20
20: ; preds = %8, %72
%21 = phi i64 [ 0, %8 ], [ %74, %72 ]
%22 = phi double [ %6, %8 ], [ %73, %72 ]
br i1 %9, label %72, label %23
23: ; preds = %20
%24 = getelementptr inbounds double*, double** %0, i64 %21
%25 = load double*, double** %24
br i1 %17, label %56, label %26
26: ; preds = %23, %26
%27 = phi i64 [ %53, %26 ], [ 5, %23 ]
%28 = phi double [ %52, %26 ], [ %22, %23 ]
%29 = phi i64 [ %54, %26 ], [ 0, %23 ]
%30 = getelementptr inbounds double, double* %25, i64 %27
%31 = load double, double* %30
%32 = tail call double @llvm.fabs.f64(double %31)
%33 = fcmp ogt double %32, %28
%34 = select i1 %33, double %32, double %28
%35 = add nuw nsw i64 %27, 1
%36 = getelementptr inbounds double, double* %25, i64 %35
%37 = load double, double* %36
%38 = tail call double @llvm.fabs.f64(double %37)
%39 = fcmp ogt double %38, %34
%40 = select i1 %39, double %38, double %34
%41 = add nuw nsw i64 %27, 2
%42 = getelementptr inbounds double, double* %25, i64 %41
%43 = load double, double* %42
%44 = tail call double @llvm.fabs.f64(double %43)
%45 = fcmp ogt double %44, %40
%46 = select i1 %45, double %44, double %40
%47 = add nuw nsw i64 %27, 3
%48 = getelementptr inbounds double, double* %25, i64 %47
%49 = load double, double* %48
%50 = tail call double @llvm.fabs.f64(double %49)
%51 = fcmp ogt double %50, %46
%52 = select i1 %51, double %50, double %46
%53 = add nuw nsw i64 %27, 4
%54 = add i64 %29, 4
%55 = icmp eq i64 %54, %18
br i1 %55, label %56, label %26
56: ; preds = %26, %23
%57 = phi double [ undef, %23 ], [ %52, %26 ]
%58 = phi i64 [ 5, %23 ], [ %53, %26 ]
%59 = phi double [ %22, %23 ], [ %52, %26 ]
br i1 %19, label %72, label %60
60: ; preds = %56, %60
%61 = phi i64 [ %69, %60 ], [ %58, %56 ]
%62 = phi double [ %68, %60 ], [ %59, %56 ]
%63 = phi i64 [ %70, %60 ], [ 0, %56 ]
%64 = getelementptr inbounds double, double* %25, i64 %61
%65 = load double, double* %64
%66 = tail call double @llvm.fabs.f64(double %65)
%67 = fcmp ogt double %66, %62
%68 = select i1 %67, double %66, double %62
%69 = add nuw nsw i64 %61, 1
%70 = add i64 %63, 1
%71 = icmp eq i64 %70, %16
br i1 %71, label %72, label %60
72: ; preds = %56, %60, %20
%73 = phi double [ %22, %20 ], [ %57, %56 ], [ %68, %60 ]
%74 = add nuw nsw i64 %21, 1
%75 = icmp eq i64 %74, %12
br i1 %75, label %76, label %20
76: ; preds = %72, %3
%77 = phi double [ %6, %3 ], [ %73, %72 ]
ret double %77
}