See https://developers.google.com/native-client/dev/reference/pnacl-bitcode-abi
