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 36
    • Issues 36
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 21
    • Merge requests 21
  • 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
  • !225

[Cheri] Add a demanded metadata bits pass

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Silviu Baranga requested to merge dcmb into morello/dev Jan 23, 2023
  • Overview 0
  • Commits 2
  • Pipelines 2
  • Changes 20

This functionality could be added into the demanded bits pass however is kept separate to limit maintenance overhead.

The pass can be used to convert capability operations to integer ones where the metadata is not demanded (that is setting the metadata to null).

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