Opened 6 years ago

Closed 6 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 6 years ago by gb

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

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