| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-ccp1" } */ |
| |
| typedef double v2df __attribute__ ((vector_size (2 * sizeof (double)))); |
| |
| void do_div (v2df *a, v2df *b) |
| { |
| *a = *b / (v2df) { 2.0, 2.0 }; |
| } |
| |
| /* Since 2.0 has an exact reciprocal, constant folding should multiply *b |
| by the reciprocals of the vector elements. As a result there should be |
| one vector multiply and zero divides in the optimized code. The fold |
| does not take place for generic vectors until the first CCP pass. The |
| string " * " occurs 3 times: one multiply and two indirect parameters. */ |
| |
| /* { dg-final { scan-tree-dump-times " \\\* " 3 "ccp1" } } */ |
| /* { dg-final { scan-tree-dump-times " / " 0 "ccp1" } } */ |
