Expand description
This module ensures that if a functionโs ABI requires a particular target feature, that target feature is enabled both on the callee and all callers.
Functionsยง
- check_
call_ ๐site_ abi - Checks that a call expression does not try to pass a vector-passed argument which requires a target feature that the caller does not have, as doing so causes UB because of ABI mismatch.
- check_
callees_ ๐abi - check_
feature_ ๐dependent_ abi - check_
instance_ ๐abi - Checks that the ABI of a given instance of a function does not contain vector-passed arguments or return values for which the corresponding target feature is not enabled.
- do_
check_ ๐simd_ vector_ abi - Checks whether a certain function ABI is compatible with the target features currently enabled
for a certain function.
is_call
indicates whether this is a call-site check or a definition-site check; this is only relevant for the wording in the emitted error. - do_
check_ ๐wasm_ abi - Warns against usage of
extern "C"
on wasm32-unknown-unknown that is affected by the ABI transition. - uses_
vector_ ๐registers - wasm_
abi_ ๐safe - Determines whether the given argument is passed the same way on the old and new wasm ABIs.