Warum sind Pub-Funktionen, die mit `# [inline]` markiert sind, nicht in der kompilierten Objektdatei vorhanden?

Question

Ich habe eine brandneue Kiste mit cargo new a und tippte diese in src/lib.rs:

pub fn xor(a: i32, b: i32) -> i32 { 
    a^b 
} 

#[inline] 
pub fn xor_inline(a: i32, b: i32) -> i32 { 
    a^b 
} 

Wenn ich mit cargo build --release kompilieren, nur die erzeugte .rlib enthält xor und nicht xor_inline:

$ gnm -D -C target/release/deps/liba-6a3c2798185fafee.rlib 
gnm: __.SYMDEF: File format not recognized 

a-6a3c2798185fafee.0.o: 
0000000000000000 T a::xor::hf0d97103d53d3286 
gnm: rust.metadata.bin: File format not recognized 
gnm: a-6a3c2798185fafee.0.bytecode.deflate: File format not recognized 

^{(gnm ist GNU nm installiert auf MacOS über Homebrew.)}

Ich habe zwei Fragen:

1. Warum ist xor_inline innerhalb der Objektdatei nicht? Ich glaube, dass seine Quelle in rust.metadata.bin vorhanden sein muss, damit Cross-Crate-Inlining funktioniert, aber warum wird die Plain-Funktion nicht aus der Objektdatei exportiert?

2. Gibt es in rustc ein Flag, das ich mit cargo rustc --release -- ... verwenden kann, um sicherzustellen, dass alle #[inline] Funktionen in der Objektdatei vorhanden sind? (Vielleicht eine andere --crate-type oder eine der Fahnen unter -C?)

(Ich brauche das, weil ich die generierte Assembly für die Funktionen in meine Kiste inspizieren wollen, ohne alle inline entfernen Attribute oder jedes Inline-Verpackung Funktion in einer öffentlichen non-inline Funktion.)

Answer 1

Vor Rust 1.13.0 wurde nativer Code tatsächlich immer für #[inline] Funktionen erzeugt. Diese changed in Rust 1.13.0: #[inline] Funktionen, die nicht in der Kiste verwendet werden, sind nicht in nativen Code kompiliert. Die primary motivation für diese Änderung ist, dass Bibliotheken, die eine Menge von Inline-Funktionen enthalten, die sie nicht selbst verwenden, sind viel schneller zu kompilieren, wenn sie überhaupt nicht in systemeigenen Code übersetzt werden.

Der Compiler gibt die Funktion weiterhin in einer Zwischendarstellung aus, damit der Compiler in andere Kisten inline und optimieren kann.

(Ich brauche das, weil ich die generierte Assembly für die Funktionen in meiner Kiste inspizieren will, ohne alle Inline-Attribute zu entfernen oder jede Inline-Funktion in einer öffentlichen Nicht-Inline-Funktion Verpackung.)

Der ganze Sinn von Inline-Funktionen besteht darin, dass der Compiler basierend auf der Verwendung der Funktion einen eindeutigen Assembler-Code ausgibt. Zum Beispiel kann eine Inline-Funktion, die Argumente empfängt, ihre Argumente an constant folding teilnehmen lassen, wenn einige Argumente Konstanten sind. Manchmal kann ein Inlined-Funktionsaufruf Anweisungen auf Null kompilieren (wenn Rust Null-Kosten-Abstraktionen fordert, meinen sie das wirklich!), Aber das konnte man vom nicht-inlinierten Funktionsaufruf nicht erkennen! Daher vermute ich, dass das, was Sie tun möchten, Sie nur irreführen würde; Sie würden nicht auf den Code schauen, den der Compiler tatsächlich ausgibt, wenn Ihre Inline-Funktion verwendet wird.