$ ./opt -instcombine bugpoint-reduced-simplified.bc -o test_bc.bc -f opt: /home/asl/proj/llvm/src/lib/VMCore/Value.cpp:157: void llvm::Value::replaceAllUsesWith(llvm::Value*): Assertion `New->getType() == getType() && "replaceAllUses of value with new value of different type!"' failed. ./opt((anonymous namespace)::PrintStackTrace()+0x1f)[0x836a7ff] /lib/libc.so.6(abort+0xeb)[0xb7d81133] /lib/libc.so.6(__assert_fail+0xeb)[0xb7d794f3] ./opt[0x832f26c] Bytecode attached
Created attachment 532 [details] Failed bytecode
Fixed with this patch: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20061218/041763.html