# Propagate annotations from source to binary **URL:** \ **Category:** compiler\ **Created:** [March 26, 2019, 8:22am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717 "2019-03-26T08:22:53Z")\ **Posts on this page:** 8\ **Page:** 1
**Author:** ![XvR-Technolution](https://avatars.discourse-cdn.com/v4/letter/x/b487fb/32.png) [@XvR-Technolution](https://internals.rust-lang.org/u/XvR-Technolution)\ **Post date:** [March 26, 2019, 8:22am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/1 "2019-03-26T08:22:54Z")
I'm working on Rust support for an in-house developed hardware extension. This requires the programmer to annotate certain variables and functions. These annotations should be propagated through the compiler, preferably all the way down into the binary. I already more or less managed to implement the front-end in a crate. For the propagation of the annotations, I've found a topic on llvm intrinsics and annotations: > [@Threading rust attributes to LLVM annotations](https://internals.rust-lang.org/t/threading-rust-attributes-to-llvm-annotations/9397): > > I’m doing exploratory work where I’d like to be able to add annotations to Rust function and data declarations that I’d like to be able to look for in the generated LLVM. I am still new to rust, but one design would be to define new Rust attributes via the plugin API, and then have annotations on top-level attributes translate into appends to @llvm.global.annotations. Annotations on data could then translate into calls of @llvm.var.annotation. This would make the Rust LLVM pretty similar to w… I suppose I might be able to use llvm attributes. However, that requires modifications to the Rust compiler and/or llvm. Since there is no use-case for this work outside of the company, this work would have to be maintained by a very small team. Therefore, I would highly prefer a method that does not involve modifying the Rust compiler and/or llvm. Ideally, no unstable interfaces should be required either. What would be my options? And if this non-invasive approach turns out to be impossible/impractical, what would be my best next option? ---
**Author:** ![comex](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/comex/32/2587_2.png) [@comex](https://internals.rust-lang.org/u/comex)\ **Post date:** [March 26, 2019, 10:22am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/2 "2019-03-26T10:22:51Z")
Depending on how you intend to consume the annotation, one approach might be to have a separate section with a list of affected variables/functions: ```rust fn foo() { /* ... */ } static BAR: i32 = 42; #[link_section(".my_fancy_symbols")] #[used] static FOO_ENTRY: fn() = foo; #[link_section(".my_fancy_symbols")] #[used] static BAR_ENTRY: &'static i32 = &BAR; ``` ---
**Author:** ![XvR-Technolution](https://avatars.discourse-cdn.com/v4/letter/x/b487fb/32.png) [@XvR-Technolution](https://internals.rust-lang.org/u/XvR-Technolution)\ **Post date:** [March 26, 2019, 12:01pm UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/3 "2019-03-26T12:01:42Z")
Took me some fiddling with my linker script, but I think this can solve my problem. Thank you! One question though: I could not find any information on the #[used] attribute. Removing it generates a warning about an unused item, so it seems clear what the purpose is, but I’m curious what else I might have missed out. I could only find the information here: [https://doc.rust-lang.org/reference/attributes.html](https://doc.rust-lang.org/reference/attributes.html) ---
**Author:** ![ehuss](https://avatars.discourse-cdn.com/v4/letter/e/9de0a6/32.png) [@ehuss](https://internals.rust-lang.org/u/ehuss)\ **Post date:** [March 26, 2019, 3:56pm UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/4 "2019-03-26T15:56:26Z")
> [@XvR-Technolution](#): > > I could not find any information on the #[used] attribute The documentation for that was just added a couple weeks ago. It is currently not published, but you can see the source here: [reference/src/abi.md at master · rust-lang/reference · GitHub](https://github.com/rust-lang-nursery/reference/blob/master/src/abi.md#the-used-attribute) It should be published in the nightly docs soonish. Please let me know (or file an [issue](https://github.com/rust-lang-nursery/reference/issues)) if it does not answer your questions. ---
**Author:** ![XvR-Technolution](https://avatars.discourse-cdn.com/v4/letter/x/b487fb/32.png) [@XvR-Technolution](https://internals.rust-lang.org/u/XvR-Technolution)\ **Post date:** [March 26, 2019, 4:13pm UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/5 "2019-03-26T16:13:20Z")
Ah, thank you! That explains a lot. After reading the documentation, however, I think in my case I’m better off with #[allow(dead\_code)] (which I would have used otherwise). ---
**Author:** ![comex](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/comex/32/2587_2.png) [@comex](https://internals.rust-lang.org/u/comex)\ **Post date:** [March 27, 2019, 5:26am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/6 "2019-03-27T05:26:17Z")
Are you sure? In my example, even if, e.g. the function `foo` is used, the corresponding static variable `FOO_ENTRY` is not directly referenced by anything (`#[link_section]` doesn’t count as a use), so it will be removed when building with optimization enabled. That’s why I added `#[used]`. ---
**Author:** ![XvR-Technolution](https://avatars.discourse-cdn.com/v4/letter/x/b487fb/32.png) [@XvR-Technolution](https://internals.rust-lang.org/u/XvR-Technolution)\ **Post date:** [March 29, 2019, 10:03am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/7 "2019-03-29T10:03:54Z")
As far as I can see, using the #[used] attribute will keep both the actual function/variable and the \_ENTRY static variable in the binary. From my tests thus far, it seems that when the \_ENTRY variable is removed (so, without the #[used] attribute), the actual function/variable it points to has been optimized away as well. This seems to make sense, since otherwise the \_ENTRY contents would be a null pointer. I’ve yet to encounter a situation in which the \_ENTRY variable is removed, while the actual function/variable has not been optimized away, but that might be due to my limited amount of tests. I’m not sure yet if this is acceptable for my use case, so it is nice have the option to use #[used] to ensure the symbols are kept. ---
**Author:** ![system](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/system/32/14092_2.png) [@system](https://internals.rust-lang.org/u/system)\ **Post date:** [June 27, 2019, 10:11am UTC](https://internals.rust-lang.org/t/propagate-annotations-from-source-to-binary/9717/8 "2019-06-27T10:11:34Z")
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.