[all-commits] [llvm/llvm-project] 70c0a9: [AssumeBundles] Enforce constraints on the operand...

[Ralender via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 70c0a9675dcaeb74a114a129f3d998bd6dee926f
      https://github.com/llvm/llvm-project/commit/70c0a9675dcaeb74a114a129f3d998bd6dee926f
  Author: Tyker <tyker1 at outlook.com>
  Date:   2020-03-11 (Wed, 11 Mar 2020)

  Changed paths:
    M llvm/include/llvm/IR/Attributes.h
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/KnowledgeRetention.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/IR/assume-builder.ll
    A llvm/test/Verifier/assume-bundles.ll

  Log Message:
  -----------
  [AssumeBundles] Enforce constraints on the operand bundle of llvm.assume

Summary: Add verification that operand bundles on an llvm.assume are well formed to the verify pass.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D75269