Public globals - #2

Merged

xavierleroy merged 5 commits into

Nov 25, 2014

Commits on Nov 24, 2014

Record public global definitions via field "prog_public" in AST.program.
xavierleroy
committed
1e29e51
Add Genv.public_symbol operation.
xavierleroy
committed
ad8c37d
Verification of the Unusedglob pass (removal of unreferenced static global definitions). Assorted changes to ia32/Op.v. PowerPC and ARM need updating.
xavierleroy
committed
1094181
Update PowerPC port.
xavierleroy
committed
0b78a7b
Update the ARM port.
xavierleroy
committed
a0310ed