<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Jan 24, 2014, at 2:21 AM, Daniel Sanders <<a href="mailto:Daniel.Sanders@imgtec.com">Daniel.Sanders@imgtec.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">Hi Andrew,<o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"> <o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">I seem to be making good progress on the P5600 scheduler using the new machine model but I've got a few questions about it.</div></div></div></blockquote><div><br></div><div>Hi Daniel,</div><div><br></div><div>These are really good questions. For future reference, I might provide better examples if you attach what you have so far for the model.</div><div><br></div><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><span style="font-family: Calibri, sans-serif; font-size: 11pt;">How would you represent an instruction that splits into two micro-ops and is dispatched to two different reservation stations?</span><br><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">For example, I have two reservation stations (AGQ and FPQ). An FPU load instruction is split into a load micro-op which is dispatched to AGQ and a writeback micro-op which is dispatched to FPQ.<o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">The AGQ micro-op is issued to a four-cycle latency pipeline called LDST. Three cycles after issue, the LDST pipeline wakes up the FPQ micro-op, which writes the result of the load back to the register file.</div></div></div></blockquote><div><br></div><div>This question illustrates the primary difference between the per-operand machine model and the itinerary. The itinerary directly models the stages of each pipeline independently. Some backend maintainers may still want to use itineraries if that level of precision is critical [1]. Another option is extending the new model. [2]</div><div><br></div><div>I will assume that each queue is fully pipelined (4 ACQ ops can be in-flight).</div><div><br></div><div>Forcing all this information into a single SchedWriteRes def would look like this:</div><div><br></div><div>def P5600FLD : SchedWriteRes <[P5600UnitAGQ, P5600UnitFP]> {</div><div> let Latency = 5; // 4 cycle load + 1 cycle FP writeback</div><div> let NumMicroOps = 2;</div><div>}</div><div><br></div><div>This is bad (for an in-order processor) because it prevents FPLoad + FPx from being scheduled in the same cycle and fails to detect a conflict on FP ops 5 scheduled cycles ahead.</div><div><br></div><div>A better way to express it would be:</div><div><br></div><div>def P5600LD <[P5600UnitAGQ]> { let Latency = 4; }</div><div>def P5600FP <[P5600UnitFP]>;</div><div><br></div><div>def P5600FLD : WriteSequence<[P5600LD, P5600FP]>;</div><div><br></div><div>Unfortunately, the implementation currently aggregates the processor resources, ignoring the fact that they are used on different cycles. This is totally fixable [2]. However, I don't know why you would care, since an out-of-order processor doing its job will make the stalls unpredictable either way.</div><div><br></div><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><span style="font-family: Calibri, sans-serif; font-size: 11pt;">Is it possible to use other instructions already scheduled for the same cycle as part of the evaluation of a SchedPredicate in a SchedVariant?</span><br><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">I've got a class of instructions (mostly simple addition) that can dispatch to two different reservation stations (ALQ and AGQ), both of which have a suitable pipeline with the same latency. The dispatch stage can dispatch two instructions per cycle. When it has one instruction from this class it dispatches it to ALQ (this isn't strictly true but I'll come back to that), and when it has two it dispatches one to ALQ and the other to AGQ.<o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"> </div></div></div></blockquote><div><br></div><div>No. The machine model is used to form a scheduling DAG independent of the original schedule. If it's important to be this precise, then I suggest you plugin a new MachineSchedStrategy where you can model stalls for any special cases during scheduling.</div><div><br></div><div>You need a super-resource:</div><div><br></div><div>def P5600A : ProcResource<2>;</div><div>def P5600AGQ : ProcResource<1> { let Super = P5600A; }</div><div>def P5600ALQ : ProcResource<1> { let Super = P5600A; }</div><div><br></div><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">Is it possible to use historical scheduling decisions as part of the evaluation of a SchedPredicate in a SchedVariant?<o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">I'm fairly certain the answer to this one is 'no' (because scheduling can be performed in both directions) but I'll ask anyway. In the previous question, I said that when the dispatch stage has one instruction that can be dispatched to either ALQ or AGQ it always picks ALQ. The truth of the matter is that historical decisions are used to guess which one is most likely to stall and the dispatch stage picks the other one. I haven't established exactly what information it's using yet though so I can't give a good example.</div></div></div></blockquote><div><br></div><div>SchedVariant is really just for opcodes that can use different resources/latency depending on the value of some immediate.</div><div><br></div><div>The kind of micro-architectural special rules/heuristics that you are describing are exactly why we have a plugable MachineSchedStrategy.</div><div><span style="font-family: Calibri, sans-serif; font-size: 11pt;"> </span></div><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">Is there an easy way to check I've covered every valid instruction? I'm thinking it would be helpful if I could get build warnings from tablegen about valid instructions with no scheduling information. This would also prevent someone adding an instruction later and forgetting to add it to the scheduler.</div></div></div></blockquote><div><br></div><div>YES! Very good question.</div><div><br></div><div>When implementing a new model, it's important to run table-gen with subtarget-emitter.</div><div><br></div><div>You should be able to touch your .td, then grab the command via make TOOL_VERBOSE=1</div><div><br></div><div>This is the line from ARM:</div><div><br></div><div>llvm-tblgen -I /s/fix/lib/Target/ARM -I /s/fix/include -I /s/fix/include -I /s/fix/lib/Target -gen-subtarget -o ARMGenSubtargetInfo.inc /s/fix/lib/Target/ARM/ARM.td -debug-only=subtarget-emitter</div><div><br></div><div>It will list all instructions and print "No machine model for <subtarget>"</div><div>You will also get an assert in the scheduler, unless you add the following flag to your mode:</div><div><br></div><div> let CompleteModel = 0;</div><div><br></div><blockquote type="cite"><div lang="EN-GB" link="blue" vlink="purple" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="WordSection1" style="page: WordSection1;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p> </o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;">Thanks<o:p></o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;"><o:p> </o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: justify;"><b><span style="font-size: 12pt; font-family: Arial, sans-serif; color: rgb(51, 51, 255);">Daniel Sanders<o:p></o:p></span></b></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: justify;"><span style="font-size: 10pt; font-family: Arial, sans-serif; color: rgb(51, 51, 255);">Leading Software Design Engineer, MIPS Processor IP<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: justify;"><span style="font-size: 10pt; font-family: Arial, sans-serif; color: rgb(51, 51, 255);">Imagination Technologies Limited<o:p></o:p></span></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: justify;"><a href="http://www.imgtec.com/" style="color: purple; text-decoration: underline;"><span style="font-size: 10pt; font-family: Arial, sans-serif; color: blue;">www.imgtec.com</span></a></div></div></div></blockquote><br></div><div><br></div><div><div>[1] I added support for the itineraries into the new MI scheduler because I realized that some out-of-tree backend maintainers may still want that level of precision. I'm not sure yet whether you fall into that category. The new machine model was designed for out-of-order processors, but I also think it is sufficient for most in-order models. I would like to establish the new machine model as the preferred choice because it is simpler and more efficient, it will be easier for most backend developers to bring up a new subtarget, and we will then eventually have more consistency across targets. I also selfishly want more good in-tree examples of the new model so it will effectively be better documented and supported.</div><div><br></div><div>I believe it is possible to handle special cases requiring the itinerary's precision without using an itinerary by either pluging custom logic into the MachineSchedStrategy, or extending the new machine model...</div><div><br></div><div>[2] To model in-order pipeline resource we could</div><div><br></div><div>- add a field to MCWriteProcResEntry</div><div> + unsigned DelayCycles;</div><div><br></div><div>- Modify the table gen code in SubtargetEmitter to record the delay.</div><div><br></div><div> We already to this:</div><div> // If this resource is already used in this sequence, add the current</div><div> // entry's cycles so that the same resource appears to be used</div><div> // serially, rather than multiple parallel uses. This is important for</div><div> // in-order machine where the resource consumption is a hazard.</div><div><br></div><div> But we could do also add a delay to the resource cycles when the the</div><div> processor resource is unbuffered.</div><div><br></div><div>- The code in SchedBoundary::bumpNode and SchedBoundary::checkHazard</div><div> needs to be updated to increment the cycle accounting for DelayCycles.</div><div><br></div><div>-Andy</div></div><br></body></html>