void reg_corner_bounds(double *xpos, double *ypos, double *xb, double *yb) {
  long i;
  xb[0] = xpos[0];
  xb[1] = xpos[0];
  yb[0] = ypos[0];
  yb[1] = ypos[0];
  for (i = 1; i <= 3; i++) {
    if (xpos[i] < xb[0])
      xb[0] = xpos[i];
    if (xpos[i] > xb[1])
      xb[1] = xpos[i];
    if (ypos[i] < yb[0])
      yb[0] = ypos[i];
    if (ypos[i] > yb[1])
      yb[1] = ypos[i];
  }
}


x86 assembly (clang, -O0):
<reg_corner_bounds>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,0x8(%rax)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,0x8(%rax)
movq   $0x1,-0x28(%rbp)
cmpq   $0x3,-0x28(%rbp)
jg     124b <reg_corner_bounds+0x14b>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    119d <reg_corner_bounds+0x9d>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jbe    11cf <reg_corner_bounds+0xcf>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,0x8(%rax)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    1203 <reg_corner_bounds+0x103>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jbe    1235 <reg_corner_bounds+0x135>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,0x8(%rax)
jmp    123a <reg_corner_bounds+0x13a>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    115e <reg_corner_bounds+0x5e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reg_corner_bounds>:
movsd  (%rdi),%xmm0
movsd  %xmm0,(%rdx)
movsd  (%rdi),%xmm0
movsd  %xmm0,0x8(%rdx)
movsd  (%rsi),%xmm0
movsd  %xmm0,(%rcx)
movsd  (%rsi),%xmm0
movsd  %xmm0,0x8(%rcx)
movsd  0x8(%rdi),%xmm0
movsd  (%rdx),%xmm1
ucomisd %xmm0,%xmm1
jbe    113a <reg_corner_bounds+0x3a>
movsd  %xmm0,(%rdx)
movsd  0x8(%rdi),%xmm0
ucomisd 0x8(%rdx),%xmm0
jbe    1146 <reg_corner_bounds+0x46>
movsd  %xmm0,0x8(%rdx)
movsd  0x8(%rsi),%xmm0
movsd  (%rcx),%xmm1
ucomisd %xmm0,%xmm1
jbe    115e <reg_corner_bounds+0x5e>
movsd  %xmm0,(%rcx)
movsd  0x8(%rsi),%xmm0
ucomisd 0x8(%rcx),%xmm0
jbe    116a <reg_corner_bounds+0x6a>
movsd  %xmm0,0x8(%rcx)
movsd  0x10(%rdi),%xmm0
movsd  (%rdx),%xmm1
ucomisd %xmm0,%xmm1
jbe    1182 <reg_corner_bounds+0x82>
movsd  %xmm0,(%rdx)
movsd  0x10(%rdi),%xmm0
ucomisd 0x8(%rdx),%xmm0
jbe    118e <reg_corner_bounds+0x8e>
movsd  %xmm0,0x8(%rdx)
movsd  0x10(%rsi),%xmm0
movsd  (%rcx),%xmm1
ucomisd %xmm0,%xmm1
jbe    11a6 <reg_corner_bounds+0xa6>
movsd  %xmm0,(%rcx)
movsd  0x10(%rsi),%xmm0
ucomisd 0x8(%rcx),%xmm0
jbe    11b2 <reg_corner_bounds+0xb2>
movsd  %xmm0,0x8(%rcx)
movsd  0x18(%rdi),%xmm0
movsd  (%rdx),%xmm1
ucomisd %xmm0,%xmm1
jbe    11ca <reg_corner_bounds+0xca>
movsd  %xmm0,(%rdx)
movsd  0x18(%rdi),%xmm0
ucomisd 0x8(%rdx),%xmm0
jbe    11d6 <reg_corner_bounds+0xd6>
movsd  %xmm0,0x8(%rdx)
movsd  0x18(%rsi),%xmm0
movsd  (%rcx),%xmm1
ucomisd %xmm0,%xmm1
ja     11ed <reg_corner_bounds+0xed>
ucomisd 0x8(%rcx),%xmm0
ja     11fd <reg_corner_bounds+0xfd>
ret
movsd  %xmm0,(%rcx)
movsd  0x18(%rsi),%xmm0
ucomisd 0x8(%rcx),%xmm0
jbe    11ec <reg_corner_bounds+0xec>
movsd  %xmm0,0x8(%rcx)
ret

LLVM IR (-O0):
define void @reg_corner_bounds(double* %0, double* %1, double* %2, double* %3) {
%5 = alloca double*
%6 = alloca double*
%7 = alloca double*
%8 = alloca double*
%9 = alloca i64
store double* %0, double** %5
store double* %1, double** %6
store double* %2, double** %7
store double* %3, double** %8
%10 = load double*, double** %5
%11 = getelementptr inbounds double, double* %10, i64 0
%12 = load double, double* %11
%13 = load double*, double** %7
%14 = getelementptr inbounds double, double* %13, i64 0
store double %12, double* %14
%15 = load double*, double** %5
%16 = getelementptr inbounds double, double* %15, i64 0
%17 = load double, double* %16
%18 = load double*, double** %7
%19 = getelementptr inbounds double, double* %18, i64 1
store double %17, double* %19
%20 = load double*, double** %6
%21 = getelementptr inbounds double, double* %20, i64 0
%22 = load double, double* %21
%23 = load double*, double** %8
%24 = getelementptr inbounds double, double* %23, i64 0
store double %22, double* %24
%25 = load double*, double** %6
%26 = getelementptr inbounds double, double* %25, i64 0
%27 = load double, double* %26
%28 = load double*, double** %8
%29 = getelementptr inbounds double, double* %28, i64 1
store double %27, double* %29
store i64 1, i64* %9
br label %30
30: ; preds = %98, %4
%31 = load i64, i64* %9
%32 = icmp sle i64 %31, 3
br i1 %32, label %33, label %101
33: ; preds = %30
%34 = load double*, double** %5
%35 = load i64, i64* %9
%36 = getelementptr inbounds double, double* %34, i64 %35
%37 = load double, double* %36
%38 = load double*, double** %7
%39 = getelementptr inbounds double, double* %38, i64 0
%40 = load double, double* %39
%41 = fcmp olt double %37, %40
br i1 %41, label %42, label %49
42: ; preds = %33
%43 = load double*, double** %5
%44 = load i64, i64* %9
%45 = getelementptr inbounds double, double* %43, i64 %44
%46 = load double, double* %45
%47 = load double*, double** %7
%48 = getelementptr inbounds double, double* %47, i64 0
store double %46, double* %48
br label %49
49: ; preds = %42, %33
%50 = load double*, double** %5
%51 = load i64, i64* %9
%52 = getelementptr inbounds double, double* %50, i64 %51
%53 = load double, double* %52
%54 = load double*, double** %7
%55 = getelementptr inbounds double, double* %54, i64 1
%56 = load double, double* %55
%57 = fcmp ogt double %53, %56
br i1 %57, label %58, label %65
58: ; preds = %49
%59 = load double*, double** %5
%60 = load i64, i64* %9
%61 = getelementptr inbounds double, double* %59, i64 %60
%62 = load double, double* %61
%63 = load double*, double** %7
%64 = getelementptr inbounds double, double* %63, i64 1
store double %62, double* %64
br label %65
65: ; preds = %58, %49
%66 = load double*, double** %6
%67 = load i64, i64* %9
%68 = getelementptr inbounds double, double* %66, i64 %67
%69 = load double, double* %68
%70 = load double*, double** %8
%71 = getelementptr inbounds double, double* %70, i64 0
%72 = load double, double* %71
%73 = fcmp olt double %69, %72
br i1 %73, label %74, label %81
74: ; preds = %65
%75 = load double*, double** %6
%76 = load i64, i64* %9
%77 = getelementptr inbounds double, double* %75, i64 %76
%78 = load double, double* %77
%79 = load double*, double** %8
%80 = getelementptr inbounds double, double* %79, i64 0
store double %78, double* %80
br label %81
81: ; preds = %74, %65
%82 = load double*, double** %6
%83 = load i64, i64* %9
%84 = getelementptr inbounds double, double* %82, i64 %83
%85 = load double, double* %84
%86 = load double*, double** %8
%87 = getelementptr inbounds double, double* %86, i64 1
%88 = load double, double* %87
%89 = fcmp ogt double %85, %88
br i1 %89, label %90, label %97
90: ; preds = %81
%91 = load double*, double** %6
%92 = load i64, i64* %9
%93 = getelementptr inbounds double, double* %91, i64 %92
%94 = load double, double* %93
%95 = load double*, double** %8
%96 = getelementptr inbounds double, double* %95, i64 1
store double %94, double* %96
br label %97
97: ; preds = %90, %81
br label %98
98: ; preds = %97
%99 = load i64, i64* %9
%100 = add nsw i64 %99, 1
store i64 %100, i64* %9
br label %30
101: ; preds = %30
ret void
}

LLVM IR (-O2):
define void @reg_corner_bounds(double* nocapture %0, double* nocapture %1, double* nocapture %2, double* nocapture %3) {
%5 = load double, double* %0
store double %5, double* %2
%6 = load double, double* %0
%7 = getelementptr inbounds double, double* %2, i64 1
store double %6, double* %7
%8 = load double, double* %1
store double %8, double* %3
%9 = load double, double* %1
%10 = getelementptr inbounds double, double* %3, i64 1
store double %9, double* %10
%11 = getelementptr inbounds double, double* %0, i64 1
%12 = load double, double* %11
%13 = load double, double* %2
%14 = fcmp olt double %12, %13
br i1 %14, label %15, label %17
15: ; preds = %4
store double %12, double* %2
%16 = load double, double* %11
br label %17
17: ; preds = %15, %4
%18 = phi double [ %16, %15 ], [ %12, %4 ]
%19 = load double, double* %7
%20 = fcmp ogt double %18, %19
br i1 %20, label %21, label %22
21: ; preds = %17
store double %18, double* %7
br label %22
22: ; preds = %21, %17
%23 = getelementptr inbounds double, double* %1, i64 1
%24 = load double, double* %23
%25 = load double, double* %3
%26 = fcmp olt double %24, %25
br i1 %26, label %27, label %29
27: ; preds = %22
store double %24, double* %3
%28 = load double, double* %23
br label %29
29: ; preds = %27, %22
%30 = phi double [ %28, %27 ], [ %24, %22 ]
%31 = load double, double* %10
%32 = fcmp ogt double %30, %31
br i1 %32, label %33, label %34
33: ; preds = %29
store double %30, double* %10
br label %34
34: ; preds = %29, %33
%35 = getelementptr inbounds double, double* %0, i64 2
%36 = load double, double* %35
%37 = load double, double* %2
%38 = fcmp olt double %36, %37
br i1 %38, label %39, label %41
39: ; preds = %34
store double %36, double* %2
%40 = load double, double* %35
br label %41
41: ; preds = %39, %34
%42 = phi double [ %40, %39 ], [ %36, %34 ]
%43 = load double, double* %7
%44 = fcmp ogt double %42, %43
br i1 %44, label %45, label %46
45: ; preds = %41
store double %42, double* %7
br label %46
46: ; preds = %45, %41
%47 = getelementptr inbounds double, double* %1, i64 2
%48 = load double, double* %47
%49 = load double, double* %3
%50 = fcmp olt double %48, %49
br i1 %50, label %51, label %53
51: ; preds = %46
store double %48, double* %3
%52 = load double, double* %47
br label %53
53: ; preds = %51, %46
%54 = phi double [ %52, %51 ], [ %48, %46 ]
%55 = load double, double* %10
%56 = fcmp ogt double %54, %55
br i1 %56, label %57, label %58
57: ; preds = %53
store double %54, double* %10
br label %58
58: ; preds = %57, %53
%59 = getelementptr inbounds double, double* %0, i64 3
%60 = load double, double* %59
%61 = load double, double* %2
%62 = fcmp olt double %60, %61
br i1 %62, label %63, label %65
63: ; preds = %58
store double %60, double* %2
%64 = load double, double* %59
br label %65
65: ; preds = %63, %58
%66 = phi double [ %64, %63 ], [ %60, %58 ]
%67 = load double, double* %7
%68 = fcmp ogt double %66, %67
br i1 %68, label %69, label %70
69: ; preds = %65
store double %66, double* %7
br label %70
70: ; preds = %69, %65
%71 = getelementptr inbounds double, double* %1, i64 3
%72 = load double, double* %71
%73 = load double, double* %3
%74 = fcmp olt double %72, %73
br i1 %74, label %75, label %77
75: ; preds = %70
store double %72, double* %3
%76 = load double, double* %71
br label %77
77: ; preds = %75, %70
%78 = phi double [ %76, %75 ], [ %72, %70 ]
%79 = load double, double* %10
%80 = fcmp ogt double %78, %79
br i1 %80, label %81, label %82
81: ; preds = %77
store double %78, double* %10
br label %82
82: ; preds = %81, %77
ret void
}