summaryrefslogtreecommitdiff
path: root/klee/lib/Module/IntrinsicCleaner.cpp
AgeCommit message (Expand)Author
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-07-15Update to match new 2.8 CallInst getOperand API.Daniel Dunbar
2010-06-24Remove llvm.dbg.value intrinsic new to LLVM 2.7Peter Collingbourne
2010-05-02Add missing include of Config.h, which was causing LLVM version checks to beDaniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-08-01Implement va_arg handling for x86_64.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar