diff options
| author | Jennifer Schmitz <jschmitz@nvidia.com> | 2024-07-10 12:54:01 +0530 |
|---|---|---|
| committer | Kyrylo Tkachov <ktkachov@nvidia.com> | 2024-07-10 12:54:01 +0530 |
| commit | 1ae5fc24e86ecc9e7b60346d9ca2e56f83517bda (patch) | |
| tree | d8fd6cb06861d679796267666a767e169486ecb1 /gcc | |
| parent | 6fce4664d4a2e44843bd1464930696c819906d0f (diff) | |
| download | gcc-1ae5fc24e86ecc9e7b60346d9ca2e56f83517bda.zip gcc-1ae5fc24e86ecc9e7b60346d9ca2e56f83517bda.tar.gz gcc-1ae5fc24e86ecc9e7b60346d9ca2e56f83517bda.tar.bz2 | |
testsuite: Tests the pattern folding x/sqrt(x) to sqrt(x) for Float16
As a follow-up to adding a pattern that folds x/sqrt(x) to sqrt(x) in match.pd, this patch adds a test case for type Float16 for armv8.2-a+fp16.
The patch was bootstrapped and regtested on aarch64-linux-gnu, no regression.
Signed-off-by: Jennifer Schmitz <jschmitz@nvidia.com>
gcc/testsuite/
* gcc.target/aarch64/sqrt_div_float16.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.target/aarch64/sqrt_div_float16.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/aarch64/sqrt_div_float16.c b/gcc/testsuite/gcc.target/aarch64/sqrt_div_float16.c new file mode 100644 index 0000000..c4f297e --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sqrt_div_float16.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ffast-math -fdump-tree-forwprop-details" } */ +/* { dg-require-effective-target c99_runtime } */ + +#pragma GCC target ("arch=armv8.2-a+fp16") + +_Float16 f (_Float16 x) +{ + _Float16 t1 = __builtin_sqrt (x); + _Float16 t2 = x / t1; + return t2; +} + +/* { dg-final { scan-tree-dump "gimple_simplified to t2_\[0-9\]+ = .SQRT .x_\[0-9\]*.D.." "forwprop1" } } */ |