int projgr(int *n, double *l, double *u, int *nbd, double *x, double *g,
           double *sbgnrm) {
  int i__1;
  double d__1, d__2;
  int i__;
  double gi;
  --g;
  --x;
  --nbd;
  --u;
  --l;
  *sbgnrm = 0.;
  i__1 = *n;
  for (i__ = 1; i__ <= i__1; ++i__) {
    gi = g[i__];
    if (nbd[i__] != 0) {
      if (gi < 0.) {
        if (nbd[i__] >= 2) {
          d__1 = x[i__] - u[i__];
          gi = ((d__1) >= (gi) ? (d__1) : (gi));
        }
      } else {
        if (nbd[i__] <= 2) {
          d__1 = x[i__] - l[i__];
          gi = ((d__1) <= (gi) ? (d__1) : (gi));
        }
      }
    }
    d__1 = *sbgnrm, d__2 = ((gi) >= 0 ? (gi) : -(gi));
    *sbgnrm = ((d__1) >= (d__2) ? (d__1) : (d__2));
  }
  return 0;
}


x86 assembly (clang, -O0):
<projgr>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x10(%rbp)
mov    0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     132d <projgr+0x22d>
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1290 <projgr+0x190>
xorps  %xmm0,%xmm0
ucomisd -0x58(%rbp),%xmm0
jbe    121e <projgr+0x11e>
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jl     1219 <projgr+0x119>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
ucomisd -0x58(%rbp),%xmm0
jb     1205 <projgr+0x105>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    120f <projgr+0x10f>
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    128b <projgr+0x18b>
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x2,(%rax,%rcx,4)
jg     1286 <projgr+0x186>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     1272 <projgr+0x172>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    127c <projgr+0x17c>
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    128b <projgr+0x18b>
jmp    1290 <projgr+0x190>
mov    0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x58(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     12be <projgr+0x1be>
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    12df <projgr+0x1df>
movsd  -0x58(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x40(%rbp),%xmm0
ucomisd -0x48(%rbp),%xmm0
jb     1308 <projgr+0x208>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
jmp    1312 <projgr+0x212>
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x78(%rbp),%xmm0
mov    0x10(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1177 <projgr+0x77>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<projgr>:
mov    0x8(%rsp),%r10
movq   $0x0,(%r10)
mov    (%rdi),%r11d
test   %r11d,%r11d
jle    11e2 <projgr+0xe2>
shl    $0x2,%r11
xorpd  %xmm0,%xmm0
xor    %eax,%eax
movapd 0xed6(%rip),%xmm1
xorpd  %xmm2,%xmm2
jmp    1188 <projgr+0x88>
andpd  %xmm5,%xmm4
andnpd %xmm3,%xmm5
orpd   %xmm4,%xmm5
movapd %xmm5,%xmm3
movapd %xmm3,%xmm4
xorpd  %xmm1,%xmm4
xorpd  %xmm5,%xmm5
cmplesd %xmm3,%xmm5
andpd  %xmm5,%xmm3
andnpd %xmm4,%xmm5
orpd   %xmm3,%xmm5
movapd %xmm5,%xmm3
cmplesd %xmm2,%xmm3
movapd %xmm3,%xmm4
andnpd %xmm5,%xmm4
andpd  %xmm2,%xmm3
orpd   %xmm4,%xmm3
movlpd %xmm3,(%r10)
add    $0x4,%rax
movapd %xmm3,%xmm2
cmp    %rax,%r11
je     11e2 <projgr+0xe2>
movsd  (%r9,%rax,2),%xmm3
mov    (%rcx,%rax,1),%edi
test   %edi,%edi
je     1140 <projgr+0x40>
ucomisd %xmm3,%xmm0
jbe    11c0 <projgr+0xc0>
cmp    $0x2,%edi
jl     1140 <projgr+0x40>
movsd  (%r8,%rax,2),%xmm4
subsd  (%rdx,%rax,2),%xmm4
movapd %xmm3,%xmm5
cmplesd %xmm4,%xmm5
jmp    1130 <projgr+0x30>
nopl   0x0(%rax)
cmp    $0x2,%edi
jg     1140 <projgr+0x40>
movsd  (%r8,%rax,2),%xmm4
subsd  (%rsi,%rax,2),%xmm4
movapd %xmm4,%xmm5
cmplesd %xmm3,%xmm5
jmp    1130 <projgr+0x30>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @projgr(i32* %0, double* %1, double* %2, i32* %3, double* %4, double* %5, double* %6) {
%8 = alloca i32*
%9 = alloca double*
%10 = alloca double*
%11 = alloca i32*
%12 = alloca double*
%13 = alloca double*
%14 = alloca double*
%15 = alloca i32
%16 = alloca double
%17 = alloca double
%18 = alloca i32
%19 = alloca double
store i32* %0, i32** %8
store double* %1, double** %9
store double* %2, double** %10
store i32* %3, i32** %11
store double* %4, double** %12
store double* %5, double** %13
store double* %6, double** %14
%20 = load double*, double** %13
%21 = getelementptr inbounds double, double* %20, i32 -1
store double* %21, double** %13
%22 = load double*, double** %12
%23 = getelementptr inbounds double, double* %22, i32 -1
store double* %23, double** %12
%24 = load i32*, i32** %11
%25 = getelementptr inbounds i32, i32* %24, i32 -1
store i32* %25, i32** %11
%26 = load double*, double** %10
%27 = getelementptr inbounds double, double* %26, i32 -1
store double* %27, double** %10
%28 = load double*, double** %9
%29 = getelementptr inbounds double, double* %28, i32 -1
store double* %29, double** %9
%30 = load double*, double** %14
store double 0.000000e+00, double* %30
%31 = load i32*, i32** %8
%32 = load i32, i32* %31
store i32 %32, i32* %15
store i32 1, i32* %18
br label %33
33: ; preds = %133, %7
%34 = load i32, i32* %18
%35 = load i32, i32* %15
%36 = icmp sle i32 %34, %35
br i1 %36, label %37, label %136
37: ; preds = %33
%38 = load double*, double** %13
%39 = load i32, i32* %18
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds double, double* %38, i64 %40
%42 = load double, double* %41
store double %42, double* %19
%43 = load i32*, i32** %11
%44 = load i32, i32* %18
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %43, i64 %45
%47 = load i32, i32* %46
%48 = icmp ne i32 %47, 0
br i1 %48, label %49, label %111
49: ; preds = %37
%50 = load double, double* %19
%51 = fcmp olt double %50, 0.000000e+00
br i1 %51, label %52, label %81
52: ; preds = %49
%53 = load i32*, i32** %11
%54 = load i32, i32* %18
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %53, i64 %55
%57 = load i32, i32* %56
%58 = icmp sge i32 %57, 2
br i1 %58, label %59, label %80
59: ; preds = %52
%60 = load double*, double** %12
%61 = load i32, i32* %18
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds double, double* %60, i64 %62
%64 = load double, double* %63
%65 = load double*, double** %10
%66 = load i32, i32* %18
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds double, double* %65, i64 %67
%69 = load double, double* %68
%70 = fsub double %64, %69
store double %70, double* %16
%71 = load double, double* %16
%72 = load double, double* %19
%73 = fcmp oge double %71, %72
br i1 %73, label %74, label %76
74: ; preds = %59
%75 = load double, double* %16
br label %78
76: ; preds = %59
%77 = load double, double* %19
br label %78
78: ; preds = %76, %74
%79 = phi double [ %75, %74 ], [ %77, %76 ]
store double %79, double* %19
br label %80
80: ; preds = %78, %52
br label %110
81: ; preds = %49
%82 = load i32*, i32** %11
%83 = load i32, i32* %18
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
%87 = icmp sle i32 %86, 2
br i1 %87, label %88, label %109
88: ; preds = %81
%89 = load double*, double** %12
%90 = load i32, i32* %18
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds double, double* %89, i64 %91
%93 = load double, double* %92
%94 = load double*, double** %9
%95 = load i32, i32* %18
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds double, double* %94, i64 %96
%98 = load double, double* %97
%99 = fsub double %93, %98
store double %99, double* %16
%100 = load double, double* %16
%101 = load double, double* %19
%102 = fcmp ole double %100, %101
br i1 %102, label %103, label %105
103: ; preds = %88
%104 = load double, double* %16
br label %107
105: ; preds = %88
%106 = load double, double* %19
br label %107
107: ; preds = %105, %103
%108 = phi double [ %104, %103 ], [ %106, %105 ]
store double %108, double* %19
br label %109
109: ; preds = %107, %81
br label %110
110: ; preds = %109, %80
br label %111
111: ; preds = %110, %37
%112 = load double*, double** %14
%113 = load double, double* %112
store double %113, double* %16
%114 = load double, double* %19
%115 = fcmp oge double %114, 0.000000e+00
br i1 %115, label %116, label %118
116: ; preds = %111
%117 = load double, double* %19
br label %121
118: ; preds = %111
%119 = load double, double* %19
%120 = fneg double %119
br label %121
121: ; preds = %118, %116
%122 = phi double [ %117, %116 ], [ %120, %118 ]
store double %122, double* %17
%123 = load double, double* %16
%124 = load double, double* %17
%125 = fcmp oge double %123, %124
br i1 %125, label %126, label %128
126: ; preds = %121
%127 = load double, double* %16
br label %130
128: ; preds = %121
%129 = load double, double* %17
br label %130
130: ; preds = %128, %126
%131 = phi double [ %127, %126 ], [ %129, %128 ]
%132 = load double*, double** %14
store double %131, double* %132
br label %133
133: ; preds = %130
%134 = load i32, i32* %18
%135 = add nsw i32 %134, 1
store i32 %135, i32* %18
br label %33
136: ; preds = %33
ret i32 0
}

LLVM IR (-O2):
define i32 @projgr(i32* nocapture %0, double* nocapture %1, double* nocapture %2, i32* nocapture %3, double* nocapture %4, double* nocapture %5, double* nocapture %6) {
%8 = getelementptr inbounds double, double* %5, i64 -1
%9 = getelementptr inbounds double, double* %4, i64 -1
%10 = getelementptr inbounds i32, i32* %3, i64 -1
%11 = getelementptr inbounds double, double* %2, i64 -1
%12 = getelementptr inbounds double, double* %1, i64 -1
store double 0.000000e+00, double* %6
%13 = load i32, i32* %0
%14 = icmp slt i32 %13, 1
br i1 %14, label %57, label %15
15: ; preds = %7
%16 = add nuw i32 %13, 1
%17 = zext i32 %16 to i64
br label %18
18: ; preds = %15, %48
%19 = phi double [ 0.000000e+00, %15 ], [ %54, %48 ]
%20 = phi i64 [ 1, %15 ], [ %55, %48 ]
%21 = getelementptr inbounds double, double* %8, i64 %20
%22 = load double, double* %21
%23 = getelementptr inbounds i32, i32* %10, i64 %20
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, 0
br i1 %25, label %48, label %26
26: ; preds = %18
%27 = fcmp olt double %22, 0.000000e+00
br i1 %27, label %28, label %38
28: ; preds = %26
%29 = icmp sgt i32 %24, 1
br i1 %29, label %30, label %48
30: ; preds = %28
%31 = getelementptr inbounds double, double* %9, i64 %20
%32 = load double, double* %31
%33 = getelementptr inbounds double, double* %11, i64 %20
%34 = load double, double* %33
%35 = fsub double %32, %34
%36 = fcmp oge double %35, %22
%37 = select i1 %36, double %35, double %22
br label %48
38: ; preds = %26
%39 = icmp slt i32 %24, 3
br i1 %39, label %40, label %48
40: ; preds = %38
%41 = getelementptr inbounds double, double* %9, i64 %20
%42 = load double, double* %41
%43 = getelementptr inbounds double, double* %12, i64 %20
%44 = load double, double* %43
%45 = fsub double %42, %44
%46 = fcmp ole double %45, %22
%47 = select i1 %46, double %45, double %22
br label %48
48: ; preds = %30, %28, %40, %38, %18
%49 = phi double [ %37, %30 ], [ %22, %28 ], [ %47, %40 ], [ %22, %38 ], [ %22, %18 ]
%50 = fcmp oge double %49, 0.000000e+00
%51 = fneg double %49
%52 = select i1 %50, double %49, double %51
%53 = fcmp oge double %19, %52
%54 = select i1 %53, double %19, double %52
store double %54, double* %6
%55 = add nuw nsw i64 %20, 1
%56 = icmp eq i64 %55, %17
br i1 %56, label %57, label %18
57: ; preds = %48, %7
ret i32 0
}