瀏覽代碼

Added compiled version of list_pop_final

Yentl Van Tendeloo 8 年之前
父節點
當前提交
3584b41f7e
共有 1 個文件被更改,包括 8 次插入0 次删除
  1. 8 0
      kernel/modelverse_kernel/compiled.py

+ 8 - 0
kernel/modelverse_kernel/compiled.py

@@ -217,3 +217,11 @@ def set_overlap(a, b, **remainder):
     yield [("CD", [res, value, res]) for value in result]
 
     raise PrimitiveFinished(res)
+
+def list_pop_final(a, **remainder):
+    lst, = yield [("RO", [a])]
+    length = len(lst)
+    result, result_edge = yield [("RD", [a, length - 1]),
+                                 ("RDE", [a, length -1])]
+    _, = yield [("DE", [result_edge])]
+    raise PrimitiveFinished(result)