Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • Iris Iris
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 170
    • Issues 170
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 25
    • Merge requests 25
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • IrisIris
  • Merge requests
  • !779

Prevent cbn from unfolding the 'heap_lang' term.

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Ike Mulder requested to merge snyke7/iris:ike/heaplang-cbn into master Feb 21, 2022
  • Overview 14
  • Commits 2
  • Pipelines 2
  • Changes 4

This MR adds Arguments heap_lang : simpl never. Whenever cbn was used before this addition, heap_lang got unfolded to a large term. This is especially insidious because the language term appears in the implicit argument of fupd, which means this unfolding is not visible by default.

In my project, the performance benefit of this change was quite substantial. I think other downstream projects that use cbn might also see some performance improvements.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: ike/heaplang-cbn