CakeML/cakeml

Make the heap base pointer optional

开放

#766 创建于 2020年9月17日

 (0 条评论) (0 个反应) (0 位负责人)Standard ML (98 个派生)auto 404
code sizeenhancementgood first issuemedium rewardperformance

仓库指标

星标
 (1,169 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

The x64 generated code adds %r14 to every pointer prior to dereferencing it. This seems like a useful feature to have, since it allows a heap anywhere in the address space for large values of tagbits and lenbits and plausibly helps with a future compressed-oops/32-on-64 type feature, but for general 64-bit code you may be able to assume that the address of the heap is close to 0 and not do the add. There are potential future compatibility issues here, e.g. with ASLR and 5-level paging, so it may not make sense to do this for the shipped release artifacts.

贡献者指南