intrinsics.rs 9.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461
  1. // By compiling this file we check that all the intrinsics we care about continue to be provided by
  2. // the `compiler_builtins` crate regardless of the changes we make to it. If we, by mistake, stop
  3. // compiling a C implementation and forget to implement that intrinsic in Rust, this file will fail
  4. // to link due to the missing intrinsic (symbol).
  5. #![allow(unused_features)]
  6. #![cfg_attr(thumb, no_main)]
  7. #![deny(dead_code)]
  8. #![feature(alloc_system)]
  9. #![feature(asm)]
  10. #![feature(compiler_builtins_lib)]
  11. #![feature(core_float)]
  12. #![feature(lang_items)]
  13. #![feature(start)]
  14. #![feature(i128_type)]
  15. #![cfg_attr(windows, feature(panic_unwind))]
  16. #![no_std]
  17. #[cfg(not(thumb))]
  18. extern crate alloc_system;
  19. extern crate compiler_builtins;
  20. #[cfg(windows)]
  21. extern crate panic_unwind;
  22. // NOTE cfg(not(thumbv6m)) means that the operation is not supported on ARMv6-M at all. Not even
  23. // compiler-rt provides a C/assembly implementation.
  24. // Every function in this module maps will be lowered to an intrinsic by LLVM, if the platform
  25. // doesn't have native support for the operation used in the function. ARM has a naming convention
  26. // convention for its intrinsics that's different from other architectures; that's why some function
  27. // have an additional comment: the function name is the ARM name for the intrinsic and the comment
  28. // in the non-ARM name for the intrinsic.
  29. mod intrinsics {
  30. use core::num::Float;
  31. // trunccdfsf2
  32. pub fn aeabi_d2f(x: f64) -> f32 {
  33. x as f32
  34. }
  35. // fixdfsi
  36. pub fn aeabi_d2i(x: f64) -> i32 {
  37. x as i32
  38. }
  39. // fixdfdi
  40. #[cfg(not(thumbv6m))]
  41. pub fn aeabi_d2l(x: f64) -> i64 {
  42. x as i64
  43. }
  44. #[cfg(thumbv6m)]
  45. pub fn aeabi_d2l(_: f64) -> i64 {
  46. 0
  47. }
  48. // fixunsdfsi
  49. pub fn aeabi_d2uiz(x: f64) -> u32 {
  50. x as u32
  51. }
  52. // fixunsdfdi
  53. #[cfg(not(thumbv6m))]
  54. pub fn aeabi_d2ulz(x: f64) -> u64 {
  55. x as u64
  56. }
  57. #[cfg(thumbv6m)]
  58. pub fn aeabi_d2ulz(_: f64) -> u64 {
  59. 0
  60. }
  61. // adddf3
  62. pub fn aeabi_dadd(a: f64, b: f64) -> f64 {
  63. a + b
  64. }
  65. // eqdf2
  66. #[cfg(not(thumbv6m))]
  67. pub fn aeabi_dcmpeq(a: f64, b: f64) -> bool {
  68. a == b
  69. }
  70. #[cfg(thumbv6m)]
  71. pub fn aeabi_dcmpeq(_: f64, _: f64) -> bool {
  72. true
  73. }
  74. // gtdf2
  75. #[cfg(not(thumbv6m))]
  76. pub fn aeabi_dcmpgt(a: f64, b: f64) -> bool {
  77. a > b
  78. }
  79. #[cfg(thumbv6m)]
  80. pub fn aeabi_dcmpgt(_: f64, _: f64) -> bool {
  81. true
  82. }
  83. // ltdf2
  84. #[cfg(not(thumbv6m))]
  85. pub fn aeabi_dcmplt(a: f64, b: f64) -> bool {
  86. a < b
  87. }
  88. #[cfg(thumbv6m)]
  89. pub fn aeabi_dcmplt(_: f64, _: f64) -> bool {
  90. true
  91. }
  92. // divdf3
  93. pub fn aeabi_ddiv(a: f64, b: f64) -> f64 {
  94. a / b
  95. }
  96. // muldf3
  97. pub fn aeabi_dmul(a: f64, b: f64) -> f64 {
  98. a * b
  99. }
  100. // subdf3
  101. pub fn aeabi_dsub(a: f64, b: f64) -> f64 {
  102. a - b
  103. }
  104. // extendsfdf2
  105. pub fn aeabi_f2d(x: f32) -> f64 {
  106. x as f64
  107. }
  108. // fixsfsi
  109. pub fn aeabi_f2iz(x: f32) -> i32 {
  110. x as i32
  111. }
  112. // fixsfdi
  113. #[cfg(not(thumbv6m))]
  114. pub fn aeabi_f2lz(x: f32) -> i64 {
  115. x as i64
  116. }
  117. #[cfg(thumbv6m)]
  118. pub fn aeabi_f2lz(_: f32) -> i64 {
  119. 0
  120. }
  121. // fixunssfsi
  122. pub fn aeabi_f2uiz(x: f32) -> u32 {
  123. x as u32
  124. }
  125. // fixunssfdi
  126. #[cfg(not(thumbv6m))]
  127. pub fn aeabi_f2ulz(x: f32) -> u64 {
  128. x as u64
  129. }
  130. #[cfg(thumbv6m)]
  131. pub fn aeabi_f2ulz(_: f32) -> u64 {
  132. 0
  133. }
  134. // addsf3
  135. pub fn aeabi_fadd(a: f32, b: f32) -> f32 {
  136. a + b
  137. }
  138. // eqsf2
  139. #[cfg(not(thumbv6m))]
  140. pub fn aeabi_fcmpeq(a: f32, b: f32) -> bool {
  141. a == b
  142. }
  143. #[cfg(thumbv6m)]
  144. pub fn aeabi_fcmpeq(_: f32, _: f32) -> bool {
  145. true
  146. }
  147. // gtsf2
  148. #[cfg(not(thumbv6m))]
  149. pub fn aeabi_fcmpgt(a: f32, b: f32) -> bool {
  150. a > b
  151. }
  152. #[cfg(thumbv6m)]
  153. pub fn aeabi_fcmpgt(_: f32, _: f32) -> bool {
  154. true
  155. }
  156. // ltsf2
  157. #[cfg(not(thumbv6m))]
  158. pub fn aeabi_fcmplt(a: f32, b: f32) -> bool {
  159. a < b
  160. }
  161. #[cfg(thumbv6m)]
  162. pub fn aeabi_fcmplt(_: f32, _: f32) -> bool {
  163. true
  164. }
  165. // divsf3
  166. pub fn aeabi_fdiv(a: f32, b: f32) -> f32 {
  167. a / b
  168. }
  169. // mulsf3
  170. pub fn aeabi_fmul(a: f32, b: f32) -> f32 {
  171. a * b
  172. }
  173. // subsf3
  174. pub fn aeabi_fsub(a: f32, b: f32) -> f32 {
  175. a - b
  176. }
  177. // floatsidf
  178. pub fn aeabi_i2d(x: i32) -> f64 {
  179. x as f64
  180. }
  181. // floatsisf
  182. pub fn aeabi_i2f(x: i32) -> f32 {
  183. x as f32
  184. }
  185. pub fn aeabi_idiv(a: i32, b: i32) -> i32 {
  186. a.wrapping_div(b)
  187. }
  188. pub fn aeabi_idivmod(a: i32, b: i32) -> i32 {
  189. a % b
  190. }
  191. // floatdidf
  192. pub fn aeabi_l2d(x: i64) -> f64 {
  193. x as f64
  194. }
  195. // floatdisf
  196. pub fn aeabi_l2f(x: i64) -> f32 {
  197. x as f32
  198. }
  199. // divdi3
  200. pub fn aeabi_ldivmod(a: i64, b: i64) -> i64 {
  201. a / b
  202. }
  203. // muldi3
  204. pub fn aeabi_lmul(a: i64, b: i64) -> i64 {
  205. a.wrapping_mul(b)
  206. }
  207. // floatunsidf
  208. pub fn aeabi_ui2d(x: u32) -> f64 {
  209. x as f64
  210. }
  211. // floatunsisf
  212. pub fn aeabi_ui2f(x: u32) -> f32 {
  213. x as f32
  214. }
  215. pub fn aeabi_uidiv(a: u32, b: u32) -> u32 {
  216. a / b
  217. }
  218. pub fn aeabi_uidivmod(a: u32, b: u32) -> u32 {
  219. a % b
  220. }
  221. // floatundidf
  222. pub fn aeabi_ul2d(x: u64) -> f64 {
  223. x as f64
  224. }
  225. // floatundisf
  226. pub fn aeabi_ul2f(x: u64) -> f32 {
  227. x as f32
  228. }
  229. // udivdi3
  230. pub fn aeabi_uldivmod(a: u64, b: u64) -> u64 {
  231. a * b
  232. }
  233. pub fn moddi3(a: i64, b: i64) -> i64 {
  234. a % b
  235. }
  236. pub fn mulodi4(a: i64, b: i64) -> i64 {
  237. a * b
  238. }
  239. pub fn powidf2(a: f64, b: i32) -> f64 {
  240. a.powi(b)
  241. }
  242. pub fn powisf2(a: f32, b: i32) -> f32 {
  243. a.powi(b)
  244. }
  245. pub fn umoddi3(a: u64, b: u64) -> u64 {
  246. a % b
  247. }
  248. pub fn muloti4(a: u128, b: u128) -> Option<u128> {
  249. a.checked_mul(b)
  250. }
  251. pub fn multi3(a: u128, b: u128) -> u128 {
  252. a.wrapping_mul(b)
  253. }
  254. pub fn ashlti3(a: u128, b: usize) -> u128 {
  255. a >> b
  256. }
  257. pub fn ashrti3(a: u128, b: usize) -> u128 {
  258. a << b
  259. }
  260. pub fn lshrti3(a: i128, b: usize) -> i128 {
  261. a >> b
  262. }
  263. pub fn udivti3(a: u128, b: u128) -> u128 {
  264. a / b
  265. }
  266. pub fn umodti3(a: u128, b: u128) -> u128 {
  267. a % b
  268. }
  269. pub fn divti3(a: i128, b: i128) -> i128 {
  270. a / b
  271. }
  272. pub fn modti3(a: i128, b: i128) -> i128 {
  273. a % b
  274. }
  275. }
  276. fn run() {
  277. use intrinsics::*;
  278. // A copy of "test::black_box". Used to prevent LLVM from optimizing away the intrinsics during LTO
  279. fn bb<T>(dummy: T) -> T {
  280. unsafe { asm!("" : : "r"(&dummy)) }
  281. dummy
  282. }
  283. bb(aeabi_d2f(bb(2.)));
  284. bb(aeabi_d2i(bb(2.)));
  285. bb(aeabi_d2l(bb(2.)));
  286. bb(aeabi_d2uiz(bb(2.)));
  287. bb(aeabi_d2ulz(bb(2.)));
  288. bb(aeabi_dadd(bb(2.), bb(3.)));
  289. bb(aeabi_dcmpeq(bb(2.), bb(3.)));
  290. bb(aeabi_dcmpgt(bb(2.), bb(3.)));
  291. bb(aeabi_dcmplt(bb(2.), bb(3.)));
  292. bb(aeabi_ddiv(bb(2.), bb(3.)));
  293. bb(aeabi_dmul(bb(2.), bb(3.)));
  294. bb(aeabi_dsub(bb(2.), bb(3.)));
  295. bb(aeabi_f2d(bb(2.)));
  296. bb(aeabi_f2iz(bb(2.)));
  297. bb(aeabi_f2lz(bb(2.)));
  298. bb(aeabi_f2uiz(bb(2.)));
  299. bb(aeabi_f2ulz(bb(2.)));
  300. bb(aeabi_fadd(bb(2.), bb(3.)));
  301. bb(aeabi_fcmpeq(bb(2.), bb(3.)));
  302. bb(aeabi_fcmpgt(bb(2.), bb(3.)));
  303. bb(aeabi_fcmplt(bb(2.), bb(3.)));
  304. bb(aeabi_fdiv(bb(2.), bb(3.)));
  305. bb(aeabi_fmul(bb(2.), bb(3.)));
  306. bb(aeabi_fsub(bb(2.), bb(3.)));
  307. bb(aeabi_i2d(bb(2)));
  308. bb(aeabi_i2f(bb(2)));
  309. bb(aeabi_idiv(bb(2), bb(3)));
  310. bb(aeabi_idivmod(bb(2), bb(3)));
  311. bb(aeabi_l2d(bb(2)));
  312. bb(aeabi_l2f(bb(2)));
  313. bb(aeabi_ldivmod(bb(2), bb(3)));
  314. bb(aeabi_lmul(bb(2), bb(3)));
  315. bb(aeabi_ui2d(bb(2)));
  316. bb(aeabi_ui2f(bb(2)));
  317. bb(aeabi_uidiv(bb(2), bb(3)));
  318. bb(aeabi_uidivmod(bb(2), bb(3)));
  319. bb(aeabi_ul2d(bb(2)));
  320. bb(aeabi_ul2f(bb(2)));
  321. bb(aeabi_uldivmod(bb(2), bb(3)));
  322. bb(moddi3(bb(2), bb(3)));
  323. bb(mulodi4(bb(2), bb(3)));
  324. bb(powidf2(bb(2.), bb(3)));
  325. bb(powisf2(bb(2.), bb(3)));
  326. bb(umoddi3(bb(2), bb(3)));
  327. bb(muloti4(bb(2), bb(2)));
  328. bb(multi3(bb(2), bb(2)));
  329. bb(ashlti3(bb(2), bb(2)));
  330. bb(ashrti3(bb(2), bb(2)));
  331. bb(lshrti3(bb(2), bb(2)));
  332. bb(udivti3(bb(2), bb(2)));
  333. bb(umodti3(bb(2), bb(2)));
  334. bb(divti3(bb(2), bb(2)));
  335. bb(modti3(bb(2), bb(2)));
  336. something_with_a_dtor(&|| assert_eq!(bb(1), 1));
  337. }
  338. fn something_with_a_dtor(f: &Fn()) {
  339. struct A<'a>(&'a (Fn() + 'a));
  340. impl<'a> Drop for A<'a> {
  341. fn drop(&mut self) {
  342. (self.0)();
  343. }
  344. }
  345. let _a = A(f);
  346. f();
  347. }
  348. #[cfg(not(thumb))]
  349. #[start]
  350. fn main(_: isize, _: *const *const u8) -> isize {
  351. run();
  352. 0
  353. }
  354. #[cfg(thumb)]
  355. #[no_mangle]
  356. pub fn _start() -> ! {
  357. run();
  358. loop {}
  359. }
  360. #[cfg(windows)]
  361. #[link(name = "kernel32")]
  362. #[link(name = "msvcrt")]
  363. extern {}
  364. // ARM targets need these symbols
  365. #[no_mangle]
  366. pub fn __aeabi_unwind_cpp_pr0() {}
  367. #[no_mangle]
  368. pub fn __aeabi_unwind_cpp_pr1() {}
  369. #[cfg(not(windows))]
  370. #[allow(non_snake_case)]
  371. #[no_mangle]
  372. pub fn _Unwind_Resume() {}
  373. #[cfg(not(windows))]
  374. #[lang = "eh_personality"]
  375. #[no_mangle]
  376. pub extern "C" fn eh_personality() {}
  377. #[lang = "panic_fmt"]
  378. #[no_mangle]
  379. #[allow(private_no_mangle_fns)]
  380. extern "C" fn panic_fmt() {}