blob: db6d2017a737af209d82e0f92487b42345f44afc [file] [log] [blame]
f32.demote_f32