Home | History | Annotate | Download | only in verifier

Lines Matching full:branch

54 // it at branch points (for verification) or GC points and branches (for verification +
71 // branch target addresses (because we merge into that).
344 * "branch target" flags for exception handlers.
363 * As a side effect, this sets the "branch target" flags in InsnFlags.
368 * - target of each jump and branch instruction must be valid
431 // Verify that the target of a branch instruction is valid. We don't expect code to jump directly
435 // Updates "insn_flags_", setting the "branch target" flag.
439 // Updates "insn_flags_", setting the "branch target" flag.
461 // Extract the relative offset from a branch instruction.
462 // Returns "false" on failure (e.g. this isn't a branch instruction).
648 * branch to move-result instructions, but we have to make this a distinct check instead of
656 * be used when checking branch and switch instructions, but not instructions that can