int canCompleteCircuit(int *gas, int gasSize, int *cost, int costSize) {
  for (int i = 0; i < gasSize; ++i)
    gas[i] -= cost[i];
  int sum = 0;
  int current_sum = 0;
  int index = 0;
  for (int i = 0; i < gasSize; ++i) {
    sum += gas[i];
    current_sum += gas[i];
    if (current_sum < 0) {
      index = i + 1;
      current_sum = 0;
    }
  }
  if (sum < 0)
    return -1;
  return index;
}


x86 assembly (clang, -O0):
<canCompleteCircuit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    114e <canCompleteCircuit+0x4e>
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1119 <canCompleteCircuit+0x19>
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11c5 <canCompleteCircuit+0xc5>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jge    11b2 <canCompleteCircuit+0xb2>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
jmp    11b7 <canCompleteCircuit+0xb7>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    116a <canCompleteCircuit+0x6a>
cmpl   $0x0,-0x2c(%rbp)
jge    11db <canCompleteCircuit+0xdb>
movl   $0xffffffff,-0x4(%rbp)
jmp    11e1 <canCompleteCircuit+0xe1>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<canCompleteCircuit>:
push   %rbp
push   %rbx
test   %esi,%esi
jle    126a <canCompleteCircuit+0x16a>
mov    %esi,%r8d
cmp    $0x8,%esi
jb     1124 <canCompleteCircuit+0x24>
lea    (%rdx,%r8,4),%rax
cmp    %rdi,%rax
jbe    1194 <canCompleteCircuit+0x94>
lea    (%rdi,%r8,4),%rax
cmp    %rdx,%rax
jbe    1194 <canCompleteCircuit+0x94>
xor    %r11d,%r11d
mov    %r11,%r9
not    %r9
add    %r8,%r9
mov    %r8,%rax
and    $0x3,%rax
je     1152 <canCompleteCircuit+0x52>
nopl   0x0(%rax)
mov    (%rdx,%r11,4),%ecx
sub    %ecx,(%rdi,%r11,4)
add    $0x1,%r11
add    $0xffffffffffffffff,%rax
jne    1140 <canCompleteCircuit+0x40>
cmp    $0x3,%r9
jb     1257 <canCompleteCircuit+0x157>
nopl   0x0(%rax)
mov    (%rdx,%r11,4),%eax
sub    %eax,(%rdi,%r11,4)
mov    0x4(%rdx,%r11,4),%eax
sub    %eax,0x4(%rdi,%r11,4)
mov    0x8(%rdx,%r11,4),%eax
sub    %eax,0x8(%rdi,%r11,4)
mov    0xc(%rdx,%r11,4),%eax
sub    %eax,0xc(%rdi,%r11,4)
add    $0x4,%r11
cmp    %r11,%r8
jne    1160 <canCompleteCircuit+0x60>
jmp    1257 <canCompleteCircuit+0x157>
mov    %r8d,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     12d2 <canCompleteCircuit+0x1d2>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %eax,%eax
nopl   0x0(%rax)
movdqu (%rdx,%rax,4),%xmm0
movdqu 0x10(%rdx,%rax,4),%xmm1
movdqu (%rdi,%rax,4),%xmm2
psubd  %xmm0,%xmm2
movdqu 0x10(%rdi,%rax,4),%xmm0
psubd  %xmm1,%xmm0
movdqu 0x20(%rdi,%rax,4),%xmm1
movdqu 0x30(%rdi,%rax,4),%xmm3
movdqu %xmm2,(%rdi,%rax,4)
movdqu %xmm0,0x10(%rdi,%rax,4)
movdqu 0x20(%rdx,%rax,4),%xmm0
psubd  %xmm0,%xmm1
movdqu 0x30(%rdx,%rax,4),%xmm0
psubd  %xmm0,%xmm3
movdqu %xmm1,0x20(%rdi,%rax,4)
movdqu %xmm3,0x30(%rdi,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%r10
jne    11c0 <canCompleteCircuit+0xc0>
test   $0x1,%r9b
je     124e <canCompleteCircuit+0x14e>
movdqu (%rdx,%rax,4),%xmm0
movdqu 0x10(%rdx,%rax,4),%xmm1
movdqu (%rdi,%rax,4),%xmm2
psubd  %xmm0,%xmm2
movdqu 0x10(%rdi,%rax,4),%xmm0
psubd  %xmm1,%xmm0
movdqu %xmm2,(%rdi,%rax,4)
movdqu %xmm0,0x10(%rdi,%rax,4)
cmp    %r8,%r11
jne    1127 <canCompleteCircuit+0x27>
test   %esi,%esi
jle    126a <canCompleteCircuit+0x16a>
cmp    $0x1,%esi
jne    126e <canCompleteCircuit+0x16e>
xor    %ecx,%ecx
xor    %esi,%esi
xor    %eax,%eax
xor    %edx,%edx
jmp    12b2 <canCompleteCircuit+0x1b2>
xor    %eax,%eax
jmp    12cf <canCompleteCircuit+0x1cf>
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %r10d,%r10d
xor    %ecx,%ecx
xor    %esi,%esi
xor    %eax,%eax
xor    %edx,%edx
mov    (%rdi,%rcx,4),%r11d
mov    0x4(%rdi,%rcx,4),%ebp
add    %r11d,%edx
add    %r11d,%eax
lea    0x1(%rcx),%ebx
test   %eax,%eax
cmovs  %r10d,%eax
cmovns %esi,%ebx
add    %ebp,%edx
add    %ebp,%eax
add    $0x2,%rcx
test   %eax,%eax
cmovs  %r10d,%eax
mov    %ecx,%esi
cmovns %ebx,%esi
cmp    %rcx,%r9
jne    1280 <canCompleteCircuit+0x180>
test   $0x1,%r8b
je     12c5 <canCompleteCircuit+0x1c5>
mov    (%rdi,%rcx,4),%edi
add    %edi,%edx
add    $0x1,%ecx
add    %edi,%eax
cmovs  %ecx,%esi
test   %edx,%edx
mov    $0xffffffff,%eax
cmovns %esi,%eax
pop    %rbx
pop    %rbp
ret
xor    %eax,%eax
test   $0x1,%r9b
jne    1225 <canCompleteCircuit+0x125>
jmp    124e <canCompleteCircuit+0x14e>

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

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