[PATCH] Reject bitcasts between address spaces with different sizes

[Matt Arsenault]

  Fix not catching case where illegal constant bitcast is after a constant GEP.

  Fix the tests to use not opt -verify instead of nonsensically using FileCheck

Hi eli.friedman,

http://llvm-reviews.chandlerc.com/D1083

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1083?vs=2681&id=2702#toc

Files:
  docs/LangRef.rst
  include/llvm/AutoUpgrade.h
  lib/AsmParser/LLParser.cpp
  lib/Bitcode/Reader/BitcodeReader.cpp
  lib/IR/AutoUpgrade.cpp
  lib/IR/Verifier.cpp
  test/Bitcode/bitcast-upgrade.ll
  test/Transforms/InstCombine/memset2.ll
  test/Verifier/bitcast-address-space-nested-global-cycle.ll
  test/Verifier/bitcast-address-space-nested-global.ll
  test/Verifier/bitcast-address-space-through-gep-2.ll
  test/Verifier/bitcast-address-space-through-gep.ll
  test/Verifier/bitcast-address-spaces.ll
  test/Verifier/bitcast-vector-pointer-as.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1083.6.patch
Type: text/x-patch
Size: 31562 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130705/8bc7f65d/attachment.bin>