PNaCl ABI checker: Require global variable initialisers to be flattened

Check for the normal form produced by FlattenGlobals.

We also require that all GlobalVariables have initialisers.  External
globals are not allowed.

Note that we don't need to call TC.isValidType() on GlobalVariables
any more: the new check is stricter.

Update types.ll:

 * Split some checks into separate files for clarity.  Otherwise the
   ordering of aliases/functions/globals/metadata gets tricky.

 * Convert a lot of the type-whitelisting tests to test via phi nodes
   rather than via global variables, since most of these types are now
   rejected for global variables.

BUG=https://code.google.com/p/nativeclient/issues/detail?id=3113
TEST=*.ll tests + PNaCl toolchain trybots

Review URL: https://codereview.chromium.org/15914017

0 files changed, 0 insertions, 0 deletions