diff --git a/gcc/testsuite/gcc.target/avr/pr114981-powil.c b/gcc/testsuite/gcc.target/avr/pr114981-powil.c new file mode 100644 index 0000000000000000000000000000000000000000..70f8e796c6547ba43f79d36296bb2d13088e0ef1 --- /dev/null +++ b/gcc/testsuite/gcc.target/avr/pr114981-powil.c @@ -0,0 +1,33 @@ +/* { dg-do run { target { ! avr_tiny } } } */ +/* { dg-additional-options "-Os" } */ + +const long double vals[] = + { + 0.0625L, -0.125L, 0.25L, -0.5L, + 1.0L, + -2.0L, 4.0L, -8.0L, 16.0L + }; + +#define ARRAY_SIZE(X) ((int) (sizeof(X) / sizeof(*X))) + +__attribute__((noinline,noclone)) +void test1 (long double x) +{ + int i; + + for (i = 0; i < ARRAY_SIZE (vals); ++i) + { + long double val0 = vals[i]; + long double val1 = __builtin_powil (x, i - 4); + __asm ("" : "+r" (val0)); + + if (val0 != val1) + __builtin_exit (__LINE__); + } +} + +int main (void) +{ + test1 (-2.0L); + return 0; +} diff --git a/libgcc/config/avr/libf7/libf7-asm.sx b/libgcc/config/avr/libf7/libf7-asm.sx index 1ab91270cb2b24236f74061e1e79e710315f0e77..1f8f60ab2826de85d6252231e260b9a494944ab9 100644 --- a/libgcc/config/avr/libf7/libf7-asm.sx +++ b/libgcc/config/avr/libf7/libf7-asm.sx @@ -1877,4 +1877,16 @@ ENDF call_ddd #include "f7-wraps.h" +;;; Some additional, singular wraps that don't match any pattern. + +;; double __powidf2 (double, int) ; __builtin_powi +#ifdef F7MOD_D_powi_ +_DEFUN __powidf2 + .global F7_NAME(powi) + ldi ZH, hi8(gs(F7_NAME(powi))) + ldi ZL, lo8(gs(F7_NAME(powi))) + F7jmp call_ddx +_ENDF __powidf2 +#endif /* F7MOD_D_powi_ */ + #endif /* !AVR_TINY */ diff --git a/libgcc/config/avr/libf7/libf7-common.mk b/libgcc/config/avr/libf7/libf7-common.mk index d541b48ff3ca095d922cc07e2d90000d131a3ddb..5d411071c8e485bdeff62a61ceaeea3793182939 100644 --- a/libgcc/config/avr/libf7/libf7-common.mk +++ b/libgcc/config/avr/libf7/libf7-common.mk @@ -22,7 +22,7 @@ F7_ASM_PARTS += addsub_mant_scaled store load F7_ASM_PARTS += to_integer to_unsigned clz normalize_with_carry normalize F7_ASM_PARTS += store_expo sqrt16 sqrt_approx div -F7_ASM_PARTS += D_class D_fma +F7_ASM_PARTS += D_class D_fma D_powi F7_ASM_PARTS += D_isnan D_isinf D_isfinite D_signbit D_copysign D_neg D_fabs F7_ASM_PARTS += call_dd call_ddd diff --git a/libgcc/config/avr/libf7/libf7.c b/libgcc/config/avr/libf7/libf7.c index 369dbe241039f1b31256a6809f1a919a2e91e367..375becb854c1d3d2f7ea0a55aa13c7aea134ecad 100644 --- a/libgcc/config/avr/libf7/libf7.c +++ b/libgcc/config/avr/libf7/libf7.c @@ -1752,20 +1752,33 @@ void f7_powi (f7_t *cc, const f7_t *aa, int ii) { uint16_t u16 = ii; f7_t xx27, *xx2 = &xx27; + bool cc_is_one = true; + bool expo_is_neg = false; if (ii < 0) - u16 = -u16; + { + u16 = -u16; + expo_is_neg = true; + } f7_copy (xx2, aa); - f7_set_u16 (cc, 1); - while (1) { if (u16 & 1) - f7_Imul (cc, xx2); + { + if (cc_is_one) + { + // C *= X2 simplifies to C = X2. + f7_copy (cc, xx2); + cc_is_one = false; + } + else + f7_Imul (cc, xx2); + } - if (! f7_is_nonzero (cc)) + if (! cc_is_one + && ! f7_is_nonzero (cc)) break; u16 >>= 1; @@ -1774,8 +1787,10 @@ void f7_powi (f7_t *cc, const f7_t *aa, int ii) f7_Isquare (xx2); } - if (ii < 0) - f7_div1 (xx2, aa); + if (cc_is_one) + f7_set_u16 (cc, 1); + else if (expo_is_neg) + f7_div1 (cc, cc); } #endif // F7MOD_powi_