Opened 5 years ago

Last modified 4 months ago

#1606 assigned enhancement

Add code to lfa2 for extinguishing SRFI-4 predicates

Reported by: sjamaan Owned by: felix winkelmann
Priority: minor Milestone: someday
Component: scrutinizer Version: 5.0.0
Keywords: lfa2 Cc:
Estimated difficulty: medium

Description

Now that we have inlineable procedures for SRFI-4 vector access, since #757, we should also add code to lfa2 to extinguish predicates for these vectors completely.

If possible, we should add unboxing for f32vectors and f64vectors, too.

Change History (4)

comment:1 Changed 5 years ago by felix winkelmann

Owner: set to felix winkelmann
Status: newassigned

comment:2 Changed 5 years ago by felix winkelmann

Milestone: 5.25.3

comment:3 Changed 3 years ago by sjamaan

Milestone: 5.35.4

comment:4 Changed 4 months ago by felix winkelmann

Milestone: 5.4someday

Unboxing for f32/f64vectors is already done. Since all SRFI-4 vectors but u8vectors are wrapped as structs, and since struct handling in lfa is relatively primitive (it only infers explicit record-construction with one of the C_a_i_record... functions), this would require changes in lfa2.

Note: See TracTickets for help on using tickets.