Lib.rs

Cargo Features

[dependencies]
duskphantom-backend = { version = "0.0.2", default-features = false, features = ["clang_enabled", "gen_virtual_asm", "backend_opt", "opt_address_computation", "ilp_alloc"] }

default = backend_opt, clang_enabled, gen_virtual_asm

These default features are set whenever duskphantom-backend is added without default-features = false somewhere in the dependency tree.

clang_enabled default = llvm-ir

Affects from_llvm::gen_from_clang, from::from_llvm…

gen_virtual_asm default

backend_opt default = opt_address_computation

opt_address_computation backend_opt

该特性用来指定是否开启s0辅助寻址计算优化

ilp_alloc = z3

Affects ilp::alloc, ilp::ilp_alloc…

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

llvm-ir clang_enabled

z3 ilp_alloc?