Add emplace_back for deque

Author: lucic71

rules/deque/src.cpp

@@ -4,6 +4,8 @@
 #include <deque>
 #include <vector>
 
+template <typename T, typename A> using Init = A;
+
 template <typename T1> using t1 = std::deque<T1>;
 
 template <typename T1> T1 &f1(std::deque<T1> &o) { return o.back(); }
@@ -40,3 +42,14 @@ template <typename T1>
 std::deque<T1> &f11(std::deque<T1> &dst, std::deque<T1> &&src) {
   return dst.operator=(std::move(src));
 }
+
+template <typename T1, typename... Args>
+T1 &f12(std::deque<T1> &o, Init<T1, Args> &&...args) {
+  return o.emplace_back(std::forward<Args>(args)...);
+}
+
+template <typename T1, typename... Args>
+std::vector<T1> &f13(std::deque<std::vector<T1>> &o,
+                     Init<std::vector<T1>, Args> &&...args) {
+  return o.emplace_back(std::forward<Args>(args)...);
+}

rules/deque/tgt_refcount.rs

@@ -24,3 +24,8 @@ fn f10<T1: Clone + ByteRepr>(a0: Ptr<Vec<T1>>, a1: Vec<T1>) {
 fn f11<T1: ByteRepr + Clone>(a0: Ptr<Vec<T1>>, a1: &mut Vec<T1>) {
     a0.write(std::mem::take(&mut *a1))
 }
+
+fn f13<T1: ByteRepr>(a0: Ptr<Vec<Value<Vec<T1>>>>, init: Vec<T1>) {
+    let __init = init;
+    a0.with_mut(|__v: &mut Vec<Value<Vec<T1>>>| __v.push(Rc::new(RefCell::new(__init))))
+}

rules/deque/tgt_unsafe.rs

@@ -48,3 +48,13 @@ unsafe fn f10<T1: Clone>(a0: &mut Vec<T1>, a1: Vec<T1>) {
 unsafe fn f11<T1>(a0: &mut Vec<T1>, a1: &mut Vec<T1>) {
     *a0 = std::mem::take(&mut *a1)
 }
+
+unsafe fn f12<T1>(a0: &mut Vec<T1>, init: T1) {
+    let __init = init;
+    a0.push(__init)
+}
+
+unsafe fn f13<T1>(a0: &mut Vec<Vec<T1>>, init: Vec<T1>) {
+    let __init = init;
+    a0.push(__init)
+}