cranelift-control: support no_std compilation (#8995)* cranelift-control: support no_std compilationAlso ratchets cranelift-control's no_std support in CI.* Split no_std CI checks into separate
cranelift-control: support no_std compilation (#8995)* cranelift-control: support no_std compilationAlso ratchets cranelift-control's no_std support in CI.* Split no_std CI checks into separate jobs
show more ...
fuzz: Insert random instructions (#6407)* Fix fuel consumption of ControlPlane::shuffleCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <mzrw.d
fuzz: Insert random instructions (#6407)* Fix fuel consumption of ControlPlane::shuffleCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* Insert random instructions during loweringCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* add documentation for get_arbitraryCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* Fix zero-sized version of get_arbitraryCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* Insert ints and floatsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fix inserting of floatsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* improve abstraction of MachInst::gen_imm_f64Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>---------Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>
Chaos mode: add fuel parameter (#6208)* add fuel parameter to control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>*
Chaos mode: add fuel parameter (#6208)* add fuel parameter to control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* remove unused cranelift settingCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* update fuel parameter documentationCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* include control plane in printed test caseCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* print control plane as commentCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* set fuel limit in cranelift settingsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* separate cli arg parsing from arbitrary impl`ControlPlane::new` is replaced with an `Arbitrary` implementationand `ControlPlane::set_fuel`, as it was before.The CLI argument parsing inside the fuzz target `cranelift-fuzzgen`is separated from the `Arbitrary` implementation of `TestCase`.To achieve this, the `TestCase` doesn't carry a build TargetIsaanymore, but it it generated with an isa- and flags-builder.The CLI argument can then modify the flags further before the`TargetIsa` is built.The `TestCase.isa_builder` is wrapper in an `Rc` such that optimizedtest cases can share the same one and it doesn't need to be made`Clone`.Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* parse control planes with clif-utilCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* move parsing logic from cranelift-control to cranelift-readerCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* remove parsing and settings plumbingCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>---------Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>
fuzz: randomize block lowering order (#6254)* fuzz: randomize block lowering orderCo-authored-by: Moritz Waser <[email protected]>Co-authored-by: Remo Senekowitsch <[email protected]>* fix block
fuzz: randomize block lowering order (#6254)* fuzz: randomize block lowering orderCo-authored-by: Moritz Waser <[email protected]>Co-authored-by: Remo Senekowitsch <[email protected]>* fix block lowering order randomizationCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* simplify control plane internalsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* avoid unnecessary allocationsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* remove unused change_order functionCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* add arbitrary 1.3.0 to cargo vet imports lockCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* optimize ControlPlane::shuffleCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* clarify shuffle being a noop without chaos modeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* reorder only direct successors of a blockCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* rename get_permutation -> shuffledCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>---------Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>
Add clippy suggestions (#6203)* add clippy suggestions* revert &/ref change* Update cranelift/isle/isle/src/parser.rsCo-authored-by: Jamey Sharp <[email protected]>---------Co-authored-by
Add clippy suggestions (#6203)* add clippy suggestions* revert &/ref change* Update cranelift/isle/isle/src/parser.rsCo-authored-by: Jamey Sharp <[email protected]>---------Co-authored-by: Jamey Sharp <[email protected]>
Chaos mode MVP: Skip branch optimization in MachBuffer (#6039)* fuzz: Add chaos mode control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Wa
Chaos mode MVP: Skip branch optimization in MachBuffer (#6039)* fuzz: Add chaos mode control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: Skip branch optimization with chaos modeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: Rename chaos engine -> control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* chaos mode: refactoring ControlPlane to be passed through the call stack by referenceCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Remo Senekowitsch <[email protected]>* fuzz: annotate chaos todosCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: cleanup control planeCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: remove control plane from compiler contextCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: move control plane into emit stateCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fuzz: fix remaining compiler errorsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* fix tests* refactor emission state ctrl plane accessorsCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* centralize conditional compilation of chaos modeAlso cleanup a few straggling dependencies on cranelift-controlthat aren't needed anymore.Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* add cranelift-control to published cratesprtest:fullCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>* add cranelift-control to public cratesCo-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>---------Co-authored-by: Falk Zwimpfer <[email protected]>Co-authored-by: Moritz Waser <[email protected]>Co-authored-by: Remo Senekowitsch <[email protected]>