int computeArea(int A, int B, int C, int D, int E, int F, int G, int H) {
  int area1 = (C - A) * (D - B);
  int area2 = (G - E) * (H - F);
  int inL = A > E ? A : E;
  int inR = C < G ? C : G;
  int inB = B > F ? B : F;
  int inT = D < H ? D : H;
  int inW = inR > inL ? inR - inL : 0;
  int inH = inT > inB ? inT - inB : 0;
  int sum = area1 - inW * inH + area2;
  return sum;
}


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    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    -0x8(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    0x10(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    0x18(%rbp),%ecx
sub    -0x18(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1159 <computeArea+0x59>
mov    -0x4(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    115f <computeArea+0x5f>
mov    -0x14(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0xc(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    117c <computeArea+0x7c>
mov    -0xc(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    1182 <computeArea+0x82>
mov    0x10(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    119f <computeArea+0x9f>
mov    -0x8(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    11a5 <computeArea+0xa5>
mov    -0x18(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%eax
cmp    0x18(%rbp),%eax
jge    11c2 <computeArea+0xc2>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    11c8 <computeArea+0xc8>
mov    0x18(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    11e8 <computeArea+0xe8>
mov    -0x28(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    11f2 <computeArea+0xf2>
xor    %eax,%eax
mov    %eax,-0x50(%rbp)
jmp    11f2 <computeArea+0xf2>
mov    -0x50(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jle    1212 <computeArea+0x112>
mov    -0x30(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    121c <computeArea+0x11c>
xor    %eax,%eax
mov    %eax,-0x54(%rbp)
jmp    121c <computeArea+0x11c>
mov    -0x54(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x34(%rbp),%ecx
imul   -0x38(%rbp),%ecx
sub    %ecx,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<computeArea>:
push   %rbp
push   %rbx
mov    0x20(%rsp),%ebx
mov    0x18(%rsp),%r10d
mov    %edx,%eax
sub    %edi,%eax
mov    %ecx,%r11d
sub    %esi,%r11d
imul   %eax,%r11d
mov    %r10d,%ebp
sub    %r8d,%ebp
mov    %ebx,%eax
sub    %r9d,%eax
imul   %ebp,%eax
cmp    %r8d,%edi
cmovg  %edi,%r8d
cmp    %r10d,%edx
cmovl  %edx,%r10d
cmp    %r9d,%esi
cmovg  %esi,%r9d
cmp    %ebx,%ecx
cmovl  %ecx,%ebx
xor    %ecx,%ecx
sub    %r8d,%r10d
cmovle %ecx,%r10d
sub    %ebx,%r9d
cmovl  %r9d,%ecx
imul   %r10d,%ecx
add    %r11d,%eax
add    %ecx,%eax
pop    %rbx
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
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = 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
%26 = load i32, i32* %11
%27 = load i32, i32* %9
%28 = sub nsw i32 %26, %27
%29 = load i32, i32* %12
%30 = load i32, i32* %10
%31 = sub nsw i32 %29, %30
%32 = mul nsw i32 %28, %31
store i32 %32, i32* %17
%33 = load i32, i32* %15
%34 = load i32, i32* %13
%35 = sub nsw i32 %33, %34
%36 = load i32, i32* %16
%37 = load i32, i32* %14
%38 = sub nsw i32 %36, %37
%39 = mul nsw i32 %35, %38
store i32 %39, i32* %18
%40 = load i32, i32* %9
%41 = load i32, i32* %13
%42 = icmp sgt i32 %40, %41
br i1 %42, label %43, label %45
43: ; preds = %8
%44 = load i32, i32* %9
br label %47
45: ; preds = %8
%46 = load i32, i32* %13
br label %47
47: ; preds = %45, %43
%48 = phi i32 [ %44, %43 ], [ %46, %45 ]
store i32 %48, i32* %19
%49 = load i32, i32* %11
%50 = load i32, i32* %15
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %54
52: ; preds = %47
%53 = load i32, i32* %11
br label %56
54: ; preds = %47
%55 = load i32, i32* %15
br label %56
56: ; preds = %54, %52
%57 = phi i32 [ %53, %52 ], [ %55, %54 ]
store i32 %57, i32* %20
%58 = load i32, i32* %10
%59 = load i32, i32* %14
%60 = icmp sgt i32 %58, %59
br i1 %60, label %61, label %63
61: ; preds = %56
%62 = load i32, i32* %10
br label %65
63: ; preds = %56
%64 = load i32, i32* %14
br label %65
65: ; preds = %63, %61
%66 = phi i32 [ %62, %61 ], [ %64, %63 ]
store i32 %66, i32* %21
%67 = load i32, i32* %12
%68 = load i32, i32* %16
%69 = icmp slt i32 %67, %68
br i1 %69, label %70, label %72
70: ; preds = %65
%71 = load i32, i32* %12
br label %74
72: ; preds = %65
%73 = load i32, i32* %16
br label %74
74: ; preds = %72, %70
%75 = phi i32 [ %71, %70 ], [ %73, %72 ]
store i32 %75, i32* %22
%76 = load i32, i32* %20
%77 = load i32, i32* %19
%78 = icmp sgt i32 %76, %77
br i1 %78, label %79, label %83
79: ; preds = %74
%80 = load i32, i32* %20
%81 = load i32, i32* %19
%82 = sub nsw i32 %80, %81
br label %84
83: ; preds = %74
br label %84
84: ; preds = %83, %79
%85 = phi i32 [ %82, %79 ], [ 0, %83 ]
store i32 %85, i32* %23
%86 = load i32, i32* %22
%87 = load i32, i32* %21
%88 = icmp sgt i32 %86, %87
br i1 %88, label %89, label %93
89: ; preds = %84
%90 = load i32, i32* %22
%91 = load i32, i32* %21
%92 = sub nsw i32 %90, %91
br label %94
93: ; preds = %84
br label %94
94: ; preds = %93, %89
%95 = phi i32 [ %92, %89 ], [ 0, %93 ]
store i32 %95, i32* %24
%96 = load i32, i32* %17
%97 = load i32, i32* %23
%98 = load i32, i32* %24
%99 = mul nsw i32 %97, %98
%100 = sub nsw i32 %96, %99
%101 = load i32, i32* %18
%102 = add nsw i32 %100, %101
store i32 %102, i32* %25
%103 = load i32, i32* %25
ret i32 %103
}

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