assert(mode_is_float(mode));
return get_tarval_nan(mode);
}
int is_mode(const void *thing) {
assert(mode_is_float(mode));
return get_tarval_nan(mode);
}
int is_mode(const void *thing) {
/* Memory Modes */
newmode.sort = irms_memory;
/* Memory */
newmode.name = new_id_from_chars("M", 1);
/* Memory Modes */
newmode.sort = irms_memory;
/* Memory */
newmode.name = new_id_from_chars("M", 1);
/* Auxiliary Modes */
newmode.sort = irms_auxiliary,
/* Tuple */
newmode.name = new_id_from_chars("T", 1);
/* Auxiliary Modes */
newmode.sort = irms_auxiliary,
/* Tuple */
newmode.name = new_id_from_chars("T", 1);
/* Internal Boolean Modes */
newmode.sort = irms_internal_boolean;
/* boolean */
newmode.name = new_id_from_chars("b", 1);
/* Internal Boolean Modes */
newmode.sort = irms_internal_boolean;
/* boolean */
newmode.name = new_id_from_chars("b", 1);
newmode.sign = 1;
/* note that the tarval module is calculating with 80 bits, but we use
* 96 bits, as that is what will be stored to memory by most hardware */
newmode.size = 96;
newmode.sign = 1;
/* note that the tarval module is calculating with 80 bits, but we use
* 96 bits, as that is what will be stored to memory by most hardware */
newmode.size = 96;
/* signed short integer */
newmode.name = new_id_from_chars("Hs", 2);
/* signed short integer */
newmode.name = new_id_from_chars("Hs", 2);
/* unsigned short integer */
newmode.name = new_id_from_chars("Hu", 2);
/* unsigned short integer */
newmode.name = new_id_from_chars("Hu", 2);
/* signed long integer */
newmode.name = new_id_from_chars("Ls", 2);
/* signed long integer */
newmode.name = new_id_from_chars("Ls", 2);
/* unsigned long integer */
newmode.name = new_id_from_chars("Lu", 2);
/* unsigned long integer */
newmode.name = new_id_from_chars("Lu", 2);
/* signed long long integer */
newmode.name = new_id_from_chars("LLs", 3);
/* signed long long integer */
newmode.name = new_id_from_chars("LLs", 3);
/* unsigned long long integer */
newmode.name = new_id_from_chars("LLu", 3);
/* unsigned long long integer */
newmode.name = new_id_from_chars("LLu", 3);