+2015-05-15 Uros Bizjak <ubizjak@gmail.com>
+
+ * config/alpha/alpha.md (extendqidi2): Use general_operand
+ instead of some_operand for operand[1] predicate.
+ (extendhidi2): Ditto.
+ (cbranchdi4): Use general_operand instead of some_operand
+ for operand[1] and operands[2] predicates.
+ (cstoredi4): Ditto.
+ * config/alpha/predicates.md (some_operand): Remove unused predicate.
+ (some_ni_operand): Ditto.
+
2015-05-15 Uros Bizjak <ubizjak@gmail.com>
* config/alpha/alpha.c (alpha_extract_integer): Do not handle
(define_expand "extendqidi2"
[(set (match_operand:DI 0 "register_operand")
- (sign_extend:DI (match_operand:QI 1 "some_operand")))]
+ (sign_extend:DI (match_operand:QI 1 "general_operand")))]
""
{
if (TARGET_BWX)
(define_expand "extendhidi2"
[(set (match_operand:DI 0 "register_operand")
- (sign_extend:DI (match_operand:HI 1 "some_operand")))]
+ (sign_extend:DI (match_operand:HI 1 "general_operand")))]
""
{
if (TARGET_BWX)
(define_expand "cbranchdi4"
[(use (match_operator 0 "alpha_cbranch_operator"
- [(match_operand:DI 1 "some_operand")
- (match_operand:DI 2 "some_operand")]))
+ [(match_operand:DI 1 "general_operand")
+ (match_operand:DI 2 "general_operand")]))
(use (match_operand 3))]
""
"alpha_emit_conditional_branch (operands, DImode); DONE;")
(define_expand "cstoredi4"
[(use (match_operator:DI 1 "alpha_cbranch_operator"
- [(match_operand:DI 2 "some_operand")
- (match_operand:DI 3 "some_operand")]))
+ [(match_operand:DI 2 "general_operand")
+ (match_operand:DI 3 "general_operand")]))
(clobber (match_operand:DI 0 "register_operand"))]
""
{
return REGNO_REG_CLASS (REGNO (op)) == GENERAL_REGS;
})
-;; Return 1 if OP is something that can be reloaded into a register;
-;; if it is a MEM, it need not be valid.
-(define_predicate "some_operand"
- (ior (match_code "reg,mem,const_int,const_wide_int,const_double,const_vector,
- label_ref,symbol_ref,const,high")
- (and (match_code "subreg")
- (match_test "some_operand (SUBREG_REG (op), VOIDmode)"))))
-
-;; Likewise, but don't accept constants.
-(define_predicate "some_ni_operand"
- (ior (match_code "reg,mem")
- (and (match_code "subreg")
- (match_test "some_ni_operand (SUBREG_REG (op), VOIDmode)"))))
-
;; Return 1 if OP is a valid operand for the source of a move insn.
(define_predicate "input_operand"
(match_code "label_ref,symbol_ref,const,high,reg,subreg,mem,