458def aarch64ConditionCode : (pi unrestricted condition : (family AArch64Condition) . Nat) =
459 (lambda unrestricted condition : (family AArch64Condition) .
460 (eliminate
461 AArch64Condition
462 (lambda unrestricted current : (family AArch64Condition) . Nat)
463 condition
464 (branch AArch64Equal . 0)
465 (branch AArch64NotEqual . 1)
466 (branch AArch64CarrySet . 2)
467 (branch AArch64CarryClear . 3)
468 (branch AArch64Minus . 4)
469 (branch AArch64Plus . 5)
470 (branch AArch64OverflowSet . 6)
471 (branch AArch64OverflowClear . 7)
472 (branch AArch64UnsignedHigher . 8)
473 (branch AArch64UnsignedLowerOrSame . 9)
474 (branch AArch64GreaterOrEqual . 10)
475 (branch AArch64LessThan . 11)
476 (branch AArch64GreaterThan . 12)
477 (branch AArch64LessOrEqual . 13)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.