1e8d8bef9SDimitry Andric//==- RISCVSchedRocket.td - Rocket Scheduling Definitions ----*- tablegen -*-=// 2e8d8bef9SDimitry Andric// 3e8d8bef9SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4e8d8bef9SDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 5e8d8bef9SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6e8d8bef9SDimitry Andric// 7e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===// 8e8d8bef9SDimitry Andric 9e8d8bef9SDimitry Andric// ===---------------------------------------------------------------------===// 10e8d8bef9SDimitry Andric// The following definitions describe the simpler per-operand machine model. 11e8d8bef9SDimitry Andric// This works with MachineScheduler. See MCSchedule.h for details. 12e8d8bef9SDimitry Andric 13e8d8bef9SDimitry Andric// Rocket machine model for scheduling and other instruction cost heuristics. 14e8d8bef9SDimitry Andricdef RocketModel : SchedMachineModel { 15e8d8bef9SDimitry Andric let MicroOpBufferSize = 0; // Rocket is in-order. 16e8d8bef9SDimitry Andric let IssueWidth = 1; // 1 micro-op is dispatched per cycle. 17e8d8bef9SDimitry Andric let LoadLatency = 3; 18e8d8bef9SDimitry Andric let MispredictPenalty = 3; 190eae32dcSDimitry Andric let CompleteModel = false; 2004eeddc0SDimitry Andric let UnsupportedFeatures = [HasStdExtZbkb, HasStdExtZbkc, HasStdExtZbkx, 2106c3fb27SDimitry Andric HasStdExtZcmt, HasStdExtZknd, HasStdExtZkne, 2206c3fb27SDimitry Andric HasStdExtZknh, HasStdExtZksed, HasStdExtZksh, 2306c3fb27SDimitry Andric HasStdExtZkr, HasVInstructions, HasVInstructionsI64]; 24e8d8bef9SDimitry Andric} 25e8d8bef9SDimitry Andric 26e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===// 27e8d8bef9SDimitry Andric// Define each kind of processor resource and number available. 28e8d8bef9SDimitry Andric 29e8d8bef9SDimitry Andric// Modeling each pipeline as a ProcResource using the BufferSize = 0 since 30e8d8bef9SDimitry Andric// Rocket is in-order. 31e8d8bef9SDimitry Andric 32e8d8bef9SDimitry Andriclet BufferSize = 0 in { 33e8d8bef9SDimitry Andricdef RocketUnitALU : ProcResource<1>; // Int ALU 34e8d8bef9SDimitry Andricdef RocketUnitIMul : ProcResource<1>; // Int Multiply 35e8d8bef9SDimitry Andricdef RocketUnitMem : ProcResource<1>; // Load/Store 36e8d8bef9SDimitry Andricdef RocketUnitB : ProcResource<1>; // Branch 37e8d8bef9SDimitry Andric 38e8d8bef9SDimitry Andricdef RocketUnitFPALU : ProcResource<1>; // FP ALU 39e8d8bef9SDimitry Andric} 40e8d8bef9SDimitry Andric 41e8d8bef9SDimitry Andriclet BufferSize = 1 in { 42e8d8bef9SDimitry Andricdef RocketUnitIDiv : ProcResource<1>; // Int Division 43e8d8bef9SDimitry Andricdef RocketUnitFPDivSqrt : ProcResource<1>; // FP Divide/Sqrt 44e8d8bef9SDimitry Andric} 45e8d8bef9SDimitry Andric 46e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===// 47e8d8bef9SDimitry Andric 48e8d8bef9SDimitry Andriclet SchedModel = RocketModel in { 49e8d8bef9SDimitry Andric 50e8d8bef9SDimitry Andric// Branching 51e8d8bef9SDimitry Andricdef : WriteRes<WriteJmp, [RocketUnitB]>; 52e8d8bef9SDimitry Andricdef : WriteRes<WriteJal, [RocketUnitB]>; 53e8d8bef9SDimitry Andricdef : WriteRes<WriteJalr, [RocketUnitB]>; 54e8d8bef9SDimitry Andric 55e8d8bef9SDimitry Andric// Integer arithmetic and logic 56e8d8bef9SDimitry Andricdef : WriteRes<WriteIALU32, [RocketUnitALU]>; 57e8d8bef9SDimitry Andricdef : WriteRes<WriteIALU, [RocketUnitALU]>; 58fe6060f1SDimitry Andricdef : WriteRes<WriteShiftImm32, [RocketUnitALU]>; 59fe6060f1SDimitry Andricdef : WriteRes<WriteShiftImm, [RocketUnitALU]>; 60fe6060f1SDimitry Andricdef : WriteRes<WriteShiftReg32, [RocketUnitALU]>; 61fe6060f1SDimitry Andricdef : WriteRes<WriteShiftReg, [RocketUnitALU]>; 62e8d8bef9SDimitry Andric 63e8d8bef9SDimitry Andric// Integer multiplication 64e8d8bef9SDimitry Andriclet Latency = 4 in { 65e8d8bef9SDimitry Andricdef : WriteRes<WriteIMul, [RocketUnitIMul]>; 66e8d8bef9SDimitry Andricdef : WriteRes<WriteIMul32, [RocketUnitIMul]>; 67e8d8bef9SDimitry Andric} 68e8d8bef9SDimitry Andric 69e8d8bef9SDimitry Andric// Integer division 70e8d8bef9SDimitry Andric// Worst case latency is used. 71e8d8bef9SDimitry Andricdef : WriteRes<WriteIDiv32, [RocketUnitIDiv]> { 72e8d8bef9SDimitry Andric let Latency = 34; 735f757f3fSDimitry Andric let ReleaseAtCycles = [34]; 74e8d8bef9SDimitry Andric} 75e8d8bef9SDimitry Andricdef : WriteRes<WriteIDiv, [RocketUnitIDiv]> { 76e8d8bef9SDimitry Andric let Latency = 33; 775f757f3fSDimitry Andric let ReleaseAtCycles = [33]; 78e8d8bef9SDimitry Andric} 79e8d8bef9SDimitry Andric 80*0fca6ea1SDimitry Andric// Integer remainder 81*0fca6ea1SDimitry Andricdef : WriteRes<WriteIRem32, [RocketUnitIDiv]> { 82*0fca6ea1SDimitry Andric let Latency = 34; 83*0fca6ea1SDimitry Andric let ReleaseAtCycles = [34]; 84*0fca6ea1SDimitry Andric} 85*0fca6ea1SDimitry Andricdef : WriteRes<WriteIRem, [RocketUnitIDiv]> { 86*0fca6ea1SDimitry Andric let Latency = 33; 87*0fca6ea1SDimitry Andric let ReleaseAtCycles = [33]; 88*0fca6ea1SDimitry Andric} 89*0fca6ea1SDimitry Andric 90e8d8bef9SDimitry Andric// Memory 91e8d8bef9SDimitry Andricdef : WriteRes<WriteSTB, [RocketUnitMem]>; 92e8d8bef9SDimitry Andricdef : WriteRes<WriteSTH, [RocketUnitMem]>; 93e8d8bef9SDimitry Andricdef : WriteRes<WriteSTW, [RocketUnitMem]>; 94e8d8bef9SDimitry Andricdef : WriteRes<WriteSTD, [RocketUnitMem]>; 95e8d8bef9SDimitry Andricdef : WriteRes<WriteFST32, [RocketUnitMem]>; 96e8d8bef9SDimitry Andricdef : WriteRes<WriteFST64, [RocketUnitMem]>; 97e8d8bef9SDimitry Andric 98e8d8bef9SDimitry Andriclet Latency = 3 in { 99e8d8bef9SDimitry Andricdef : WriteRes<WriteLDB, [RocketUnitMem]>; 100e8d8bef9SDimitry Andricdef : WriteRes<WriteLDH, [RocketUnitMem]>; 101e8d8bef9SDimitry Andric} 102e8d8bef9SDimitry Andric 103e8d8bef9SDimitry Andriclet Latency = 2 in { 104e8d8bef9SDimitry Andricdef : WriteRes<WriteLDW, [RocketUnitMem]>; 105e8d8bef9SDimitry Andricdef : WriteRes<WriteLDD, [RocketUnitMem]>; 106e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD32, [RocketUnitMem]>; 107e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD64, [RocketUnitMem]>; 108e8d8bef9SDimitry Andric 109e8d8bef9SDimitry Andric// Atomic memory 110e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicW, [RocketUnitMem]>; 111e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicD, [RocketUnitMem]>; 112e8d8bef9SDimitry Andric 113e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDW, [RocketUnitMem]>; 114e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDD, [RocketUnitMem]>; 115e8d8bef9SDimitry Andric} 116e8d8bef9SDimitry Andric 117e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTW, [RocketUnitMem]>; 118e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTD, [RocketUnitMem]>; 119e8d8bef9SDimitry Andric 120e8d8bef9SDimitry Andric// Single precision. 121e8d8bef9SDimitry Andriclet Latency = 4 in { 122bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd32, [RocketUnitFPALU]>; 123e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ32, [RocketUnitFPALU]>; 124e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax32, [RocketUnitFPALU]>; 125e8d8bef9SDimitry Andric} 126e8d8bef9SDimitry Andric 127e8d8bef9SDimitry Andric// Double precision 128e8d8bef9SDimitry Andriclet Latency = 6 in { 129bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd64, [RocketUnitFPALU]>; 130e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ64, [RocketUnitFPALU]>; 131e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax64, [RocketUnitFPALU]>; 132e8d8bef9SDimitry Andric} 133e8d8bef9SDimitry Andric 134e8d8bef9SDimitry Andric// Conversions 135e8d8bef9SDimitry Andriclet Latency = 2 in { 136e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF32, [RocketUnitFPALU]>; 137e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF64, [RocketUnitFPALU]>; 138e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF32, [RocketUnitFPALU]>; 139e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF64, [RocketUnitFPALU]>; 140e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI32, [RocketUnitFPALU]>; 141e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI64, [RocketUnitFPALU]>; 142e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI32, [RocketUnitFPALU]>; 143e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI64, [RocketUnitFPALU]>; 144e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToF64, [RocketUnitFPALU]>; 145e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToF32, [RocketUnitFPALU]>; 146e8d8bef9SDimitry Andric 147e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass32, [RocketUnitFPALU]>; 148e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass64, [RocketUnitFPALU]>; 149e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp32, [RocketUnitFPALU]>; 150e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp64, [RocketUnitFPALU]>; 151e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF32ToI32, [RocketUnitFPALU]>; 152e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI32ToF32, [RocketUnitFPALU]>; 153e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF64ToI64, [RocketUnitFPALU]>; 154e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI64ToF64, [RocketUnitFPALU]>; 155e8d8bef9SDimitry Andric} 156e8d8bef9SDimitry Andric 157e8d8bef9SDimitry Andric// FP multiplication 158e8d8bef9SDimitry Andriclet Latency = 5 in { 159e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul32, [RocketUnitFPALU]>; 160fe6060f1SDimitry Andricdef : WriteRes<WriteFMA32, [RocketUnitFPALU]>; 161e8d8bef9SDimitry Andric} 162e8d8bef9SDimitry Andric 163e8d8bef9SDimitry Andriclet Latency = 7 in { 164e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul64, [RocketUnitFPALU]>; 165fe6060f1SDimitry Andricdef : WriteRes<WriteFMA64, [RocketUnitFPALU]>; 166e8d8bef9SDimitry Andric} 167e8d8bef9SDimitry Andric 168e8d8bef9SDimitry Andric// FP division 169e8d8bef9SDimitry Andric// FP division unit on Rocket is not pipelined, so set resource cycles to latency. 1705f757f3fSDimitry Andriclet Latency = 20, ReleaseAtCycles = [20] in { 171e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv32, [RocketUnitFPDivSqrt]>; 172e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv64, [RocketUnitFPDivSqrt]>; 173e8d8bef9SDimitry Andric} 174e8d8bef9SDimitry Andric 175e8d8bef9SDimitry Andric// FP square root unit on Rocket is not pipelined, so set resource cycles to latency. 176e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt32, [RocketUnitFPDivSqrt]> { let Latency = 20; 1775f757f3fSDimitry Andric let ReleaseAtCycles = [20]; } 178e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt64, [RocketUnitFPDivSqrt]> { let Latency = 25; 1795f757f3fSDimitry Andric let ReleaseAtCycles = [25]; } 180e8d8bef9SDimitry Andric 181e8d8bef9SDimitry Andric// Others 182e8d8bef9SDimitry Andricdef : WriteRes<WriteCSR, []>; 183e8d8bef9SDimitry Andricdef : WriteRes<WriteNop, []>; 184e8d8bef9SDimitry Andric 185e8d8bef9SDimitry Andricdef : InstRW<[WriteIALU], (instrs COPY)>; 186e8d8bef9SDimitry Andric 187e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===// 188e8d8bef9SDimitry Andric// Bypass and advance 189e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJmp, 0>; 190e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJalr, 0>; 191e8d8bef9SDimitry Andricdef : ReadAdvance<ReadCSR, 0>; 192e8d8bef9SDimitry Andricdef : ReadAdvance<ReadStoreData, 0>; 193e8d8bef9SDimitry Andricdef : ReadAdvance<ReadMemBase, 0>; 194e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU, 0>; 195e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU32, 0>; 196fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm, 0>; 197fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm32, 0>; 198fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg, 0>; 199fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg32, 0>; 200e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv, 0>; 201e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv32, 0>; 202*0fca6ea1SDimitry Andricdef : ReadAdvance<ReadIRem, 0>; 203*0fca6ea1SDimitry Andricdef : ReadAdvance<ReadIRem32, 0>; 204e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul, 0>; 205e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul32, 0>; 206e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWA, 0>; 207e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWD, 0>; 208e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDA, 0>; 209e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDD, 0>; 210e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDW, 0>; 211e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDD, 0>; 212e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTW, 0>; 213e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTD, 0>; 214bdd1243dSDimitry Andricdef : ReadAdvance<ReadFStoreData, 0>; 215e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMemBase, 0>; 216bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd32, 0>; 217bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd64, 0>; 218e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul32, 0>; 219e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul64, 0>; 220bdd1243dSDimitry Andricdef : ReadAdvance<ReadFMA32, 0>; 2215f757f3fSDimitry Andricdef : ReadAdvance<ReadFMA32Addend, 0>; 222fe6060f1SDimitry Andricdef : ReadAdvance<ReadFMA64, 0>; 2235f757f3fSDimitry Andricdef : ReadAdvance<ReadFMA64Addend, 0>; 224e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv32, 0>; 225e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv64, 0>; 226e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt32, 0>; 227e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt64, 0>; 228e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp32, 0>; 229e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp64, 0>; 230e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ32, 0>; 231e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ64, 0>; 232e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax32, 0>; 233e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax64, 0>; 234e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI32, 0>; 235e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI64, 0>; 236e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI32, 0>; 237e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI64, 0>; 238e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF32, 0>; 239e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF64, 0>; 240e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF32, 0>; 241e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF64, 0>; 242e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToF64, 0>; 243e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToF32, 0>; 244e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF32ToI32, 0>; 245e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI32ToF32, 0>; 246e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF64ToI64, 0>; 247e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI64ToF64, 0>; 248e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass32, 0>; 249e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass64, 0>; 250fe6060f1SDimitry Andric 2516e75b2fbSDimitry Andric//===----------------------------------------------------------------------===// 2526e75b2fbSDimitry Andric// Unsupported extensions 2536e75b2fbSDimitry Andricdefm : UnsupportedSchedV; 254*0fca6ea1SDimitry Andricdefm : UnsupportedSchedZabha; 255fe6060f1SDimitry Andricdefm : UnsupportedSchedZba; 256fe6060f1SDimitry Andricdefm : UnsupportedSchedZbb; 25704eeddc0SDimitry Andricdefm : UnsupportedSchedZbc; 25804eeddc0SDimitry Andricdefm : UnsupportedSchedZbs; 259bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkb; 260bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkx; 26106c3fb27SDimitry Andricdefm : UnsupportedSchedZfa; 262fe6060f1SDimitry Andricdefm : UnsupportedSchedZfh; 263bdd1243dSDimitry Andricdefm : UnsupportedSchedSFB; 264*0fca6ea1SDimitry Andricdefm : UnsupportedSchedXsfvcp; 265*0fca6ea1SDimitry Andricdefm : UnsupportedSchedZvk; 266e8d8bef9SDimitry Andric} 267