CMM: add a mechanism to import C .data labels
authorSergei Trofimovich <siarheit@google.com>
Mon, 19 Jan 2015 22:27:06 +0000 (16:27 -0600)
committerAustin Seipp <austin@well-typed.com>
Mon, 19 Jan 2015 22:27:07 +0000 (16:27 -0600)
commitd82f592522eb8e063276a8a8c87ab93e18353c6b
tree9c57ffe45d026b3796d926fd51dec23f0771548e
parentc024af131b9e2538486eb605ba8af6a8d10fe76d
CMM: add a mechanism to import C .data labels

Summary:
This introduces new .cmm syntax for import:

    'import' 'CLOSURE' <identifier>;

Currently cmm syntax allows importing only function labels:

    import pthread_mutex_lock;

but sometimes ghc needs to import global gariables
or haskell closures:

    import ghczmprim_GHCziTypes_True_closure;
    import base_ControlziExceptionziBase_nestedAtomically_closure;
    import ghczmprim_GHCziTypes_False_closure;
    import sm_mutex;

It breaks on ia64 where there is a difference in
pointers to data and pointer to functions.

Patch fixes threaded runtime on ia64 where
dereference of 'sm_mutex' from CMM led to
incurrect location.

Exact breakage machanics are the same as in e18525fae273f4c1ad8d6cbe1dea4fc074cac721

Merge into the 7.10 branch

Signed-off-by: Sergei Trofimovich <siarheit@google.com>
Test Plan: passes ./validate, makes ghci work on ghc-7.8.4

Reviewers: simonmar, simonpj, austin

Reviewed By: austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D622
compiler/cmm/CmmParse.y
rts/Exception.cmm
rts/PrimOps.cmm