Projects
Mega:23.03
gcc
_service:tar_scm:0070-Backport-aarch64-Fix-subs...
Sign Up
Log In
Username
Password
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File _service:tar_scm:0070-Backport-aarch64-Fix-subs_compare_2.c-regression-PR1.patch of Package gcc
From f6b6948de1d836b594ad388388b7121dd7a702cb Mon Sep 17 00:00:00 2001 From: Richard Sandiford <richard.sandiford@arm.com> Date: Tue, 15 Feb 2022 18:09:35 +0000 Subject: [PATCH 22/35] [Backport] aarch64: Fix subs_compare_2.c regression [PR100874] MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reference: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=8e84b2b37a541b27feea69769fc314d534464ebd subs_compare_2.c tests that we can use a SUBS+CSEL sequence for: unsigned int foo (unsigned int a, unsigned int b) { unsigned int x = a - 4; if (a < 4) return x; else return 0; } As Andrew notes in the PR, this is effectively MIN (x, 4) - 4, and it is now recognised as such by phiopt. Previously it was if-converted in RTL instead. I tried to look for ways to generalise this to other situations and to other ?:-style operations, not just max and min. However, for general ?: we tend to push an outer “- CST” into the arms of the ?: -- at least if one of them simplifies -- so I didn't find any useful abstraction. This patch therefore adds a pattern specifically for max/min(a,cst)-cst. I'm not thrilled at having to do this, but it seems like the least worst fix in the circumstances. Also, max(a,cst)-cst for unsigned a is a useful saturating subtraction idiom and so is arguably worth its own code for that reason. gcc/ PR target/100874 * config/aarch64/aarch64-protos.h (aarch64_maxmin_plus_const): Declare. * config/aarch64/aarch64.cc (aarch64_maxmin_plus_const): New function. * config/aarch64/aarch64.md (*aarch64_minmax_plus): New pattern. gcc/testsuite/ * gcc.target/aarch64/max_plus_1.c: New test. * gcc.target/aarch64/max_plus_2.c: Likewise. * gcc.target/aarch64/max_plus_3.c: Likewise. * gcc.target/aarch64/max_plus_4.c: Likewise. * gcc.target/aarch64/max_plus_5.c: Likewise. * gcc.target/aarch64/max_plus_6.c: Likewise. * gcc.target/aarch64/max_plus_7.c: Likewise. * gcc.target/aarch64/min_plus_1.c: Likewise. * gcc.target/aarch64/min_plus_2.c: Likewise. * gcc.target/aarch64/min_plus_3.c: Likewise. * gcc.target/aarch64/min_plus_4.c: Likewise. * gcc.target/aarch64/min_plus_5.c: Likewise. * gcc.target/aarch64/min_plus_6.c: Likewise. * gcc.target/aarch64/min_plus_7.c: Likewise. --- gcc/config/aarch64/aarch64-protos.h | 1 + gcc/config/aarch64/aarch64.c | 104 ++++++++++++ gcc/config/aarch64/aarch64.md | 27 ++++ gcc/testsuite/gcc.target/aarch64/max_plus_1.c | 149 ++++++++++++++++++ gcc/testsuite/gcc.target/aarch64/max_plus_2.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/max_plus_3.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/max_plus_4.c | 30 ++++ gcc/testsuite/gcc.target/aarch64/max_plus_5.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/max_plus_6.c | 9 ++ gcc/testsuite/gcc.target/aarch64/max_plus_7.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/min_plus_1.c | 149 ++++++++++++++++++ gcc/testsuite/gcc.target/aarch64/min_plus_2.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/min_plus_3.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/min_plus_4.c | 30 ++++ gcc/testsuite/gcc.target/aarch64/min_plus_5.c | 35 ++++ gcc/testsuite/gcc.target/aarch64/min_plus_6.c | 9 ++ gcc/testsuite/gcc.target/aarch64/min_plus_7.c | 35 ++++ 17 files changed, 788 insertions(+) create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_2.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_3.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_4.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_5.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_6.c create mode 100644 gcc/testsuite/gcc.target/aarch64/max_plus_7.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_2.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_3.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_4.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_5.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_6.c create mode 100644 gcc/testsuite/gcc.target/aarch64/min_plus_7.c diff --git a/gcc/config/aarch64/aarch64-protos.h b/gcc/config/aarch64/aarch64-protos.h index 226f3a8ff..9b6d309a7 100644 --- a/gcc/config/aarch64/aarch64-protos.h +++ b/gcc/config/aarch64/aarch64-protos.h @@ -696,6 +696,7 @@ bool aarch64_legitimate_address_p (machine_mode, rtx, bool, aarch64_addr_query_type = ADDR_QUERY_M); machine_mode aarch64_select_cc_mode (RTX_CODE, rtx, rtx); rtx aarch64_gen_compare_reg (RTX_CODE, rtx, rtx); +bool aarch64_maxmin_plus_const (rtx_code, rtx *, bool); rtx aarch64_load_tp (rtx); void aarch64_expand_compare_and_swap (rtx op[]); diff --git a/gcc/config/aarch64/aarch64.c b/gcc/config/aarch64/aarch64.c index f78942b04..85dbd3898 100644 --- a/gcc/config/aarch64/aarch64.c +++ b/gcc/config/aarch64/aarch64.c @@ -3038,6 +3038,110 @@ aarch64_gen_compare_reg_maybe_ze (RTX_CODE code, rtx x, rtx y, return aarch64_gen_compare_reg (code, x, y); } +/* Consider the operation: + + OPERANDS[0] = CODE (OPERANDS[1], OPERANDS[2]) + OPERANDS[3] + + where: + + - CODE is [SU]MAX or [SU]MIN + - OPERANDS[2] and OPERANDS[3] are constant integers + - OPERANDS[3] is a positive or negative shifted 12-bit immediate + - all operands have mode MODE + + Decide whether it is possible to implement the operation using: + + SUBS <tmp>, OPERANDS[1], -OPERANDS[3] + or + ADDS <tmp>, OPERANDS[1], OPERANDS[3] + + followed by: + + <insn> OPERANDS[0], <tmp>, [wx]zr, <cond> + + where <insn> is one of CSEL, CSINV or CSINC. Return true if so. + If GENERATE_P is true, also update OPERANDS as follows: + + OPERANDS[4] = -OPERANDS[3] + OPERANDS[5] = the rtl condition representing <cond> + OPERANDS[6] = <tmp> + OPERANDS[7] = 0 for CSEL, -1 for CSINV or 1 for CSINC. */ +bool +aarch64_maxmin_plus_const (rtx_code code, rtx *operands, bool generate_p) +{ + signop sgn = (code == UMAX || code == UMIN ? UNSIGNED : SIGNED); + rtx dst = operands[0]; + rtx maxmin_op = operands[2]; + rtx add_op = operands[3]; + machine_mode mode = GET_MODE (dst); + + /* max (x, y) - z == (x >= y + 1 ? x : y) - z + == (x >= y ? x : y) - z + == (x > y ? x : y) - z + == (x > y - 1 ? x : y) - z + + min (x, y) - z == (x <= y - 1 ? x : y) - z + == (x <= y ? x : y) - z + == (x < y ? x : y) - z + == (x < y + 1 ? x : y) - z + + Check whether z is in { y - 1, y, y + 1 } and pick the form(s) for + which x is compared with z. Set DIFF to y - z. Thus the supported + combinations are as follows, with DIFF being the value after the ":": + + max (x, y) - z == x >= y + 1 ? x - (y + 1) : -1 [z == y + 1] + == x >= y ? x - y : 0 [z == y] + == x > y ? x - y : 0 [z == y] + == x > y - 1 ? x - (y - 1) : 1 [z == y - 1] + + min (x, y) - z == x <= y - 1 ? x - (y - 1) : 1 [z == y - 1] + == x <= y ? x - y : 0 [z == y] + == x < y ? x - y : 0 [z == y] + == x < y + 1 ? x - (y + 1) : -1 [z == y + 1]. */ + auto maxmin_val = rtx_mode_t (maxmin_op, mode); + auto add_val = rtx_mode_t (add_op, mode); + auto sub_val = wi::neg (add_val); + auto diff = wi::sub (maxmin_val, sub_val); + if (!(diff == 0 + || (diff == 1 && wi::gt_p (maxmin_val, sub_val, sgn)) + || (diff == -1 && wi::lt_p (maxmin_val, sub_val, sgn)))) + return false; + + if (!generate_p) + return true; + + rtx_code cmp; + switch (code) + { + case SMAX: + cmp = diff == 1 ? GT : GE; + break; + case UMAX: + cmp = diff == 1 ? GTU : GEU; + break; + case SMIN: + cmp = diff == -1 ? LT : LE; + break; + case UMIN: + cmp = diff == -1 ? LTU : LEU; + break; + default: + gcc_unreachable (); + } + rtx cc = gen_rtx_REG (CCmode, CC_REGNUM); + + operands[4] = immed_wide_int_const (sub_val, mode); + operands[5] = gen_rtx_fmt_ee (cmp, VOIDmode, cc, const0_rtx); + if (can_create_pseudo_p ()) + operands[6] = gen_reg_rtx (mode); + else + operands[6] = dst; + operands[7] = immed_wide_int_const (diff, mode); + + return true; +} + + /* Build the SYMBOL_REF for __tls_get_addr. */ static GTY(()) rtx tls_get_addr_libfunc; diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index ee80261f1..7c2562f49 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -4499,6 +4499,33 @@ } ) +;; Implement MAX/MIN (A, B) - C using SUBS/ADDS followed by CSEL/CSINV/CSINC. +;; See aarch64_maxmin_plus_const for details about the supported cases. +(define_insn_and_split "*aarch64_minmax_plus" + [(set (match_operand:GPI 0 "register_operand" "=r") + (plus:GPI + (MAXMIN:GPI + (match_operand:GPI 1 "register_operand" "r") + (match_operand:GPI 2 "const_int_operand")) + (match_operand:GPI 3 "aarch64_plus_immediate"))) + (clobber (reg:CC CC_REGNUM))] + "aarch64_maxmin_plus_const (<CODE>, operands, false)" + "#" + "&& 1" + [(parallel + [(set (reg:CC CC_REGNUM) + (compare:CC (match_dup 1) (match_dup 4))) + (set (match_dup 6) + (plus:GPI (match_dup 1) (match_dup 3)))]) + (set (match_dup 0) + (if_then_else:GPI (match_dup 5) (match_dup 6) (match_dup 7)))] + { + if (!aarch64_maxmin_plus_const (<CODE>, operands, true)) + gcc_unreachable (); + } + [(set_attr "length" "8")] +) + ;; ------------------------------------------------------------------- ;; Logical operations ;; ------------------------------------------------------------------- diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_1.c b/gcc/testsuite/gcc.target/aarch64/max_plus_1.c new file mode 100644 index 000000000..ef336aeec --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_1.c @@ -0,0 +1,149 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (w[0-9]+), w0, #4 +** csel w0, \1, wzr, g[te] +** ret +*/ +/* +** f2: +** adds (w[0-9]+), w0, #4 +** csel w0, \1, wzr, g[te] +** ret +*/ +/* +** f3: +** adds (w[0-9]+), w0, #5 +** csinc w0, \1, wzr, gt +** ret +*/ +/* +** f4: +** adds (w[0-9]+), w0, #3 +** csinv w0, \1, wzr, ge +** ret +*/ + +#ifndef TYPE +#define TYPE int32_t +#define TYPE_MIN INT32_MIN +#define TYPE_MAX INT32_MAX +#define VALUE -4 +#endif + +#include <stdint.h> + +TYPE __attribute__((noipa)) +f1 (TYPE x) +{ + return (x > VALUE ? x - VALUE : 0); +} + +TYPE __attribute__((noipa)) +f2 (TYPE x) +{ + return (x > VALUE ? x : VALUE) - VALUE; +} + +TYPE __attribute__((noipa)) +f3 (TYPE x) +{ + return (x > VALUE ? x : VALUE) - (VALUE - 1); +} + +TYPE __attribute__((noipa)) +f4 (TYPE x) +{ + return (x > VALUE ? x : VALUE) - (VALUE + 1); +} + +TYPE __attribute__((noipa)) +f5 (TYPE x) +{ + return (x > VALUE ? x : VALUE) - (VALUE + 2); +} + +TYPE __attribute__((noipa)) +f6 (TYPE x) +{ + return (x > VALUE ? x : VALUE) - (VALUE - 2); +} + +int +main (void) +{ + TYPE max_test = TYPE_MAX; + if (TYPE_MIN < 0 && VALUE < 0) + max_test += VALUE; + + if (f1 (TYPE_MIN) != 0) + __builtin_abort (); + if (f1 (VALUE - 1) != 0) + __builtin_abort (); + if (f1 (VALUE) != 0) + __builtin_abort (); + if (f1 (VALUE + 1) != 1) + __builtin_abort (); + if (f1 (max_test) != max_test - VALUE) + __builtin_abort (); + + if (f2 (TYPE_MIN) != 0) + __builtin_abort (); + if (f2 (VALUE - 1) != 0) + __builtin_abort (); + if (f2 (VALUE) != 0) + __builtin_abort (); + if (f2 (VALUE + 1) != 1) + __builtin_abort (); + if (f2 (max_test) != max_test - VALUE) + __builtin_abort (); + + if (f3 (TYPE_MIN) != 1) + __builtin_abort (); + if (f3 (VALUE - 1) != 1) + __builtin_abort (); + if (f3 (VALUE) != 1) + __builtin_abort (); + if (f3 (VALUE + 1) != 2) + __builtin_abort (); + if (f3 (max_test - 1) != max_test - VALUE) + __builtin_abort (); + + if (f4 (TYPE_MIN) != -1) + __builtin_abort (); + if (f4 (VALUE - 1) != -1) + __builtin_abort (); + if (f4 (VALUE) != -1) + __builtin_abort (); + if (f4 (VALUE + 1) != 0) + __builtin_abort (); + if (f4 (max_test) != max_test - VALUE - 1) + __builtin_abort (); + + if (f5 (TYPE_MIN) != -2) + __builtin_abort (); + if (f5 (VALUE - 1) != -2) + __builtin_abort (); + if (f5 (VALUE) != -2) + __builtin_abort (); + if (f5 (VALUE + 1) != -1) + __builtin_abort (); + if (f5 (max_test) != max_test - VALUE - 2) + __builtin_abort (); + + if (f6 (TYPE_MIN) != 2) + __builtin_abort (); + if (f6 (VALUE - 1) != 2) + __builtin_abort (); + if (f6 (VALUE) != 2) + __builtin_abort (); + if (f6 (VALUE + 1) != 3) + __builtin_abort (); + if (VALUE <= max_test - 2 && f6 (max_test - 2) != max_test - VALUE) + __builtin_abort (); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_2.c b/gcc/testsuite/gcc.target/aarch64/max_plus_2.c new file mode 100644 index 000000000..a2a1295d9 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_2.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (x[0-9]+), x0, #4094 +** csel x0, \1, xzr, g[te] +** ret +*/ +/* +** f2: +** adds (x[0-9]+), x0, #4094 +** csel x0, \1, xzr, g[te] +** ret +*/ +/* +** f3: +** adds (x[0-9]+), x0, #4095 +** csinc x0, \1, xzr, gt +** ret +*/ +/* +** f4: +** adds (x[0-9]+), x0, #4093 +** csinv x0, \1, xzr, ge +** ret +*/ + +#define TYPE int64_t +#define TYPE_MIN INT64_MIN +#define TYPE_MAX INT64_MAX +#define VALUE -4094 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_3.c b/gcc/testsuite/gcc.target/aarch64/max_plus_3.c new file mode 100644 index 000000000..a9792ecc9 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_3.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (w[0-9]+), w0, #4095 +** csel w0, \1, wzr, g[te] +** ret +*/ +/* +** f2: +** adds (w[0-9]+), w0, #4095 +** csel w0, \1, wzr, g[te] +** ret +*/ +/* +** f3: +** adds (w[0-9]+), w0, #4096 +** csinc w0, \1, wzr, gt +** ret +*/ +/* +** f4: +** adds (w[0-9]+), w0, #4094 +** csinv w0, \1, wzr, ge +** ret +*/ + +#define TYPE int32_t +#define TYPE_MIN INT32_MIN +#define TYPE_MAX INT32_MAX +#define VALUE -4095 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_4.c b/gcc/testsuite/gcc.target/aarch64/max_plus_4.c new file mode 100644 index 000000000..5090fa101 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_4.c @@ -0,0 +1,30 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (x[0-9]+), x0, #4096 +** csel x0, \1, xzr, g[te] +** ret +*/ +/* +** f2: +** adds (x[0-9]+), x0, #4096 +** csel x0, \1, xzr, g[te] +** ret +*/ +/* f3 out of range */ +/* +** f4: +** adds (x[0-9]+), x0, #4095 +** csinv x0, \1, xzr, ge +** ret +*/ + +#define TYPE int64_t +#define TYPE_MIN INT64_MIN +#define TYPE_MAX INT64_MAX +#define VALUE -4096 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_5.c b/gcc/testsuite/gcc.target/aarch64/max_plus_5.c new file mode 100644 index 000000000..63f3b3442 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_5.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (w[0-9]+), w0, #4095 +** csel w0, \1, wzr, (cs|hi) +** ret +*/ +/* +** f2: +** adds (w[0-9]+), w0, #4095 +** csel w0, \1, wzr, (cs|hi) +** ret +*/ +/* +** f3: +** adds (w[0-9]+), w0, #4096 +** csinc w0, \1, wzr, hi +** ret +*/ +/* +** f4: +** adds (w[0-9]+), w0, #4094 +** csinv w0, \1, wzr, cs +** ret +*/ + +#define TYPE uint32_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT32_MAX +#define VALUE (uint32_t)-4095 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_6.c b/gcc/testsuite/gcc.target/aarch64/max_plus_6.c new file mode 100644 index 000000000..ad592c690 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_6.c @@ -0,0 +1,9 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ + +#define TYPE uint64_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT64_MAX +#define VALUE (uint64_t)-2 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/max_plus_7.c b/gcc/testsuite/gcc.target/aarch64/max_plus_7.c new file mode 100644 index 000000000..ac9f27dec --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/max_plus_7.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** adds (x[0-9]+), x0, #3 +** csel x0, \1, xzr, (cs|hi) +** ret +*/ +/* +** f2: +** adds (x[0-9]+), x0, #3 +** csel x0, \1, xzr, (cs|hi) +** ret +*/ +/* +** f3: +** adds (x[0-9]+), x0, #4 +** csinc x0, \1, xzr, hi +** ret +*/ +/* +** f4: +** adds (x[0-9]+), x0, #2 +** csinv x0, \1, xzr, cs +** ret +*/ + +#define TYPE uint64_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT64_MAX +#define VALUE (uint64_t)-3 + +#include "max_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_1.c b/gcc/testsuite/gcc.target/aarch64/min_plus_1.c new file mode 100644 index 000000000..f4c9106df --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_1.c @@ -0,0 +1,149 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (w[0-9]+), w0, #?4 +** csel w0, \1, wzr, l[te] +** ret +*/ +/* +** f2: +** subs (w[0-9]+), w0, #?4 +** csel w0, \1, wzr, l[te] +** ret +*/ +/* +** f3: +** subs (w[0-9]+), w0, #?3 +** csinc w0, \1, wzr, le +** ret +*/ +/* +** f4: +** subs (w[0-9]+), w0, #?5 +** csinv w0, \1, wzr, lt +** ret +*/ + +#ifndef TYPE +#define TYPE int32_t +#define TYPE_MIN INT32_MIN +#define TYPE_MAX INT32_MAX +#define VALUE 4 +#endif + +#include <stdint.h> + +TYPE __attribute__((noipa)) +f1 (TYPE x) +{ + return (x < VALUE ? x - VALUE : 0); +} + +TYPE __attribute__((noipa)) +f2 (TYPE x) +{ + return (x < VALUE ? x : VALUE) - VALUE; +} + +TYPE __attribute__((noipa)) +f3 (TYPE x) +{ + return (x < VALUE ? x : VALUE) - (VALUE - 1); +} + +TYPE __attribute__((noipa)) +f4 (TYPE x) +{ + return (x < VALUE ? x : VALUE) - (VALUE + 1); +} + +TYPE __attribute__((noipa)) +f5 (TYPE x) +{ + return (x < VALUE ? x : VALUE) - (VALUE + 2); +} + +TYPE __attribute__((noipa)) +f6 (TYPE x) +{ + return (x < VALUE ? x : VALUE) - (VALUE - 2); +} + +int +main (void) +{ + TYPE min_test = TYPE_MIN; + if (TYPE_MIN < 0 && VALUE > 0) + min_test += VALUE; + + if (f1 (min_test) != min_test - VALUE) + __builtin_abort (); + if (f1 (VALUE - 1) != -1) + __builtin_abort (); + if (f1 (VALUE) != 0) + __builtin_abort (); + if (f1 (VALUE + 1) != 0) + __builtin_abort (); + if (f1 (TYPE_MAX) != 0) + __builtin_abort (); + + if (f2 (min_test) != min_test - VALUE) + __builtin_abort (); + if (f2 (VALUE - 1) != -1) + __builtin_abort (); + if (f2 (VALUE) != 0) + __builtin_abort (); + if (f2 (VALUE + 1) != 0) + __builtin_abort (); + if (f2 (TYPE_MAX) != 0) + __builtin_abort (); + + if (f3 (min_test) != min_test - VALUE + 1) + __builtin_abort (); + if (f3 (VALUE - 1) != 0) + __builtin_abort (); + if (f3 (VALUE) != 1) + __builtin_abort (); + if (f3 (VALUE + 1) != 1) + __builtin_abort (); + if (f3 (TYPE_MAX) != 1) + __builtin_abort (); + + if (f4 (min_test + 1) != min_test - VALUE) + __builtin_abort (); + if (f4 (VALUE - 1) != -2) + __builtin_abort (); + if (f4 (VALUE) != -1) + __builtin_abort (); + if (f4 (VALUE + 1) != -1) + __builtin_abort (); + if (f4 (TYPE_MAX) != -1) + __builtin_abort (); + + if (VALUE >= min_test + 2 && f5 (min_test + 2) != min_test - VALUE) + __builtin_abort (); + if (f5 (VALUE - 1) != -3) + __builtin_abort (); + if (f5 (VALUE) != -2) + __builtin_abort (); + if (f5 (VALUE + 1) != -2) + __builtin_abort (); + if (f5 (TYPE_MAX) != -2) + __builtin_abort (); + + if (f6 (min_test) != min_test - VALUE + 2) + __builtin_abort (); + if (f6 (VALUE - 1) != 1) + __builtin_abort (); + if (f6 (VALUE) != 2) + __builtin_abort (); + if (f6 (VALUE + 1) != 2) + __builtin_abort (); + if (f6 (TYPE_MAX) != 2) + __builtin_abort (); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_2.c b/gcc/testsuite/gcc.target/aarch64/min_plus_2.c new file mode 100644 index 000000000..bc0141b72 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_2.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (x[0-9]+), x0, #?4094 +** csel x0, \1, xzr, l[te] +** ret +*/ +/* +** f2: +** subs (x[0-9]+), x0, #?4094 +** csel x0, \1, xzr, l[te] +** ret +*/ +/* +** f3: +** subs (x[0-9]+), x0, #?4093 +** csinc x0, \1, xzr, le +** ret +*/ +/* +** f4: +** subs (x[0-9]+), x0, #?4095 +** csinv x0, \1, xzr, lt +** ret +*/ + +#define TYPE int64_t +#define TYPE_MIN INT64_MIN +#define TYPE_MAX INT64_MAX +#define VALUE 4094 + +#include "min_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_3.c b/gcc/testsuite/gcc.target/aarch64/min_plus_3.c new file mode 100644 index 000000000..1808e4b0c --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_3.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (w[0-9]+), w0, #?4095 +** csel w0, \1, wzr, l[te] +** ret +*/ +/* +** f2: +** subs (w[0-9]+), w0, #?4095 +** csel w0, \1, wzr, l[te] +** ret +*/ +/* +** f3: +** subs (w[0-9]+), w0, #?4094 +** csinc w0, \1, wzr, le +** ret +*/ +/* +** f4: +** subs (w[0-9]+), w0, #?4096 +** csinv w0, \1, wzr, lt +** ret +*/ + +#define TYPE int32_t +#define TYPE_MIN INT32_MIN +#define TYPE_MAX INT32_MAX +#define VALUE 4095 + +#include "min_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_4.c b/gcc/testsuite/gcc.target/aarch64/min_plus_4.c new file mode 100644 index 000000000..6c581fed6 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_4.c @@ -0,0 +1,30 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (x[0-9]+), x0, #?4096 +** csel x0, \1, xzr, l[te] +** ret +*/ +/* +** f2: +** subs (x[0-9]+), x0, #?4096 +** csel x0, \1, xzr, l[te] +** ret +*/ +/* +** f3: +** subs (x[0-9]+), x0, #?4095 +** csinc x0, \1, xzr, le +** ret +*/ +/* f4 out of range */ + +#define TYPE int64_t +#define TYPE_MIN INT64_MIN +#define TYPE_MAX INT64_MAX +#define VALUE 4096 + +#include "min_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_5.c b/gcc/testsuite/gcc.target/aarch64/min_plus_5.c new file mode 100644 index 000000000..97542d507 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_5.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (w[0-9]+), w0, #?4095 +** csel w0, \1, wzr, (cc|ls) +** ret +*/ +/* +** f2: +** subs (w[0-9]+), w0, #?4095 +** csel w0, \1, wzr, (cc|ls) +** ret +*/ +/* +** f3: +** subs (w[0-9]+), w0, #?4094 +** csinc w0, \1, wzr, ls +** ret +*/ +/* +** f4: +** subs (w[0-9]+), w0, #?4096 +** csinv w0, \1, wzr, cc +** ret +*/ + +#define TYPE uint32_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT32_MAX +#define VALUE 4095 + +#include "min_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_6.c b/gcc/testsuite/gcc.target/aarch64/min_plus_6.c new file mode 100644 index 000000000..176533cb2 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_6.c @@ -0,0 +1,9 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ + +#define TYPE uint64_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT64_MAX +#define VALUE 1 + +#include "min_plus_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/min_plus_7.c b/gcc/testsuite/gcc.target/aarch64/min_plus_7.c new file mode 100644 index 000000000..d6a217a51 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/min_plus_7.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ +/* { dg-options "-O2 --save-temps" } */ +/* { dg-final { check-function-bodies "**" "" "" } } */ + +/* +** f1: +** subs (x[0-9]+), x0, #?2 +** csel x0, \1, xzr, (cc|ls) +** ret +*/ +/* +** f2: +** subs (x[0-9]+), x0, #?2 +** csel x0, \1, xzr, (cc|ls) +** ret +*/ +/* +** f3: +** subs (x[0-9]+), x0, #?1 +** csinc x0, \1, xzr, ls +** ret +*/ +/* +** f4: +** subs (x[0-9]+), x0, #?3 +** csinv x0, \1, xzr, cc +** ret +*/ + +#define TYPE uint64_t +#define TYPE_MIN 0 +#define TYPE_MAX UINT64_MAX +#define VALUE 2 + +#include "min_plus_1.c" -- 2.27.0.windows.1
Locations
Projects
Search
Status Monitor
Help
Open Build Service
OBS Manuals
API Documentation
OBS Portal
Reporting a Bug
Contact
Mailing List
Forums
Chat (IRC)
Twitter
Open Build Service (OBS)
is an
openSUSE project
.
浙ICP备2022010568号-2