[Datapath] Add Datapath to SMT conversion pass#8682

fabianschuiki merged 4 commits intollvm:mainllvm/circt:mainfrom

cowardsa:coward/datapath_to_smt_initcowardsa/circt:coward/datapath_to_smt_initCopy head branch name to clipboard