* [PATCH 1/2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' [not found] <ea701092-71a1-7c4b-3070-376f9421252c.ref@yahoo.co.jp> @ 2023-05-22 7:03 ` Takayuki 'January June' Suwa 2023-05-23 2:27 ` Max Filippov 0 siblings, 1 reply; 5+ messages in thread From: Takayuki 'January June' Suwa @ 2023-05-22 7:03 UTC (permalink / raw) To: GCC Patches; +Cc: Max Filippov This patch decreses one machine instruction from "single bit extraction with shifting" operation, and tries to eliminate the conditional branch if CST2_POW2 doesn't fit into signed 12 bits with the help of ifcvt optimization. /* example #1 */ int test0(int x) { return (x & 1048576) != 0 ? 1024 : 0; } extern int foo(void); int test1(void) { return (foo() & 1048576) != 0 ? 16777216 : 0; } ;; before test0: movi a9, 0x400 srai a2, a2, 10 and a2, a2, a9 ret.n test1: addi sp, sp, -16 s32i.n a0, sp, 12 call0 foo extui a2, a2, 20, 1 slli a2, a2, 20 beqz.n a2, .L2 movi.n a2, 1 slli a2, a2, 24 .L2: l32i.n a0, sp, 12 addi sp, sp, 16 ret.n ;; after test0: extui a2, a2, 20, 1 slli a2, a2, 10 ret.n test1: addi sp, sp, -16 s32i.n a0, sp, 12 call0 foo l32i.n a0, sp, 12 extui a2, a2, 20, 1 slli a2, a2, 24 addi sp, sp, 16 ret.n In addition, if the left shift amount ('exact_log2(CST2_POW2)') is between 1 through 3 and a either addition or subtraction with another register follows, emit a ADDX[248] or SUBX[248] machine instruction instead of separate left shift and add/subtract ones. /* example #2 */ int test2(int x, int y) { return ((x & 1048576) != 0 ? 4 : 0) + y; } int test3(int x, int y) { return ((x & 2) != 0 ? 8 : 0) - y; } ;; before test2: movi.n a9, 4 srai a2, a2, 18 and a2, a2, a9 add.n a2, a2, a3 ret.n test3: movi.n a9, 8 slli a2, a2, 2 and a2, a2, a9 sub a2, a2, a3 ret.n ;; after test2: extui a2, a2, 20, 1 addx4 a2, a2, a3 ret.n test3: extui a2, a2, 1, 1 subx8 a2, a2, a3 ret.n gcc/ChangeLog: * config/xtensa/predicates.md (addsub_operator): New. * config/xtensa/xtensa.md (*extzvsi-1bit_ashlsi3, *extzvsi-1bit_addsubx): New insn_and_split patterns. * config/xtensa/xtensa.cc (xtensa_rtx_costs): Add a special case about ifcvt 'noce_try_cmove()' to handle constant loads that do not fit into signed 12 bits in the patterns added above. --- gcc/config/xtensa/predicates.md | 3 ++ gcc/config/xtensa/xtensa.cc | 3 +- gcc/config/xtensa/xtensa.md | 75 +++++++++++++++++++++++++++++++++ 3 files changed, 80 insertions(+), 1 deletion(-) diff --git a/gcc/config/xtensa/predicates.md b/gcc/config/xtensa/predicates.md index 2dac193373a..5faf1be8c15 100644 --- a/gcc/config/xtensa/predicates.md +++ b/gcc/config/xtensa/predicates.md @@ -191,6 +191,9 @@ (define_predicate "logical_shift_operator" (match_code "ashift,lshiftrt")) +(define_predicate "addsub_operator" + (match_code "plus,minus")) + (define_predicate "xtensa_cstoresi_operator" (match_code "eq,ne,gt,ge,lt,le")) diff --git a/gcc/config/xtensa/xtensa.cc b/gcc/config/xtensa/xtensa.cc index bb1444c44b6..e3af78cd228 100644 --- a/gcc/config/xtensa/xtensa.cc +++ b/gcc/config/xtensa/xtensa.cc @@ -4355,7 +4355,8 @@ xtensa_rtx_costs (rtx x, machine_mode mode, int outer_code, switch (outer_code) { case SET: - if (xtensa_simm12b (INTVAL (x))) + if (xtensa_simm12b (INTVAL (x)) + || (current_pass && current_pass->tv_id == TV_IFCVT)) { *total = speed ? COSTS_N_INSNS (1) : 0; return true; diff --git a/gcc/config/xtensa/xtensa.md b/gcc/config/xtensa/xtensa.md index 3521fa33b47..bd4614e4be0 100644 --- a/gcc/config/xtensa/xtensa.md +++ b/gcc/config/xtensa/xtensa.md @@ -997,6 +997,81 @@ (set_attr "mode" "SI") (set_attr "length" "3")]) +(define_insn_and_split "*extzvsi-1bit_ashlsi3" + [(set (match_operand:SI 0 "register_operand" "=a") + (and:SI (match_operator:SI 4 "logical_shift_operator" + [(match_operand:SI 1 "register_operand" "r") + (match_operand:SI 2 "const_int_operand" "i")]) + (match_operand:SI 3 "const_int_operand" "i")))] + "exact_log2 (INTVAL (operands[3])) > 0" + "#" + "&& 1" + [(set (match_dup 0) + (zero_extract:SI (match_dup 1) + (const_int 1) + (match_dup 2))) + (set (match_dup 0) + (ashift:SI (match_dup 0) + (match_dup 3)))] +{ + int shift = floor_log2 (INTVAL (operands[3])); + switch (GET_CODE (operands[4])) + { + case ASHIFT: + operands[2] = GEN_INT (shift - INTVAL (operands[2])); + break; + case LSHIFTRT: + operands[2] = GEN_INT (shift + INTVAL (operands[2])); + break; + default: + gcc_unreachable (); + } + operands[3] = GEN_INT (shift); +} + [(set_attr "type" "arith") + (set_attr "mode" "SI") + (set_attr "length" "6")]) + +(define_insn_and_split "*extzvsi-1bit_addsubx" + [(set (match_operand:SI 0 "register_operand" "=a") + (match_operator:SI 5 "addsub_operator" + [(and:SI (match_operator:SI 6 "logical_shift_operator" + [(match_operand:SI 1 "register_operand" "r") + (match_operand:SI 3 "const_int_operand" "i")]) + (match_operand:SI 4 "const_int_operand" "i")) + (match_operand:SI 2 "register_operand" "r")]))] + "TARGET_ADDX + && IN_RANGE (exact_log2 (INTVAL (operands[4])), 1, 3)" + "#" + "&& 1" + [(set (match_dup 0) + (zero_extract:SI (match_dup 1) + (const_int 1) + (match_dup 3))) + (set (match_dup 0) + (match_op_dup 5 + [(ashift:SI (match_dup 0) + (match_dup 4)) + (match_dup 2)]))] +{ + int shift = floor_log2 (INTVAL (operands[4])); + switch (GET_CODE (operands[6])) + { + case ASHIFT: + operands[3] = GEN_INT (shift - INTVAL (operands[3])); + break; + case LSHIFTRT: + operands[3] = GEN_INT (shift + INTVAL (operands[3])); + break; + default: + gcc_unreachable (); + } + operands[4] = GEN_INT (shift); +} + [(set_attr "type" "arith") + (set_attr "mode" "SI") + (set_attr "length" "6")]) + \f ;; Conversions. -- 2.30.2 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH 1/2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' 2023-05-22 7:03 ` [PATCH 1/2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' Takayuki 'January June' Suwa @ 2023-05-23 2:27 ` Max Filippov 2023-05-23 2:37 ` Andrew Pinski 2023-05-23 5:48 ` [PATCH v2] " Takayuki 'January June' Suwa 0 siblings, 2 replies; 5+ messages in thread From: Max Filippov @ 2023-05-23 2:27 UTC (permalink / raw) To: Takayuki 'January June' Suwa; +Cc: GCC Patches Hi Suwa-san, On Mon, May 22, 2023 at 12:06 AM Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp> wrote: > > This patch decreses one machine instruction from "single bit extraction > with shifting" operation, and tries to eliminate the conditional > branch if CST2_POW2 doesn't fit into signed 12 bits with the help > of ifcvt optimization. > > /* example #1 */ > int test0(int x) { > return (x & 1048576) != 0 ? 1024 : 0; > } > extern int foo(void); > int test1(void) { > return (foo() & 1048576) != 0 ? 16777216 : 0; > } > > ;; before > test0: > movi a9, 0x400 > srai a2, a2, 10 > and a2, a2, a9 > ret.n > test1: > addi sp, sp, -16 > s32i.n a0, sp, 12 > call0 foo > extui a2, a2, 20, 1 > slli a2, a2, 20 > beqz.n a2, .L2 > movi.n a2, 1 > slli a2, a2, 24 > .L2: > l32i.n a0, sp, 12 > addi sp, sp, 16 > ret.n > > ;; after > test0: > extui a2, a2, 20, 1 > slli a2, a2, 10 > ret.n > test1: > addi sp, sp, -16 > s32i.n a0, sp, 12 > call0 foo > l32i.n a0, sp, 12 > extui a2, a2, 20, 1 > slli a2, a2, 24 > addi sp, sp, 16 > ret.n > > In addition, if the left shift amount ('exact_log2(CST2_POW2)') is > between 1 through 3 and a either addition or subtraction with another > register follows, emit a ADDX[248] or SUBX[248] machine instruction > instead of separate left shift and add/subtract ones. > > /* example #2 */ > int test2(int x, int y) { > return ((x & 1048576) != 0 ? 4 : 0) + y; > } > int test3(int x, int y) { > return ((x & 2) != 0 ? 8 : 0) - y; > } > > ;; before > test2: > movi.n a9, 4 > srai a2, a2, 18 > and a2, a2, a9 > add.n a2, a2, a3 > ret.n > test3: > movi.n a9, 8 > slli a2, a2, 2 > and a2, a2, a9 > sub a2, a2, a3 > ret.n > > ;; after > test2: > extui a2, a2, 20, 1 > addx4 a2, a2, a3 > ret.n > test3: > extui a2, a2, 1, 1 > subx8 a2, a2, a3 > ret.n > > gcc/ChangeLog: > > * config/xtensa/predicates.md (addsub_operator): New. > * config/xtensa/xtensa.md (*extzvsi-1bit_ashlsi3, > *extzvsi-1bit_addsubx): New insn_and_split patterns. > * config/xtensa/xtensa.cc (xtensa_rtx_costs): > Add a special case about ifcvt 'noce_try_cmove()' to handle > constant loads that do not fit into signed 12 bits in the > patterns added above. > --- > gcc/config/xtensa/predicates.md | 3 ++ > gcc/config/xtensa/xtensa.cc | 3 +- > gcc/config/xtensa/xtensa.md | 75 +++++++++++++++++++++++++++++++++ > 3 files changed, 80 insertions(+), 1 deletion(-) This change introduces a bunch of test failures on big endian configuration. I believe that's because the starting bit position for zero_extract is counted from different ends depending on the endianness. -- Thanks. -- Max ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH 1/2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' 2023-05-23 2:27 ` Max Filippov @ 2023-05-23 2:37 ` Andrew Pinski 2023-05-23 5:48 ` [PATCH v2] " Takayuki 'January June' Suwa 1 sibling, 0 replies; 5+ messages in thread From: Andrew Pinski @ 2023-05-23 2:37 UTC (permalink / raw) To: Max Filippov; +Cc: Takayuki 'January June' Suwa, GCC Patches On Mon, May 22, 2023 at 7:28 PM Max Filippov via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > Hi Suwa-san, > > On Mon, May 22, 2023 at 12:06 AM Takayuki 'January June' Suwa > <jjsuwa_sys3175@yahoo.co.jp> wrote: > > > > This patch decreses one machine instruction from "single bit extraction > > with shifting" operation, and tries to eliminate the conditional > > branch if CST2_POW2 doesn't fit into signed 12 bits with the help > > of ifcvt optimization. > > > > /* example #1 */ > > int test0(int x) { > > return (x & 1048576) != 0 ? 1024 : 0; > > } > > extern int foo(void); > > int test1(void) { > > return (foo() & 1048576) != 0 ? 16777216 : 0; > > } > > > > ;; before > > test0: > > movi a9, 0x400 > > srai a2, a2, 10 > > and a2, a2, a9 > > ret.n > > test1: > > addi sp, sp, -16 > > s32i.n a0, sp, 12 > > call0 foo > > extui a2, a2, 20, 1 > > slli a2, a2, 20 > > beqz.n a2, .L2 > > movi.n a2, 1 > > slli a2, a2, 24 > > .L2: > > l32i.n a0, sp, 12 > > addi sp, sp, 16 > > ret.n > > > > ;; after > > test0: > > extui a2, a2, 20, 1 > > slli a2, a2, 10 > > ret.n > > test1: > > addi sp, sp, -16 > > s32i.n a0, sp, 12 > > call0 foo > > l32i.n a0, sp, 12 > > extui a2, a2, 20, 1 > > slli a2, a2, 24 > > addi sp, sp, 16 > > ret.n > > > > In addition, if the left shift amount ('exact_log2(CST2_POW2)') is > > between 1 through 3 and a either addition or subtraction with another > > register follows, emit a ADDX[248] or SUBX[248] machine instruction > > instead of separate left shift and add/subtract ones. > > > > /* example #2 */ > > int test2(int x, int y) { > > return ((x & 1048576) != 0 ? 4 : 0) + y; > > } > > int test3(int x, int y) { > > return ((x & 2) != 0 ? 8 : 0) - y; > > } > > > > ;; before > > test2: > > movi.n a9, 4 > > srai a2, a2, 18 > > and a2, a2, a9 > > add.n a2, a2, a3 > > ret.n > > test3: > > movi.n a9, 8 > > slli a2, a2, 2 > > and a2, a2, a9 > > sub a2, a2, a3 > > ret.n > > > > ;; after > > test2: > > extui a2, a2, 20, 1 > > addx4 a2, a2, a3 > > ret.n > > test3: > > extui a2, a2, 1, 1 > > subx8 a2, a2, a3 > > ret.n > > > > gcc/ChangeLog: > > > > * config/xtensa/predicates.md (addsub_operator): New. > > * config/xtensa/xtensa.md (*extzvsi-1bit_ashlsi3, > > *extzvsi-1bit_addsubx): New insn_and_split patterns. > > * config/xtensa/xtensa.cc (xtensa_rtx_costs): > > Add a special case about ifcvt 'noce_try_cmove()' to handle > > constant loads that do not fit into signed 12 bits in the > > patterns added above. > > --- > > gcc/config/xtensa/predicates.md | 3 ++ > > gcc/config/xtensa/xtensa.cc | 3 +- > > gcc/config/xtensa/xtensa.md | 75 +++++++++++++++++++++++++++++++++ > > 3 files changed, 80 insertions(+), 1 deletion(-) > > This change introduces a bunch of test failures on big endian configuration. > I believe that's because the starting bit position for zero_extract is counted > from different ends depending on the endianness. Yes I ran into something similar just recently when I was improving a similar thing in expand. Thanks, Andrew > > -- > Thanks. > -- Max ^ permalink raw reply [flat|nested] 5+ messages in thread
* [PATCH v2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' 2023-05-23 2:27 ` Max Filippov 2023-05-23 2:37 ` Andrew Pinski @ 2023-05-23 5:48 ` Takayuki 'January June' Suwa 2023-05-23 20:05 ` Max Filippov 1 sibling, 1 reply; 5+ messages in thread From: Takayuki 'January June' Suwa @ 2023-05-23 5:48 UTC (permalink / raw) To: GCC Patches; +Cc: Max Filippov On 2023/05/23 11:27, Max Filippov wrote: > Hi Suwa-san, Hi! > This change introduces a bunch of test failures on big endian configuration. > I believe that's because the starting bit position for zero_extract is counted > from different ends depending on the endianness. Oops, what a stupid mistake... X( === This patch decreses one machine instruction from "single bit extraction with shifting" operation, and tries to eliminate the conditional branch if CST2_POW2 doesn't fit into signed 12 bits with the help of ifcvt optimization. /* example #1 */ int test0(int x) { return (x & 1048576) != 0 ? 1024 : 0; } extern int foo(void); int test1(void) { return (foo() & 1048576) != 0 ? 16777216 : 0; } ;; before test0: movi a9, 0x400 srai a2, a2, 10 and a2, a2, a9 ret.n test1: addi sp, sp, -16 s32i.n a0, sp, 12 call0 foo extui a2, a2, 20, 1 slli a2, a2, 20 beqz.n a2, .L2 movi.n a2, 1 slli a2, a2, 24 .L2: l32i.n a0, sp, 12 addi sp, sp, 16 ret.n ;; after test0: extui a2, a2, 20, 1 slli a2, a2, 10 ret.n test1: addi sp, sp, -16 s32i.n a0, sp, 12 call0 foo l32i.n a0, sp, 12 extui a2, a2, 20, 1 slli a2, a2, 24 addi sp, sp, 16 ret.n In addition, if the left shift amount ('exact_log2(CST2_POW2)') is between 1 through 3 and a either addition or subtraction with another register follows, emit a ADDX[248] or SUBX[248] machine instruction instead of separate left shift and add/subtract ones. /* example #2 */ int test2(int x, int y) { return ((x & 1048576) != 0 ? 4 : 0) + y; } int test3(int x, int y) { return ((x & 2) != 0 ? 8 : 0) - y; } ;; before test2: movi.n a9, 4 srai a2, a2, 18 and a2, a2, a9 add.n a2, a2, a3 ret.n test3: movi.n a9, 8 slli a2, a2, 2 and a2, a2, a9 sub a2, a2, a3 ret.n ;; after test2: extui a2, a2, 20, 1 addx4 a2, a2, a3 ret.n test3: extui a2, a2, 1, 1 subx8 a2, a2, a3 ret.n gcc/ChangeLog: * config/xtensa/predicates.md (addsub_operator): New. * config/xtensa/xtensa.md (*extzvsi-1bit_ashlsi3, *extzvsi-1bit_addsubx): New insn_and_split patterns. * config/xtensa/xtensa.cc (xtensa_rtx_costs): Add a special case about ifcvt 'noce_try_cmove()' to handle constant loads that do not fit into signed 12 bits in the patterns added above. --- gcc/config/xtensa/predicates.md | 3 ++ gcc/config/xtensa/xtensa.cc | 3 +- gcc/config/xtensa/xtensa.md | 83 +++++++++++++++++++++++++++++++++ 3 files changed, 88 insertions(+), 1 deletion(-) diff --git a/gcc/config/xtensa/predicates.md b/gcc/config/xtensa/predicates.md index 2dac193373a..5faf1be8c15 100644 --- a/gcc/config/xtensa/predicates.md +++ b/gcc/config/xtensa/predicates.md @@ -191,6 +191,9 @@ (define_predicate "logical_shift_operator" (match_code "ashift,lshiftrt")) +(define_predicate "addsub_operator" + (match_code "plus,minus")) + (define_predicate "xtensa_cstoresi_operator" (match_code "eq,ne,gt,ge,lt,le")) diff --git a/gcc/config/xtensa/xtensa.cc b/gcc/config/xtensa/xtensa.cc index bb1444c44b6..e3af78cd228 100644 --- a/gcc/config/xtensa/xtensa.cc +++ b/gcc/config/xtensa/xtensa.cc @@ -4355,7 +4355,8 @@ xtensa_rtx_costs (rtx x, machine_mode mode, int outer_code, switch (outer_code) { case SET: - if (xtensa_simm12b (INTVAL (x))) + if (xtensa_simm12b (INTVAL (x)) + || (current_pass && current_pass->tv_id == TV_IFCVT)) { *total = speed ? COSTS_N_INSNS (1) : 0; return true; diff --git a/gcc/config/xtensa/xtensa.md b/gcc/config/xtensa/xtensa.md index 3521fa33b47..c75fde1023a 100644 --- a/gcc/config/xtensa/xtensa.md +++ b/gcc/config/xtensa/xtensa.md @@ -997,6 +997,89 @@ (set_attr "mode" "SI") (set_attr "length" "3")]) +(define_insn_and_split "*extzvsi-1bit_ashlsi3" + [(set (match_operand:SI 0 "register_operand" "=a") + (and:SI (match_operator:SI 4 "logical_shift_operator" + [(match_operand:SI 1 "register_operand" "r") + (match_operand:SI 2 "const_int_operand" "i")]) + (match_operand:SI 3 "const_int_operand" "i")))] + "exact_log2 (INTVAL (operands[3])) > 0" + "#" + "&& 1" + [(set (match_dup 0) + (zero_extract:SI (match_dup 1) + (const_int 1) + (match_dup 2))) + (set (match_dup 0) + (ashift:SI (match_dup 0) + (match_dup 3)))] +{ + int pos = INTVAL (operands[2]), + shift = floor_log2 (INTVAL (operands[3])); + switch (GET_CODE (operands[4])) + { + case ASHIFT: + pos = shift - pos; + break; + case LSHIFTRT: + pos = shift + pos; + break; + default: + gcc_unreachable (); + } + if (BITS_BIG_ENDIAN) + pos = (32 - (1 + pos)) & 0x1f; + operands[2] = GEN_INT (pos); + operands[3] = GEN_INT (shift); +} + [(set_attr "type" "arith") + (set_attr "mode" "SI") + (set_attr "length" "6")]) + +(define_insn_and_split "*extzvsi-1bit_addsubx" + [(set (match_operand:SI 0 "register_operand" "=a") + (match_operator:SI 5 "addsub_operator" + [(and:SI (match_operator:SI 6 "logical_shift_operator" + [(match_operand:SI 1 "register_operand" "r") + (match_operand:SI 3 "const_int_operand" "i")]) + (match_operand:SI 4 "const_int_operand" "i")) + (match_operand:SI 2 "register_operand" "r")]))] + "TARGET_ADDX + && IN_RANGE (exact_log2 (INTVAL (operands[4])), 1, 3)" + "#" + "&& 1" + [(set (match_dup 0) + (zero_extract:SI (match_dup 1) + (const_int 1) + (match_dup 3))) + (set (match_dup 0) + (match_op_dup 5 + [(ashift:SI (match_dup 0) + (match_dup 4)) + (match_dup 2)]))] +{ + int pos = INTVAL (operands[3]), + shift = floor_log2 (INTVAL (operands[4])); + switch (GET_CODE (operands[6])) + { + case ASHIFT: + pos = shift - pos; + break; + case LSHIFTRT: + pos = shift + pos; + break; + default: + gcc_unreachable (); + } + if (BITS_BIG_ENDIAN) + pos = (32 - (1 + pos)) & 0x1f; + operands[3] = GEN_INT (pos); + operands[4] = GEN_INT (shift); +} + [(set_attr "type" "arith") + (set_attr "mode" "SI") + (set_attr "length" "6")]) + \f ;; Conversions. -- 2.30.2 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH v2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' 2023-05-23 5:48 ` [PATCH v2] " Takayuki 'January June' Suwa @ 2023-05-23 20:05 ` Max Filippov 0 siblings, 0 replies; 5+ messages in thread From: Max Filippov @ 2023-05-23 20:05 UTC (permalink / raw) To: Takayuki 'January June' Suwa; +Cc: GCC Patches On Mon, May 22, 2023 at 10:48 PM Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp> wrote: > > On 2023/05/23 11:27, Max Filippov wrote: > > Hi Suwa-san, > > Hi! > > > This change introduces a bunch of test failures on big endian configuration. > > I believe that's because the starting bit position for zero_extract is counted > > from different ends depending on the endianness. > > Oops, what a stupid mistake... X( > > === > This patch decreses one machine instruction from "single bit extraction > with shifting" operation, and tries to eliminate the conditional > branch if CST2_POW2 doesn't fit into signed 12 bits with the help > of ifcvt optimization. > > /* example #1 */ > int test0(int x) { > return (x & 1048576) != 0 ? 1024 : 0; > } > extern int foo(void); > int test1(void) { > return (foo() & 1048576) != 0 ? 16777216 : 0; > } > > ;; before > test0: > movi a9, 0x400 > srai a2, a2, 10 > and a2, a2, a9 > ret.n > test1: > addi sp, sp, -16 > s32i.n a0, sp, 12 > call0 foo > extui a2, a2, 20, 1 > slli a2, a2, 20 > beqz.n a2, .L2 > movi.n a2, 1 > slli a2, a2, 24 > .L2: > l32i.n a0, sp, 12 > addi sp, sp, 16 > ret.n > > ;; after > test0: > extui a2, a2, 20, 1 > slli a2, a2, 10 > ret.n > test1: > addi sp, sp, -16 > s32i.n a0, sp, 12 > call0 foo > l32i.n a0, sp, 12 > extui a2, a2, 20, 1 > slli a2, a2, 24 > addi sp, sp, 16 > ret.n > > In addition, if the left shift amount ('exact_log2(CST2_POW2)') is > between 1 through 3 and a either addition or subtraction with another > register follows, emit a ADDX[248] or SUBX[248] machine instruction > instead of separate left shift and add/subtract ones. > > /* example #2 */ > int test2(int x, int y) { > return ((x & 1048576) != 0 ? 4 : 0) + y; > } > int test3(int x, int y) { > return ((x & 2) != 0 ? 8 : 0) - y; > } > > ;; before > test2: > movi.n a9, 4 > srai a2, a2, 18 > and a2, a2, a9 > add.n a2, a2, a3 > ret.n > test3: > movi.n a9, 8 > slli a2, a2, 2 > and a2, a2, a9 > sub a2, a2, a3 > ret.n > > ;; after > test2: > extui a2, a2, 20, 1 > addx4 a2, a2, a3 > ret.n > test3: > extui a2, a2, 1, 1 > subx8 a2, a2, a3 > ret.n > > gcc/ChangeLog: > > * config/xtensa/predicates.md (addsub_operator): New. > * config/xtensa/xtensa.md (*extzvsi-1bit_ashlsi3, > *extzvsi-1bit_addsubx): New insn_and_split patterns. > * config/xtensa/xtensa.cc (xtensa_rtx_costs): > Add a special case about ifcvt 'noce_try_cmove()' to handle > constant loads that do not fit into signed 12 bits in the > patterns added above. > --- > gcc/config/xtensa/predicates.md | 3 ++ > gcc/config/xtensa/xtensa.cc | 3 +- > gcc/config/xtensa/xtensa.md | 83 +++++++++++++++++++++++++++++++++ > 3 files changed, 88 insertions(+), 1 deletion(-) Regtested for target=xtensa-linux-uclibc, no new regressions. Committed to master. -- Thanks. -- Max ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2023-05-23 20:05 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <ea701092-71a1-7c4b-3070-376f9421252c.ref@yahoo.co.jp> 2023-05-22 7:03 ` [PATCH 1/2] xtensa: Optimize '(x & CST1_POW2) != 0 ? CST2_POW2 : 0' Takayuki 'January June' Suwa 2023-05-23 2:27 ` Max Filippov 2023-05-23 2:37 ` Andrew Pinski 2023-05-23 5:48 ` [PATCH v2] " Takayuki 'January June' Suwa 2023-05-23 20:05 ` Max Filippov
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).