Page MenuHomePhabricator

[PATCH 05/27] [noalias] LLVM-IR Bitcode support
Needs ReviewPublic

Authored by jeroen.dobbelaere on Sep 7 2020, 2:29 PM.

Details

Reviewers
hfinkel
jdoerfert
Summary

Implement LLVM-IR Bitcode support for the ptr_provenance optional argument of load/store instructions.

The optional argument is encoded as follows:

  • when present: '1', ptr_provenance value
  • when absent: '0'

If the ptr_provenance is absent, and no (future) new parameters have been added, the '0' can be omitted.

Diff Detail