diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2022-11-04 15:12:22 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2022-11-06 15:56:52 +0800 |
| commit | 3628025ac604cf76a3fa30ffcc5899f01d3ffee4 (patch) | |
| tree | 047eb5219aa588b217cbbf85d48e11e6e5fe1e1b | |
| parent | 07b0096e5b6749d88f5a22f694401abd6aaca551 (diff) | |
| download | gcc-3628025ac604cf76a3fa30ffcc5899f01d3ffee4.zip gcc-3628025ac604cf76a3fa30ffcc5899f01d3ffee4.tar.gz gcc-3628025ac604cf76a3fa30ffcc5899f01d3ffee4.tar.bz2 | |
LoongArch: Add fcopysign instructions
Add fcopysign.{s,d} with the names copysign{sf,df}3 so GCC will expand
__builtin_copysign{f,} to a single instruction.
Link: https://sourceware.org/pipermail/libc-alpha/2022-November/143177.html
gcc/ChangeLog:
* config/loongarch/loongarch.md (UNSPEC_FCOPYSIGN): New unspec.
(type): Add fcopysign.
(copysign<mode>3): New instruction template.
gcc/testsuite/ChangeLog:
* gcc.target/loongarch/fcopysign.c: New test.
| -rw-r--r-- | gcc/config/loongarch/loongarch.md | 22 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/loongarch/fcopysign.c | 16 |
2 files changed, 37 insertions, 1 deletions
diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md index 214b14b..bda34d0 100644 --- a/gcc/config/loongarch/loongarch.md +++ b/gcc/config/loongarch/loongarch.md @@ -37,6 +37,7 @@ UNSPEC_FCLASS UNSPEC_FMAX UNSPEC_FMIN + UNSPEC_FCOPYSIGN ;; Override return address for exception handling. UNSPEC_EH_RETURN @@ -214,6 +215,7 @@ ;; fabs floating point absolute value ;; fneg floating point negation ;; fcmp floating point compare +;; fcopysign floating point copysign ;; fcvt floating point convert ;; fsqrt floating point square root ;; frsqrt floating point reciprocal square root @@ -226,7 +228,7 @@ "unknown,branch,jump,call,load,fpload,fpidxload,store,fpstore,fpidxstore, prefetch,prefetchx,condmove,mgtf,mftg,const,arith,logical, shift,slt,signext,clz,trap,imul,idiv,move, - fmove,fadd,fmul,fmadd,fdiv,frdiv,fabs,fneg,fcmp,fcvt,fsqrt, + fmove,fadd,fmul,fmadd,fdiv,frdiv,fabs,fneg,fcmp,fcopysign,fcvt,fsqrt, frsqrt,accext,accmod,multi,atomic,syncloop,nop,ghost" (cond [(eq_attr "jirl" "!unset") (const_string "call") (eq_attr "got" "load") (const_string "load") @@ -976,6 +978,24 @@ (set_attr "mode" "<UNITMODE>")]) ;; +;; .................... +;; +;; FLOATING POINT COPYSIGN +;; +;; .................... + +(define_insn "copysign<mode>3" + [(set (match_operand:ANYF 0 "register_operand" "=f") + (unspec:ANYF [(match_operand:ANYF 1 "register_operand" "f") + (match_operand:ANYF 2 "register_operand" "f")] + UNSPEC_FCOPYSIGN))] + "TARGET_HARD_FLOAT" + "fcopysign.<fmt>\t%0,%1,%2" + [(set_attr "type" "fcopysign") + (set_attr "mode" "<UNITMODE>")]) + + +;; ;; ................... ;; ;; Count leading zeroes. diff --git a/gcc/testsuite/gcc.target/loongarch/fcopysign.c b/gcc/testsuite/gcc.target/loongarch/fcopysign.c new file mode 100644 index 0000000..058ba2c --- /dev/null +++ b/gcc/testsuite/gcc.target/loongarch/fcopysign.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-mdouble-float" } */ +/* { dg-final { scan-assembler "fcopysign\\.s" } } */ +/* { dg-final { scan-assembler "fcopysign\\.d" } } */ + +double +my_copysign (double a, double b) +{ + return __builtin_copysign (a, b); +} + +float +my_copysignf (float a, float b) +{ + return __builtin_copysignf (a, b); +} |