seal5.tools.cdsl2llvm

PatternGen utils for seal5.

Functions

build_llc(src, dest[, use_ninja, verbose, ...])	Build llc tool.
build_pattern_gen(src, dest[, use_ninja, ...])	Build PatternGen tool.
convert_ll_to_gmir(build_dir, src, dest[, ...])	Convert LLVM-IR file to GMIR file.
get_pattern_gen_patches(src, temp_dir)	Generate patches for PatternGen integration.
run_pattern_gen(build_dir, src, dest[, ...])	Excute pattern-gen executable.