[llvm-dev] OPC_EmitMergeInputChains1_0 failed while lowering callseq_start

Dominique Torette via llvm-dev llvm-dev at lists.llvm.org
Wed Sep 6 09:14:42 PDT 2017

I'm lowering the 'callseq_start' and 'callseq_end' using nodes/patterns and the SelectCodeCommon().

'callseq_end' is well morphed into an architecture specific ADJCALLSTACKUP PseudoInstruction.

ISEL: Starting pattern match on root node: t9: ch,glue = callseq_end t8, TargetConstant:i16<0>, TargetConstant:i16<0>, t8:1

  Morphed node: t9: ch,glue = ADJCALLSTACKUP TargetConstant:i16<0>, TargetConstant:i16<0>, t8, t8:1

'callseq_start' failed to be morphed into ADJCALLSTACKDOWN :-/

LLVM ERROR: Cannot select: t6: ch,glue = callseq_start t0, TargetConstant:i16<0>
  t5: i16 = TargetConstant<0>

Here is the debug trace of the matching. It should match at 280, but failed at 279 on OPC_EmitMergeInputChains1_0.

ISEL: Starting pattern match on root node: t6: ch,glue = callseq_start t0, TargetConstant:i16<0>

  Skipped scope entry (due to false predicate) at index 2, continuing at 30
  Skipped scope entry (due to false predicate) at index 31, continuing at 104
  Skipped scope entry (due to false predicate) at index 105, continuing at 183
  Skipped scope entry (due to false predicate) at index 184, continuing at 225
  Skipped scope entry (due to false predicate) at index 226, continuing at 267
  Match failed at index 279
  Continuing at 287
  Match failed at index 288
  Continuing at 311

/*267*/     /*Scope*/ 19, /*->287*/
/*268*/       OPC_CheckOpcode, TARGET_VAL(ISD::CALLSEQ_START),
/*271*/       OPC_RecordNode, // #0 = 'callseq_start' chained node
/*272*/       OPC_RecordChild1, // #1 = $amt
/*273*/       OPC_MoveChild, 1,
/*275*/       OPC_CheckOpcode, TARGET_VAL(ISD::TargetConstant),
/*278*/       OPC_MoveParent,
/*279*/       OPC_EmitMergeInputChains1_0,
/*280*/       OPC_MorphNodeTo, TARGET_VAL(CLP::ADJCALLSTACKDOWN), 0|OPFL_Chain|OPFL_GlueOutput,
                  0/*#VTs*/, 1/*#Ops*/, 1,
              // Src: (callseq_start (timm:i16):$amt) - Complexity = 6
              // Dst: (ADJCALLSTACKDOWN (timm:i16):$amt)
/*287*/     /*Scope*/ 23, /*->311*/

Using GDB, I've traced the reason of the failure:
SelectCodeCommon() failed because Case OPC_EmitMergeInputChains1_0 'Failed to merge' because HandleMergeInputChains() returns CR_InducesCycle because  WalkChainUsers() returns CR_InducesCycle;
      // Because we structurally match the load/store as a read/modify/write,
      // but the call is chained between them.  We cannot fold in this case
      // because it would induce a cycle in the graph.

What's the meaning of such status? How to fix the following pattern or the Instruction Selection Graph?

Here are the pattern/nodes definitions:

            def SDT_CLPCallSeqStart : SDCallSeqStart<[ SDTCisVT<0, i16> ]>;

def callseq_start : SDNode<"ISD::CALLSEQ_START", SDT_CLPCallSeqStart,
                           [SDNPHasChain, SDNPOutGlue, SDNPSideEffect]>;

def ADJCALLSTACKDOWN       : CLPPseudoInst<(ins i16imm:$amt), (outs), [],
                                   "# ADJCALLSTACKDOWN $amt",
                                   [(callseq_start timm:$amt)],NoItinerary>;

[cid:image001.png at 01D3273B.A87F38E0]


Dominique Torette
System Architect
Rue des Chasseurs Ardennais - Li├Ęge Science Park - B-4031 Angleur
Tel: +32 (0) 4 361 81 11 - Fax: +32 (0) 4 361 81 20



The present message may contain confidential and/or legally privileged information. If you are not the intended addressee and in case of a transmission error, please notify the sender immediately and destroy this E-mail. Disclosure, reproduction or distribution of this document and its possible attachments is strictly forbidden.

SPACEBEL denies all liability for incomplete, improper, inaccurate, intercepted, (partly) destroyed, lost and/or belated transmission of the current information given that unencrypted electronic transmission cannot currently be guaranteed to be secure or error free.
Upon request or in conformity with formal, contractual agreements, an originally signed hard copy will be sent to you to confirm the information contained in this E-mail.

SPACEBEL denies all liability where E-mail is used for private use.

SPACEBEL cannot be held responsible for possible viruses that might corrupt this message and/or your computer system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170906/59108b0f/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 70073 bytes
Desc: image001.png
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170906/59108b0f/attachment-0001.png>

More information about the llvm-dev mailing list