projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b366e7) | patch
[AssumeBundles] Enforce constraints on the operand bundle of llvm.assume
authorTyker <tyker1@outlook.com>
Wed, 11 Mar 2020 22:21:44 +0000 (23:21 +0100)
committerTyker <tyker1@outlook.com>
Wed, 11 Mar 2020 22:53:48 +0000 (23:53 +0100)
commit70c0a9675dcaeb74a114a129f3d998bd6dee926f
tree9ce572d9b41d6a6ca429c2312f2300c24b999d06tree | snapshot
parent2b366e75d41341e7cb2e763b20c4fc8fd3bd4b3ccommit | diff
[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
llvm/include/llvm/IR/Attributes.h diff | blob | history
llvm/lib/IR/Attributes.cpp diff | blob | history
llvm/lib/IR/KnowledgeRetention.cpp diff | blob | history
llvm/lib/IR/Verifier.cpp diff | blob | history
llvm/test/IR/assume-builder.ll diff | blob | history
llvm/test/Verifier/assume-bundles.ll [new file with mode: 0644] blob
Domain: System / Toolchain;