Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • L llvm-project
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 41
    • Issues 41
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 20
    • Merge requests 20
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Morello
  • llvm-project
  • Merge requests
  • !215

[Morello] Improve null capability derivation

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Silviu Baranga requested to merge nullderivation into morello/dev Nov 21, 2022
  • Overview 16
  • Commits 4
  • Pipelines 6
  • Changes 6

Use a gcvalue instruction insead of a capability add to avoid needing a null capability value in a register.

Since the only purpose of the gcvalue is to clear the metadata bits we can omit it if the instruction producing the input value already clears the metadata bits.

There are some beneficial side-effects to this, like allowing capability null-derived constants to be rematerialized.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: nullderivation