Renamed function based on clang-tidy.

runtimeverification · Jan 13, 2025 · 1462274 · 1462274
1 parent 882aaf7
commit 1462274
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/include/kllvm/codegen/CreateTerm.h b/include/kllvm/codegen/CreateTerm.h
@@ -164,7 +164,7 @@ llvm::Value *allocate_term(
 llvm::Value *allocate_term(
     llvm::Type *alloc_type, llvm::BasicBlock *block,
     char const *alloc_fn = "kore_alloc", bool mergeable = false);
-llvm::Value *addrspaceCast0To0(
+llvm::Value *addrspace_cast0_to0(
     llvm::Module *module, llvm::Value *val, llvm::BasicBlock *block);
 } // namespace kllvm
 

diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp
@@ -186,7 +186,7 @@ static llvm::Value *addrspaceCast(
   return addrspace;
 }
 
-llvm::Value *addrspaceCast0to0(
+llvm::Value *addrspace_cast0_to0(
     llvm::Module *module, llvm::Value *val, llvm::BasicBlock *block) {
   return addrspaceCast(module, val, block, 0, 0);
 }
@@ -934,7 +934,7 @@ llvm::Value *create_term::create_function_call(
         true);
     auto *alloc_sret_cast
         = use_gcstrategy
-              ? addrspaceCast0to0(module_, alloc_sret, current_block_)
+              ? addrspace_cast0_to0(module_, alloc_sret, current_block_)
               : alloc_sret;
     sret_type = return_type;
     real_args.insert(real_args.begin(), alloc_sret_cast);
@@ -1034,7 +1034,7 @@ llvm::Value *create_term::not_injection_case(
                         ? llvm::PointerType::get(module_->getContext(), 0)
                         : llvm::PointerType::getUnqual(module_->getContext());
   auto *block_cast = use_gcstrategy
-                         ? addrspaceCast0to0(module_, block, current_block_)
+                         ? addrspace_cast0_to0(module_, block, current_block_)
                          : block;
   if (symbol_decl->attributes().contains(attribute_set::key::Binder)) {
     auto *call = llvm::CallInst::Create(
@@ -1432,7 +1432,7 @@ std::string make_apply_rule_function(
             get_collection_alloc_fn(cat.cat), true);
         auto *ptr_cast
             = use_gcstrategy
-                  ? addrspaceCast0to0(module, ptr, creator.get_current_block())
+                  ? addrspace_cast0_to0(module, ptr, creator.get_current_block())
                   : ptr;
         new llvm::StoreInst(arg, ptr_cast, creator.get_current_block());
         arg = ptr_cast;