248   addOperator("add", llvm::make_unique<AddOp>());  in SetTheory()
249   addOperator("sub", llvm::make_unique<SubOp>());  in SetTheory()
250   addOperator("and", llvm::make_unique<AndOp>());  in SetTheory()
251   addOperator("shl", llvm::make_unique<ShlOp>());  in SetTheory()
252   addOperator("trunc", llvm::make_unique<TruncOp>());  in SetTheory()
253   addOperator("rotl", llvm::make_unique<RotOp>(false));  in SetTheory()
254   addOperator("rotr", llvm::make_unique<RotOp>(true));  in SetTheory()
255   addOperator("decimate", llvm::make_unique<DecimateOp>());  in SetTheory()
256   addOperator("interleave", llvm::make_unique<InterleaveOp>());  in SetTheory()
257   addOperator("sequence", llvm::make_unique<SequenceOp>());  in SetTheory()
260 void SetTheory::addOperator(StringRef Name, std::unique_ptr<Operator> Op) {  in addOperator()  function in SetTheory