support inlining definline via the core erlang inliner

This takes things defined by definline and adds explicit inline directives for those functions to the core erlang compiler.
ericbmerritt · Jun 2, 2012 · 132043b · 132043b
1 parent c66e5d8
commit 132043b
Show file tree

Hide file tree

Showing 2 changed files with 5,447 additions and 5,122 deletions.
diff --git a/src/joxa/compiler.jxa b/src/joxa/compiler.jxa
@@ -3556,7 +3556,7 @@
        (let (inline-annots (:inline . annots))
          (case (make-function (incr-path path0) ctx details)
            ({name arg-list body}
-            (add-def-ctx path0 ctx annots name arg-list body)))))
+            (add-def-ctx path0 ctx inline-annots name arg-list body)))))
       ((:defmacro+ . details)
        (case (make-function (incr-path path0) ctx details)
          ({name arg-list body}
@@ -3677,9 +3677,33 @@
     (:false
      :ok)))
 
+(defn get-definitions (ctx)
+  (lists/map (fn (el)
+                 (case el
+                   ({_ value}
+                    value)))
+             (definitions-ctx ctx)))
+
+(defn gather-inline-funs (ctx)
+  (let (defs (definitions-ctx ctx)
+        inlinables
+        (lists/foldl (fn (cvar acc)
+                         (case cvar
+                           ({name-arity {_ body _}}
+                            (case (lists/member :inline  (cerl/get_ann body))
+                              (:true
+                               (name-arity . acc))
+                               (:false acc)))))
+                     []
+                     defs))
+    (case inlinables
+      ([] [])
+      (_
+       {:inline inlinables}))))
+
 (definline compile-options (ctx type)
   (let (additional-opts (case type
-                          (:final [:inline])
+                          (:final [:inline (gather-inline-funs ctx)])
                           (_ [])))
     (lists/flatten [(options-ctx ctx)
                     additional-opts
@@ -3731,13 +3755,6 @@
                     (cerl/ann_c_fname annots fun arity))))
              (sets/to_list (exports-ctx ctx))))
 
-(defn get-definitions (ctx)
-  (lists/map (fn (el)
-                 (case el
-                   ({_ value}
-                    value)))
-             (definitions-ctx ctx)))
-
 ;; ### make-joxa-info-1 Function Set
 ;;
 ;; The make-joxa-info-1 set of functions creates a module level