tree f9d3ffbb8d9cf7e2e0d8547a774800bfcb90fe18
parent b5b86d263a651566cb25c0f406f75ceffb771029
author Jakob Stoklund Olesen <stoklund@2pi.dk> 1345828121 +0000
committer Jakob Stoklund Olesen <stoklund@2pi.dk> 1345828121 +0000

Verify explicit instruction properties when they can be inferred.

It is now allowed to explicitly set hasSideEffects, mayStore, and
mayLoad on instructions with patterns.

Verify that the patterns are consistent with the explicit flags.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@162569 91177308-0d34-0410-b5e6-96231b3b80d8