OSDN Git Service

Add debug location verification for !llvm.loop attachments.
authorAdrian Prantl <aprantl@apple.com>
Tue, 18 Jun 2019 20:09:09 +0000 (20:09 +0000)
committerAdrian Prantl <aprantl@apple.com>
Tue, 18 Jun 2019 20:09:09 +0000 (20:09 +0000)
commitd130a833d86c23b53dbd335219f434befa7ffe7e
tree0dbf1d5320af25379fe621219dac5c36e2a4217b
parent1d5e7014d2b9e7fa427e667b92f1c4169eb70937
Add debug location verification for !llvm.loop attachments.

This patch teaches the Verifier how to detect broken !llvm.loop
attachments as discussed in https://reviews.llvm.org/D60831. This
allows LLVM to warn and strip out the broken debug info before
attempting an LTO compilation with input generated by LLVM predating
https://reviews.llvm.org/rL361149.

rdar://problem/51631158

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

[Re-applies r363725 without changes after fixing a broken testcase.]

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@363731 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp
test/Verifier/llvm.loop.ll [new file with mode: 0644]