OSDN Git Service

[MachineVerifier] Analyze MachineMemOperands for mem-to-mem moves.
authorJonas Paulsson <paulsson@linux.vnet.ibm.com>
Thu, 29 Oct 2015 08:28:35 +0000 (08:28 +0000)
committerJonas Paulsson <paulsson@linux.vnet.ibm.com>
Thu, 29 Oct 2015 08:28:35 +0000 (08:28 +0000)
commit0b88d3e7eec8fb872d861d8845962654c4163f2e
tree2cae67ddaec42011a59424877aa3117f34de6850
parent185dc9db038934cfe09d361507936af5eba97ef9
[MachineVerifier] Analyze MachineMemOperands for mem-to-mem moves.

Since the verifier will give false reports if it incorrectly thinks MI is
loading or storing using an FI, it is necessary to scan memoperands and
find out how the FI is used in the instruction. This should be relatively
rare.

Needed to make CodeGen/SystemZ/spill-01.ll pass, which now runs with this flag.

Reviewed by Quentin Colombet.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251620 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/MachineVerifier.cpp
test/CodeGen/SystemZ/spill-01.ll