Opened 5 years ago
Last modified 6 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
| Owner: | set to felix winkelmann |
|---|---|
| Status: | new → assigned |
comment:2 Changed 5 years ago by
| Milestone: | 5.2 → 5.3 |
|---|
comment:3 Changed 3 years ago by
| Milestone: | 5.3 → 5.4 |
|---|
comment:4 Changed 6 months ago by
| Milestone: | 5.4 → someday |
|---|
Note: See
TracTickets for help on using
tickets.
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.