void update_tree(int *tree, int *lazy, int node, int a, int b, int i, int j,
                 int value) {
  if (lazy[node] != 0) {
    tree[node] += lazy[node];
    if (a != b) {
      lazy[node * 2] += lazy[node];
      lazy[node * 2 + 1] += lazy[node];
    }
    lazy[node] = 0;
  }
  if (a > b || a > j || b < i)
    return;
  if (a >= i && b <= j) {
    tree[node] += value;
    if (a != b) {
      lazy[node * 2] += value;
      lazy[node * 2 + 1] += value;
    }
    return;
  }
  update_tree(tree, lazy, node * 2, a, (a + b) / 2, i, j, value);
  update_tree(tree, lazy, 1 + node * 2, 1 + (a + b) / 2, b, i, j, value);
  tree[node] = tree[node * 2] + tree[node * 2 + 1];
}


x86 assembly (clang, -O0):
<update_tree>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     11b9 <update_tree+0xa9>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     11aa <update_tree+0x9a>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     11dd <update_tree+0xcd>
mov    -0x18(%rbp),%eax
cmp    0x10(%rbp),%eax
jg     11dd <update_tree+0xcd>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11e2 <update_tree+0xd2>
jmp    1301 <update_tree+0x1f1>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     124b <update_tree+0x13b>
mov    -0x1c(%rbp),%eax
cmp    0x10(%rbp),%eax
jg     124b <update_tree+0x13b>
mov    0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1246 <update_tree+0x136>
mov    0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    1301 <update_tree+0x1f1>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%r8d
cltd
idiv   %r8d
mov    -0x28(%rbp),%edx
mov    %eax,%r8d
mov    -0x20(%rbp),%r9d
mov    0x10(%rbp),%r10d
mov    0x18(%rbp),%eax
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
call   1030 <update_tree@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    -0x24(%rbp),%edx
mov    %eax,%ecx
add    $0x1,%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x10(%rbp),%r10d
mov    0x18(%rbp),%eax
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
call   1030 <update_tree@plt>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<update_tree>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,%r14d
mov    %r8d,%ebx
mov    %edx,%ebp
mov    %rsi,%r15
movslq %edx,%r12
mov    (%rsi,%r12,4),%eax
test   %eax,%eax
je     1165 <update_tree+0x55>
add    %eax,(%rdi,%r12,4)
cmp    %ebx,%ecx
je     115d <update_tree+0x4d>
mov    (%r15,%r12,4),%eax
lea    (%r12,%r12,1),%edx
movslq %edx,%rdx
add    %eax,(%r15,%rdx,4)
mov    (%r15,%r12,4),%eax
lea    (%r12,%r12,1),%edx
add    $0x1,%edx
movslq %edx,%rdx
add    %eax,(%r15,%rdx,4)
movl   $0x0,(%r15,%r12,4)
cmp    %r14d,%ebx
jl     122f <update_tree+0x11f>
cmp    %ebx,%ecx
jg     122f <update_tree+0x11f>
mov    0x50(%rsp),%r11d
cmp    %r11d,%ecx
jg     122f <update_tree+0x11f>
mov    0x58(%rsp),%r10d
cmp    %r14d,%ecx
jl     11b5 <update_tree+0xa5>
cmp    %r11d,%ebx
jg     11b5 <update_tree+0xa5>
add    %r10d,(%rdi,%r12,4)
cmp    %ebx,%ecx
je     122f <update_tree+0x11f>
lea    0x0(%rbp,%rbp,1),%eax
cltq
add    %r10d,(%r15,%rax,4)
lea    0x1(%rbp,%rbp,1),%eax
cltq
add    %r10d,(%r15,%rax,4)
jmp    122f <update_tree+0x11f>
lea    0x0(%rbp,%rbp,1),%edx
mov    %edx,0xc(%rsp)
lea    (%rbx,%rcx,1),%eax
mov    %eax,%r13d
shr    $0x1f,%r13d
add    %eax,%r13d
sar    %r13d
mov    %rdi,0x10(%rsp)
mov    %r15,%rsi
mov    %r13d,%r8d
mov    %r14d,%r9d
push   %r10
push   %r11
call   1030 <update_tree@plt>
add    $0x10,%rsp
lea    0x1(%rbp,%rbp,1),%edx
add    $0x1,%r13d
mov    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %edx,%r15d
mov    %r13d,%ecx
mov    %ebx,%r8d
mov    %r14d,%r9d
mov    0x58(%rsp),%eax
push   %rax
mov    0x58(%rsp),%eax
push   %rax
call   1030 <update_tree@plt>
add    $0x10,%rsp
movslq 0xc(%rsp),%rax
movslq %r15d,%rcx
mov    0x0(%rbp,%rcx,4),%ecx
add    0x0(%rbp,%rax,4),%ecx
mov    %ecx,0x0(%rbp,%r12,4)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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