And conversely, translating a library function into simple opcodes (rather than a real call) should be any decent compiler's responsibility, using intrinsics.