The branch at body offset `here` to the earlier code at `at` (at < here).
x86 jmp rel32 (E9) measures from the next instruction; AArch64 B (imm26
words, opcode 0x14000000) from itself. Both displacements are negative.
1144def nativePhysicalImageRoutineBranch =
1145 (lambda unrestricted format : (family NativePhysicalImageFormat) .
1146 (lambda unrestricted at : Nat .
1147 (lambda unrestricted here : Nat .
1148 (eliminate NativePhysicalImageFormat (lambda unrestricted current : (family NativePhysicalImageFormat) . Bytes) format
1149 (branch NativePhysicalImageCompactV4 .
1150 (bytes-append (bytes 233)
1151 (nativePhysicalImageLittleEndian32
1152 (naturalSaturatingSubtract 4294967296
1153 (naturalSaturatingSubtract (naturalAdd here 5) at)))))
1154 (branch NativePhysicalImageAlignedV3 .
1155 (nativePhysicalImageLittleEndian32
1156 (naturalAdd 335544320
1157 (naturalSaturatingSubtract 67108864
1158 (naturalDivideUnchecked (naturalSaturatingSubtract here at) 4)))))))))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.