flush instruction cache on vfasl load

original commit: 57a7c47dcf1f602d208d14f51f456edb3e2689ae
This commit is contained in:
Matthew Flatt 2020-06-12 14:41:00 -06:00
parent d26b54dd52
commit 4b322677fa

View File

@ -541,6 +541,7 @@ ptr S_vfasl(ptr bv, void *stream, iptr offset, iptr input_len)
ptr sym_base = vspaces[vspace_symbol];
ptr code = TYPE(vspaces[vspace_code], type_typed_object);
ptr code_end = TYPE(VSPACE_END(vspace_code), type_typed_object);
S_record_code_mod(tc, (uptr)code, (uptr)code_end - (uptr)code);
while (code != code_end) {
relink_code(code, sym_base, vspaces, vspace_offsets, to_static);
code = ptr_add(code, size_code(CODELEN(code)));