intrinsics.rs 9.0 KB

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