|  | 
|  | 1 | +//! This target is a confluence of Linux and Wasm models, inheriting most | 
|  | 2 | +//! aspects from their respective base targets | 
|  | 3 | +
 | 
|  | 4 | +use crate::spec::{ | 
|  | 5 | +    Cc, LinkSelfContainedDefault, LinkerFlavor, PanicStrategy, RelocModel, TargetOptions, TlsModel, | 
|  | 6 | +    add_link_args, crt_objects, cvs, | 
|  | 7 | +}; | 
|  | 8 | + | 
|  | 9 | +pub(crate) fn opts() -> TargetOptions { | 
|  | 10 | +    macro_rules! args { | 
|  | 11 | +        ($prefix:literal) => { | 
|  | 12 | +            &[ | 
|  | 13 | +                // By default LLD only gives us one page of stack (64k) which is a | 
|  | 14 | +                // little small. Default to a larger stack closer to other PC platforms | 
|  | 15 | +                // (1MB) and users can always inject their own link-args to override this. | 
|  | 16 | +                concat!($prefix, "-z"), | 
|  | 17 | +                concat!($prefix, "stack-size=1048576"), | 
|  | 18 | +                // By default LLD's memory layout is: | 
|  | 19 | +                // | 
|  | 20 | +                // 1. First, a blank page | 
|  | 21 | +                // 2. Next, all static data | 
|  | 22 | +                // 3. Finally, the main stack (which grows down) | 
|  | 23 | +                // | 
|  | 24 | +                // This has the unfortunate consequence that on stack overflows you | 
|  | 25 | +                // corrupt static data and can cause some exceedingly weird bugs. To | 
|  | 26 | +                // help detect this a little sooner we instead request that the stack is | 
|  | 27 | +                // placed before static data. | 
|  | 28 | +                // | 
|  | 29 | +                // This means that we'll generate slightly larger binaries as references | 
|  | 30 | +                // to static data will take more bytes in the ULEB128 encoding, but | 
|  | 31 | +                // stack overflow will be guaranteed to trap as it underflows instead of | 
|  | 32 | +                // corrupting static data. | 
|  | 33 | +                concat!($prefix, "--stack-first"), | 
|  | 34 | +                // FIXME we probably shouldn't pass this but instead pass an explicit list | 
|  | 35 | +                // of symbols we'll allow to be undefined. We don't currently have a | 
|  | 36 | +                // mechanism of knowing, however, which symbols are intended to be imported | 
|  | 37 | +                // from the environment and which are intended to be imported from other | 
|  | 38 | +                // objects linked elsewhere. This is a coarse approximation but is sure to | 
|  | 39 | +                // hide some bugs and frustrate someone at some point, so we should ideally | 
|  | 40 | +                // work towards a world where we can explicitly list symbols that are | 
|  | 41 | +                // supposed to be imported and have all other symbols generate errors if | 
|  | 42 | +                // they remain undefined. | 
|  | 43 | +                concat!($prefix, "--allow-undefined"), | 
|  | 44 | +                // LLD only implements C++-like demangling, which doesn't match our own | 
|  | 45 | +                // mangling scheme. Tell LLD to not demangle anything and leave it up to | 
|  | 46 | +                // us to demangle these symbols later. Currently rustc does not perform | 
|  | 47 | +                // further demangling, but tools like twiggy and wasm-bindgen are intended | 
|  | 48 | +                // to do so. | 
|  | 49 | +                concat!($prefix, "--no-demangle"), | 
|  | 50 | +            ] | 
|  | 51 | +        }; | 
|  | 52 | +    } | 
|  | 53 | + | 
|  | 54 | +    let mut pre_link_args = TargetOptions::link_args(LinkerFlavor::WasmLld(Cc::No), args!("")); | 
|  | 55 | +    add_link_args(&mut pre_link_args, LinkerFlavor::WasmLld(Cc::Yes), args!("-Wl,")); | 
|  | 56 | + | 
|  | 57 | +    TargetOptions { | 
|  | 58 | +        is_like_wasm: true, | 
|  | 59 | +        families: cvs!["wasm", "unix"], | 
|  | 60 | +        os: "linux".into(), | 
|  | 61 | +        env: "musl".into(), | 
|  | 62 | + | 
|  | 63 | +        // we allow dynamic linking, but only cdylibs. Basically we allow a | 
|  | 64 | +        // final library artifact that exports some symbols (a wasm module) but | 
|  | 65 | +        // we don't allow intermediate `dylib` crate types | 
|  | 66 | +        dynamic_linking: true, | 
|  | 67 | +        only_cdylib: true, | 
|  | 68 | + | 
|  | 69 | +        // relatively self-explanatory! | 
|  | 70 | +        exe_suffix: ".wasm".into(), | 
|  | 71 | +        dll_prefix: "".into(), | 
|  | 72 | +        dll_suffix: ".wasm".into(), | 
|  | 73 | +        eh_frame_header: false, | 
|  | 74 | + | 
|  | 75 | +        max_atomic_width: Some(64), | 
|  | 76 | + | 
|  | 77 | +        // Unwinding doesn't work right now, so the whole target unconditionally | 
|  | 78 | +        // defaults to panic=abort. Note that this is guaranteed to change in | 
|  | 79 | +        // the future once unwinding is implemented. Don't rely on this as we're | 
|  | 80 | +        // basically guaranteed to change it once WebAssembly supports | 
|  | 81 | +        // exceptions. | 
|  | 82 | +        panic_strategy: PanicStrategy::Abort, | 
|  | 83 | + | 
|  | 84 | +        // Symbol visibility takes care of this for the WebAssembly. | 
|  | 85 | +        // Additionally the only known linker, LLD, doesn't support the script | 
|  | 86 | +        // arguments just yet | 
|  | 87 | +        limit_rdylib_exports: false, | 
|  | 88 | + | 
|  | 89 | +        // we use the LLD shipped with the Rust toolchain by default | 
|  | 90 | +        linker: Some("rust-lld".into()), | 
|  | 91 | +        linker_flavor: LinkerFlavor::WasmLld(Cc::No), | 
|  | 92 | + | 
|  | 93 | +        pre_link_args, | 
|  | 94 | + | 
|  | 95 | +        // FIXME: Figure out cases in which WASM needs to link with a native toolchain. | 
|  | 96 | +        // | 
|  | 97 | +        // rust-lang/rust#104137: cannot blindly remove this without putting in | 
|  | 98 | +        // some other way to compensate for lack of `-nostartfiles` in linker | 
|  | 99 | +        // invocation. | 
|  | 100 | +        link_self_contained: LinkSelfContainedDefault::True, | 
|  | 101 | +        pre_link_objects_self_contained: crt_objects::pre_wasi_self_contained(), | 
|  | 102 | +        post_link_objects_self_contained: crt_objects::post_wasi_self_contained(), | 
|  | 103 | + | 
|  | 104 | +        // This has no effect in LLVM 8 or prior, but in LLVM 9 and later when | 
|  | 105 | +        // PIC code is implemented this has quite a drastic effect if it stays | 
|  | 106 | +        // at the default, `pic`. In an effort to keep wasm binaries as minimal | 
|  | 107 | +        // as possible we're defaulting to `static` for now, but the hope is | 
|  | 108 | +        // that eventually we can ship a `pic`-compatible standard library which | 
|  | 109 | +        // works with `static` as well (or works with some method of generating | 
|  | 110 | +        // non-relative calls and such later on). | 
|  | 111 | +        relocation_model: RelocModel::Static, | 
|  | 112 | + | 
|  | 113 | +        // When the atomics feature is activated then these two keys matter, | 
|  | 114 | +        // otherwise they're basically ignored by the standard library. In this | 
|  | 115 | +        // mode, however, the `#[thread_local]` attribute works (i.e. | 
|  | 116 | +        // `has_thread_local`) and we need to get it to work by specifying | 
|  | 117 | +        // `local-exec` as that's all that's implemented in LLVM today for wasm. | 
|  | 118 | +        has_thread_local: true, | 
|  | 119 | +        tls_model: TlsModel::LocalExec, | 
|  | 120 | + | 
|  | 121 | +        // Supporting Linux requires multithreading supported by Wasm's thread | 
|  | 122 | +        // proposal | 
|  | 123 | +        singlethread: false, | 
|  | 124 | + | 
|  | 125 | +        // gdb scripts don't work on wasm blobs | 
|  | 126 | +        emit_debug_gdb_scripts: false, | 
|  | 127 | + | 
|  | 128 | +        // There's more discussion of this at | 
|  | 129 | +        // https://bugs.llvm.org/show_bug.cgi?id=52442 but the general result is | 
|  | 130 | +        // that this isn't useful for wasm and has tricky issues with | 
|  | 131 | +        // representation, so this is disabled. | 
|  | 132 | +        generate_arange_section: false, | 
|  | 133 | + | 
|  | 134 | +        // Right now this is a bit of a workaround but we're currently saying that | 
|  | 135 | +        // the target by default has a static crt which we're taking as a signal | 
|  | 136 | +        // for "use the bundled crt". If that's turned off then the system's crt | 
|  | 137 | +        // will be used, but this means that default usage of this target doesn't | 
|  | 138 | +        // need an external compiler but it's still interoperable with an external | 
|  | 139 | +        // compiler if configured correctly. | 
|  | 140 | +        crt_static_default: true, | 
|  | 141 | +        crt_static_respected: true, | 
|  | 142 | + | 
|  | 143 | +        // Allow `+crt-static` to create a "cdylib" output which is just a wasm file | 
|  | 144 | +        // without a main function. | 
|  | 145 | +        crt_static_allows_dylibs: true, | 
|  | 146 | + | 
|  | 147 | +        // Wasm start ignores arguments -- relies on API call from interface. | 
|  | 148 | +        main_needs_argc_argv: false, | 
|  | 149 | + | 
|  | 150 | +        // Wasm toolchains mangle the name of "main" to distinguish between different | 
|  | 151 | +        // signatures. | 
|  | 152 | +        entry_name: "__main_void".into(), | 
|  | 153 | + | 
|  | 154 | +        // Wasm Feature flags for supporting Linux | 
|  | 155 | +        features: "+atomics,+bulk-memory,+mutable-globals,+sign-ext".into(), | 
|  | 156 | + | 
|  | 157 | +        ..Default::default() | 
|  | 158 | +    } | 
|  | 159 | +} | 
0 commit comments