int trap(int *height, int heightSize) {
  if (heightSize < 2)
    return 0;
  int i, heightest, pos, water;
  heightest = height[0];
  pos = 0;
  for (i = 1; i < heightSize; ++i) {
    if (heightest < height[i]) {
      heightest = height[i];
      pos = i;
    }
  }
  water = 0;
  heightest = height[0];
  for (i = 1; i < pos; ++i) {
    if (height[i] > heightest)
      heightest = height[i];
    else
      water += heightest - height[i];
  }
  heightest = height[heightSize - 1];
  for (i = heightSize - 2; i > pos; --i) {
    if (height[i] > heightest)
      heightest = height[i];
    else
      water += heightest - height[i];
  }
  return water;
}


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    126c <trap+0x16c>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117f <trap+0x7f>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    116c <trap+0x6c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1171 <trap+0x71>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1138 <trap+0x38>
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11f0 <trap+0xf0>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    11c9 <trap+0xc9>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    11dd <trap+0xdd>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11e2 <trap+0xe2>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1196 <trap+0x96>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    1266 <trap+0x166>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    123f <trap+0x13f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    1253 <trap+0x153>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1258 <trap+0x158>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    120c <trap+0x10c>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<trap>:
push   %rbp
push   %r14
push   %rbx
xor    %eax,%eax
cmp    $0x2,%esi
jl     12ca <trap+0x1ca>
mov    (%rdi),%r8d
mov    %esi,%eax
lea    -0x1(%rax),%r9
add    $0xfffffffffffffffe,%rax
mov    %r9d,%r11d
and    $0x3,%r11d
cmp    $0x3,%rax
jae    117b <trap+0x7b>
xor    %r10d,%r10d
mov    $0x1,%ecx
mov    %r8d,%edx
test   %r11,%r11
je     1156 <trap+0x56>
nopl   0x0(%rax)
mov    (%rdi,%rcx,4),%eax
cmp    %eax,%edx
cmovl  %eax,%edx
cmovl  %ecx,%r10d
add    $0x1,%rcx
add    $0xffffffffffffffff,%r11
jne    1140 <trap+0x40>
xor    %eax,%eax
cmp    $0x2,%r10d
jl     124a <trap+0x14a>
mov    %r10d,%r9d
add    $0xffffffffffffffff,%r9
cmp    $0x2,%r10d
jne    11e2 <trap+0xe2>
xor    %eax,%eax
mov    $0x1,%edx
jmp    1237 <trap+0x137>
and    $0xfffffffffffffffc,%r9
xor    %r10d,%r10d
mov    $0x1,%ecx
mov    %r8d,%edx
xor    %eax,%eax
jmp    119f <trap+0x9f>
xchg   %ax,%ax
mov    %ebp,%edx
add    $0x4,%rcx
add    $0x4,%rax
cmp    %r9,%rax
je     1134 <trap+0x34>
mov    (%rdi,%rcx,4),%ebx
cmp    %ebx,%edx
cmovl  %ebx,%edx
mov    0x4(%rdi,%rcx,4),%ebx
cmovl  %ecx,%r10d
cmp    %ebx,%edx
jl     11c0 <trap+0xc0>
mov    %edx,%ebx
jmp    11c4 <trap+0xc4>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rcx),%r10d
mov    0x8(%rdi,%rcx,4),%ebp
cmp    %ebp,%ebx
jl     11d0 <trap+0xd0>
mov    %ebx,%ebp
jmp    11d4 <trap+0xd4>
lea    0x2(%rcx),%r10d
mov    0xc(%rdi,%rcx,4),%edx
cmp    %edx,%ebp
jge    1190 <trap+0x90>
lea    0x3(%rcx),%r10d
jmp    1192 <trap+0x92>
mov    %r9,%r14
and    $0xfffffffffffffffe,%r14
neg    %r14
xor    %r11d,%r11d
mov    $0x1,%edx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
mov    (%rdi,%rdx,4),%ebx
mov    0x4(%rdi,%rdx,4),%ebp
mov    %r8d,%ecx
sub    %ebx,%ecx
cmovl  %ebx,%r8d
cmovl  %r11d,%ecx
add    %eax,%ecx
mov    %r8d,%eax
sub    %ebp,%eax
cmovl  %ebp,%r8d
cmovl  %r11d,%eax
add    %ecx,%eax
lea    (%r14,%rdx,1),%rcx
add    $0x2,%rcx
add    $0x2,%rdx
cmp    $0x1,%rcx
jne    1200 <trap+0x100>
test   $0x1,%r9b
je     124a <trap+0x14a>
xor    %ecx,%ecx
sub    (%rdi,%rdx,4),%r8d
cmovl  %ecx,%r8d
add    %r8d,%eax
lea    -0x2(%rsi),%edx
mov    %edx,%ebp
sub    %r10d,%ebp
jle    12ca <trap+0x1ca>
add    $0xffffffff,%esi
mov    (%rdi,%rsi,4),%ebx
movslq %edx,%r8
movslq %r10d,%r9
mov    %r9,%rdx
not    %rdx
test   $0x1,%bpl
jne    1276 <trap+0x176>
mov    %r8,%rsi
add    %r8,%rdx
jne    1291 <trap+0x191>
jmp    12ca <trap+0x1ca>
mov    (%rdi,%r8,4),%esi
xor    %ebp,%ebp
mov    %ebx,%ecx
sub    %esi,%ecx
cmovl  %esi,%ebx
cmovl  %ebp,%ecx
add    %ecx,%eax
lea    -0x1(%r8),%rsi
add    %r8,%rdx
je     12ca <trap+0x1ca>
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x4(%rdi,%rsi,4),%ebp
mov    (%rdi,%rsi,4),%edx
mov    %ebx,%ecx
sub    %edx,%ecx
cmovl  %edx,%ebx
cmovl  %r8d,%ecx
add    %eax,%ecx
mov    %ebx,%eax
sub    %ebp,%eax
cmovl  %ebp,%ebx
cmovl  %r8d,%eax
add    %ecx,%eax
add    $0xfffffffffffffffe,%rsi
cmp    %r9,%rsi
jg     12a0 <trap+0x1a0>
pop    %rbx
pop    %r14
pop    %rbp
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
store i32* %0, i32** %4
store i32 %1, i32* %5
%10 = load i32, i32* %5
%11 = icmp slt i32 %10, 2
br i1 %11, label %12, label %13
12: ; preds = %2
store i32 0, i32* %3
br label %119
13: ; preds = %2
%14 = load i32*, i32** %4
%15 = getelementptr inbounds i32, i32* %14, i64 0
%16 = load i32, i32* %15
store i32 %16, i32* %7
store i32 0, i32* %8
store i32 1, i32* %6
br label %17
17: ; preds = %37, %13
%18 = load i32, i32* %6
%19 = load i32, i32* %5
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %40
21: ; preds = %17
%22 = load i32, i32* %7
%23 = load i32*, i32** %4
%24 = load i32, i32* %6
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = icmp slt i32 %22, %27
br i1 %28, label %29, label %36
29: ; preds = %21
%30 = load i32*, i32** %4
%31 = load i32, i32* %6
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
store i32 %34, i32* %7
%35 = load i32, i32* %6
store i32 %35, i32* %8
br label %36
36: ; preds = %29, %21
br label %37
37: ; preds = %36
%38 = load i32, i32* %6
%39 = add nsw i32 %38, 1
store i32 %39, i32* %6
br label %17
40: ; preds = %17
store i32 0, i32* %9
%41 = load i32*, i32** %4
%42 = getelementptr inbounds i32, i32* %41, i64 0
%43 = load i32, i32* %42
store i32 %43, i32* %7
store i32 1, i32* %6
br label %44
44: ; preds = %73, %40
%45 = load i32, i32* %6
%46 = load i32, i32* %8
%47 = icmp slt i32 %45, %46
br i1 %47, label %48, label %76
48: ; preds = %44
%49 = load i32*, i32** %4
%50 = load i32, i32* %6
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
%54 = load i32, i32* %7
%55 = icmp sgt i32 %53, %54
br i1 %55, label %56, label %62
56: ; preds = %48
%57 = load i32*, i32** %4
%58 = load i32, i32* %6
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %57, i64 %59
%61 = load i32, i32* %60
store i32 %61, i32* %7
br label %72
62: ; preds = %48
%63 = load i32, i32* %7
%64 = load i32*, i32** %4
%65 = load i32, i32* %6
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
%68 = load i32, i32* %67
%69 = sub nsw i32 %63, %68
%70 = load i32, i32* %9
%71 = add nsw i32 %70, %69
store i32 %71, i32* %9
br label %72
72: ; preds = %62, %56
br label %73
73: ; preds = %72
%74 = load i32, i32* %6
%75 = add nsw i32 %74, 1
store i32 %75, i32* %6
br label %44
76: ; preds = %44
%77 = load i32*, i32** %4
%78 = load i32, i32* %5
%79 = sub nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %77, i64 %80
%82 = load i32, i32* %81
store i32 %82, i32* %7
%83 = load i32, i32* %5
%84 = sub nsw i32 %83, 2
store i32 %84, i32* %6
br label %85
85: ; preds = %114, %76
%86 = load i32, i32* %6
%87 = load i32, i32* %8
%88 = icmp sgt i32 %86, %87
br i1 %88, label %89, label %117
89: ; preds = %85
%90 = load i32*, i32** %4
%91 = load i32, i32* %6
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %93
%95 = load i32, i32* %7
%96 = icmp sgt i32 %94, %95
br i1 %96, label %97, label %103
97: ; preds = %89
%98 = load i32*, i32** %4
%99 = load i32, i32* %6
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32, i32* %98, i64 %100
%102 = load i32, i32* %101
store i32 %102, i32* %7
br label %113
103: ; preds = %89
%104 = load i32, i32* %7
%105 = load i32*, i32** %4
%106 = load i32, i32* %6
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i32, i32* %105, i64 %107
%109 = load i32, i32* %108
%110 = sub nsw i32 %104, %109
%111 = load i32, i32* %9
%112 = add nsw i32 %111, %110
store i32 %112, i32* %9
br label %113
113: ; preds = %103, %97
br label %114
114: ; preds = %113
%115 = load i32, i32* %6
%116 = add nsw i32 %115, -1
store i32 %116, i32* %6
br label %85
117: ; preds = %85
%118 = load i32, i32* %9
store i32 %118, i32* %3
br label %119
119: ; preds = %117, %12
%120 = load i32, i32* %3
ret i32 %120
}

LLVM IR (-O2):
define i32 @trap(i32* nocapture %0, i32 %1) {
%3 = icmp slt i32 %1, 2
br i1 %3, label %166, label %4
4: ; preds = %2
%5 = load i32, i32* %0
%6 = zext i32 %1 to i64
%7 = add nsw i64 %6, -1
%8 = add nsw i64 %6, -2
%9 = and i64 %7, 3
%10 = icmp ult i64 %8, 3
br i1 %10, label %13, label %11
11: ; preds = %4
%12 = and i64 %7, -4
br label %43
13: ; preds = %43, %4
%14 = phi i32 [ undef, %4 ], [ %74, %43 ]
%15 = phi i64 [ 1, %4 ], [ %75, %43 ]
%16 = phi i32 [ 0, %4 ], [ %74, %43 ]
%17 = phi i32 [ %5, %4 ], [ %72, %43 ]
%18 = icmp eq i64 %9, 0
br i1 %18, label %33, label %19
19: ; preds = %13, %19
%20 = phi i64 [ %30, %19 ], [ %15, %13 ]
%21 = phi i32 [ %29, %19 ], [ %16, %13 ]
%22 = phi i32 [ %27, %19 ], [ %17, %13 ]
%23 = phi i64 [ %31, %19 ], [ 0, %13 ]
%24 = getelementptr inbounds i32, i32* %0, i64 %20
%25 = load i32, i32* %24
%26 = icmp slt i32 %22, %25
%27 = select i1 %26, i32 %25, i32 %22
%28 = trunc i64 %20 to i32
%29 = select i1 %26, i32 %28, i32 %21
%30 = add nuw nsw i64 %20, 1
%31 = add i64 %23, 1
%32 = icmp eq i64 %31, %9
br i1 %32, label %33, label %19
33: ; preds = %19, %13
%34 = phi i32 [ %14, %13 ], [ %29, %19 ]
%35 = icmp sgt i32 %34, 1
br i1 %35, label %36, label %114
36: ; preds = %33
%37 = zext i32 %34 to i64
%38 = add nsw i64 %37, -1
%39 = and i64 %38, 1
%40 = icmp eq i32 %34, 2
br i1 %40, label %101, label %41
41: ; preds = %36
%42 = and i64 %38, -2
br label %78
43: ; preds = %43, %11
%44 = phi i64 [ 1, %11 ], [ %75, %43 ]
%45 = phi i32 [ 0, %11 ], [ %74, %43 ]
%46 = phi i32 [ %5, %11 ], [ %72, %43 ]
%47 = phi i64 [ 0, %11 ], [ %76, %43 ]
%48 = getelementptr inbounds i32, i32* %0, i64 %44
%49 = load i32, i32* %48
%50 = icmp slt i32 %46, %49
%51 = select i1 %50, i32 %49, i32 %46
%52 = trunc i64 %44 to i32
%53 = select i1 %50, i32 %52, i32 %45
%54 = add nuw nsw i64 %44, 1
%55 = getelementptr inbounds i32, i32* %0, i64 %54
%56 = load i32, i32* %55
%57 = icmp slt i32 %51, %56
%58 = select i1 %57, i32 %56, i32 %51
%59 = trunc i64 %54 to i32
%60 = select i1 %57, i32 %59, i32 %53
%61 = add nuw nsw i64 %44, 2
%62 = getelementptr inbounds i32, i32* %0, i64 %61
%63 = load i32, i32* %62
%64 = icmp slt i32 %58, %63
%65 = select i1 %64, i32 %63, i32 %58
%66 = trunc i64 %61 to i32
%67 = select i1 %64, i32 %66, i32 %60
%68 = add nuw nsw i64 %44, 3
%69 = getelementptr inbounds i32, i32* %0, i64 %68
%70 = load i32, i32* %69
%71 = icmp slt i32 %65, %70
%72 = select i1 %71, i32 %70, i32 %65
%73 = trunc i64 %68 to i32
%74 = select i1 %71, i32 %73, i32 %67
%75 = add nuw nsw i64 %44, 4
%76 = add i64 %47, 4
%77 = icmp eq i64 %76, %12
br i1 %77, label %13, label %43
78: ; preds = %78, %41
%79 = phi i64 [ 1, %41 ], [ %98, %78 ]
%80 = phi i32 [ 0, %41 ], [ %97, %78 ]
%81 = phi i32 [ %5, %41 ], [ %95, %78 ]
%82 = phi i64 [ 0, %41 ], [ %99, %78 ]
%83 = getelementptr inbounds i32, i32* %0, i64 %79
%84 = load i32, i32* %83
%85 = icmp slt i32 %81, %84
%86 = sub nsw i32 %81, %84
%87 = select i1 %85, i32 %84, i32 %81
%88 = select i1 %85, i32 0, i32 %86
%89 = add nuw nsw i32 %88, %80
%90 = add nuw nsw i64 %79, 1
%91 = getelementptr inbounds i32, i32* %0, i64 %90
%92 = load i32, i32* %91
%93 = icmp slt i32 %87, %92
%94 = sub nsw i32 %87, %92
%95 = select i1 %93, i32 %92, i32 %87
%96 = select i1 %93, i32 0, i32 %94
%97 = add nuw nsw i32 %96, %89
%98 = add nuw nsw i64 %79, 2
%99 = add i64 %82, 2
%100 = icmp eq i64 %99, %42
br i1 %100, label %101, label %78
101: ; preds = %78, %36
%102 = phi i32 [ undef, %36 ], [ %97, %78 ]
%103 = phi i64 [ 1, %36 ], [ %98, %78 ]
%104 = phi i32 [ 0, %36 ], [ %97, %78 ]
%105 = phi i32 [ %5, %36 ], [ %95, %78 ]
%106 = icmp eq i64 %39, 0
br i1 %106, label %114, label %107
107: ; preds = %101
%108 = getelementptr inbounds i32, i32* %0, i64 %103
%109 = load i32, i32* %108
%110 = icmp slt i32 %105, %109
%111 = sub nsw i32 %105, %109
%112 = select i1 %110, i32 0, i32 %111
%113 = add nuw nsw i32 %112, %104
br label %114
114: ; preds = %107, %101, %33
%115 = phi i32 [ 0, %33 ], [ %102, %101 ], [ %113, %107 ]
%116 = add i32 %1, -2
%117 = icmp sgt i32 %116, %34
br i1 %117, label %118, label %166
118: ; preds = %114
%119 = add nsw i32 %1, -1
%120 = zext i32 %119 to i64
%121 = getelementptr inbounds i32, i32* %0, i64 %120
%122 = load i32, i32* %121
%123 = sext i32 %116 to i64
%124 = sext i32 %34 to i64
%125 = sub nsw i64 %123, %124
%126 = xor i64 %124, -1
%127 = and i64 %125, 1
%128 = icmp eq i64 %127, 0
br i1 %128, label %138, label %129
129: ; preds = %118
%130 = getelementptr inbounds i32, i32* %0, i64 %123
%131 = load i32, i32* %130
%132 = icmp slt i32 %122, %131
%133 = sub nsw i32 %122, %131
%134 = select i1 %132, i32 %131, i32 %122
%135 = select i1 %132, i32 0, i32 %133
%136 = add nuw nsw i32 %135, %115
%137 = add nsw i64 %123, -1
br label %138
138: ; preds = %129, %118
%139 = phi i64 [ %123, %118 ], [ %137, %129 ]
%140 = phi i32 [ %115, %118 ], [ %136, %129 ]
%141 = phi i32 [ %122, %118 ], [ %134, %129 ]
%142 = phi i32 [ undef, %118 ], [ %136, %129 ]
%143 = sub nsw i64 0, %123
%144 = icmp eq i64 %126, %143
br i1 %144, label %166, label %145
145: ; preds = %138, %145
%146 = phi i64 [ %164, %145 ], [ %139, %138 ]
%147 = phi i32 [ %163, %145 ], [ %140, %138 ]
%148 = phi i32 [ %161, %145 ], [ %141, %138 ]
%149 = getelementptr inbounds i32, i32* %0, i64 %146
%150 = load i32, i32* %149
%151 = icmp slt i32 %148, %150
%152 = sub nsw i32 %148, %150
%153 = select i1 %151, i32 %150, i32 %148
%154 = select i1 %151, i32 0, i32 %152
%155 = add nuw nsw i32 %154, %147
%156 = add nsw i64 %146, -1
%157 = getelementptr inbounds i32, i32* %0, i64 %156
%158 = load i32, i32* %157
%159 = icmp slt i32 %153, %158
%160 = sub nsw i32 %153, %158
%161 = select i1 %159, i32 %158, i32 %153
%162 = select i1 %159, i32 0, i32 %160
%163 = add nuw nsw i32 %162, %155
%164 = add nsw i64 %146, -2
%165 = icmp sgt i64 %164, %124
br i1 %165, label %145, label %166
166: ; preds = %138, %145, %114, %2
%167 = phi i32 [ 0, %2 ], [ %115, %114 ], [ %142, %138 ], [ %163, %145 ]
ret i32 %167
}