Yes you're right, I realized it is 'recog' and indeed I forgot to allow moving symbol_ref in 'movsi' in the predicate. Thanks On Mon, Aug 19, 2013 at 11:34 AM, Chung-Ju Wu <jasonwucj@xxxxxxxxx> wrote: > 2013/8/19 Hendrik Greving <hendrik.greving.intel@xxxxxxxxx>: >> Hi, asking bluntly, what does it mean if I am running into >> >> recog.c:extract_insn:fatal_insn_not_found (insn); >> >> ? Does this mean that there are some constraints that don't satisfy >> something that the predicates allowed? > > If so, then the message should be "insn does not satisfy its constraints". > > In your case, I think there produces an insn that cannot be matched by > any instruction patterns in your target.md. Either it does not > satisfy predicates, > or is rejected by condition of the insn pattern. > > > Best regards, > jasonwucj