GitHub (Feb 21 2020 at 03:30): GitHub (Feb 21 2020 at 03:30):IcyDefiance edited Issue #1261:
I've tracked down a few things that are preventing this from happening.
packed_structrequires std by default- There are a few uses of std in
cranelift-codegenandcranelift-codegen-sharedthat can be replaced with core or alloc.thiserrorrequires std, because the Error trait doesn't exist in core or alloc.The first two are trivial to fix, and I'll create a PR with those changes in a second.
However, there are 11 uses of the
DisplayandInto<result::CodegenError>traits that prevent me from placingthiserrorbehind a feature gate, and I'm not sure what to do about them.<details>
<summary>Here are the 11 things that rely on those traits, as reported by rustc (click to expand)</summary>$ cargo build --no-default-features --features core Compiling cranelift-codegen v0.51.0 (/home/icydefiance/Documents/code/cranelift/cranelift-codegen) error[E0599]: no method named `to_string` found for type `verifier::VerifierError` in the current scope --> cranelift-codegen/src/print_errors.rs:218:36 | 218 | writeln!(w, "; error: {}", err.to_string())?; | ^^^^^^^^^ method not found in `verifier::VerifierError` | ::: cranelift-codegen/src/verifier/mod.rs:138:1 | 138 | pub struct VerifierError { | ------------------------ method `to_string` not found for this | = help: items from traits can only be used if the trait is implemented and in scope = note: the following trait defines an item `to_string`, perhaps you need to implement it: candidate #1: `alloc::string::ToString` error[E0599]: no method named `to_string` found for type `result::CodegenError` in the current scope --> cranelift-codegen/src/print_errors.rs:227:13 | 227 | err.to_string() | ^^^^^^^^^ method not found in `result::CodegenError` | ::: cranelift-codegen/src/result.rs:12:1 | 12 | pub enum CodegenError { | --------------------- method `to_string` not found for this | = help: items from traits can only be used if the trait is implemented and in scope = note: the following trait defines an item `to_string`, perhaps you need to implement it: candidate #1: `alloc::string::ToString` error[E0277]: `verifier::VerifierError` doesn't implement `core::fmt::Display` --> cranelift-codegen/src/verifier/mod.rs:235:33 | 235 | writeln!(f, "- {}", err)?; | ^^^ `verifier::VerifierError` cannot be formatted with the default formatter | = help: the trait `core::fmt::Display` is not implemented for `verifier::VerifierError` = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead = note: required because of the requirements on the impl of `core::fmt::Display` for `&verifier::VerifierError` = note: required by `core::fmt::Display::fmt` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/context.rs:224:30 | 224 | self.verify(fisa)?; | ^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required by `core::convert::From::from` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/context.rs:244:39 | 244 | self.verify_locations(isa)?; | ^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required by `core::convert::From::from` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:111:28 | 111 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:139:28 | 139 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:168:28 | 168 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:196:28 | 196 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:239:28 | 239 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:248:17 | 248 | Err(errors.into()) | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error: aborting due to 11 previous errors Some errors have detailed explanations: E0277, E0599. For more information about an error, try `rustc --explain E0277`. error: could not compile `cranelift-codegen`. To learn more, run the command again with --verbose.</details>
Additional info:
- The author of
thiserrordoesn't want to add a feature-gate for just the Error trait, but it's possible to provide another implementation of Display (and presumably Into). dtolnay/thiserror#43- There was some discussion of moving Error to alloc, and a PR was even created to do so, but it was closed because RFC 2504 will add backtrace functionality that requires std.
GitHub (Feb 21 2020 at 14:34):IcyDefiance edited a comment on Issue #1261:
I got cranelift-wasm and its dependencies (including cranelift-codegen) to compile with no_std in my fork. To do so, I had to fork thiserror and v0.48.2 of wasmparser (there have been breaking changes since then).
I also copied the
extern crate alloc as std;line from cranelift-wasm to cranelift-codegen, and eliminated all direct use of alloc there. (It also reduced the changes I had to make to thiserror.) Unfortunately I don't think there's a way to do the same thing with core.Considering the current lack of interest in supporting no_std, as expressed in my PR, I won't bother making any new PRs. However, they're good enough for the project I'm playing with, so they may also be useful to someone else, and they may be informative if there is any future interest in supporting no_std.
GitHub (Feb 21 2020 at 15:25):bnjbvr commented on Issue #1261:
Sorry we didn't get back to you earlier, things have been a bit hectic lately, and no-std support is not checked in automation, so it's definitely something we may break a lot. The main issue here was finding a proper core reviewer for your work; if there's someone who could chime in and review such changes, it would be definitely helpful. And then, we could reopen your PR here and in other places and take your changes, if you were so inclined.
GitHub (Feb 21 2020 at 15:26):bnjbvr commented on Issue #1261:
(Of course, that also depends on the
thiserrorchanges being properly integrated upstream, which might be another hill to climb.)
GitHub (Feb 21 2020 at 18:48):IcyDefiance commented on Issue #1261:
By "lack of interest" I was referring to Alex's comment in my PR, but if that's not the case then I can make some new PRs later today. I'll start with thiserror and wasmparser and see how it goes.
GitHub (Feb 24 2020 at 17:10):bnjbvr commented on Issue #1261:
It's nice to be able to experiment on a smaller crate like
wasmparser(since we're the same authors), to have a precise idea of what the code would look like in the end, what's the best strategy to implement this (useno-std-compator something else). Once that's done, we agreed we could also port the whole Cranelift crate to no-std support, using the methods learned during the port ofwasmparser. Hope this makes sense!
GitHub (Feb 24 2020 at 18:44):yurydelendik commented on Issue #1261:
It's nice to be able to experiment on a smaller crate like wasmparser
Opened https://github.com/bytecodealliance/wasmparser/issues/198 . I'm proposing not depend on structures that require memory allocations (this means no hashbrown )
... using the methods learned during the port of wasmparser
These ideas might not be applied here
GitHub (Feb 28 2020 at 23:27):alexcrichton transferred Issue #1261:
I've tracked down a few things that are preventing this from happening.
packed_structrequires std by default- There are a few uses of std in
cranelift-codegenandcranelift-codegen-sharedthat can be replaced with core or alloc.thiserrorrequires std, because the Error trait doesn't exist in core or alloc.The first two are trivial to fix, and I'll create a PR with those changes in a second.
However, there are 11 uses of the
DisplayandInto<result::CodegenError>traits that prevent me from placingthiserrorbehind a feature gate, and I'm not sure what to do about them.<details>
<summary>Here are the 11 things that rely on those traits, as reported by rustc (click to expand)</summary>$ cargo build --no-default-features --features core Compiling cranelift-codegen v0.51.0 (/home/icydefiance/Documents/code/cranelift/cranelift-codegen) error[E0599]: no method named `to_string` found for type `verifier::VerifierError` in the current scope --> cranelift-codegen/src/print_errors.rs:218:36 | 218 | writeln!(w, "; error: {}", err.to_string())?; | ^^^^^^^^^ method not found in `verifier::VerifierError` | ::: cranelift-codegen/src/verifier/mod.rs:138:1 | 138 | pub struct VerifierError { | ------------------------ method `to_string` not found for this | = help: items from traits can only be used if the trait is implemented and in scope = note: the following trait defines an item `to_string`, perhaps you need to implement it: candidate #1: `alloc::string::ToString` error[E0599]: no method named `to_string` found for type `result::CodegenError` in the current scope --> cranelift-codegen/src/print_errors.rs:227:13 | 227 | err.to_string() | ^^^^^^^^^ method not found in `result::CodegenError` | ::: cranelift-codegen/src/result.rs:12:1 | 12 | pub enum CodegenError { | --------------------- method `to_string` not found for this | = help: items from traits can only be used if the trait is implemented and in scope = note: the following trait defines an item `to_string`, perhaps you need to implement it: candidate #1: `alloc::string::ToString` error[E0277]: `verifier::VerifierError` doesn't implement `core::fmt::Display` --> cranelift-codegen/src/verifier/mod.rs:235:33 | 235 | writeln!(f, "- {}", err)?; | ^^^ `verifier::VerifierError` cannot be formatted with the default formatter | = help: the trait `core::fmt::Display` is not implemented for `verifier::VerifierError` = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead = note: required because of the requirements on the impl of `core::fmt::Display` for `&verifier::VerifierError` = note: required by `core::fmt::Display::fmt` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/context.rs:224:30 | 224 | self.verify(fisa)?; | ^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required by `core::convert::From::from` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/context.rs:244:39 | 244 | self.verify_locations(isa)?; | ^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required by `core::convert::From::from` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:111:28 | 111 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:139:28 | 139 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:168:28 | 168 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:196:28 | 196 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:239:28 | 239 | return Err(errors.into()); | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error[E0277]: the trait bound `result::CodegenError: core::convert::From<verifier::VerifierErrors>` is not satisfied --> cranelift-codegen/src/regalloc/context.rs:248:17 | 248 | Err(errors.into()) | ^^^^^^^^^^^^^ the trait `core::convert::From<verifier::VerifierErrors>` is not implemented for `result::CodegenError` | = note: required because of the requirements on the impl of `core::convert::Into<result::CodegenError>` for `verifier::VerifierErrors` error: aborting due to 11 previous errors Some errors have detailed explanations: E0277, E0599. For more information about an error, try `rustc --explain E0277`. error: could not compile `cranelift-codegen`. To learn more, run the command again with --verbose.</details>
Additional info:
- The author of
thiserrordoesn't want to add a feature-gate for just the Error trait, but it's possible to provide another implementation of Display (and presumably Into). dtolnay/thiserror#43- There was some discussion of moving Error to alloc, and a PR was even created to do so, but it was closed because RFC 2504 will add backtrace functionality that requires std.
Last updated: Nov 22 2024 at 16:03 UTC