Locations in the codegen where we assume pointers tagged with certain values?
ben at smart-cactus.org
Sat Apr 27 13:51:14 UTC 2019
Ömer Sinan Ağacan <omeragacan at gmail.com> writes:
> Hi all,
> I'm trying to find all places in the code generator where we assume that a
> pointer is tagged with a certain value. A generated code for this looks like
> mov 0x6(%rbx),%rax
> This moves payload of the closure in %rbx to %rax, but it assumes that %rbx
> is tagged with 2 so it does 0x6(%rbx) instead of 0x8(%rbx).
> Anyone know where I should be looking at?
I would start by looking at uses of tagForCon, lfDynTag and mkTaggedObjectLoad.
Also, did you check that the tag we apply to the closure pointer matches
the tag that the info table defines?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs