f9771e0a7d805e4e28e6b2ac2ece511713023a5b
[web.git] / personal / _posts / 2020-04-04-layout-debugging.md
1 ---
2 title: "Debugging rustc type layouts"
3 categories: rust
4 ---
5
6 This post is a "public service announcement" for people working on the guts of rustc.
7 I wish I had known about this a year ago, so I hope this post can make this feature more widely known.
8
9 <!-- MORE -->
10
11 When working with MIR in rustc, one key data structure that comes up a lot is [`Layout`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_target/abi/struct.Layout.html) (formerly `LayoutDetails`), usually paired up with a type in a `TyAndLayout` (formerly `TyLayout`).
12 This data structure describes everything that there is to know about how a type "looks like" in memory: size and alignment of the entire type, at which offset we can find which field, how enum variants are represented, which "niche" can be used in this type to optimize enums.
13
14 `Layout` is quite versatile and can be hard to interpret, and when debugging Miri I regularly have to know what exactly the `Layout` of a certain type looks like or what exactly some aspect of `Layout` actually *means* in practice.
15 While debugging MIR is easy via `rustc --emit mir` or the "MIR" button on the playground, debugging `Layout` was much more tedious.
16 But not any more. :)
17
18 All you have to do is enter the following code in [the playground](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=7abc008aed2669466d4ebe79ee7767fe):
19
20 {% highlight rust %}
21 #![feature(rustc_attrs)]
22
23 #[rustc_layout(debug)]
24 type T = (u8, u16);
25 {% endhighlight %}
26
27 The (permanently) unstable `rustc_layout` attribute [can now be used](https://github.com/rust-lang/rust/pull/69901) to dump some information about the type it is attached to (also works with `struct`/`enum`/`union` definitions).
28 In this case, it prints:
29
30 ```
31 error: layout debugging: Layout {
32     fields: Arbitrary {
33         offsets: [
34             Size {
35                 raw: 0,
36             },
37             Size {
38                 raw: 2,
39             },
40         ],
41         memory_index: [
42             0,
43             1,
44         ],
45     },
46     variants: Single {
47         index: 0,
48     },
49     abi: ScalarPair(
50         Scalar {
51             value: Int(
52                 I8,
53                 false,
54             ),
55             valid_range: 0..=255,
56         },
57         Scalar {
58             value: Int(
59                 I16,
60                 false,
61             ),
62             valid_range: 0..=65535,
63         },
64     ),
65     largest_niche: None,
66     align: AbiAndPrefAlign {
67         abi: Align {
68             pow2: 1,
69         },
70         pref: Align {
71             pow2: 3,
72         },
73     },
74     size: Size {
75         raw: 4,
76     },
77 }
78 ```
79
80 That is quite a lot, but it contains all the key information about this type:
81 the fields are at offsets 0 and 2, the type has alignment 2 (but preferred alignment 8) and size 4.
82 We can also see that it uses the `ScalarPair` abi which is relevant for Miri and when passing data as arguments to another function.
83 To learn more about what all this information means, see [the `Layout` type docs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_target/abi/struct.Layout.html).
84
85 So the next time you work with `Layout` and wonder how exactly the niche gets represented, or whether an `enum` can have `ScalarPair` abi (hint: yes it can), you can easily look at a few examples to see how rustc thinks about this type internally.
86 This is basically the type-level equivalent of `--emit mir`.
87 I have wanted this since forever, so much that some time ago I wrote an awful hack for this based on rustc debug tracing.
88 Only very recently did I learn about the `rustc_layout` attribute and then I had to immediately extend it to support dumping all the information.
89 Now `Layout` can be debugged in the browser on the playground, which is so much more convenient. :D