#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
bool canJump(int *nums, int numsSize) {
  if (numsSize <= 1)
    return true;
  for (int i = numsSize - 2; i >= 0; i--) {
    if (nums[i] == 0) {
      for (int j = i - 1; j >= 0; j--) {
        if (nums[j] >= i - j + 1) {
          goto _next;
        }
      }
      return false;
    _next:;
    }
  }
  return true;
}


x86 assembly (clang, -O0):
<canJump>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x1,-0x14(%rbp)
jg     1121 <canJump+0x21>
movl   $0x1,-0x4(%rbp)
jmp    11b8 <canJump+0xb8>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     11b1 <canJump+0xb1>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    119e <canJump+0x9e>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     118d <canJump+0x8d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jl     117a <canJump+0x7a>
jmp    1199 <canJump+0x99>
jmp    117f <canJump+0x7f>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    114f <canJump+0x4f>
movl   $0x0,-0x4(%rbp)
jmp    11b8 <canJump+0xb8>
jmp    119e <canJump+0x9e>
jmp    11a3 <canJump+0xa3>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    112a <canJump+0x2a>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<canJump>:
mov    $0x1,%eax
cmp    $0x2,%esi
jge    110b <canJump+0xb>
ret
add    $0xfffffffe,%esi
lea    -0x1(%rsi),%r8
jmp    1130 <canJump+0x30>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rsi),%rcx
add    $0xffffffffffffffff,%r8
test   %rsi,%rsi
mov    %rcx,%rsi
jle    110a <canJump+0xa>
cmpl   $0x0,(%rdi,%rsi,4)
jne    1120 <canJump+0x20>
xor    %r9d,%r9d
mov    %r8,%rcx
mov    %esi,%edx
xchg   %ax,%ax
test   %edx,%edx
jle    115a <canJump+0x5a>
mov    %ecx,%r10d
add    $0xffffffff,%edx
add    $0xffffffffffffffff,%rcx
add    $0x1,%r9d
cmp    %r9d,(%rdi,%r10,4)
jle    1140 <canJump+0x40>
jmp    1120 <canJump+0x20>
xor    %eax,%eax
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
store i32* %0, i32** %4
store i32 %1, i32* %5
%8 = load i32, i32* %5
%9 = icmp sle i32 %8, 1
br i1 %9, label %10, label %11
10: ; preds = %2
store i32 1, i32* %3
br label %53
11: ; preds = %2
%12 = load i32, i32* %5
%13 = sub nsw i32 %12, 2
store i32 %13, i32* %6
br label %14
14: ; preds = %49, %11
%15 = load i32, i32* %6
%16 = icmp sge i32 %15, 0
br i1 %16, label %17, label %52
17: ; preds = %14
%18 = load i32*, i32** %4
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i32, i32* %18, i64 %20
%22 = load i32, i32* %21
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %48
24: ; preds = %17
%25 = load i32, i32* %6
%26 = sub nsw i32 %25, 1
store i32 %26, i32* %7
br label %27
27: ; preds = %43, %24
%28 = load i32, i32* %7
%29 = icmp sge i32 %28, 0
br i1 %29, label %30, label %46
30: ; preds = %27
%31 = load i32*, i32** %4
%32 = load i32, i32* %7
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = load i32, i32* %6
%37 = load i32, i32* %7
%38 = sub nsw i32 %36, %37
%39 = add nsw i32 %38, 1
%40 = icmp sge i32 %35, %39
br i1 %40, label %41, label %42
41: ; preds = %30
br label %47
42: ; preds = %30
br label %43
43: ; preds = %42
%44 = load i32, i32* %7
%45 = add nsw i32 %44, -1
store i32 %45, i32* %7
br label %27
46: ; preds = %27
store i32 0, i32* %3
br label %53
47: ; preds = %41
br label %48
48: ; preds = %47, %17
br label %49
49: ; preds = %48
%50 = load i32, i32* %6
%51 = add nsw i32 %50, -1
store i32 %51, i32* %6
br label %14
52: ; preds = %14
store i32 1, i32* %3
br label %53
53: ; preds = %52, %46, %10
%54 = load i32, i32* %3
ret i32 %54
}

LLVM IR (-O2):
define i32 @canJump(i32* nocapture %0, i32 %1) {
%3 = icmp slt i32 %1, 2
br i1 %3, label %29, label %4
4: ; preds = %2
%5 = add nsw i32 %1, -2
%6 = zext i32 %5 to i64
br label %7
7: ; preds = %4, %26
%8 = phi i64 [ %6, %4 ], [ %28, %26 ]
%9 = getelementptr inbounds i32, i32* %0, i64 %8
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %26
12: ; preds = %7
%13 = trunc i64 %8 to i32
br label %14
14: ; preds = %12, %19
%15 = phi i64 [ %8, %12 ], [ %16, %19 ]
%16 = add nsw i64 %15, -1
%17 = trunc i64 %15 to i32
%18 = icmp sgt i32 %17, 0
br i1 %18, label %19, label %29
19: ; preds = %14
%20 = trunc i64 %16 to i32
%21 = and i64 %16, 4294967295
%22 = getelementptr inbounds i32, i32* %0, i64 %21
%23 = load i32, i32* %22
%24 = sub nsw i32 %13, %20
%25 = icmp sgt i32 %23, %24
br i1 %25, label %26, label %14
26: ; preds = %19, %7
%27 = icmp sgt i64 %8, 0
%28 = add nsw i64 %8, -1
br i1 %27, label %7, label %29
29: ; preds = %26, %14, %2
%30 = phi i32 [ 1, %2 ], [ 0, %14 ], [ 1, %26 ]
ret i32 %30
}