Does Julia's use of LLVM compilation guarantee identical machine code for repetition of a given function compilation?

Internals & Design
1

Hi – I can’t seem to find the answer in the docs or on Discourse (apologies if I searched badly).

To be specific: suppose the first call to a function happens more than once (say in different Julia working sessions, but on the same machine with the same Julia versions). Does Julia’s design specify or imply that the resulting machine codes are identical?

I strongly feel the answer is ‘yes’ but I can’t see how to be sure of it.

2

it doesn’t always, but does usually. I think the llvm side is deterministic, but type inferance can depend on the order of definitions.