Ticket #1031 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

ASH optimization shouldn't assume that types are numeric types

Reported by: gb Owned by:
Priority: normal Milestone:
Component: Compiler Version: trunk
Keywords: Cc:


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

comment:1 Changed 4 years ago by gb

  • Status changed from new to closed
  • Resolution set to fixed

(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.

Note: See TracTickets for help on using tickets.