Opened 8 years ago
Closed 8 years ago
#1031 closed defect (fixed)
ASH optimization shouldn't assume that types are numeric types
Reported by: | gb | Owned by: | |
---|---|---|---|
Priority: | normal | Milestone: | |
Component: | Compiler | Version: | trunk |
Keywords: | Cc: |
Description
The currently last COND clause in ACODE-OPTIMIZE-ASH tries to inline some calls to ASH based on information about the arguments' types; it erroneously assumes that if the types are subtypes of FIXNUM, they must be represented as NUMERIC-CTYPEs in CCL. Types specified as (e.g.) (MEMBER 23 5) are subtypes of FIXNUM that aren't represented as NUMERIC-CTYPEs.
This clause in ACODE-OPTIMIZE-ASH shouldn't make this assumption.
see http://clozure.com/pipermail/openmcl-devel/2012-November/013919.html
Change History (1)
comment:1 Changed 8 years ago by gb
- Resolution set to fixed
- Status changed from new to closed
Note: See
TracTickets for help on using
tickets.
(In [15517]) In last clause of ACODE-OPTIMIZE-ASH, don't assume that types are canonicalized as NUMERIC-CTYPEs. For now, punt if they aren't. TODO: find maximum/minimum values for tother cases.
Fixes ticket:1031.