| /* { dg-do compile } */ |
| /* { dg-options "-Ofast -mavx512fp16" } */ |
| |
| typedef _Float16 v32hf __attribute__ ((__vector_size__ (64))); |
| |
| _Float16 |
| foo1 (_Float16 a, _Float16 b, _Float16 c) |
| { |
| return a * b + c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfmadd132sh\[^\n\r\]*xmm\[0-9\]" 1 } } */ |
| |
| _Float16 |
| foo2 (_Float16 a, _Float16 b, _Float16 c) |
| { |
| return -a * b + c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfnmadd132sh\[^\n\r\]*xmm\[0-9\]" 1 } } */ |
| |
| _Float16 |
| foo3 (_Float16 a, _Float16 b, _Float16 c) |
| { |
| return a * b - c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfmsub132sh\[^\n\r\]*xmm\[0-9\]" 1 } } */ |
| |
| _Float16 |
| foo4 (_Float16 a, _Float16 b, _Float16 c) |
| { |
| return -a * b - c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfnmsub132sh\[^\n\r\]*xmm\[0-9\]" 1 } } */ |
| |
| v32hf |
| foo5 (v32hf a, v32hf b, v32hf c) |
| { |
| return a * b + c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfmadd132ph\[^\n\r\]*zmm\[0-9\]" 1 } } */ |
| |
| v32hf |
| foo6 (v32hf a, v32hf b, v32hf c) |
| { |
| return -a * b + c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfnmadd132ph\[^\n\r\]*zmm\[0-9\]" 1 } } */ |
| |
| v32hf |
| foo7 (v32hf a, v32hf b, v32hf c) |
| { |
| return a * b - c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfmsub132ph\[^\n\r\]*zmm\[0-9\]" 1 } } */ |
| |
| v32hf |
| foo8 (v32hf a, v32hf b, v32hf c) |
| { |
| return -a * b - c; |
| } |
| |
| /* { dg-final { scan-assembler-times "vfnmsub132ph\[^\n\r\]*zmm\[0-9\]" 1 } } */ |
| |
