Lines Matching refs:Verify

4 ; Verify that the first two adds are independent regardless of how the inputs are
87 ; Verify that we reassociate some of these ops. The optimal balanced tree of adds is not
122 ; Verify that we only need two associative operations to reassociate the operands.
147 ; Verify that SSE and AVX scalar single-precision multiplies are reassociated.
169 ; Verify that SSE and AVX scalar double-precision adds are reassociated.
191 ; Verify that SSE and AVX scalar double-precision multiplies are reassociated.
213 ; Verify that SSE and AVX 128-bit vector single-precision adds are reassociated.
235 ; Verify that SSE and AVX 128-bit vector double-precision adds are reassociated.
257 ; Verify that SSE and AVX 128-bit vector single-precision multiplies are reassociated.
279 ; Verify that SSE and AVX 128-bit vector double-precision multiplies are reassociated.
301 ; Verify that AVX 256-bit vector single-precision adds are reassociated.
316 ; Verify that AVX 256-bit vector double-precision adds are reassociated.
331 ; Verify that AVX 256-bit vector single-precision multiplies are reassociated.
346 ; Verify that AVX 256-bit vector double-precision multiplies are reassociated.
361 ; Verify that SSE and AVX scalar single-precision minimum ops are reassociated.
385 ; Verify that SSE and AVX scalar single-precision maximum ops are reassociated.
409 ; Verify that SSE and AVX scalar double-precision minimum ops are reassociated.
433 ; Verify that SSE and AVX scalar double-precision maximum ops are reassociated.
457 ; Verify that SSE and AVX 128-bit vector single-precision minimum ops are reassociated.
481 ; Verify that SSE and AVX 128-bit vector single-precision maximum ops are reassociated.
505 ; Verify that SSE and AVX 128-bit vector double-precision minimum ops are reassociated.
529 ; Verify that SSE and AVX 128-bit vector double-precision maximum ops are reassociated.
553 ; Verify that AVX 256-bit vector single-precision minimum ops are reassociated.
570 ; Verify that AVX 256-bit vector single-precision maximum ops are reassociated.
587 ; Verify that AVX 256-bit vector double-precision minimum ops are reassociated.
604 ; Verify that AVX 256-bit vector double-precision maximum ops are reassociated.
622 ; Verify that reassociation is not happening needlessly or wrongly.