Lines Matching defs:f3
1756 val (f3,r3) =
1761 ( process_float_flags[f1,f2,f3,f4]
1846 val (f3,r3) =
1851 ( process_float_flags[f1,f2,f3,f4]
1948 val (f3,d3) = sse_from_int32 32 (mode,BitsN.bits(63,32) x)
1951 ( process_float_flags[(false,f1),(false,f2),(false,f3),(false,f4)]
2003 val (f3,w3) = sse_to_int32 32 (mode,BitsN.bits(63,32) x)
2006 ( process_float_flags[(false,f1),(false,f2),(false,f3),(false,f4)]
2401 val (f3,r3) = sse_sqrt32(BitsN.bits(63,32) x)
2404 ( process_float_flags[f1,f2,f3,f4]