HomePhabricator

[Verifier] Refactor duplicate code for atomic mem intrinsic verification (NFC)

Description

[Verifier] Refactor duplicate code for atomic mem intrinsic verification (NFC)

Summary:
The verification rules for the intrinsics for atomic memcpy, atomic memmove,
and atomic memset are basically code clones. This change merges their verification
rules into a single block to remove duplication.

Details

Committed
dneilsonApr 10 2018, 1:23 PM
Parents
rL329752: [MachO] Emit Weak ReadOnlyWithRel to ConstDataSection
Branches
Unknown
Tags
Unknown