1/**************************************************************************************** 2 * Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3 * Copyright (c) 2020-2021 Peng Cheng Laboratory 4 * 5 * XiangShan is licensed under Mulan PSL v2. 6 * You can use this software according to the terms and conditions of the Mulan PSL v2. 7 * You may obtain a copy of Mulan PSL v2 at: 8 * http://license.coscl.org.cn/MulanPSL2 9 * 10 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13 * 14 * See the Mulan PSL v2 for more details. 15 **************************************************************************************** 16 */ 17 18 19package xiangshan.backend.fu.vector 20 21import org.chipsalliance.cde.config.Parameters 22import chisel3._ 23import chisel3.util._ 24import chiseltest._ 25import chiseltest.ChiselScalatestTester 26import org.scalatest.flatspec.AnyFlatSpec 27import org.scalatest.matchers.must.Matchers 28import top.{ArgParser, BaseConfig, DefaultConfig} 29import xiangshan._ 30import xiangshan.backend.fu.vector.Bundles.{VSew, Vl} 31import xiangshan.backend.fu.vector.Utils.VecDataToMaskDataVec 32import yunsuan.vector._ 33 34class Mgu(vlen: Int)(implicit p: Parameters) extends Module { 35 private val numBytes = vlen / 8 36 private val byteWidth = log2Up(numBytes) 37 38 val io = IO(new MguIO(vlen)) 39 40 val in = io.in 41 val out = io.out 42 val info = in.info 43 val vd = in.vd 44 val oldVd = in.oldVd 45 val narrow = io.in.info.narrow 46 47 private val vdIdx = Mux(narrow, info.vdIdx(2, 1), info.vdIdx) 48 49 private val maskTailGen = Module(new ByteMaskTailGen(vlen)) 50 51 private val eewOH = SewOH(info.eew).oneHot 52 53 private val vstartMapVdIdx = elemIdxMapVdIdx(info.vstart)(2, 0) // 3bits 0~7 54 private val vlMapVdIdx = elemIdxMapVdIdx(info.vl)(3, 0) // 4bits 0~8 55 private val uvlMax = numBytes.U >> info.eew 56 private val uvlMaxForAssert = numBytes.U >> info.vsew 57 private val vlMaxForAssert = Mux(io.in.info.vlmul(2), uvlMaxForAssert >> (-io.in.info.vlmul), uvlMaxForAssert << io.in.info.vlmul).asUInt 58 59 private val maskDataVec: Vec[UInt] = VecDataToMaskDataVec(in.mask, info.eew) 60 private val maskUsed = maskDataVec(vdIdx) 61 62 maskTailGen.io.in.begin := Mux1H(Seq( 63 (vstartMapVdIdx < vdIdx) -> 0.U, 64 (vstartMapVdIdx === vdIdx) -> elemIdxMapUElemIdx(info.vstart), 65 (vstartMapVdIdx > vdIdx) -> uvlMax, 66 )) 67 maskTailGen.io.in.end := Mux1H(Seq( 68 (vlMapVdIdx < vdIdx) -> 0.U, 69 (vlMapVdIdx === vdIdx) -> elemIdxMapUElemIdx(info.vl), 70 (vlMapVdIdx > vdIdx) -> uvlMax, 71 )) 72 maskTailGen.io.in.vma := info.ma 73 maskTailGen.io.in.vta := info.ta 74 maskTailGen.io.in.vsew := info.eew 75 maskTailGen.io.in.maskUsed := maskUsed 76 77 private val keepEn = maskTailGen.io.out.keepEn 78 private val agnosticEn = maskTailGen.io.out.agnosticEn 79 80 // the result of normal inst and narrow inst which does not need concat 81 private val byte1s: UInt = (~0.U(8.W)).asUInt 82 83 private val resVecByte = Wire(Vec(numBytes, UInt(8.W))) 84 private val vdVecByte = vd.asTypeOf(resVecByte) 85 private val oldVdVecByte = oldVd.asTypeOf(resVecByte) 86 87 for (i <- 0 until numBytes) { 88 resVecByte(i) := MuxCase(oldVdVecByte(i), Seq( 89 keepEn(i) -> vdVecByte(i), 90 agnosticEn(i) -> byte1s, 91 )) 92 } 93 94 // the result of narrow inst which needs concat 95 private val narrowNeedCat = info.vdIdx(0).asBool & narrow 96 private val narrowResCat = Cat(resVecByte.asUInt(vlen / 2 - 1, 0), oldVd(vlen / 2 - 1, 0)) 97 98 // the result of mask-generating inst 99 private val maxVdIdx = 8 100 private val meaningfulBitsSeq = Seq(16, 8, 4, 2) 101 private val allPossibleResBit = Wire(Vec(4, Vec(maxVdIdx, UInt(vlen.W)))) 102 private val catData = Mux(info.ta, ~0.U(vlen.W), oldVd) 103 104 for (sew <- 0 to 3) { 105 if (sew == 0) { 106 allPossibleResBit(sew)(maxVdIdx - 1) := Cat(vd(meaningfulBitsSeq(sew) - 1, 0), 107 oldVd(meaningfulBitsSeq(sew) * (maxVdIdx - 1) - 1, 0)) 108 } else { 109 allPossibleResBit(sew)(maxVdIdx - 1) := Cat(catData(vlen - 1, meaningfulBitsSeq(sew) * maxVdIdx), 110 vd(meaningfulBitsSeq(sew) - 1, 0), oldVd(meaningfulBitsSeq(sew) * (maxVdIdx - 1) - 1, 0)) 111 } 112 for (i <- 1 until maxVdIdx - 1) { 113 allPossibleResBit(sew)(i) := Cat(catData(vlen - 1, meaningfulBitsSeq(sew) * (i + 1)), 114 vd(meaningfulBitsSeq(sew) - 1, 0), oldVd(meaningfulBitsSeq(sew) * i - 1, 0)) 115 } 116 allPossibleResBit(sew)(0) := Cat(catData(vlen - 1, meaningfulBitsSeq(sew)), vd(meaningfulBitsSeq(sew) - 1, 0)) 117 } 118 119 private val resVecBit = allPossibleResBit(info.eew)(vdIdx) 120 121 io.out.vd := MuxCase(resVecByte.asUInt, Seq( 122 info.dstMask -> resVecBit.asUInt, 123 narrowNeedCat -> narrowResCat, 124 )) 125 io.out.keep := keepEn 126 io.out.illegal := (info.vl > vlMaxForAssert) && info.valid 127 128 io.debugOnly.vstartMapVdIdx := vstartMapVdIdx 129 io.debugOnly.vlMapVdIdx := vlMapVdIdx 130 io.debugOnly.begin := maskTailGen.io.in.begin 131 io.debugOnly.end := maskTailGen.io.in.end 132 io.debugOnly.keepEn := keepEn 133 io.debugOnly.agnosticEn := agnosticEn 134 def elemIdxMapVdIdx(elemIdx: UInt) = { 135 require(elemIdx.getWidth >= log2Up(vlen)) 136 // 3 = log2(8) 137 Mux1H(eewOH, Seq.tabulate(eewOH.getWidth)(x => elemIdx(byteWidth - x + 3, byteWidth - x))) 138 } 139 140 def elemIdxMapUElemIdx(elemIdx: UInt) = { 141 Mux1H(eewOH, Seq.tabulate(eewOH.getWidth)(x => elemIdx(byteWidth - x - 1, 0))) 142 } 143} 144 145 146class MguIO(vlen: Int)(implicit p: Parameters) extends Bundle { 147 val in = new Bundle { 148 val vd = Input(UInt(vlen.W)) 149 val oldVd = Input(UInt(vlen.W)) 150 val mask = Input(UInt(vlen.W)) 151 val info = Input(new VecInfo) 152 } 153 val out = new Bundle { 154 val vd = Output(UInt(vlen.W)) 155 val keep = Output(UInt((vlen / 8).W)) 156 val illegal = Output(Bool()) 157 } 158 val debugOnly = Output(new Bundle { 159 val vstartMapVdIdx = UInt() 160 val vlMapVdIdx = UInt() 161 val begin = UInt() 162 val end = UInt() 163 val keepEn = UInt() 164 val agnosticEn = UInt() 165 }) 166} 167 168class VecInfo(implicit p: Parameters) extends Bundle { 169 val ta = Bool() 170 val ma = Bool() 171 val vl = Vl() 172 val vstart = Vl() 173 val eew = VSew() 174 val vsew = VSew() 175 val vdIdx = UInt(3.W) // 0~7 176 val vlmul = UInt(3.W) 177 val valid = Bool() 178 val narrow = Bool() 179 val dstMask = Bool() 180} 181 182object VerilogMgu extends App { 183 println("Generating the Mgu hardware") 184 val (config, firrtlOpts, firtoolOpts) = ArgParser.parse(args) 185 val p = config.alterPartial({case XSCoreParamsKey => config(XSTileKey).head}) 186 187 emitVerilog(new Mgu(128)(p), Array("--target-dir", "build/vifu", "--full-stacktrace")) 188} 189 190class MguTest extends AnyFlatSpec with ChiselScalatestTester with Matchers { 191 192 val defaultConfig = (new DefaultConfig).alterPartial({ 193 case XSCoreParamsKey => XSCoreParameters() 194 }) 195 196 println("test start") 197 198 behavior of "Mgu" 199 it should "run" in { 200 test(new Mgu(128)(defaultConfig)).withAnnotations(Seq(VerilatorBackendAnnotation)) { 201 m: Mgu => 202 m.io.in.vd.poke("h8765_4321_8765_4321_8765_4321_8765_4321".U) 203 m.io.in.oldVd.poke("h7777_7777_7777_7777_7777_7777_7777_7777".U) 204 m.io.in.mask.poke("h0000_0000_0000_0000_0000_0000_ffff_0000".U) 205 m.io.in.info.ta.poke(true.B) 206 m.io.in.info.ma.poke(false.B) 207 m.io.in.info.vl.poke((16 + 7).U) 208 m.io.in.info.vstart.poke((16 + 2).U) 209 m.io.in.info.eew.poke(VSew.e8) 210 m.io.in.info.vdIdx.poke(1.U) 211 212 println("out.vd: " + m.io.out.vd.peek().litValue.toString(16)) 213 println("debugOnly.vstartMapVdIdx: " + m.io.debugOnly.vstartMapVdIdx.peek().litValue.toString(16)) 214 println("debugOnly.vlMapVdIdx: " + m.io.debugOnly.vlMapVdIdx.peek().litValue.toString(16)) 215 println("debugOnly.begin: " + m.io.debugOnly.begin.peek().litValue) 216 println("debugOnly.end: " + m.io.debugOnly.end.peek().litValue) 217 println("debugOnly.keepEn: " + m.io.debugOnly.keepEn.peek().litValue.toString(2)) 218 println("debugOnly.agnosticEn: " + m.io.debugOnly.agnosticEn.peek().litValue.toString(2)) 219 } 220 println("test done") 221 } 222}