int computeArea(int A, int B, int C, int D, int E, int F, int G, int H) {
  int left = (A > E ? A : E),
      right = ((C > G ? G : C) > left ? (C > G ? G : C) : left);
  int bottom = (B > F ? B : F),
      top = ((D > H ? H : D) > bottom ? (D > H ? H : D) : bottom);
  return (C - A) * (D - B) - (right - left) * (top - bottom) +
         (G - E) * (H - F);
}


x86 assembly (clang, -O0):
<computeArea>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1135 <computeArea+0x35>
mov    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    113b <computeArea+0x3b>
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
cmp    0x10(%rbp),%eax
jle    1158 <computeArea+0x58>
mov    0x10(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    115e <computeArea+0x5e>
mov    -0xc(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    1192 <computeArea+0x92>
mov    -0xc(%rbp),%eax
cmp    0x10(%rbp),%eax
jle    1181 <computeArea+0x81>
mov    0x10(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    1187 <computeArea+0x87>
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x38(%rbp)
jmp    1198 <computeArea+0x98>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    11b5 <computeArea+0xb5>
mov    -0x8(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    11bb <computeArea+0xbb>
mov    -0x18(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%eax
cmp    0x18(%rbp),%eax
jle    11d8 <computeArea+0xd8>
mov    0x18(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    11de <computeArea+0xde>
mov    -0x10(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1212 <computeArea+0x112>
mov    -0x10(%rbp),%eax
cmp    0x18(%rbp),%eax
jle    1201 <computeArea+0x101>
mov    0x18(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    1207 <computeArea+0x107>
mov    -0x10(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    1218 <computeArea+0x118>
mov    -0x24(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    -0x8(%rbp),%ecx
imul   %ecx,%eax
mov    -0x20(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
mov    -0x28(%rbp),%edx
sub    -0x24(%rbp),%edx
imul   %edx,%ecx
sub    %ecx,%eax
mov    0x10(%rbp),%ecx
sub    -0x14(%rbp),%ecx
mov    0x18(%rbp),%edx
sub    -0x18(%rbp),%edx
imul   %edx,%ecx
add    %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<computeArea>:
push   %rbp
push   %r14
push   %rbx
cmp    %r8d,%edi
mov    %r8d,%r11d
cmovg  %edi,%r11d
mov    0x20(%rsp),%r10d
cmp    %r10d,%edx
mov    %edx,%ebx
cmovg  %r10d,%ebx
cmp    %r9d,%esi
mov    %r9d,%ebp
cmovg  %esi,%ebp
mov    0x28(%rsp),%eax
cmp    %eax,%ecx
mov    %ecx,%r14d
cmovg  %eax,%r14d
sub    %edi,%edx
sub    %esi,%ecx
imul   %edx,%ecx
xor    %edx,%edx
sub    %r11d,%ebx
cmovle %edx,%ebx
sub    %r14d,%ebp
cmovge %edx,%ebp
imul   %ebx,%ebp
sub    %r8d,%r10d
sub    %r9d,%eax
imul   %r10d,%eax
add    %ecx,%eax
add    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @computeArea(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7) {
%9 = icmp sgt i32 %0, %4
%10 = select i1 %9, i32 %0, i32 %4
%11 = icmp sgt i32 %2, %6
%12 = select i1 %11, i32 %6, i32 %2
%13 = icmp sgt i32 %12, %10
%14 = icmp sgt i32 %1, %5
%15 = select i1 %14, i32 %1, i32 %5
%16 = icmp sgt i32 %3, %7
%17 = select i1 %16, i32 %7, i32 %3
%18 = icmp slt i32 %15, %17
%19 = sub nsw i32 %2, %0
%20 = sub nsw i32 %3, %1
%21 = mul nsw i32 %20, %19
%22 = sub i32 %12, %10
%23 = select i1 %13, i32 %22, i32 0
%24 = sub i32 %15, %17
%25 = select i1 %18, i32 %24, i32 0
%26 = mul i32 %25, %23
%27 = sub nsw i32 %6, %4
%28 = sub nsw i32 %7, %5
%29 = mul nsw i32 %28, %27
%30 = add i32 %29, %21
%31 = add i32 %30, %26
ret i32 %31
}