https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55212

--- Comment #283 from Kazumoto Kojima <kkojima at gcc dot gnu.org> ---
(In reply to Kazumoto Kojima from comment #276)
> Current my assumption on the sfunc issue: LRA doesn't handle the clobber
> hard reg pattern if that hard reg is recognized as the input reg.  I don't
> know the direct way to give the output modifier to the raw hard reg pattern.
> I'm trying match_operand instead of raw reg so to modify it to the output. 
> For example, rewriting block_lump_real_i4 to
> 
> (define_insn "block_lump_real_i4"
>   [(parallel [(set (mem:BLK (match_operand:SI 2 "" "r,r"))
>                  (mem:BLK (match_operand:SI 3 "" "r,r")))
>             (use (match_operand:SI 0 "arith_reg_operand" "r,r"))
>             (use (match_operand 1 "" "Z,Ccl"))
>             (use (match_operand:SI 4 "" "r,r"))
>             (clobber (match_scratch:SI 5 "=2,2"))
>             (clobber (match_scratch:SI 6 "=3,3"))

It turned out that the c#276 version of block_lump_real_i4 works correctly in
only the limited cases.

Reply via email to