projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c37cbd) | patch
IR: Conservatively verify inalloca arguments
authorDavid Majnemer <david.majnemer@gmail.com>
Wed, 30 Apr 2014 17:22:00 +0000 (17:22 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Wed, 30 Apr 2014 17:22:00 +0000 (17:22 +0000)
commitbf741d2bddfa75babd032db3039064746a8f86ba
tree831189a8b03c0ecf94afaec8763e9abd3bc5192atree | snapshot
parent1c37cbdf5490ac4d649a372e1b7ce939521b038ecommit | diff
IR: Conservatively verify inalloca arguments

Summary: Try to spot obvious mismatches with inalloca use.

Reviewers: rnk

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D3572

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@207676 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp diff | blob | history
test/Transforms/ArgumentPromotion/inalloca.ll diff | blob | history
test/Transforms/InstCombine/call-cast-target-inalloca.ll diff | blob | history
test/Verifier/inalloca3.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors