seal5.pass_list

Functions

check_pattern_support(input_model[, ...])

collect_immediate_operands(input_model[, ...])

collect_operand_types(input_model[, ...])

collect_register_operands(input_model[, ...])

convert_behav_to_llvmir(input_model[, ...])

convert_behav_to_tablegen(input_model[, ...])

convert_llvmir_to_gmir(input_model[, ...])

convert_models(input_model[, settings, env, ...])

detect_behavior_constraints(input_model[, ...])

detect_imm_leafs(input_model[, settings, ...])

detect_inouts(input_model[, settings, env, ...])

detect_registers(input_model[, settings, ...])

detect_side_effects(input_model[, settings, ...])

drop_unused(input_model[, settings, env, ...])

eliminate_mod_rfs(input_model[, settings, ...])

eliminate_rd_cmp_zero(input_model[, ...])

explicit_truncations(input_model[, ...])

filter_model(input_model[, settings, env, ...])

gen_model_td(input_model[, settings, env, ...])

gen_riscv_features_patch(input_model[, ...])

gen_riscv_gisel_legalizer_patch(input_model)

gen_riscv_instr_info_patch(input_model[, ...])

gen_riscv_intrinsics(input_model[, ...])

gen_riscv_isa_info_patch(input_model[, ...])

gen_riscv_register_info_patch(input_model[, ...])

gen_seal5_td(input_model[, settings, env, ...])

gen_set_td(input_model[, settings, env, verbose])

infer_types(input_model[, settings, env, ...])

inline_functions(input_model[, settings, ...])

optimize_model(input_model[, settings, env, ...])

pattern_gen_pass(model_name[, settings, ...])

process_settings(input_model[, settings, ...])

sanitize_args(args)

simplify_trivial_slices(input_model[, ...])

write_cdsl(input_model[, settings, env, ...])

write_yaml(input_model[, settings, env, ...])