;; Generic for binary logicals across the supported integer modes (define_expand "3" [(set (match_operand:QHSI 0 "register_operand" "") (logicals:QHSI (match_operand:QHSI 1 "register_operand" "") (match_operand:QHSI 2 "h8300_src_operand" "")))] "" " { enum machine_mode mode = GET_MODE (operands[0]); /* DImodes are not considered tieable, as a result operations involving subregs of DImode objects are considered expensive which can prevent CSE from doing obvious simplifications. We may ultimately change what is tieable, but this is an immediate workaround while we evaluate changes to tieable modes. The key in terms of what we want to handle is then the result of the operation is not a constant. */ if (( == AND && operands[2] == CONSTM1_RTX (mode)) || ( == IOR && operands[2] == CONST0_RTX (mode)) || ( == XOR && operands[2] == CONST0_RTX (mode)) || (( == AND || == IOR) && operands[1] == operands[2])) { emit_move_insn (operands[0], operands[1]); DONE; } }") ;; There's a ton of cleanup to do from here below. ;; ---------------------------------------------------------------------- ;; AND INSTRUCTIONS ;; ---------------------------------------------------------------------- (define_insn "bclr_msx" [(set (match_operand:QHI 0 "bit_register_indirect_operand" "=WU") (and:QHI (match_operand:QHI 1 "bit_register_indirect_operand" "%0") (match_operand:QHI 2 "single_zero_operand" "Y0")))] "TARGET_H8300SX && rtx_equal_p (operands[0], operands[1])" "bclr\\t%W2,%0" [(set_attr "length" "8")]) (define_split [(set (match_operand:HI 0 "bit_register_indirect_operand") (and:HI (match_operand:HI 1 "bit_register_indirect_operand") (match_operand:HI 2 "single_zero_operand")))] "TARGET_H8300SX && abs (INTVAL (operands[2])) > 0xff" [(set (match_dup 0) (and:QI (match_dup 1) (match_dup 2)))] { operands[0] = adjust_address (operands[0], QImode, 0); operands[1] = adjust_address (operands[1], QImode, 0); operands[2] = GEN_INT ((INTVAL (operands[2])) >> 8); }) (define_insn_and_split "*andqi3_2" [(set (match_operand:QI 0 "bit_operand" "=U,rQ,r") (and:QI (match_operand:QI 1 "bit_operand" "%0,0,WU") (match_operand:QI 2 "h8300_src_operand" "Y0,rQi,IP1>X")))] "TARGET_H8300SX" "#" "&& reload_completed" [(parallel [(set (match_dup 0) (and:QI (match_dup 1) (match_dup 2))) (clobber (reg:CC CC_REG))])]) (define_insn "*andqi3_2_clobber_flags" [(set (match_operand:QI 0 "bit_operand" "=U,rQ,r") (and:QI (match_operand:QI 1 "bit_operand" "%0,0,WU") (match_operand:QI 2 "h8300_src_operand" "Y0,rQi,IP1>X"))) (clobber (reg:CC CC_REG))] "TARGET_H8300SX" "@ bclr\\t %W2,%R0 and %X2,%X0 bfld %2,%1,%R0" [(set_attr "length" "8,*,8") (set_attr "length_table" "*,logicb,*")]) (define_insn_and_split "andqi3_1" [(set (match_operand:QI 0 "bit_operand" "=U,r") (and:QI (match_operand:QI 1 "bit_operand" "%0,0") (match_operand:QI 2 "h8300_src_operand" "Y0,rn")))] "register_operand (operands[0], QImode) || single_zero_operand (operands[2], QImode)" "bclr %W2,%R0" "&& reload_completed && !single_zero_operand (operands[2], QImode)" [(parallel [(set (match_dup 0) (and:QI (match_dup 1) (match_dup 2))) (clobber (reg:CC CC_REG))])] "" [(set_attr "length" "8,2")]) (define_insn_and_split "*andor3" [(set (match_operand:QHSI 0 "register_operand" "=r") (ior:QHSI (and:QHSI (match_operand:QHSI 2 "register_operand" "r") (match_operand:QHSI 3 "single_one_operand" "n")) (match_operand:QHSI 1 "register_operand" "0")))] "(mode == QImode || mode == HImode || (mode == SImode && (INTVAL (operands[3]) & 0xffff) != 0))" "#" "&& reload_completed" [(parallel [(set (match_dup 0) (ior:QHSI (and:QHSI (match_dup 2) (match_dup 3)) (match_dup 1))) (clobber (reg:CC CC_REG))])]) (define_insn "*andor3_clobber_flags" [(set (match_operand:QHSI 0 "register_operand" "=r") (ior:QHSI (and:QHSI (match_operand:QHSI 2 "register_operand" "r") (match_operand:QHSI 3 "single_one_operand" "n")) (match_operand:QHSI 1 "register_operand" "0"))) (clobber (reg:CC CC_REG))] "(mode == QImode || mode == HImode || (mode == SImode && (INTVAL (operands[3]) & 0xffff) != 0))" { if (mode == QImode) return "bld\\t%V3,%X2\;bor\\t%V3,%X0\;bst\\t%V3,%X0"; if (mode == HImode) { operands[3] = GEN_INT (INTVAL (operands[3]) & 0xffff); if (INTVAL (operands[3]) > 128) { operands[3] = GEN_INT (INTVAL (operands[3]) >> 8); return "bld\\t%V3,%t2\;bor\\t%V3,%t0\;bst\\t%V3,%t0"; } return "bld\\t%V3,%s2\;bor\\t%V3,%s0\;bst\\t%V3,%s0"; } if (mode == SImode) { operands[3] = GEN_INT (INTVAL (operands[3]) & 0xffff); if (INTVAL (operands[3]) > 128) { operands[3] = GEN_INT (INTVAL (operands[3]) >> 8); return "bld\\t%V3,%x2\;bor\\t%V3,%x0\;bst\\t%V3,%x0"; } return "bld\\t%V3,%w2\;bor\\t%V3,%w0\;bst\\t%V3,%w0"; } gcc_unreachable (); } [(set_attr "length" "6")]) (define_insn_and_split "*andorsi3_shift_8" [(set (match_operand:SI 0 "register_operand" "=r") (ior:SI (and:SI (ashift:SI (match_operand:SI 2 "register_operand" "r") (const_int 8)) (const_int 65280)) (match_operand:SI 1 "register_operand" "0")))] "" "#" "&& reload_completed" [(parallel [(set (match_dup 0) (ior:SI (and:SI (ashift:SI (match_dup 2) (const_int 8)) (const_int 65280)) (match_dup 1))) (clobber (reg:CC CC_REG))])]) (define_insn "*andorsi3_shift_8_clobber_flags" [(set (match_operand:SI 0 "register_operand" "=r") (ior:SI (and:SI (ashift:SI (match_operand:SI 2 "register_operand" "r") (const_int 8)) (const_int 65280)) (match_operand:SI 1 "register_operand" "0"))) (clobber (reg:CC CC_REG))] "" "or.b\\t%w2,%x0" [(set_attr "length" "2")]) ;; ---------------------------------------------------------------------- ;; OR/XOR INSTRUCTIONS ;; ---------------------------------------------------------------------- (define_insn "b_msx" [(set (match_operand:QHI 0 "bit_register_indirect_operand" "=WU") (ors:QHI (match_operand:QHI 1 "bit_register_indirect_operand" "%0") (match_operand:QHI 2 "single_one_operand" "Y2")))] "TARGET_H8300SX && rtx_equal_p (operands[0], operands[1])" { return == IOR ? "bset\\t%V2,%0" : "bnot\\t%V2,%0"; } [(set_attr "length" "8")]) (define_insn_and_split "qi3_1" [(set (match_operand:QI 0 "bit_operand" "=U,rQ") (ors:QI (match_operand:QI 1 "bit_operand" "%0,0") (match_operand:QI 2 "h8300_src_operand" "Y2,rQi")))] "TARGET_H8300SX || register_operand (operands[0], QImode) || single_one_operand (operands[2], QImode)" { return == IOR ? "bset\\t%V2,%R0" : "bnot\\t%V2,%R0"; } "&& reload_completed && !single_one_operand (operands[2], QImode)" [(parallel [(set (match_dup 0) (ors:QI (match_dup 1) (match_dup 2))) (clobber (reg:CC CC_REG))])] "" [(set_attr "length" "8")]) (define_insn "*qi3_1" [(set (match_operand:QI 0 "bit_operand" "=rQ") (ors:QI (match_operand:QI 1 "bit_operand" "%0") (match_operand:QI 2 "h8300_src_operand" "rQi"))) (clobber (reg:CC CC_REG))] "TARGET_H8300SX" { return == IOR ? "or\\t%X2,%X0" : "xor\\t%X2,%X0"; } [(set_attr "length" "*") (set_attr "length_table" "logicb")]) (define_insn "*qi3_1" [(set (match_operand:QI 0 "register_operand" "=r") (ors:QI (match_operand:QI 1 "register_operand" "%0") (match_operand:QI 2 "h8300_src_operand" "ri"))) (clobber (reg:CC CC_REG))] "TARGET_H8300SX" { return == IOR ? "or\\t%X2,%X0" : "xor\\t%X2,%X0"; } [(set_attr "length" "*") (set_attr "length_table" "logicb")]) (define_insn "*qi3_1" [(set (match_operand:QI 0 "register_operand" "=r") (logicals:QI (match_operand:QI 1 "register_operand" "%0") (match_operand:QI 2 "h8300_src_operand" "rn"))) (clobber (reg:CC CC_REG))] "" { if ( == IOR) return "or\\t%X2,%X0"; else if ( == XOR) return "xor\\t%X2,%X0"; else if ( == AND) return "and\\t%X2,%X0"; gcc_unreachable (); } [(set_attr "length" "2")]) ;; ---------------------------------------------------------------------- ;; {AND,IOR,XOR}{HI3,SI3} PATTERNS ;; ---------------------------------------------------------------------- (define_insn_and_split "*logical3" [(set (match_operand:QHSI 0 "h8300_dst_operand" "=rQ") (logicals:QHSI (match_operand:QHSI 1 "h8300_dst_operand" "%0") (match_operand:QHSI 2 "h8300_src_operand" "rQi")))] "h8300_operands_match_p (operands)" "#" "&& reload_completed" [(parallel [(set (match_dup 0) (logicals:QHSI (match_dup 1) (match_dup 2))) (clobber (reg:CC CC_REG))])]) (define_insn "*3" [(set (match_operand:QHSI 0 "h8300_dst_operand" "=rQ") (logicals:QHSI (match_operand:QHSI 1 "h8300_dst_operand" "%0") (match_operand:QHSI 2 "h8300_src_operand" "rQi"))) (clobber (reg:CC CC_REG))] "h8300_operands_match_p (operands)" { return output_logical_op (mode, , operands, insn); } [(set (attr "length") (symbol_ref "compute_logical_op_length (mode, , operands, insn)"))]) ;; ---------------------------------------------------------------------- ;; NOT INSTRUCTIONS ;; ---------------------------------------------------------------------- (define_insn_and_split "one_cmpl2" [(set (match_operand:QHSI 0 "h8300_dst_operand" "=rQ") (not:QHSI (match_operand:QHSI 1 "h8300_dst_operand" "0")))] "" "#" "&& reload_completed" [(parallel [(set (match_dup 0) (not:QHSI (match_dup 1))) (clobber (reg:CC CC_REG))])]) (define_insn "one_cmpl2_" [(set (match_operand:QHSI 0 "h8300_dst_operand" "=rQ") (not:QHSI (match_operand:QHSI 1 "h8300_dst_operand" "0"))) (clobber (reg:CC CC_REG))] "" { if (mode == E_QImode) return "not %X0"; if (mode == E_HImode) return "not.w %T0"; if (mode == E_SImode) return "not.l %S0"; gcc_unreachable (); } [(set_attr "length_table" "unary")]) ;; The next four peephole2's will try to transform ;; ;; mov.b A,r0l (or mov.l A,er0) ;; and.l #CST,er0 ;; ;; into ;; ;; sub.l er0 ;; mov.b A,r0l ;; and.b #CST,r0l (if CST is not 255) (define_peephole2 [(parallel [(set (match_operand:QI 0 "register_operand" "") (match_operand:QI 1 "general_operand" "")) (clobber (reg:CC CC_REG))]) (parallel [(set (match_operand:SI 2 "register_operand" "") (and:SI (match_dup 2) (const_int 255))) (clobber (reg:CC CC_REG))])] "!reg_overlap_mentioned_p (operands[2], operands[1]) && REGNO (operands[0]) == REGNO (operands[2])" [(parallel [(set (match_dup 2) (const_int 0)) (clobber (reg:CC CC_REG))]) (parallel [(set (strict_low_part (match_dup 0)) (match_dup 1)) (clobber (reg:CC CC_REG))])]) (define_peephole2 [(parallel [(set (match_operand:SI 0 "register_operand" "") (match_operand:SI 1 "nonimmediate_operand" "")) (clobber (reg:CC CC_REG))]) (parallel [(set (match_dup 0) (and:SI (match_dup 0) (const_int 255))) (clobber (reg:CC CC_REG))])] "!reg_overlap_mentioned_p (operands[0], operands[1]) && !(GET_CODE (operands[1]) == MEM && !offsettable_memref_p (operands[1])) && !(GET_CODE (operands[1]) == MEM && MEM_VOLATILE_P (operands[1]))" [(parallel [(set (match_dup 0) (const_int 0)) (clobber (reg:CC CC_REG))]) (parallel [(set (strict_low_part (match_dup 2)) (match_dup 3)) (clobber (reg:CC CC_REG))])] { operands[2] = gen_lowpart (QImode, operands[0]); operands[3] = gen_lowpart (QImode, operands[1]); }) (define_peephole2 [(parallel [(set (match_operand 0 "register_operand" "") (match_operand 1 "nonimmediate_operand" "")) (clobber (reg:CC CC_REG))]) (parallel [(set (match_operand:SI 2 "register_operand" "") (and:SI (match_dup 2) (match_operand:SI 3 "const_int_qi_operand" ""))) (clobber (reg:CC CC_REG))])] "(GET_MODE (operands[0]) == QImode || GET_MODE (operands[0]) == HImode || GET_MODE (operands[0]) == SImode) && GET_MODE (operands[0]) == GET_MODE (operands[1]) && REGNO (operands[0]) == REGNO (operands[2]) && !reg_overlap_mentioned_p (operands[2], operands[1]) && !(GET_MODE (operands[1]) != QImode && GET_CODE (operands[1]) == MEM && !offsettable_memref_p (operands[1])) && !(GET_MODE (operands[1]) != QImode && GET_CODE (operands[1]) == MEM && MEM_VOLATILE_P (operands[1]))" [(parallel [(set (match_dup 2) (const_int 0)) (clobber (reg:CC CC_REG))]) (parallel [(set (strict_low_part (match_dup 4)) (match_dup 5)) (clobber (reg:CC CC_REG))]) (parallel [(set (match_dup 2) (and:SI (match_dup 2) (match_dup 6))) (clobber (reg:CC CC_REG))])] { operands[4] = gen_lowpart (QImode, operands[0]); operands[5] = gen_lowpart (QImode, operands[1]); operands[6] = GEN_INT (~0xff | INTVAL (operands[3])); }) (define_peephole2 [(parallel [(set (match_operand:SI 0 "register_operand" "") (match_operand:SI 1 "register_operand" "")) (clobber (reg:CC CC_REG))]) (parallel [(set (match_dup 0) (and:SI (match_dup 0) (const_int 65280))) (clobber (reg:CC CC_REG))])] "!reg_overlap_mentioned_p (operands[0], operands[1])" [(parallel [(set (match_dup 0) (const_int 0)) (clobber (reg:CC CC_REG))]) (parallel [(set (zero_extract:SI (match_dup 0) (const_int 8) (const_int 8)) (lshiftrt:SI (match_dup 1) (const_int 8))) (clobber (reg:CC CC_REG))])])