hfinkel added a comment. I'm undecided about this. Chandler, any thoughts? If we add a DAGCombine that makes bitcast(load(addr)) into a load of a different type, and similar for stores, would that address all of the current motivating examples for this? http://reviews.llvm.org/D14596