259   addOperator("add", llvm::make_unique<AddOp>());  in SetTheory()
260   addOperator("sub", llvm::make_unique<SubOp>());  in SetTheory()
261   addOperator("and", llvm::make_unique<AndOp>());  in SetTheory()
262   addOperator("shl", llvm::make_unique<ShlOp>());  in SetTheory()
263   addOperator("trunc", llvm::make_unique<TruncOp>());  in SetTheory()
264   addOperator("rotl", llvm::make_unique<RotOp>(false));  in SetTheory()
265   addOperator("rotr", llvm::make_unique<RotOp>(true));  in SetTheory()
266   addOperator("decimate", llvm::make_unique<DecimateOp>());  in SetTheory()
267   addOperator("interleave", llvm::make_unique<InterleaveOp>());  in SetTheory()
268   addOperator("sequence", llvm::make_unique<SequenceOp>());  in SetTheory()
271 void SetTheory::addOperator(StringRef Name, std::unique_ptr<Operator> Op) {  in addOperator()  function in SetTheory