Lines Matching defs:f4
1758 val (f4,r4) =
1761 ( process_float_flags[f1,f2,f3,f4]
1848 val (f4,r4) =
1851 ( process_float_flags[f1,f2,f3,f4]
1949 val (f4,d4) = sse_from_int32 32 (mode,BitsN.bits(31,0) x)
1951 ( process_float_flags[(false,f1),(false,f2),(false,f3),(false,f4)]
2004 val (f4,w4) = sse_to_int32 32 (mode,BitsN.bits(31,0) x)
2006 ( process_float_flags[(false,f1),(false,f2),(false,f3),(false,f4)]
2402 val (f4,r4) = sse_sqrt32(BitsN.bits(31,0) x)
2404 ( process_float_flags[f1,f2,f3,f4]