Verifier: Make sure masked load/store alignment is a power of 2
authorMatt Arsenault <Matthew.Arsenault@amd.com>
Wed, 13 Mar 2019 19:46:34 +0000 (19:46 +0000)
committerMatt Arsenault <Matthew.Arsenault@amd.com>
Wed, 13 Mar 2019 19:46:34 +0000 (19:46 +0000)
commit0253620f891086458e1acc51d691d324e1a50388
tree490cc41062726b5ef689c295f85b1f3f62467315
parent9b7d8e29c78a50c33fef243624ef16ef534ba23e
Verifier: Make sure masked load/store alignment is a power of 2

The same should also be done for scatter/gather, but the verifier
doesn't check those at all now.

llvm-svn: 356094
llvm/lib/IR/Verifier.cpp
llvm/test/Assembler/auto_upgrade_intrinsics.ll
llvm/test/Transforms/InstCombine/masked_intrinsics.ll
llvm/test/Verifier/masked-load.ll [new file with mode: 0644]
llvm/test/Verifier/masked-store.ll [new file with mode: 0644]