A question about the code in builtin/intrinsics.mbt

[guuzaa]

There are some functions like the one below in the builtin/intrinsics.mbt file. What do they do? What does the trailing "%i32_shr" mean?

pub fn Int::op_shr(self : Int, other : Int) -> Int = "%i32_shr"

[peter-jerry-ye]

They are builtin functions. Compilers will produce efficient code for them.

References:

• https://www.baeldung.com/jvm-intrinsics
• https://en.wikipedia.org/wiki/Intrinsic_function

[guuzaa]

I got it. The trailing "%i32_shr" means the function op_shr will use the efficient code produced by compilers.
Thank you for your reply.