diff options
Diffstat (limited to 'gcc/config/riscv/riscv.md')
| -rw-r--r-- | gcc/config/riscv/riscv.md | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/config/riscv/riscv.md b/gcc/config/riscv/riscv.md index 1eec51c..6c6155c 100644 --- a/gcc/config/riscv/riscv.md +++ b/gcc/config/riscv/riscv.md @@ -858,6 +858,34 @@ [(set_attr "type" "arith") (set_attr "mode" "SI")]) +;; Transform (X & C1) + C2 into (X | ~C1) - (-C2 | ~C1) +;; Where C1 is not a LUI operand, but ~C1 is a LUI operand + +(define_insn_and_split "*lui_constraint<ANYI:mode>_and_to_or" + [(set (match_operand:ANYI 0 "register_operand" "=r") + (plus:ANYI (and:ANYI (match_operand:ANYI 1 "register_operand" "r") + (match_operand 2 "const_int_operand")) + (match_operand 3 "const_int_operand"))) + (clobber (match_scratch:X 4 "=&r"))] + "LUI_OPERAND (~INTVAL (operands[2])) + && ((INTVAL (operands[2]) & (-INTVAL (operands[3]))) + == (-INTVAL (operands[3]))) + && riscv_const_insns (operands[3], false) + && (riscv_const_insns + (GEN_INT (~INTVAL (operands[2]) | -INTVAL (operands[3])), false) + <= riscv_const_insns (operands[3], false))" + "#" + "&& reload_completed" + [(set (match_dup 4) (match_dup 5)) + (set (match_dup 0) (ior:X (match_dup 1) (match_dup 4))) + (set (match_dup 4) (match_dup 6)) + (set (match_dup 0) (minus:X (match_dup 0) (match_dup 4)))] + { + operands[5] = GEN_INT (~INTVAL (operands[2])); + operands[6] = GEN_INT ((~INTVAL (operands[2])) | (-INTVAL (operands[3]))); + } + [(set_attr "type" "arith")]) + ;; ;; .................... ;; |