On 2013-06-06 09:18, Paulo Matos wrote:
So while I have:
tsteqb p0, r0, r1
which sets p0 to 0xff is r0 == r1, then the branch looks like
bl p0.<bit>, <label>,
where
bl p0.0, L1
branches to L1 is bit 0 of p0 is set.
So I have cmp_qimode, etc but then only cbranchbi4.
You'll be better off with a cbranchqi4 that expands to the comparison
insn and a special branch pattern. I suggest ignoring BImode entirely
and using something like
(define_insn "*cbranch"
[(set (pc)
(if_then_else
(match_operator 2 "easy_comparison"
[(and:QI (match_operand:QI 0 "register_operand" "c")
(const_int 1))
(const_int 0)])
(label_ref (match_operand 1 ""))
(pc)))]
...)
r~
