int canJump(int *nums, int numsSize) {
  int i, j;
  i = j = 0;
  while (i <= j) {
    if (j >= numsSize - 1)
      return 1;
    int k;
    int jj;
    jj = j;
    for (k = i; k <= j; ++k) {
      if (k + nums[k] > jj)
        jj = k + nums[k];
    }
    i = j + 1;
    j = jj;
  }
  return 0;
}


x86 assembly (clang, -O0):
<canJump>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     11a9 <canJump+0xa9>
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jl     1142 <canJump+0x42>
movl   $0x1,-0x4(%rbp)
jmp    11b0 <canJump+0xb0>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1195 <canJump+0x95>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
cmp    -0x24(%rbp),%eax
jle    1182 <canJump+0x82>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x24(%rbp)
jmp    1187 <canJump+0x87>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    114e <canJump+0x4e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1119 <canJump+0x19>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<canJump>:
push   %r15
push   %r14
push   %rbx
add    $0xffffffff,%esi
lea    0x30(%rdi),%r8
xor    %r15d,%r15d
movdqa 0xee8(%rip),%xmm8
movdqa 0xeef(%rip),%xmm12
movdqa 0xef6(%rip),%xmm9
movdqa 0xefd(%rip),%xmm10
movdqa 0xf04(%rip),%xmm11
xor    %edx,%edx
jmp    1156 <canJump+0x56>
lea    0x1(%r15),%r9d
mov    %r15d,%ecx
mov    %r9d,%edx
cmp    %ecx,%r15d
mov    %ecx,%r15d
jge    134e <canJump+0x24e>
cmp    %esi,%r15d
jge    1352 <canJump+0x252>
mov    %r15d,%r14d
sub    %edx,%r14d
jl     1140 <canJump+0x40>
movslq %edx,%rax
lea    0x1(%r15),%r9d
cmp    $0x7,%r14d
jae    1180 <canJump+0x80>
mov    %r15d,%ecx
jmp    1310 <canJump+0x210>
nopl   0x0(%rax)
add    $0x1,%r14
mov    %r14,%r10
and    $0xfffffffffffffff8,%r10
movd   %r15d,%xmm0
pshufd $0x0,%xmm0,%xmm5
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm6
paddd  %xmm8,%xmm6
lea    -0x8(%r10),%rcx
mov    %rcx,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rcx,%rcx
je     1339 <canJump+0x239>
mov    %r11,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%r8,%rax,4),%rcx
xor    %ebx,%ebx
movdqa %xmm5,%xmm7
nopl   0x0(%rax)
movdqu -0x30(%rcx,%rbx,4),%xmm1
movdqu -0x20(%rcx,%rbx,4),%xmm4
movdqu -0x10(%rcx,%rbx,4),%xmm2
movdqu (%rcx,%rbx,4),%xmm0
paddd  %xmm6,%xmm4
paddd  %xmm6,%xmm1
paddd  %xmm12,%xmm4
movdqa %xmm1,%xmm3
pcmpgtd %xmm5,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm5,%xmm3
por    %xmm1,%xmm3
movdqa %xmm4,%xmm1
pcmpgtd %xmm7,%xmm1
pand   %xmm1,%xmm4
pandn  %xmm7,%xmm1
por    %xmm4,%xmm1
paddd  %xmm6,%xmm2
paddd  %xmm9,%xmm2
paddd  %xmm6,%xmm0
paddd  %xmm10,%xmm0
movdqa %xmm2,%xmm5
pcmpgtd %xmm3,%xmm5
pand   %xmm5,%xmm2
pandn  %xmm3,%xmm5
por    %xmm2,%xmm5
movdqa %xmm0,%xmm7
pcmpgtd %xmm1,%xmm7
pand   %xmm7,%xmm0
pandn  %xmm1,%xmm7
por    %xmm0,%xmm7
add    $0x10,%rbx
paddd  %xmm11,%xmm6
add    $0xfffffffffffffffe,%rdx
jne    11d0 <canJump+0xd0>
test   $0x1,%r11b
je     12ba <canJump+0x1ba>
add    %rax,%rbx
movdqu (%rdi,%rbx,4),%xmm0
movdqu 0x10(%rdi,%rbx,4),%xmm1
paddd  %xmm6,%xmm1
paddd  %xmm6,%xmm0
paddd  %xmm12,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm5,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm5,%xmm2
por    %xmm0,%xmm2
movdqa %xmm1,%xmm0
pcmpgtd %xmm7,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm7,%xmm0
por    %xmm1,%xmm0
movdqa %xmm2,%xmm5
movdqa %xmm0,%xmm7
movdqa %xmm5,%xmm0
pcmpgtd %xmm7,%xmm0
pand   %xmm0,%xmm5
pandn  %xmm7,%xmm0
por    %xmm5,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%ecx
cmp    %r10,%r14
je     1147 <canJump+0x47>
add    %r10,%rax
mov    %r9d,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ecx,%ebx
mov    (%rdi,%rax,4),%ecx
add    %eax,%ecx
cmp    %ebx,%ecx
cmovle %ebx,%ecx
add    $0x1,%rax
cmp    %eax,%edx
jne    1320 <canJump+0x220>
jmp    1147 <canJump+0x47>
xor    %ebx,%ebx
movdqa %xmm5,%xmm7
test   $0x1,%r11b
jne    126f <canJump+0x16f>
jmp    12ba <canJump+0x1ba>
xor    %eax,%eax
jmp    1357 <canJump+0x257>
mov    $0x1,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @canJump(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
store i32 0, i32* %7
store i32 0, i32* %6
br label %10
10: ; preds = %49, %2
%11 = load i32, i32* %6
%12 = load i32, i32* %7
%13 = icmp sle i32 %11, %12
br i1 %13, label %14, label %53
14: ; preds = %10
%15 = load i32, i32* %7
%16 = load i32, i32* %5
%17 = sub nsw i32 %16, 1
%18 = icmp sge i32 %15, %17
br i1 %18, label %19, label %20
19: ; preds = %14
store i32 1, i32* %3
br label %54
20: ; preds = %14
%21 = load i32, i32* %7
store i32 %21, i32* %9
%22 = load i32, i32* %6
store i32 %22, i32* %8
br label %23
23: ; preds = %46, %20
%24 = load i32, i32* %8
%25 = load i32, i32* %7
%26 = icmp sle i32 %24, %25
br i1 %26, label %27, label %49
27: ; preds = %23
%28 = load i32, i32* %8
%29 = load i32*, i32** %4
%30 = load i32, i32* %8
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = add nsw i32 %28, %33
%35 = load i32, i32* %9
%36 = icmp sgt i32 %34, %35
br i1 %36, label %37, label %45
37: ; preds = %27
%38 = load i32, i32* %8
%39 = load i32*, i32** %4
%40 = load i32, i32* %8
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
%43 = load i32, i32* %42
%44 = add nsw i32 %38, %43
store i32 %44, i32* %9
br label %45
45: ; preds = %37, %27
br label %46
46: ; preds = %45
%47 = load i32, i32* %8
%48 = add nsw i32 %47, 1
store i32 %48, i32* %8
br label %23
49: ; preds = %23
%50 = load i32, i32* %7
%51 = add nsw i32 %50, 1
store i32 %51, i32* %6
%52 = load i32, i32* %9
store i32 %52, i32* %7
br label %10
53: ; preds = %10
store i32 0, i32* %3
br label %54
54: ; preds = %53, %19
%55 = load i32, i32* %3
ret i32 %55
}

LLVM IR (-O2):
define i32 @canJump(i32* nocapture %0, i32 %1) {
%3 = add nsw i32 %1, -1
br label %4
4: ; preds = %2, %119
%5 = phi i32 [ 0, %2 ], [ %121, %119 ]
%6 = phi i32 [ 0, %2 ], [ %120, %119 ]
%7 = icmp slt i32 %5, %3
br i1 %7, label %8, label %123
8: ; preds = %4
%9 = icmp slt i32 %5, %6
br i1 %9, label %10, label %12
10: ; preds = %8
%11 = add nsw i32 %5, 1
br label %119
12: ; preds = %8
%13 = sext i32 %6 to i64
%14 = add nsw i32 %5, 1
%15 = sub i32 %5, %6
%16 = zext i32 %15 to i64
%17 = add nuw nsw i64 %16, 1
%18 = icmp ult i32 %15, 7
br i1 %18, label %104, label %19
19: ; preds = %12
%20 = and i64 %17, 8589934584
%21 = add nsw i64 %20, %13
%22 = insertelement <4 x i32> poison, i32 %5, i64 0
%23 = shufflevector <4 x i32> %22, <4 x i32> poison, <4 x i32> zeroinitializer
%24 = insertelement <4 x i32> poison, i32 %6, i64 0
%25 = shufflevector <4 x i32> %24, <4 x i32> poison, <4 x i32> zeroinitializer
%26 = add <4 x i32> %25, <i32 0, i32 1, i32 2, i32 3>
%27 = add nsw i64 %20, -8
%28 = lshr exact i64 %27, 3
%29 = add nuw nsw i64 %28, 1
%30 = and i64 %29, 1
%31 = icmp eq i64 %27, 0
br i1 %31, label %74, label %32
32: ; preds = %19
%33 = and i64 %29, 4611686018427387902
br label %34
34: ; preds = %34, %32
%35 = phi i64 [ 0, %32 ], [ %70, %34 ]
%36 = phi <4 x i32> [ %23, %32 ], [ %68, %34 ]
%37 = phi <4 x i32> [ %23, %32 ], [ %69, %34 ]
%38 = phi <4 x i32> [ %26, %32 ], [ %71, %34 ]
%39 = phi i64 [ 0, %32 ], [ %72, %34 ]
%40 = add i64 %35, %13
%41 = add <4 x i32> %38, <i32 4, i32 4, i32 4, i32 4>
%42 = getelementptr inbounds i32, i32* %0, i64 %40
%43 = bitcast i32* %42 to <4 x i32>*
%44 = load <4 x i32>, <4 x i32>* %43
%45 = getelementptr inbounds i32, i32* %42, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = add nsw <4 x i32> %44, %38
%49 = add nsw <4 x i32> %47, %41
%50 = icmp sgt <4 x i32> %48, %36
%51 = icmp sgt <4 x i32> %49, %37
%52 = select <4 x i1> %50, <4 x i32> %48, <4 x i32> %36
%53 = select <4 x i1> %51, <4 x i32> %49, <4 x i32> %37
%54 = or i64 %35, 8
%55 = add <4 x i32> %38, <i32 8, i32 8, i32 8, i32 8>
%56 = add i64 %54, %13
%57 = add <4 x i32> %38, <i32 12, i32 12, i32 12, i32 12>
%58 = getelementptr inbounds i32, i32* %0, i64 %56
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = add nsw <4 x i32> %60, %55
%65 = add nsw <4 x i32> %63, %57
%66 = icmp sgt <4 x i32> %64, %52
%67 = icmp sgt <4 x i32> %65, %53
%68 = select <4 x i1> %66, <4 x i32> %64, <4 x i32> %52
%69 = select <4 x i1> %67, <4 x i32> %65, <4 x i32> %53
%70 = add nuw i64 %35, 16
%71 = add <4 x i32> %38, <i32 16, i32 16, i32 16, i32 16>
%72 = add i64 %39, 2
%73 = icmp eq i64 %72, %33
br i1 %73, label %74, label %34
74: ; preds = %34, %19
%75 = phi <4 x i32> [ undef, %19 ], [ %68, %34 ]
%76 = phi <4 x i32> [ undef, %19 ], [ %69, %34 ]
%77 = phi i64 [ 0, %19 ], [ %70, %34 ]
%78 = phi <4 x i32> [ %23, %19 ], [ %68, %34 ]
%79 = phi <4 x i32> [ %23, %19 ], [ %69, %34 ]
%80 = phi <4 x i32> [ %26, %19 ], [ %71, %34 ]
%81 = icmp eq i64 %30, 0
br i1 %81, label %97, label %82
82: ; preds = %74
%83 = add i64 %77, %13
%84 = add <4 x i32> %80, <i32 4, i32 4, i32 4, i32 4>
%85 = getelementptr inbounds i32, i32* %0, i64 %83
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = getelementptr inbounds i32, i32* %85, i64 4
%89 = bitcast i32* %88 to <4 x i32>*
%90 = load <4 x i32>, <4 x i32>* %89
%91 = add nsw <4 x i32> %87, %80
%92 = add nsw <4 x i32> %90, %84
%93 = icmp sgt <4 x i32> %91, %78
%94 = icmp sgt <4 x i32> %92, %79
%95 = select <4 x i1> %93, <4 x i32> %91, <4 x i32> %78
%96 = select <4 x i1> %94, <4 x i32> %92, <4 x i32> %79
br label %97
97: ; preds = %74, %82
%98 = phi <4 x i32> [ %75, %74 ], [ %95, %82 ]
%99 = phi <4 x i32> [ %76, %74 ], [ %96, %82 ]
%100 = icmp sgt <4 x i32> %98, %99
%101 = select <4 x i1> %100, <4 x i32> %98, <4 x i32> %99
%102 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %101)
%103 = icmp eq i64 %17, %20
br i1 %103, label %119, label %104
104: ; preds = %12, %97
%105 = phi i64 [ %13, %12 ], [ %21, %97 ]
%106 = phi i32 [ %5, %12 ], [ %102, %97 ]
br label %107
107: ; preds = %104, %107
%108 = phi i64 [ %116, %107 ], [ %105, %104 ]
%109 = phi i32 [ %115, %107 ], [ %106, %104 ]
%110 = getelementptr inbounds i32, i32* %0, i64 %108
%111 = load i32, i32* %110
%112 = trunc i64 %108 to i32
%113 = add nsw i32 %111, %112
%114 = icmp sgt i32 %113, %109
%115 = select i1 %114, i32 %113, i32 %109
%116 = add nsw i64 %108, 1
%117 = trunc i64 %116 to i32
%118 = icmp eq i32 %14, %117
br i1 %118, label %119, label %107
119: ; preds = %107, %97, %10
%120 = phi i32 [ %11, %10 ], [ %14, %97 ], [ %14, %107 ]
%121 = phi i32 [ %5, %10 ], [ %102, %97 ], [ %115, %107 ]
%122 = icmp slt i32 %5, %121
br i1 %122, label %4, label %123
123: ; preds = %119, %4
%124 = phi i32 [ 1, %4 ], [ 0, %119 ]
ret i32 %124
}