[GISel]: Verify COPIES involving generic registers.
authorAditya Nandakumar <aditya_nandakumar@apple.com>
Fri, 9 Feb 2018 01:27:23 +0000 (01:27 +0000)
committerAditya Nandakumar <aditya_nandakumar@apple.com>
Fri, 9 Feb 2018 01:27:23 +0000 (01:27 +0000)
commitb14fd2608c189e2930722286b1fe18283c5593eb
treedca1367565992b05c36f5b8b11e7db0053adf983
parent6c2b5a8ff0b4ea3a9c5dcaf1ffe80c949845f500
[GISel]: Verify COPIES involving generic registers.

Add verification for copies involving generic registers if they are
compatible - ie if it is a generic copy, then the types are the
same, and if a COPY b/w generic and target virtual register, then
the sizes should be the same. Only checks if there are no sub registers
involved for now.

https://reviews.llvm.org/D37775

llvm-svn: 324696
llvm/lib/CodeGen/MachineVerifier.cpp
llvm/test/CodeGen/AArch64/GlobalISel/legalize-combines.mir
llvm/test/CodeGen/AArch64/GlobalISel/legalize-fptoi.mir
llvm/test/CodeGen/AArch64/GlobalISel/legalize-itofp.mir
llvm/test/CodeGen/AArch64/GlobalISel/legalize-or.mir
llvm/test/CodeGen/MIR/AArch64/intrinsics.mir
llvm/test/CodeGen/MIR/AMDGPU/intrinsics.mir
llvm/test/Verifier/test_copy.mir [new file with mode: 0644]
llvm/test/Verifier/test_copy_mismatch_types.mir [new file with mode: 0644]