The initial jump skips the refusal return. Both paths share one typed
assembly, so label resolution still belongs to the compiler's encoder.
293def nativeByteDigestRoutine =
294 (compiler-native-encode
295 (family X86NativeAssembly)
296 (constructor
297 X86NativeAssembly
298 X86NativeAssemblyJump
299 b"byte-digest-entry"
300 (digestLabel
301 b"byte-digest-refused"
302 (digestMovImm
303 digestRAX
304 0
305 (digestReturn (digestLabel b"byte-digest-entry" nativeByteDigestPaddingAssembly))))))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.