mirror of
https://gitlab.com/embeddable-common-lisp/ecl.git
synced 2026-03-12 07:50:26 -07:00
f099a9082a
This allows us to switch out the proclamations when cross-compiling so that target specific functions are declared correctly. This was a problem for cross compilation with mismatching thread support, so we can now allow that.
36 lines
1.1 KiB
Common Lisp
36 lines
1.1 KiB
Common Lisp
;;;; -*- Mode: Lisp; Syntax: Common-Lisp; indent-tabs-mode: nil; Package: C -*-
|
|
;;;; vim: set filetype=lisp tabstop=8 shiftwidth=2 expandtab:
|
|
|
|
;;;;
|
|
;;;; Copyright (c) 2010, Juan Jose Garcia-Ripoll.
|
|
;;;;
|
|
;;;; See file 'LICENSE' for the copyright details.
|
|
|
|
;;;;
|
|
;;;; CMPOPT-CONSTANTS Constant expressions.
|
|
;;;;
|
|
|
|
(in-package "COMPILER")
|
|
|
|
(defun constant-expression-p (form &optional (env *cmp-env*))
|
|
(or (constantp form env)
|
|
(and (consp form)
|
|
(let ((head (car form)))
|
|
(or (member head '(IF OR AND NULL NOT PROGN))
|
|
(and (function-is-pure head)
|
|
(inline-possible head))))
|
|
(loop for c in (rest form)
|
|
always (constant-expression-p c env)))))
|
|
|
|
(defun extract-constant-value (form &optional failure (env *cmp-env*))
|
|
(if (constant-expression-p form env)
|
|
(handler-case (cmp-eval form env)
|
|
(error (c) failure))
|
|
failure))
|
|
|
|
(defun constant-value-p (form &optional (env *cmp-env*))
|
|
(if (constant-expression-p form env)
|
|
(handler-case
|
|
(values t (cmp-eval form env))
|
|
(error (c) (values nil form)))
|
|
(values nil form)))
|