seal5.pass\_list ================ .. automodule:: seal5.pass_list .. rubric:: Functions .. autosummary:: annotate_opcodes check_pattern_support collect_immediate_operands collect_operand_types collect_register_operands convert_behav_to_llvmir convert_behav_to_tablegen convert_llvmir_to_gmir convert_models detect_behavior_constraints detect_calls detect_imm_leafs detect_inouts detect_loops detect_registers detect_side_effects drop_unused eliminate_mod_rfs eliminate_rd_cmp_zero explicit_truncations filter_model gen_model_td gen_riscv_features_patch gen_riscv_field_types_patch gen_riscv_gisel_legalizer_patch gen_riscv_instr_info_patch gen_riscv_intrinsics gen_riscv_isa_info_patch gen_riscv_register_info_patch gen_seal5_td gen_set_td infer_types inline_functions optimize_model pattern_gen_pass process_settings sanitize_args simplify_trivial_slices write_cdsl write_yaml