Alex Crichton 708cc9d9b8 Rename bmi to bmi1 ... In accordance with rust-lang/rust#48565		2018-03-02 07:02:22 -08:00
..
stdarch	Rename bmi to bmi1	2018-03-02 07:02:22 -08:00