add hook_LIST_push (#1005)

This is a more efficient way to add one element to the front of the list than creating a new list and calling the concatenation operator.
runtimeverification · Mar 6, 2024 · 9304243 · 9304243
1 parent bed6e0c
commit 9304243
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/runtime/collections/lists.cpp b/runtime/collections/lists.cpp
@@ -24,6 +24,10 @@ list hook_LIST_concat(SortList l1, SortList l2) {
   return (*l1) + (*l2);
 }
 
+list hook_LIST_push(SortKItem value, SortList l) {
+  return l->push_front(value);
+}
+
 bool hook_LIST_in(SortKItem value, SortList list) {
   for (auto iter = list->begin(); iter != list->end(); ++iter) {
     if (hook_KEQUAL_eq(*iter, value)) {