Rollup merge of #125498 - zmodem:avx512er, r=workingjubilee · model-checking/verify-rust-std@d6812d5 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -121,10 +121,8 @@ fn x86_all() {
121	121	println!("avx512bw: {:?}", is_x86_feature_detected!("avx512bw"));
122	122	println!("avx512cd: {:?}", is_x86_feature_detected!("avx512cd"));
123	123	println!("avx512dq: {:?}", is_x86_feature_detected!("avx512dq"));
124		-println!("avx512er: {:?}", is_x86_feature_detected!("avx512er"));
125	124	println!("avx512f: {:?}", is_x86_feature_detected!("avx512f"));
126	125	println!("avx512ifma: {:?}", is_x86_feature_detected!("avx512ifma"));
127		-println!("avx512pf: {:?}", is_x86_feature_detected!("avx512pf"));
128	126	println!("avx512vbmi2: {:?}", is_x86_feature_detected!("avx512vbmi2"));
129	127	println!("avx512vbmi: {:?}", is_x86_feature_detected!("avx512vbmi"));
130	128	println!("avx512vl: {:?}", is_x86_feature_detected!("avx512vl"));