diff options
| author | Shagun Agrawal <agrawalshagun07@gmail.com> | 2024-12-01 22:27:54 +0530 |
|---|---|---|
| committer | Shagun Agrawal <agrawalshagun07@gmail.com> | 2024-12-01 22:27:54 +0530 |
| commit | 70314ca6f691ea1f547f09d3044a7f2b2a684289 (patch) | |
| tree | 2a6339a2e3d3628115db21bb2cd007cd4ca4cbe1 /src/cljcc/compiler.clj | |
| parent | 38642b31168135f7bb70668d5d3e4cebd7dd5074 (diff) | |
Validate typechecker output with Malli
Diffstat (limited to 'src/cljcc/compiler.clj')
| -rw-r--r-- | src/cljcc/compiler.clj | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/cljcc/compiler.clj b/src/cljcc/compiler.clj index 5f77dc4..dad3da3 100644 --- a/src/cljcc/compiler.clj +++ b/src/cljcc/compiler.clj @@ -2,7 +2,7 @@ (:require [cljcc.parser :as p] [cljcc.tacky :as t] [cljcc.lexer :as l] - [cljcc.analyzer :as a] + [cljcc.analyze.core :as a] [cljcc.exception :as exc])) (def registers #{:ax :dx :di :si :r8 :r9 :r10 :r11 :cx :cl}) @@ -305,10 +305,10 @@ (let [operand (get-in inst [path]) operand-type (:operand-type operand) identifier (:identifier operand)] - (and - (= :pseudo operand-type) - (contains? ident->symbol identifier) - (= :static (get-in ident->symbol [identifier :attrs :type]))))) + (and + (= :pseudo operand-type) + (contains? ident->symbol identifier) + (= :static (get-in ident->symbol [identifier :attrs :type]))))) replace-pseudo-with-data-op (fn [inst path] (if (pseudo-data-operand? inst path) (assoc inst path (data-operand (get-in inst [path :identifier]))) @@ -403,9 +403,9 @@ [{instructions :instructions max-stack-val :max-stack-val}] (let [v (abs max-stack-val) v (cond - (= (mod v 16) 0) v - (< v 0) (- v (- 16 (mod v 16))) - :else (+ v (- 16 (mod v 16))))] + (= (mod v 16) 0) v + (< v 0) (- v (- 16 (mod v 16))) + :else (+ v (- 16 (mod v 16))))] (cons (allocate-stack-instruction v) instructions))) (defn- parameters->assembly-instructions @@ -418,8 +418,8 @@ [register-params stack-params] (split-at 6 parameters) reg-args-to-pseudo-instructions (mapv (fn [reg param] [(mov-instruction (reg-operand reg) (pseudo-operand (:identifier param)))]) - registers - register-params) + registers + register-params) stack-args-to-pseudo-instruction (into [] (map-indexed (fn [idx param] [(mov-instruction (stack-operand (+ 16 (* 8 idx))) (pseudo-operand (:identifier param)))]) stack-params))] (->> [reg-args-to-pseudo-instructions stack-args-to-pseudo-instruction] |