https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49263
--- Comment #48 from Alexander Klepikov <klepikov.alex+bugs at gmail dot com>
---
I made tests (including *.c files from GCC testsuite) and everything looks fine
for now. But I'm still afraid that pattern for 'ashrsi3_libcall_expand' is too
wide. It is possible to narrow it down as much as possible by adding distinct
attribute and set when emitting 'ashrsi3_libcall_collapsed' and then check it
and fail if not set:
(define_attr "libcall_collapsed"
"ashrsi3,nil"
(const_string "nil"))
(define_insn "ashrsi3_libcall_collapsed"
[(set (match_operand:SI 0 "arith_reg_dest" "=r")
(ashiftrt:SI (match_operand:SI 1 "arith_reg_operand" "0")
(match_operand:SI 2 "const_int_operand")))
(clobber (reg:SI T_REG))
(clobber (reg:SI PR_REG))]
"TARGET_SH1"
"OOPS"
[(set_attr "type" "dyn_shift")
(set_attr "libcall_collapsed" "ashrsi3")
(set_attr "needs_delay_slot" "yes")])
if (get_attr_libcall_collapsed(insn) != LIBCALL_COLLAPSED_ASHRSI3)
return false;
It will be super safe then but ugly a little bit.
