rp.f64.f64.f64.f16.f16.f16.satfi16.f32.f16.satfi16.f16.f32.satfi16.f32.f32.satfi6.f16.f16.satfin6.f32.f16.satfin6.f16.f32.satfin6.f32.f32.satfin32.satfinite
		{6.s32.s8.s8.s32.6.s32.u8.u8.s32., %is_explicit_c