]> git.lizzy.rs Git - rust.git/blob - compiler/rustc_codegen_cranelift/example/std_example.rs
Rollup merge of #105633 - compiler-errors:term-agnostic, r=oli-obk
[rust.git] / compiler / rustc_codegen_cranelift / example / std_example.rs
1 #![feature(core_intrinsics, generators, generator_trait, is_sorted)]
2
3 #[cfg(target_arch = "x86_64")]
4 use std::arch::x86_64::*;
5 use std::hint::black_box;
6 use std::io::Write;
7 use std::ops::Generator;
8
9 fn main() {
10     println!("{:?}", std::env::args().collect::<Vec<_>>());
11
12     let mutex = std::sync::Mutex::new(());
13     let _guard = mutex.lock().unwrap();
14
15     let _ = ::std::iter::repeat('a' as u8).take(10).collect::<Vec<_>>();
16     let stderr = ::std::io::stderr();
17     let mut stderr = stderr.lock();
18
19     std::thread::spawn(move || {
20         println!("Hello from another thread!");
21     });
22
23     writeln!(stderr, "some {} text", "<unknown>").unwrap();
24
25     let _ = std::process::Command::new("true").env("c", "d").spawn();
26
27     println!("cargo:rustc-link-lib=z");
28
29     static ONCE: std::sync::Once = std::sync::Once::new();
30     ONCE.call_once(|| {});
31
32     let _eq = LoopState::Continue(()) == LoopState::Break(());
33
34     // Make sure ByValPair values with differently sized components are correctly passed
35     map(None::<(u8, Box<Instruction>)>);
36
37     println!("{}", 2.3f32.exp());
38     println!("{}", 2.3f32.exp2());
39     println!("{}", 2.3f32.abs());
40     println!("{}", 2.3f32.sqrt());
41     println!("{}", 2.3f32.floor());
42     println!("{}", 2.3f32.ceil());
43     println!("{}", 2.3f32.min(1.0));
44     println!("{}", 2.3f32.max(1.0));
45     println!("{}", 2.3f32.powi(2));
46     println!("{}", 2.3f32.log2());
47     assert_eq!(2.3f32.copysign(-1.0), -2.3f32);
48     println!("{}", 2.3f32.powf(2.0));
49
50     assert_eq!(i64::MAX.checked_mul(2), None);
51
52     assert_eq!(-128i8, (-128i8).saturating_sub(1));
53     assert_eq!(127i8, 127i8.saturating_sub(-128));
54     assert_eq!(-128i8, (-128i8).saturating_add(-128));
55     assert_eq!(127i8, 127i8.saturating_add(1));
56
57     assert_eq!(0b0000000000000000000000000010000010000000000000000000000000000000_0000000000100000000000000000000000001000000000000100000000000000u128.leading_zeros(), 26);
58     assert_eq!(0b0000000000000000000000000010000000000000000000000000000000000000_0000000000000000000000000000000000001000000000000000000010000000u128.trailing_zeros(), 7);
59     assert_eq!(core::intrinsics::saturating_sub(0, -170141183460469231731687303715884105728i128), 170141183460469231731687303715884105727i128);
60
61     let _d = 0i128.checked_div(2i128);
62     let _d = 0u128.checked_div(2u128);
63     assert_eq!(1u128 + 2, 3);
64
65     assert_eq!(0b100010000000000000000000000000000u128 >> 10, 0b10001000000000000000000u128);
66     assert_eq!(0xFEDCBA987654321123456789ABCDEFu128 >> 64, 0xFEDCBA98765432u128);
67     assert_eq!(0xFEDCBA987654321123456789ABCDEFu128 as i128 >> 64, 0xFEDCBA98765432i128);
68
69     let tmp = 353985398u128;
70     assert_eq!(tmp * 932490u128, 330087843781020u128);
71
72     let tmp = -0x1234_5678_9ABC_DEF0i64;
73     assert_eq!(tmp as i128, -0x1234_5678_9ABC_DEF0i128);
74
75     // Check that all u/i128 <-> float casts work correctly.
76     let houndred_u128 = 100u128;
77     let houndred_i128 = 100i128;
78     let houndred_f32 = 100.0f32;
79     let houndred_f64 = 100.0f64;
80     assert_eq!(houndred_u128 as f32, 100.0);
81     assert_eq!(houndred_u128 as f64, 100.0);
82     assert_eq!(houndred_f32 as u128, 100);
83     assert_eq!(houndred_f64 as u128, 100);
84     assert_eq!(houndred_i128 as f32, 100.0);
85     assert_eq!(houndred_i128 as f64, 100.0);
86     assert_eq!(houndred_f32 as i128, 100);
87     assert_eq!(houndred_f64 as i128, 100);
88     assert_eq!(1u128.rotate_left(2), 4);
89
90     assert_eq!(black_box(f32::NAN) as i128, 0);
91     assert_eq!(black_box(f32::NAN) as u128, 0);
92
93     // Test signed 128bit comparing
94     let max = usize::MAX as i128;
95     if 100i128 < 0i128 || 100i128 > max {
96         panic!();
97     }
98
99     test_checked_mul();
100
101     let _a = 1u32 << 2u8;
102
103     let empty: [i32; 0] = [];
104     assert!(empty.is_sorted());
105
106     println!("{:?}", std::intrinsics::caller_location());
107
108     #[cfg(target_arch = "x86_64")]
109     unsafe {
110         test_simd();
111     }
112
113     Box::pin(move |mut _task_context| {
114         yield ();
115     }).as_mut().resume(0);
116
117     #[derive(Copy, Clone)]
118     enum Nums {
119         NegOne = -1,
120     }
121
122     let kind = Nums::NegOne;
123     assert_eq!(-1i128, kind as i128);
124
125     let options = [1u128];
126     match options[0] {
127         1 => (),
128         0 => loop {},
129         v => panic(v),
130     };
131
132     if black_box(false) {
133         // Based on https://github.com/rust-lang/rust/blob/2f320a224e827b400be25966755a621779f797cc/src/test/ui/debuginfo/debuginfo_with_uninhabitable_field_and_unsized.rs
134         let _ = Foo::<dyn Send>::new();
135
136         #[allow(dead_code)]
137         struct Foo<T: ?Sized> {
138             base: Never,
139             value: T,
140         }
141
142         impl<T: ?Sized> Foo<T> {
143             pub fn new() -> Box<Foo<T>> {
144                 todo!()
145             }
146         }
147
148         enum Never {}
149     }
150 }
151
152 fn panic(_: u128) {
153     panic!();
154 }
155
156 #[cfg(target_arch = "x86_64")]
157 #[target_feature(enable = "sse2")]
158 unsafe fn test_simd() {
159     assert!(is_x86_feature_detected!("sse2"));
160
161     let x = _mm_setzero_si128();
162     let y = _mm_set1_epi16(7);
163     let or = _mm_or_si128(x, y);
164     let cmp_eq = _mm_cmpeq_epi8(y, y);
165     let cmp_lt = _mm_cmplt_epi8(y, y);
166
167     let (zero0, zero1) = std::mem::transmute::<_, (u64, u64)>(x);
168     assert_eq!((zero0, zero1), (0, 0));
169     assert_eq!(std::mem::transmute::<_, [u16; 8]>(or), [7, 7, 7, 7, 7, 7, 7, 7]);
170     assert_eq!(std::mem::transmute::<_, [u16; 8]>(cmp_eq), [0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff]);
171     assert_eq!(std::mem::transmute::<_, [u16; 8]>(cmp_lt), [0, 0, 0, 0, 0, 0, 0, 0]);
172
173     test_mm_slli_si128();
174     test_mm_movemask_epi8();
175     test_mm256_movemask_epi8();
176     test_mm_add_epi8();
177     test_mm_add_pd();
178     test_mm_cvtepi8_epi16();
179     test_mm_cvtsi128_si64();
180
181     test_mm_extract_epi8();
182     test_mm_insert_epi16();
183
184     let mask1 = _mm_movemask_epi8(dbg!(_mm_setr_epi8(255u8 as i8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)));
185     assert_eq!(mask1, 1);
186 }
187
188 #[cfg(target_arch = "x86_64")]
189 #[target_feature(enable = "sse2")]
190 unsafe fn test_mm_slli_si128() {
191     #[rustfmt::skip]
192     let a = _mm_setr_epi8(
193         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
194     );
195     let r = _mm_slli_si128(a, 1);
196     let e = _mm_setr_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
197     assert_eq_m128i(r, e);
198
199     #[rustfmt::skip]
200     let a = _mm_setr_epi8(
201         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
202     );
203     let r = _mm_slli_si128(a, 15);
204     let e = _mm_setr_epi8(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1);
205     assert_eq_m128i(r, e);
206
207     #[rustfmt::skip]
208     let a = _mm_setr_epi8(
209         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
210     );
211     let r = _mm_slli_si128(a, 16);
212     assert_eq_m128i(r, _mm_set1_epi8(0));
213 }
214
215 #[cfg(target_arch = "x86_64")]
216 #[target_feature(enable = "sse2")]
217 unsafe fn test_mm_movemask_epi8() {
218     #[rustfmt::skip]
219     let a = _mm_setr_epi8(
220         0b1000_0000u8 as i8, 0b0, 0b1000_0000u8 as i8, 0b01,
221         0b0101, 0b1111_0000u8 as i8, 0, 0,
222         0, 0, 0b1111_0000u8 as i8, 0b0101,
223         0b01, 0b1000_0000u8 as i8, 0b0, 0b1000_0000u8 as i8,
224     );
225     let r = _mm_movemask_epi8(a);
226     assert_eq!(r, 0b10100100_00100101);
227 }
228
229 #[cfg(target_arch = "x86_64")]
230 #[target_feature(enable = "avx2")]
231 unsafe fn test_mm256_movemask_epi8() {
232     let a = _mm256_set1_epi8(-1);
233     let r = _mm256_movemask_epi8(a);
234     let e = -1;
235     assert_eq!(r, e);
236 }
237
238 #[cfg(target_arch = "x86_64")]
239 #[target_feature(enable = "sse2")]
240 unsafe fn test_mm_add_epi8() {
241     let a = _mm_setr_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
242     #[rustfmt::skip]
243     let b = _mm_setr_epi8(
244         16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
245     );
246     let r = _mm_add_epi8(a, b);
247     #[rustfmt::skip]
248     let e = _mm_setr_epi8(
249         16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46,
250     );
251     assert_eq_m128i(r, e);
252 }
253
254 #[cfg(target_arch = "x86_64")]
255 #[target_feature(enable = "sse2")]
256 unsafe fn test_mm_add_pd() {
257     let a = _mm_setr_pd(1.0, 2.0);
258     let b = _mm_setr_pd(5.0, 10.0);
259     let r = _mm_add_pd(a, b);
260     assert_eq_m128d(r, _mm_setr_pd(6.0, 12.0));
261 }
262
263 #[cfg(target_arch = "x86_64")]
264 fn assert_eq_m128i(x: std::arch::x86_64::__m128i, y: std::arch::x86_64::__m128i) {
265     unsafe {
266         assert_eq!(std::mem::transmute::<_, [u8; 16]>(x), std::mem::transmute::<_, [u8; 16]>(y));
267     }
268 }
269
270 #[cfg(target_arch = "x86_64")]
271 #[target_feature(enable = "sse2")]
272 pub unsafe fn assert_eq_m128d(a: __m128d, b: __m128d) {
273     if _mm_movemask_pd(_mm_cmpeq_pd(a, b)) != 0b11 {
274         panic!("{:?} != {:?}", a, b);
275     }
276 }
277
278 #[cfg(target_arch = "x86_64")]
279 #[target_feature(enable = "sse2")]
280 unsafe fn test_mm_cvtsi128_si64() {
281     let r = _mm_cvtsi128_si64(std::mem::transmute::<[i64; 2], _>([5, 0]));
282     assert_eq!(r, 5);
283 }
284
285 #[cfg(target_arch = "x86_64")]
286 #[target_feature(enable = "sse4.1")]
287 unsafe fn test_mm_cvtepi8_epi16() {
288     let a = _mm_set1_epi8(10);
289     let r = _mm_cvtepi8_epi16(a);
290     let e = _mm_set1_epi16(10);
291     assert_eq_m128i(r, e);
292     let a = _mm_set1_epi8(-10);
293     let r = _mm_cvtepi8_epi16(a);
294     let e = _mm_set1_epi16(-10);
295     assert_eq_m128i(r, e);
296 }
297
298 #[cfg(target_arch = "x86_64")]
299 #[target_feature(enable = "sse4.1")]
300 unsafe fn test_mm_extract_epi8() {
301     #[rustfmt::skip]
302     let a = _mm_setr_epi8(
303         -1, 1, 2, 3, 4, 5, 6, 7,
304         8, 9, 10, 11, 12, 13, 14, 15
305     );
306     let r1 = _mm_extract_epi8(a, 0);
307     let r2 = _mm_extract_epi8(a, 3);
308     assert_eq!(r1, 0xFF);
309     assert_eq!(r2, 3);
310 }
311
312 #[cfg(target_arch = "x86_64")]
313 #[target_feature(enable = "sse2")]
314 unsafe fn test_mm_insert_epi16() {
315     let a = _mm_setr_epi16(0, 1, 2, 3, 4, 5, 6, 7);
316     let r = _mm_insert_epi16(a, 9, 0);
317     let e = _mm_setr_epi16(9, 1, 2, 3, 4, 5, 6, 7);
318     assert_eq_m128i(r, e);
319 }
320
321 fn test_checked_mul() {
322     let u: Option<u8> = u8::from_str_radix("1000", 10).ok();
323     assert_eq!(u, None);
324
325     assert_eq!(1u8.checked_mul(255u8), Some(255u8));
326     assert_eq!(255u8.checked_mul(255u8), None);
327     assert_eq!(1i8.checked_mul(127i8), Some(127i8));
328     assert_eq!(127i8.checked_mul(127i8), None);
329     assert_eq!((-1i8).checked_mul(-127i8), Some(127i8));
330     assert_eq!(1i8.checked_mul(-128i8), Some(-128i8));
331     assert_eq!((-128i8).checked_mul(-128i8), None);
332
333     assert_eq!(1u64.checked_mul(u64::MAX), Some(u64::MAX));
334     assert_eq!(u64::MAX.checked_mul(u64::MAX), None);
335     assert_eq!(1i64.checked_mul(i64::MAX), Some(i64::MAX));
336     assert_eq!(i64::MAX.checked_mul(i64::MAX), None);
337     assert_eq!((-1i64).checked_mul(i64::MIN + 1), Some(i64::MAX));
338     assert_eq!(1i64.checked_mul(i64::MIN), Some(i64::MIN));
339     assert_eq!(i64::MIN.checked_mul(i64::MIN), None);
340 }
341
342 #[derive(PartialEq)]
343 enum LoopState {
344     Continue(()),
345     Break(())
346 }
347
348 pub enum Instruction {
349     Increment,
350     Loop,
351 }
352
353 fn map(a: Option<(u8, Box<Instruction>)>) -> Option<Box<Instruction>> {
354     match a {
355         None => None,
356         Some((_, instr)) => Some(instr),
357     }
358 }