<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">I am trying to make some modifications to our code generator that will produce better code, but require adding new patterns.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">What I am trying to do is take a register/register pattern and change it to a register/immediate.<o:p></o:p></p>
<p class="MsoNormal">So for example, I have this pattern:<o:p></o:p></p>
<p class="MsoNormal">class ILFormat<ILOpCode op, dag outs, dag ins, string asmstr, list<dag> pattern><o:p></o:p></p>
<p class="MsoNormal">: Instruction {<o:p></o:p></p>
<p class="MsoNormal"> let Namespace = "AMDIL";<o:p></o:p></p>
<p class="MsoNormal"> dag OutOperandList = outs;<o:p></o:p></p>
<p class="MsoNormal"> dag InOperandList = ins;<o:p></o:p></p>
<p class="MsoNormal"> ILOpCode operation = op;<o:p></o:p></p>
<p class="MsoNormal"> let Pattern = pattern;<o:p></o:p></p>
<p class="MsoNormal"> let AsmString = !strconcat(asmstr, "\n");<o:p></o:p></p>
<p class="MsoNormal"> bit hasIEEEFlag = 0;<o:p></o:p></p>
<p class="MsoNormal"> bit hasZeroOpFlag = 0;<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal">class BinaryOp<ILOpCode op, SDNode OpNode, RegisterClass dReg,<o:p></o:p></p>
<p class="MsoNormal"> RegisterClass sReg0, RegisterClass sReg1><o:p></o:p></p>
<p class="MsoNormal"> : ILFormat<op, (outs dReg:$dst), (ins sReg0:$src0, sReg1:$src1),<o:p></o:p></p>
<p class="MsoNormal"> !strconcat(op.Text, " $dst, $src0, $src1"),<o:p></o:p></p>
<p class="MsoNormal"> [(set dReg:$dst, (OpNode sReg0:$src0, sReg1:$src1))]>;<o:p></o:p></p>
<p class="MsoNormal">multiclass BinaryOpMCInt<ILOpCode OpCode, SDNode OpNode> {<o:p></o:p></p>
<p class="MsoNormal"> def _i8 : BinaryOp<OpCode, OpNode, GPRI8, GPRI8, GPRI8>;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> def _i16 : BinaryOp<OpCode, OpNode, GPRI16, GPRI16, GPRI16>;<o:p></o:p></p>
<p class="MsoNormal"> def _i32 : BinaryOp<OpCode, OpNode, GPRI32, GPRI32, GPRI32>;<o:p></o:p></p>
<p class="MsoNormal"> def _i64 : BinaryOp<OpCode, OpNode, GPRI64, GPRI64, GPRI64>;<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal">defm AND : BinaryOpMCInt<IL_OP_AND, and>;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I want to turn this into a register/immediate pattern by changing it to:<o:p></o:p></p>
<p class="MsoNormal">class ILFormat<dag outs, dag ins, string asmstr, list<dag> pattern><o:p></o:p></p>
<p class="MsoNormal">: Instruction {<o:p></o:p></p>
<p class="MsoNormal"> let Namespace = "AMDIL";<o:p></o:p></p>
<p class="MsoNormal"> dag OutOperandList = outs;<o:p></o:p></p>
<p class="MsoNormal"> dag InOperandList = ins;<o:p></o:p></p>
<p class="MsoNormal"> let Pattern = pattern;<o:p></o:p></p>
<p class="MsoNormal"> let AsmString = !strconcat(asmstr, "\n");<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal">multiclass BinaryOp<SDNode OpNode, RegisterClass dReg,<o:p></o:p></p>
<p class="MsoNormal"> RegisterClass sReg0, RegisterClass sReg1, Operand lit>
<o:p></o:p></p>
<p class="MsoNormal">{<o:p></o:p></p>
<p class="MsoNormal">def _rr: ILFormat<op, (outs dReg:$dst), (ins sReg0:$src0, sReg1:$src1),<o:p></o:p></p>
<p class="MsoNormal"> !strconcat(op.Text, " $dst, $src0, $src1"),<o:p></o:p></p>
<p class="MsoNormal"> [(set dReg:$dst, (OpNode sReg0:$src0, sReg1:$src1))]>;<o:p></o:p></p>
<p class="MsoNormal">def _ri : ILFormat<op, (outs dReg:$dst), (ins sReg0:$src0, lit:$src1),<o:p></o:p></p>
<p class="MsoNormal"> "and $dst, $src0, $src1"),<o:p></o:p></p>
<p class="MsoNormal"> [(set dReg:$dst, (OpNode sReg0:$src0, imm:$src1))]>;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal">multiclass BinaryOpMCInt<SDNode OpNode> {<o:p></o:p></p>
<p class="MsoNormal"> defm _i32 : BinaryOp<OpNode, GPRI32, GPRI32, GPRI32, i32imm>;<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal">defm AND : BinaryOpMCInt<and>;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">When I run on a simple program which just ands a value and writes to memory, I get this error:<o:p></o:p></p>
<p class="MsoNormal">LLVM ERROR: Cannot select: 0x99555d0: i32 = Constant<2> [ORD=7] [ID=8]<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Where 0x99555d0 is only used as the second operand of the 'and' node.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">So, how can I figure out what I'm doing wrong? Does anyone see anything majorly wrong here?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<o:p></o:p></p>
<p class="MsoNormal">Micah<o:p></o:p></p>
</div>
</body>
</html>