int trap(int *height, int heightSize) {
  if (heightSize < 2) {
    return 0;
  }
  int left = 0;
  int right = heightSize - 1;
  int currentHeight = 1;
  int areaAll = 0;
  int areaBar = 0;
  while (left < right) {
    while (left < right && height[left] < currentHeight) {
      areaBar += height[left++];
    }
    while (left < right && height[right] < currentHeight) {
      areaBar += height[right--];
    }
    if (left >= right) {
      break;
    }
    areaAll += (right - left + 1);
    currentHeight++;
  }
  if (left == right) {
    if (height[left] >= currentHeight) {
      areaAll += height[left] + 1 - currentHeight;
    }
    areaBar += height[left];
  }
  return areaAll - areaBar;
}


x86 assembly (clang, -O0):
<trap>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    1121 <trap+0x21>
movl   $0x0,-0x4(%rbp)
jmp    1285 <trap+0x185>
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1234 <trap+0x134>
jmp    1157 <trap+0x57>
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x29(%rbp)
jge    117c <trap+0x7c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
setl   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    118c <trap+0x8c>
jmp    11ac <trap+0xac>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1157 <trap+0x57>
jmp    11b1 <trap+0xb1>
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x2a(%rbp)
jge    11d6 <trap+0xd6>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
setl   %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    11e6 <trap+0xe6>
jmp    1206 <trap+0x106>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0xffffffff,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    11b1 <trap+0xb1>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1217 <trap+0x117>
jmp    1234 <trap+0x134>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
add    $0x1,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1146 <trap+0x46>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    127c <trap+0x17c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jl     126b <trap+0x16b>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
sub    -0x20(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<trap>:
push   %rbx
xor    %eax,%eax
cmp    $0x2,%esi
jl     11bc <trap+0xbc>
add    $0xffffffff,%esi
mov    $0x1,%r9d
xor    %ecx,%ecx
xor    %eax,%eax
xor    %r8d,%r8d
cmp    %esi,%r8d
jge    1153 <trap+0x53>
movslq %r8d,%rdx
movslq %esi,%r11
lea    (%rdi,%rdx,4),%r10
sub    %rdx,%r11
xor    %edx,%edx
mov    (%r10,%rdx,4),%ebx
cmp    %r9d,%ebx
jge    1150 <trap+0x50>
add    %ebx,%ecx
add    $0x1,%rdx
cmp    %rdx,%r11
jne    1130 <trap+0x30>
mov    %esi,%r8d
jmp    1153 <trap+0x53>
nopl   0x0(%rax)
add    %edx,%r8d
movslq %r8d,%r11
cmp    %r8d,%esi
jle    119d <trap+0x9d>
movslq %esi,%rsi
xchg   %ax,%ax
mov    (%rdi,%rsi,4),%edx
cmp    %r9d,%edx
jge    1180 <trap+0x80>
add    $0xffffffffffffffff,%rsi
add    %edx,%ecx
cmp    %r11,%rsi
jg     1160 <trap+0x60>
jmp    119d <trap+0x9d>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %eax,%r10d
sub    %r8d,%r10d
lea    (%r10,%rsi,1),%eax
add    $0x1,%eax
add    $0x1,%r9d
cmp    %esi,%r8d
jl     111c <trap+0x1c>
lea    (%r10,%rsi,1),%eax
add    $0x1,%eax
cmp    %esi,%r8d
jne    11ba <trap+0xba>
mov    (%rdi,%r11,4),%edx
mov    %edx,%esi
sub    %r9d,%esi
add    $0x1,%esi
xor    %edi,%edi
cmp    %r9d,%edx
cmovge %esi,%edi
add    %edi,%eax
add    %edx,%ecx
sub    %ecx,%eax
pop    %rbx
ret

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

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