Summary
Add code to lfa2 for extinguishing SRFI-4 predicates
Metadata
- Id: bb3165073e776c4e4363508712db39dbeb82af4c
- Trac id: 1606
- Type: enhancement
- Reporter: sjamaan
- Owner:
- Cc:
- Status: new
- Component: compiler
- Estimated difficulty: medium
- Resolution:
- Priority: minor
- Milestone: someday
- Version: 5.0.0
- Changetime: 2026-07-11 13:55:19 UTC
- Created: 2019-04-11 13:57:05 UTC
- Keywords: lfa2
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.
Changes and comments
[2019-08-25 17:18:04 UTC] felix changed status from new to assigned
[2019-08-25 17:18:04 UTC] felix set owner to felix
[2019-08-25 17:33:13 UTC] felix changed milestone from 5.2 to 5.3
[2021-04-12 13:41:25 UTC] sjamaan changed milestone from 5.3 to 5.4
[2023-11-06 23:06:07 UTC] felix changed milestone from 5.4 to someday
[2023-11-06 23:06:07 UTC] felix wrote:
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.