Make index-fun SSA

• Reporter: miyakawataku
• Owner: miyakawataku
• Type: Feature Requests
• Status: Closed
• Component: (None)
• MileStone: (None)
• Priority: 5 - Medium
• Severity: 5 - Medium
• Resolution: None
• File: None

Details Reply

Make index-fun SSA by alpha conversion

Ticket History (3/6 Histories)

2022-01-02 14:29 Updated by: miyakawataku

• New Ticket "Alpha conversion" created

2022-01-29 09:51 Updated by: miyakawataku

• Details Updated
• Summary Updated

2022-04-18 20:50 Updated by: miyakawataku

• Owner Update from (None) to miyakawataku

2022-04-20 22:43 Updated by: miyakawataku

Comment Reply

Working on issue_0043515-ssa

2022-04-27 21:33 Updated by: miyakawataku

Comment Reply

Two steps must be considered:

• Fun → SsaFun
  • This might fail
  • Cannot write vars after captured
• SsaFun → SsaFun ... rename free vars
  • This must always succeed
  • Can write vars after captured
    • It can occur after inlining of let clause

So, there should be two modes for capturing analysis.

• Throw CannotSsafyException when captured var is written
• Treat it as a new var

2022-05-07 00:55 Updated by: miyakawataku

• Status Update from Open to Closed

Comment Reply

Closed by 1ca567d1042a