diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-20 08:18:42 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-20 08:18:42 +0000 |
commit | 2829523d71dfe92c1adc9cf59851639e895ae996 (patch) | |
tree | a3ef12df2dafd6c74d1fe66b7e8aace1cae4265c /lib/Axioms.v | |
parent | 3f205ff4314ccac92e4d74951929aa31b0308274 (diff) | |
download | compcert-2829523d71dfe92c1adc9cf59851639e895ae996.tar.gz compcert-2829523d71dfe92c1adc9cf59851639e895ae996.zip |
Added small data area support to checklink
Accesses to small data areas are dynamically resolved by constructing a
mapping from registers to virtual addresses they are supposed to point
to. This mapping is reported.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1880 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'lib/Axioms.v')
0 files changed, 0 insertions, 0 deletions