123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398 |
- // By compiling this file we check that all the intrinsics we care about continue to be provided by
- // the `compiler_builtins` crate regardless of the changes we make to it. If we, by mistake, stop
- // compiling a C implementation and forget to implement that intrinsic in Rust, this file will fail
- // to link due to the missing intrinsic (symbol).
- #![allow(unused_features)]
- #![cfg_attr(thumb, no_main)]
- #![deny(dead_code)]
- #![feature(bench_black_box)]
- #![feature(lang_items)]
- #![feature(start)]
- #![feature(allocator_api)]
- #![no_std]
- extern crate panic_handler;
- #[cfg(all(not(thumb), not(windows), not(target_arch = "wasm32")))]
- #[link(name = "c")]
- extern "C" {}
- // Every function in this module maps will be lowered to an intrinsic by LLVM, if the platform
- // doesn't have native support for the operation used in the function. ARM has a naming convention
- // convention for its intrinsics that's different from other architectures; that's why some function
- // have an additional comment: the function name is the ARM name for the intrinsic and the comment
- // in the non-ARM name for the intrinsic.
- mod intrinsics {
- // truncdfsf2
- pub fn aeabi_d2f(x: f64) -> f32 {
- x as f32
- }
- // fixdfsi
- pub fn aeabi_d2i(x: f64) -> i32 {
- x as i32
- }
- // fixdfdi
- pub fn aeabi_d2l(x: f64) -> i64 {
- x as i64
- }
- // fixunsdfsi
- pub fn aeabi_d2uiz(x: f64) -> u32 {
- x as u32
- }
- // fixunsdfdi
- pub fn aeabi_d2ulz(x: f64) -> u64 {
- x as u64
- }
- // adddf3
- pub fn aeabi_dadd(a: f64, b: f64) -> f64 {
- a + b
- }
- // eqdf2
- pub fn aeabi_dcmpeq(a: f64, b: f64) -> bool {
- a == b
- }
- // gtdf2
- pub fn aeabi_dcmpgt(a: f64, b: f64) -> bool {
- a > b
- }
- // ltdf2
- pub fn aeabi_dcmplt(a: f64, b: f64) -> bool {
- a < b
- }
- // divdf3
- pub fn aeabi_ddiv(a: f64, b: f64) -> f64 {
- a / b
- }
- // muldf3
- pub fn aeabi_dmul(a: f64, b: f64) -> f64 {
- a * b
- }
- // subdf3
- pub fn aeabi_dsub(a: f64, b: f64) -> f64 {
- a - b
- }
- // extendsfdf2
- pub fn aeabi_f2d(x: f32) -> f64 {
- x as f64
- }
- // fixsfsi
- pub fn aeabi_f2iz(x: f32) -> i32 {
- x as i32
- }
- // fixsfdi
- pub fn aeabi_f2lz(x: f32) -> i64 {
- x as i64
- }
- // fixunssfsi
- pub fn aeabi_f2uiz(x: f32) -> u32 {
- x as u32
- }
- // fixunssfdi
- pub fn aeabi_f2ulz(x: f32) -> u64 {
- x as u64
- }
- // addsf3
- pub fn aeabi_fadd(a: f32, b: f32) -> f32 {
- a + b
- }
- // eqsf2
- pub fn aeabi_fcmpeq(a: f32, b: f32) -> bool {
- a == b
- }
- // gtsf2
- pub fn aeabi_fcmpgt(a: f32, b: f32) -> bool {
- a > b
- }
- // ltsf2
- pub fn aeabi_fcmplt(a: f32, b: f32) -> bool {
- a < b
- }
- // divsf3
- pub fn aeabi_fdiv(a: f32, b: f32) -> f32 {
- a / b
- }
- // mulsf3
- pub fn aeabi_fmul(a: f32, b: f32) -> f32 {
- a * b
- }
- // subsf3
- pub fn aeabi_fsub(a: f32, b: f32) -> f32 {
- a - b
- }
- // floatsidf
- pub fn aeabi_i2d(x: i32) -> f64 {
- x as f64
- }
- // floatsisf
- pub fn aeabi_i2f(x: i32) -> f32 {
- x as f32
- }
- pub fn aeabi_idiv(a: i32, b: i32) -> i32 {
- a.wrapping_div(b)
- }
- pub fn aeabi_idivmod(a: i32, b: i32) -> i32 {
- a % b
- }
- // floatdidf
- pub fn aeabi_l2d(x: i64) -> f64 {
- x as f64
- }
- // floatdisf
- pub fn aeabi_l2f(x: i64) -> f32 {
- x as f32
- }
- // divdi3
- pub fn aeabi_ldivmod(a: i64, b: i64) -> i64 {
- a / b
- }
- // muldi3
- pub fn aeabi_lmul(a: i64, b: i64) -> i64 {
- a.wrapping_mul(b)
- }
- // floatunsidf
- pub fn aeabi_ui2d(x: u32) -> f64 {
- x as f64
- }
- // floatunsisf
- pub fn aeabi_ui2f(x: u32) -> f32 {
- x as f32
- }
- pub fn aeabi_uidiv(a: u32, b: u32) -> u32 {
- a / b
- }
- pub fn aeabi_uidivmod(a: u32, b: u32) -> u32 {
- a % b
- }
- // floatundidf
- pub fn aeabi_ul2d(x: u64) -> f64 {
- x as f64
- }
- // floatundisf
- pub fn aeabi_ul2f(x: u64) -> f32 {
- x as f32
- }
- // udivdi3
- pub fn aeabi_uldivmod(a: u64, b: u64) -> u64 {
- a * b
- }
- pub fn moddi3(a: i64, b: i64) -> i64 {
- a % b
- }
- pub fn mulodi4(a: i64, b: i64) -> i64 {
- a * b
- }
- pub fn umoddi3(a: u64, b: u64) -> u64 {
- a % b
- }
- pub fn muloti4(a: u128, b: u128) -> Option<u128> {
- a.checked_mul(b)
- }
- pub fn multi3(a: u128, b: u128) -> u128 {
- a.wrapping_mul(b)
- }
- pub fn ashlti3(a: u128, b: usize) -> u128 {
- a >> b
- }
- pub fn ashrti3(a: u128, b: usize) -> u128 {
- a << b
- }
- pub fn lshrti3(a: i128, b: usize) -> i128 {
- a >> b
- }
- pub fn udivti3(a: u128, b: u128) -> u128 {
- a / b
- }
- pub fn umodti3(a: u128, b: u128) -> u128 {
- a % b
- }
- pub fn divti3(a: i128, b: i128) -> i128 {
- a / b
- }
- pub fn modti3(a: i128, b: i128) -> i128 {
- a % b
- }
- pub fn udivsi3(a: u32, b: u32) -> u32 {
- a / b
- }
- }
- fn run() {
- use core::hint::black_box as bb;
- use intrinsics::*;
- bb(aeabi_d2f(bb(2.)));
- bb(aeabi_d2i(bb(2.)));
- bb(aeabi_d2l(bb(2.)));
- bb(aeabi_d2uiz(bb(2.)));
- bb(aeabi_d2ulz(bb(2.)));
- bb(aeabi_dadd(bb(2.), bb(3.)));
- bb(aeabi_dcmpeq(bb(2.), bb(3.)));
- bb(aeabi_dcmpgt(bb(2.), bb(3.)));
- bb(aeabi_dcmplt(bb(2.), bb(3.)));
- bb(aeabi_ddiv(bb(2.), bb(3.)));
- bb(aeabi_dmul(bb(2.), bb(3.)));
- bb(aeabi_dsub(bb(2.), bb(3.)));
- bb(aeabi_f2d(bb(2.)));
- bb(aeabi_f2iz(bb(2.)));
- bb(aeabi_f2lz(bb(2.)));
- bb(aeabi_f2uiz(bb(2.)));
- bb(aeabi_f2ulz(bb(2.)));
- bb(aeabi_fadd(bb(2.), bb(3.)));
- bb(aeabi_fcmpeq(bb(2.), bb(3.)));
- bb(aeabi_fcmpgt(bb(2.), bb(3.)));
- bb(aeabi_fcmplt(bb(2.), bb(3.)));
- bb(aeabi_fdiv(bb(2.), bb(3.)));
- bb(aeabi_fmul(bb(2.), bb(3.)));
- bb(aeabi_fsub(bb(2.), bb(3.)));
- bb(aeabi_i2d(bb(2)));
- bb(aeabi_i2f(bb(2)));
- bb(aeabi_idiv(bb(2), bb(3)));
- bb(aeabi_idivmod(bb(2), bb(3)));
- bb(aeabi_l2d(bb(2)));
- bb(aeabi_l2f(bb(2)));
- bb(aeabi_ldivmod(bb(2), bb(3)));
- bb(aeabi_lmul(bb(2), bb(3)));
- bb(aeabi_ui2d(bb(2)));
- bb(aeabi_ui2f(bb(2)));
- bb(aeabi_uidiv(bb(2), bb(3)));
- bb(aeabi_uidivmod(bb(2), bb(3)));
- bb(aeabi_ul2d(bb(2)));
- bb(aeabi_ul2f(bb(2)));
- bb(aeabi_uldivmod(bb(2), bb(3)));
- bb(moddi3(bb(2), bb(3)));
- bb(mulodi4(bb(2), bb(3)));
- bb(umoddi3(bb(2), bb(3)));
- bb(muloti4(bb(2), bb(2)));
- bb(multi3(bb(2), bb(2)));
- bb(ashlti3(bb(2), bb(2)));
- bb(ashrti3(bb(2), bb(2)));
- bb(lshrti3(bb(2), bb(2)));
- bb(udivti3(bb(2), bb(2)));
- bb(umodti3(bb(2), bb(2)));
- bb(divti3(bb(2), bb(2)));
- bb(modti3(bb(2), bb(2)));
- bb(udivsi3(bb(2), bb(2)));
- something_with_a_dtor(&|| assert_eq!(bb(1), 1));
- extern "C" {
- fn rust_begin_unwind(x: usize);
- }
- // if bb(false) {
- unsafe {
- rust_begin_unwind(0);
- }
- // }
- }
- fn something_with_a_dtor(f: &dyn Fn()) {
- struct A<'a>(&'a (dyn Fn() + 'a));
- impl<'a> Drop for A<'a> {
- fn drop(&mut self) {
- (self.0)();
- }
- }
- let _a = A(f);
- f();
- }
- #[cfg(not(thumb))]
- #[start]
- fn main(_: isize, _: *const *const u8) -> isize {
- run();
- 0
- }
- #[cfg(thumb)]
- #[no_mangle]
- pub fn _start() -> ! {
- run();
- loop {}
- }
- #[cfg(windows)]
- #[link(name = "kernel32")]
- #[link(name = "msvcrt")]
- extern "C" {}
- // ARM targets need these symbols
- #[no_mangle]
- pub fn __aeabi_unwind_cpp_pr0() {}
- #[no_mangle]
- pub fn __aeabi_unwind_cpp_pr1() {}
- #[cfg(not(windows))]
- #[allow(non_snake_case)]
- #[no_mangle]
- pub fn _Unwind_Resume() {}
- #[cfg(not(windows))]
- #[lang = "eh_personality"]
- #[no_mangle]
- pub extern "C" fn eh_personality() {}
- #[cfg(all(windows, target_env = "gnu"))]
- mod mingw_unwinding {
- #[no_mangle]
- pub fn rust_eh_personality() {}
- #[no_mangle]
- pub fn rust_eh_unwind_resume() {}
- #[no_mangle]
- pub fn rust_eh_register_frames() {}
- #[no_mangle]
- pub fn rust_eh_unregister_frames() {}
- }
|