rustc_target/spec/
json.rs

1use std::borrow::Cow;
2use std::collections::BTreeMap;
3use std::str::FromStr;
4
5use serde_json::Value;
6
7use super::{Target, TargetKind, TargetOptions, TargetWarnings};
8use crate::json::{Json, ToJson};
9
10impl Target {
11    /// Loads a target descriptor from a JSON object.
12    pub fn from_json(obj: Json) -> Result<(Target, TargetWarnings), String> {
13        // While ugly, this code must remain this way to retain
14        // compatibility with existing JSON fields and the internal
15        // expected naming of the Target and TargetOptions structs.
16        // To ensure compatibility is retained, the built-in targets
17        // are round-tripped through this code to catch cases where
18        // the JSON parser is not updated to match the structs.
19
20        let mut obj = match obj {
21            Value::Object(obj) => obj,
22            _ => return Err("Expected JSON object for target")?,
23        };
24
25        let mut get_req_field = |name: &str| {
26            obj.remove(name)
27                .and_then(|j| j.as_str().map(str::to_string))
28                .ok_or_else(|| format!("Field {name} in target specification is required"))
29        };
30
31        let mut base = Target {
32            llvm_target: get_req_field("llvm-target")?.into(),
33            metadata: Default::default(),
34            pointer_width: get_req_field("target-pointer-width")?
35                .parse::<u32>()
36                .map_err(|_| "target-pointer-width must be an integer".to_string())?,
37            data_layout: get_req_field("data-layout")?.into(),
38            arch: get_req_field("arch")?.into(),
39            options: Default::default(),
40        };
41
42        // FIXME: This doesn't properly validate anything and just ignores the data if it's invalid.
43        // That's okay for now, the only use of this is when generating docs, which we don't do for
44        // custom targets.
45        if let Some(Json::Object(mut metadata)) = obj.remove("metadata") {
46            base.metadata.description = metadata
47                .remove("description")
48                .and_then(|desc| desc.as_str().map(|desc| desc.to_owned().into()));
49            base.metadata.tier = metadata
50                .remove("tier")
51                .and_then(|tier| tier.as_u64())
52                .filter(|tier| (1..=3).contains(tier));
53            base.metadata.host_tools =
54                metadata.remove("host_tools").and_then(|host| host.as_bool());
55            base.metadata.std = metadata.remove("std").and_then(|host| host.as_bool());
56        }
57
58        let mut incorrect_type = vec![];
59
60        macro_rules! key {
61            ($key_name:ident) => ( {
62                let name = (stringify!($key_name)).replace("_", "-");
63                if let Some(s) = obj.remove(&name).and_then(|s| s.as_str().map(str::to_string).map(Cow::from)) {
64                    base.$key_name = s;
65                }
66            } );
67            ($key_name:ident = $json_name:expr) => ( {
68                let name = $json_name;
69                if let Some(s) = obj.remove(name).and_then(|s| s.as_str().map(str::to_string).map(Cow::from)) {
70                    base.$key_name = s;
71                }
72            } );
73            ($key_name:ident, bool) => ( {
74                let name = (stringify!($key_name)).replace("_", "-");
75                if let Some(s) = obj.remove(&name).and_then(|b| b.as_bool()) {
76                    base.$key_name = s;
77                }
78            } );
79            ($key_name:ident = $json_name:expr, bool) => ( {
80                let name = $json_name;
81                if let Some(s) = obj.remove(name).and_then(|b| b.as_bool()) {
82                    base.$key_name = s;
83                }
84            } );
85            ($key_name:ident, u32) => ( {
86                let name = (stringify!($key_name)).replace("_", "-");
87                if let Some(s) = obj.remove(&name).and_then(|b| b.as_u64()) {
88                    if s < 1 || s > 5 {
89                        return Err("Not a valid DWARF version number".into());
90                    }
91                    base.$key_name = s as u32;
92                }
93            } );
94            ($key_name:ident, Option<bool>) => ( {
95                let name = (stringify!($key_name)).replace("_", "-");
96                if let Some(s) = obj.remove(&name).and_then(|b| b.as_bool()) {
97                    base.$key_name = Some(s);
98                }
99            } );
100            ($key_name:ident, Option<u64>) => ( {
101                let name = (stringify!($key_name)).replace("_", "-");
102                if let Some(s) = obj.remove(&name).and_then(|b| b.as_u64()) {
103                    base.$key_name = Some(s);
104                }
105            } );
106            ($key_name:ident, MergeFunctions) => ( {
107                let name = (stringify!($key_name)).replace("_", "-");
108                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
109                    match s.parse::<super::MergeFunctions>() {
110                        Ok(mergefunc) => base.$key_name = mergefunc,
111                        _ => return Some(Err(format!("'{}' is not a valid value for \
112                                                      merge-functions. Use 'disabled', \
113                                                      'trampolines', or 'aliases'.",
114                                                      s))),
115                    }
116                    Some(Ok(()))
117                })).unwrap_or(Ok(()))
118            } );
119            ($key_name:ident, FloatAbi) => ( {
120                let name = (stringify!($key_name)).replace("_", "-");
121                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
122                    match s.parse::<super::FloatAbi>() {
123                        Ok(float_abi) => base.$key_name = Some(float_abi),
124                        _ => return Some(Err(format!("'{}' is not a valid value for \
125                                                      llvm-floatabi. Use 'soft' or 'hard'.",
126                                                      s))),
127                    }
128                    Some(Ok(()))
129                })).unwrap_or(Ok(()))
130            } );
131            ($key_name:ident, RustcAbi) => ( {
132                let name = (stringify!($key_name)).replace("_", "-");
133                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
134                    match s.parse::<super::RustcAbi>() {
135                        Ok(rustc_abi) => base.$key_name = Some(rustc_abi),
136                        _ => return Some(Err(format!(
137                            "'{s}' is not a valid value for rustc-abi. \
138                            Use 'x86-softfloat' or leave the field unset."
139                        ))),
140                    }
141                    Some(Ok(()))
142                })).unwrap_or(Ok(()))
143            } );
144            ($key_name:ident, RelocModel) => ( {
145                let name = (stringify!($key_name)).replace("_", "-");
146                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
147                    match s.parse::<super::RelocModel>() {
148                        Ok(relocation_model) => base.$key_name = relocation_model,
149                        _ => return Some(Err(format!("'{}' is not a valid relocation model. \
150                                                      Run `rustc --print relocation-models` to \
151                                                      see the list of supported values.", s))),
152                    }
153                    Some(Ok(()))
154                })).unwrap_or(Ok(()))
155            } );
156            ($key_name:ident, CodeModel) => ( {
157                let name = (stringify!($key_name)).replace("_", "-");
158                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
159                    match s.parse::<super::CodeModel>() {
160                        Ok(code_model) => base.$key_name = Some(code_model),
161                        _ => return Some(Err(format!("'{}' is not a valid code model. \
162                                                      Run `rustc --print code-models` to \
163                                                      see the list of supported values.", s))),
164                    }
165                    Some(Ok(()))
166                })).unwrap_or(Ok(()))
167            } );
168            ($key_name:ident, TlsModel) => ( {
169                let name = (stringify!($key_name)).replace("_", "-");
170                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
171                    match s.parse::<super::TlsModel>() {
172                        Ok(tls_model) => base.$key_name = tls_model,
173                        _ => return Some(Err(format!("'{}' is not a valid TLS model. \
174                                                      Run `rustc --print tls-models` to \
175                                                      see the list of supported values.", s))),
176                    }
177                    Some(Ok(()))
178                })).unwrap_or(Ok(()))
179            } );
180            ($key_name:ident, SmallDataThresholdSupport) => ( {
181                obj.remove("small-data-threshold-support").and_then(|o| o.as_str().and_then(|s| {
182                    match s.parse::<super::SmallDataThresholdSupport>() {
183                        Ok(support) => base.small_data_threshold_support = support,
184                        _ => return Some(Err(format!("'{s}' is not a valid value for small-data-threshold-support."))),
185                    }
186                    Some(Ok(()))
187                })).unwrap_or(Ok(()))
188            } );
189            ($key_name:ident, PanicStrategy) => ( {
190                let name = (stringify!($key_name)).replace("_", "-");
191                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
192                    match s {
193                        "unwind" => base.$key_name = super::PanicStrategy::Unwind,
194                        "abort" => base.$key_name = super::PanicStrategy::Abort,
195                        _ => return Some(Err(format!("'{}' is not a valid value for \
196                                                      panic-strategy. Use 'unwind' or 'abort'.",
197                                                     s))),
198                }
199                Some(Ok(()))
200            })).unwrap_or(Ok(()))
201            } );
202            ($key_name:ident, RelroLevel) => ( {
203                let name = (stringify!($key_name)).replace("_", "-");
204                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
205                    match s.parse::<super::RelroLevel>() {
206                        Ok(level) => base.$key_name = level,
207                        _ => return Some(Err(format!("'{}' is not a valid value for \
208                                                      relro-level. Use 'full', 'partial, or 'off'.",
209                                                      s))),
210                    }
211                    Some(Ok(()))
212                })).unwrap_or(Ok(()))
213            } );
214            ($key_name:ident, Option<SymbolVisibility>) => ( {
215                let name = (stringify!($key_name)).replace("_", "-");
216                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
217                    match s.parse::<super::SymbolVisibility>() {
218                        Ok(level) => base.$key_name = Some(level),
219                        _ => return Some(Err(format!("'{}' is not a valid value for \
220                                                      symbol-visibility. Use 'hidden', 'protected, or 'interposable'.",
221                                                      s))),
222                    }
223                    Some(Ok(()))
224                })).unwrap_or(Ok(()))
225            } );
226            ($key_name:ident, DebuginfoKind) => ( {
227                let name = (stringify!($key_name)).replace("_", "-");
228                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
229                    match s.parse::<super::DebuginfoKind>() {
230                        Ok(level) => base.$key_name = level,
231                        _ => return Some(Err(
232                            format!("'{s}' is not a valid value for debuginfo-kind. Use 'dwarf', \
233                                  'dwarf-dsym' or 'pdb'.")
234                        )),
235                    }
236                    Some(Ok(()))
237                })).unwrap_or(Ok(()))
238            } );
239            ($key_name:ident, SplitDebuginfo) => ( {
240                let name = (stringify!($key_name)).replace("_", "-");
241                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
242                    match s.parse::<super::SplitDebuginfo>() {
243                        Ok(level) => base.$key_name = level,
244                        _ => return Some(Err(format!("'{}' is not a valid value for \
245                                                      split-debuginfo. Use 'off' or 'dsymutil'.",
246                                                      s))),
247                    }
248                    Some(Ok(()))
249                })).unwrap_or(Ok(()))
250            } );
251            ($key_name:ident, list) => ( {
252                let name = (stringify!($key_name)).replace("_", "-");
253                if let Some(j) = obj.remove(&name) {
254                    if let Some(v) = j.as_array() {
255                        base.$key_name = v.iter()
256                            .map(|a| a.as_str().unwrap().to_string().into())
257                            .collect();
258                    } else {
259                        incorrect_type.push(name)
260                    }
261                }
262            } );
263            ($key_name:ident, opt_list) => ( {
264                let name = (stringify!($key_name)).replace("_", "-");
265                if let Some(j) = obj.remove(&name) {
266                    if let Some(v) = j.as_array() {
267                        base.$key_name = Some(v.iter()
268                            .map(|a| a.as_str().unwrap().to_string().into())
269                            .collect());
270                    } else {
271                        incorrect_type.push(name)
272                    }
273                }
274            } );
275            ($key_name:ident, fallible_list) => ( {
276                let name = (stringify!($key_name)).replace("_", "-");
277                obj.remove(&name).and_then(|j| {
278                    if let Some(v) = j.as_array() {
279                        match v.iter().map(|a| FromStr::from_str(a.as_str().unwrap())).collect() {
280                            Ok(l) => { base.$key_name = l },
281                            // FIXME: `fallible_list` can't re-use the `key!` macro for list
282                            // elements and the error messages from that macro, so it has a bad
283                            // generic message instead
284                            Err(_) => return Some(Err(
285                                format!("`{:?}` is not a valid value for `{}`", j, name)
286                            )),
287                        }
288                    } else {
289                        incorrect_type.push(name)
290                    }
291                    Some(Ok(()))
292                }).unwrap_or(Ok(()))
293            } );
294            ($key_name:ident, optional) => ( {
295                let name = (stringify!($key_name)).replace("_", "-");
296                if let Some(o) = obj.remove(&name) {
297                    base.$key_name = o
298                        .as_str()
299                        .map(|s| s.to_string().into());
300                }
301            } );
302            ($key_name:ident = $json_name:expr, LldFlavor) => ( {
303                let name = $json_name;
304                obj.remove(name).and_then(|o| o.as_str().and_then(|s| {
305                    if let Some(flavor) = super::LldFlavor::from_str(&s) {
306                        base.$key_name = flavor;
307                    } else {
308                        return Some(Err(format!(
309                            "'{}' is not a valid value for lld-flavor. \
310                             Use 'darwin', 'gnu', 'link' or 'wasm'.",
311                            s)))
312                    }
313                    Some(Ok(()))
314                })).unwrap_or(Ok(()))
315            } );
316            ($key_name:ident = $json_name:expr, LinkerFlavorCli) => ( {
317                let name = $json_name;
318                obj.remove(name).and_then(|o| o.as_str().and_then(|s| {
319                    match super::LinkerFlavorCli::from_str(s) {
320                        Some(linker_flavor) => base.$key_name = linker_flavor,
321                        _ => return Some(Err(format!("'{}' is not a valid value for linker-flavor. \
322                                                      Use {}", s, super::LinkerFlavorCli::one_of()))),
323                    }
324                    Some(Ok(()))
325                })).unwrap_or(Ok(()))
326            } );
327            ($key_name:ident, StackProbeType) => ( {
328                let name = (stringify!($key_name)).replace("_", "-");
329                obj.remove(&name).and_then(|o| match super::StackProbeType::from_json(&o) {
330                    Ok(v) => {
331                        base.$key_name = v;
332                        Some(Ok(()))
333                    },
334                    Err(s) => Some(Err(
335                        format!("`{:?}` is not a valid value for `{}`: {}", o, name, s)
336                    )),
337                }).unwrap_or(Ok(()))
338            } );
339            ($key_name:ident, SanitizerSet) => ( {
340                let name = (stringify!($key_name)).replace("_", "-");
341                if let Some(o) = obj.remove(&name) {
342                    if let Some(a) = o.as_array() {
343                        for s in a {
344                            use super::SanitizerSet;
345                            base.$key_name |= match s.as_str() {
346                                Some("address") => SanitizerSet::ADDRESS,
347                                Some("cfi") => SanitizerSet::CFI,
348                                Some("dataflow") => SanitizerSet::DATAFLOW,
349                                Some("kcfi") => SanitizerSet::KCFI,
350                                Some("kernel-address") => SanitizerSet::KERNELADDRESS,
351                                Some("leak") => SanitizerSet::LEAK,
352                                Some("memory") => SanitizerSet::MEMORY,
353                                Some("memtag") => SanitizerSet::MEMTAG,
354                                Some("safestack") => SanitizerSet::SAFESTACK,
355                                Some("shadow-call-stack") => SanitizerSet::SHADOWCALLSTACK,
356                                Some("thread") => SanitizerSet::THREAD,
357                                Some("hwaddress") => SanitizerSet::HWADDRESS,
358                                Some(s) => return Err(format!("unknown sanitizer {}", s)),
359                                _ => return Err(format!("not a string: {:?}", s)),
360                            };
361                        }
362                    } else {
363                        incorrect_type.push(name)
364                    }
365                }
366                Ok::<(), String>(())
367            } );
368            ($key_name:ident, link_self_contained_components) => ( {
369                // Skeleton of what needs to be parsed:
370                //
371                // ```
372                // $name: {
373                //     "components": [
374                //         <array of strings>
375                //     ]
376                // }
377                // ```
378                let name = (stringify!($key_name)).replace("_", "-");
379                if let Some(o) = obj.remove(&name) {
380                    if let Some(o) = o.as_object() {
381                        let component_array = o.get("components")
382                            .ok_or_else(|| format!("{name}: expected a \
383                                JSON object with a `components` field."))?;
384                        let component_array = component_array.as_array()
385                            .ok_or_else(|| format!("{name}.components: expected a JSON array"))?;
386                        let mut components = super::LinkSelfContainedComponents::empty();
387                        for s in component_array {
388                            components |= match s.as_str() {
389                                Some(s) => {
390                                    super::LinkSelfContainedComponents::from_str(s)
391                                        .ok_or_else(|| format!("unknown \
392                                        `-Clink-self-contained` component: {s}"))?
393                                },
394                                _ => return Err(format!("not a string: {:?}", s)),
395                            };
396                        }
397                        base.$key_name = super::LinkSelfContainedDefault::WithComponents(components);
398                    } else {
399                        incorrect_type.push(name)
400                    }
401                }
402                Ok::<(), String>(())
403            } );
404            ($key_name:ident = $json_name:expr, link_self_contained_backwards_compatible) => ( {
405                let name = $json_name;
406                obj.remove(name).and_then(|o| o.as_str().and_then(|s| {
407                    match s.parse::<super::LinkSelfContainedDefault>() {
408                        Ok(lsc_default) => base.$key_name = lsc_default,
409                        _ => return Some(Err(format!("'{}' is not a valid `-Clink-self-contained` default. \
410                                                      Use 'false', 'true', 'musl' or 'mingw'", s))),
411                    }
412                    Some(Ok(()))
413                })).unwrap_or(Ok(()))
414            } );
415            ($key_name:ident = $json_name:expr, link_objects) => ( {
416                let name = $json_name;
417                if let Some(val) = obj.remove(name) {
418                    let obj = val.as_object().ok_or_else(|| format!("{}: expected a \
419                        JSON object with fields per CRT object kind.", name))?;
420                    let mut args = super::CrtObjects::new();
421                    for (k, v) in obj {
422                        let kind = super::LinkOutputKind::from_str(&k).ok_or_else(|| {
423                            format!("{}: '{}' is not a valid value for CRT object kind. \
424                                     Use '(dynamic,static)-(nopic,pic)-exe' or \
425                                     '(dynamic,static)-dylib' or 'wasi-reactor-exe'", name, k)
426                        })?;
427
428                        let v = v.as_array().ok_or_else(||
429                            format!("{}.{}: expected a JSON array", name, k)
430                        )?.iter().enumerate()
431                            .map(|(i,s)| {
432                                let s = s.as_str().ok_or_else(||
433                                    format!("{}.{}[{}]: expected a JSON string", name, k, i))?;
434                                Ok(s.to_string().into())
435                            })
436                            .collect::<Result<Vec<_>, String>>()?;
437
438                        args.insert(kind, v);
439                    }
440                    base.$key_name = args;
441                }
442            } );
443            ($key_name:ident = $json_name:expr, link_args) => ( {
444                let name = $json_name;
445                if let Some(val) = obj.remove(name) {
446                    let obj = val.as_object().ok_or_else(|| format!("{}: expected a \
447                        JSON object with fields per linker-flavor.", name))?;
448                    let mut args = super::LinkArgsCli::new();
449                    for (k, v) in obj {
450                        let flavor = super::LinkerFlavorCli::from_str(&k).ok_or_else(|| {
451                            format!("{}: '{}' is not a valid value for linker-flavor. \
452                                     Use 'em', 'gcc', 'ld' or 'msvc'", name, k)
453                        })?;
454
455                        let v = v.as_array().ok_or_else(||
456                            format!("{}.{}: expected a JSON array", name, k)
457                        )?.iter().enumerate()
458                            .map(|(i,s)| {
459                                let s = s.as_str().ok_or_else(||
460                                    format!("{}.{}[{}]: expected a JSON string", name, k, i))?;
461                                Ok(s.to_string().into())
462                            })
463                            .collect::<Result<Vec<_>, String>>()?;
464
465                        args.insert(flavor, v);
466                    }
467                    base.$key_name = args;
468                }
469            } );
470            ($key_name:ident, env) => ( {
471                let name = (stringify!($key_name)).replace("_", "-");
472                if let Some(o) = obj.remove(&name) {
473                    if let Some(a) = o.as_array() {
474                        for o in a {
475                            if let Some(s) = o.as_str() {
476                                if let [k, v] = *s.split('=').collect::<Vec<_>>() {
477                                    base.$key_name
478                                        .to_mut()
479                                        .push((k.to_string().into(), v.to_string().into()))
480                                }
481                            }
482                        }
483                    } else {
484                        incorrect_type.push(name)
485                    }
486                }
487            } );
488            ($key_name:ident, target_families) => ( {
489                if let Some(value) = obj.remove("target-family") {
490                    if let Some(v) = value.as_array() {
491                        base.$key_name = v.iter()
492                            .map(|a| a.as_str().unwrap().to_string().into())
493                            .collect();
494                    } else if let Some(v) = value.as_str() {
495                        base.$key_name = vec![v.to_string().into()].into();
496                    }
497                }
498            } );
499            ($key_name:ident, Conv) => ( {
500                let name = (stringify!($key_name)).replace("_", "-");
501                obj.remove(&name).and_then(|o| o.as_str().and_then(|s| {
502                    match super::Conv::from_str(s) {
503                        Ok(c) => {
504                            base.$key_name = c;
505                            Some(Ok(()))
506                        }
507                        Err(e) => Some(Err(e))
508                    }
509                })).unwrap_or(Ok(()))
510            } );
511        }
512
513        if let Some(j) = obj.remove("target-endian") {
514            if let Some(s) = j.as_str() {
515                base.endian = s.parse()?;
516            } else {
517                incorrect_type.push("target-endian".into())
518            }
519        }
520
521        if let Some(fp) = obj.remove("frame-pointer") {
522            if let Some(s) = fp.as_str() {
523                base.frame_pointer = s
524                    .parse()
525                    .map_err(|()| format!("'{s}' is not a valid value for frame-pointer"))?;
526            } else {
527                incorrect_type.push("frame-pointer".into())
528            }
529        }
530
531        key!(c_int_width = "target-c-int-width");
532        key!(c_enum_min_bits, Option<u64>); // if None, matches c_int_width
533        key!(os);
534        key!(env);
535        key!(abi);
536        key!(vendor);
537        key!(linker, optional);
538        key!(linker_flavor_json = "linker-flavor", LinkerFlavorCli)?;
539        key!(lld_flavor_json = "lld-flavor", LldFlavor)?;
540        key!(linker_is_gnu_json = "linker-is-gnu", bool);
541        key!(pre_link_objects = "pre-link-objects", link_objects);
542        key!(post_link_objects = "post-link-objects", link_objects);
543        key!(pre_link_objects_self_contained = "pre-link-objects-fallback", link_objects);
544        key!(post_link_objects_self_contained = "post-link-objects-fallback", link_objects);
545        // Deserializes the backwards-compatible variants of `-Clink-self-contained`
546        key!(
547            link_self_contained = "crt-objects-fallback",
548            link_self_contained_backwards_compatible
549        )?;
550        // Deserializes the components variant of `-Clink-self-contained`
551        key!(link_self_contained, link_self_contained_components)?;
552        key!(pre_link_args_json = "pre-link-args", link_args);
553        key!(late_link_args_json = "late-link-args", link_args);
554        key!(late_link_args_dynamic_json = "late-link-args-dynamic", link_args);
555        key!(late_link_args_static_json = "late-link-args-static", link_args);
556        key!(post_link_args_json = "post-link-args", link_args);
557        key!(link_script, optional);
558        key!(link_env, env);
559        key!(link_env_remove, list);
560        key!(asm_args, list);
561        key!(cpu);
562        key!(need_explicit_cpu, bool);
563        key!(features);
564        key!(dynamic_linking, bool);
565        key!(direct_access_external_data, Option<bool>);
566        key!(dll_tls_export, bool);
567        key!(only_cdylib, bool);
568        key!(executables, bool);
569        key!(relocation_model, RelocModel)?;
570        key!(code_model, CodeModel)?;
571        key!(tls_model, TlsModel)?;
572        key!(disable_redzone, bool);
573        key!(function_sections, bool);
574        key!(dll_prefix);
575        key!(dll_suffix);
576        key!(exe_suffix);
577        key!(staticlib_prefix);
578        key!(staticlib_suffix);
579        key!(families, target_families);
580        key!(abi_return_struct_as_int, bool);
581        key!(is_like_aix, bool);
582        key!(is_like_osx, bool);
583        key!(is_like_solaris, bool);
584        key!(is_like_windows, bool);
585        key!(is_like_msvc, bool);
586        key!(is_like_wasm, bool);
587        key!(is_like_android, bool);
588        key!(default_dwarf_version, u32);
589        key!(allows_weak_linkage, bool);
590        key!(has_rpath, bool);
591        key!(no_default_libraries, bool);
592        key!(position_independent_executables, bool);
593        key!(static_position_independent_executables, bool);
594        key!(plt_by_default, bool);
595        key!(relro_level, RelroLevel)?;
596        key!(archive_format);
597        key!(allow_asm, bool);
598        key!(main_needs_argc_argv, bool);
599        key!(has_thread_local, bool);
600        key!(obj_is_bitcode, bool);
601        key!(bitcode_llvm_cmdline);
602        key!(max_atomic_width, Option<u64>);
603        key!(min_atomic_width, Option<u64>);
604        key!(atomic_cas, bool);
605        key!(panic_strategy, PanicStrategy)?;
606        key!(crt_static_allows_dylibs, bool);
607        key!(crt_static_default, bool);
608        key!(crt_static_respected, bool);
609        key!(stack_probes, StackProbeType)?;
610        key!(min_global_align, Option<u64>);
611        key!(default_codegen_units, Option<u64>);
612        key!(trap_unreachable, bool);
613        key!(requires_lto, bool);
614        key!(singlethread, bool);
615        key!(no_builtins, bool);
616        key!(default_visibility, Option<SymbolVisibility>)?;
617        key!(emit_debug_gdb_scripts, bool);
618        key!(requires_uwtable, bool);
619        key!(default_uwtable, bool);
620        key!(simd_types_indirect, bool);
621        key!(limit_rdylib_exports, bool);
622        key!(override_export_symbols, opt_list);
623        key!(merge_functions, MergeFunctions)?;
624        key!(mcount = "target-mcount");
625        key!(llvm_mcount_intrinsic, optional);
626        key!(llvm_abiname);
627        key!(llvm_floatabi, FloatAbi)?;
628        key!(rustc_abi, RustcAbi)?;
629        key!(relax_elf_relocations, bool);
630        key!(llvm_args, list);
631        key!(use_ctors_section, bool);
632        key!(eh_frame_header, bool);
633        key!(has_thumb_interworking, bool);
634        key!(debuginfo_kind, DebuginfoKind)?;
635        key!(split_debuginfo, SplitDebuginfo)?;
636        key!(supported_split_debuginfo, fallible_list)?;
637        key!(supported_sanitizers, SanitizerSet)?;
638        key!(generate_arange_section, bool);
639        key!(supports_stack_protector, bool);
640        key!(small_data_threshold_support, SmallDataThresholdSupport)?;
641        key!(entry_name);
642        key!(entry_abi, Conv)?;
643        key!(supports_xray, bool);
644
645        base.update_from_cli();
646        base.check_consistency(TargetKind::Json)?;
647
648        // Each field should have been read using `Json::remove` so any keys remaining are unused.
649        let remaining_keys = obj.keys();
650        Ok((
651            base,
652            TargetWarnings { unused_fields: remaining_keys.cloned().collect(), incorrect_type },
653        ))
654    }
655}
656
657impl ToJson for Target {
658    fn to_json(&self) -> Json {
659        let mut d = serde_json::Map::new();
660        let default: TargetOptions = Default::default();
661        let mut target = self.clone();
662        target.update_to_cli();
663
664        macro_rules! target_val {
665            ($attr:ident) => {{
666                let name = (stringify!($attr)).replace("_", "-");
667                d.insert(name, target.$attr.to_json());
668            }};
669        }
670
671        macro_rules! target_option_val {
672            ($attr:ident) => {{
673                let name = (stringify!($attr)).replace("_", "-");
674                if default.$attr != target.$attr {
675                    d.insert(name, target.$attr.to_json());
676                }
677            }};
678            ($attr:ident, $json_name:expr) => {{
679                let name = $json_name;
680                if default.$attr != target.$attr {
681                    d.insert(name.into(), target.$attr.to_json());
682                }
683            }};
684            (link_args - $attr:ident, $json_name:expr) => {{
685                let name = $json_name;
686                if default.$attr != target.$attr {
687                    let obj = target
688                        .$attr
689                        .iter()
690                        .map(|(k, v)| (k.desc().to_string(), v.clone()))
691                        .collect::<BTreeMap<_, _>>();
692                    d.insert(name.to_string(), obj.to_json());
693                }
694            }};
695            (env - $attr:ident) => {{
696                let name = (stringify!($attr)).replace("_", "-");
697                if default.$attr != target.$attr {
698                    let obj = target
699                        .$attr
700                        .iter()
701                        .map(|&(ref k, ref v)| format!("{k}={v}"))
702                        .collect::<Vec<_>>();
703                    d.insert(name, obj.to_json());
704                }
705            }};
706        }
707
708        target_val!(llvm_target);
709        target_val!(metadata);
710        d.insert("target-pointer-width".to_string(), self.pointer_width.to_string().to_json());
711        target_val!(arch);
712        target_val!(data_layout);
713
714        target_option_val!(endian, "target-endian");
715        target_option_val!(c_int_width, "target-c-int-width");
716        target_option_val!(os);
717        target_option_val!(env);
718        target_option_val!(abi);
719        target_option_val!(vendor);
720        target_option_val!(linker);
721        target_option_val!(linker_flavor_json, "linker-flavor");
722        target_option_val!(lld_flavor_json, "lld-flavor");
723        target_option_val!(linker_is_gnu_json, "linker-is-gnu");
724        target_option_val!(pre_link_objects);
725        target_option_val!(post_link_objects);
726        target_option_val!(pre_link_objects_self_contained, "pre-link-objects-fallback");
727        target_option_val!(post_link_objects_self_contained, "post-link-objects-fallback");
728        target_option_val!(link_args - pre_link_args_json, "pre-link-args");
729        target_option_val!(link_args - late_link_args_json, "late-link-args");
730        target_option_val!(link_args - late_link_args_dynamic_json, "late-link-args-dynamic");
731        target_option_val!(link_args - late_link_args_static_json, "late-link-args-static");
732        target_option_val!(link_args - post_link_args_json, "post-link-args");
733        target_option_val!(link_script);
734        target_option_val!(env - link_env);
735        target_option_val!(link_env_remove);
736        target_option_val!(asm_args);
737        target_option_val!(cpu);
738        target_option_val!(need_explicit_cpu);
739        target_option_val!(features);
740        target_option_val!(dynamic_linking);
741        target_option_val!(direct_access_external_data);
742        target_option_val!(dll_tls_export);
743        target_option_val!(only_cdylib);
744        target_option_val!(executables);
745        target_option_val!(relocation_model);
746        target_option_val!(code_model);
747        target_option_val!(tls_model);
748        target_option_val!(disable_redzone);
749        target_option_val!(frame_pointer);
750        target_option_val!(function_sections);
751        target_option_val!(dll_prefix);
752        target_option_val!(dll_suffix);
753        target_option_val!(exe_suffix);
754        target_option_val!(staticlib_prefix);
755        target_option_val!(staticlib_suffix);
756        target_option_val!(families, "target-family");
757        target_option_val!(abi_return_struct_as_int);
758        target_option_val!(is_like_aix);
759        target_option_val!(is_like_osx);
760        target_option_val!(is_like_solaris);
761        target_option_val!(is_like_windows);
762        target_option_val!(is_like_msvc);
763        target_option_val!(is_like_wasm);
764        target_option_val!(is_like_android);
765        target_option_val!(default_dwarf_version);
766        target_option_val!(allows_weak_linkage);
767        target_option_val!(has_rpath);
768        target_option_val!(no_default_libraries);
769        target_option_val!(position_independent_executables);
770        target_option_val!(static_position_independent_executables);
771        target_option_val!(plt_by_default);
772        target_option_val!(relro_level);
773        target_option_val!(archive_format);
774        target_option_val!(allow_asm);
775        target_option_val!(main_needs_argc_argv);
776        target_option_val!(has_thread_local);
777        target_option_val!(obj_is_bitcode);
778        target_option_val!(bitcode_llvm_cmdline);
779        target_option_val!(min_atomic_width);
780        target_option_val!(max_atomic_width);
781        target_option_val!(atomic_cas);
782        target_option_val!(panic_strategy);
783        target_option_val!(crt_static_allows_dylibs);
784        target_option_val!(crt_static_default);
785        target_option_val!(crt_static_respected);
786        target_option_val!(stack_probes);
787        target_option_val!(min_global_align);
788        target_option_val!(default_codegen_units);
789        target_option_val!(trap_unreachable);
790        target_option_val!(requires_lto);
791        target_option_val!(singlethread);
792        target_option_val!(no_builtins);
793        target_option_val!(default_visibility);
794        target_option_val!(emit_debug_gdb_scripts);
795        target_option_val!(requires_uwtable);
796        target_option_val!(default_uwtable);
797        target_option_val!(simd_types_indirect);
798        target_option_val!(limit_rdylib_exports);
799        target_option_val!(override_export_symbols);
800        target_option_val!(merge_functions);
801        target_option_val!(mcount, "target-mcount");
802        target_option_val!(llvm_mcount_intrinsic);
803        target_option_val!(llvm_abiname);
804        target_option_val!(llvm_floatabi);
805        target_option_val!(rustc_abi);
806        target_option_val!(relax_elf_relocations);
807        target_option_val!(llvm_args);
808        target_option_val!(use_ctors_section);
809        target_option_val!(eh_frame_header);
810        target_option_val!(has_thumb_interworking);
811        target_option_val!(debuginfo_kind);
812        target_option_val!(split_debuginfo);
813        target_option_val!(supported_split_debuginfo);
814        target_option_val!(supported_sanitizers);
815        target_option_val!(c_enum_min_bits);
816        target_option_val!(generate_arange_section);
817        target_option_val!(supports_stack_protector);
818        target_option_val!(small_data_threshold_support);
819        target_option_val!(entry_name);
820        target_option_val!(entry_abi);
821        target_option_val!(supports_xray);
822
823        // Serializing `-Clink-self-contained` needs a dynamic key to support the
824        // backwards-compatible variants.
825        d.insert(self.link_self_contained.json_key().into(), self.link_self_contained.to_json());
826
827        Json::Object(d)
828    }
829}