Programming Languages Research Group: Git

2012-09-02	Nuno Lopes	fix test's RUN lines	commit \| commitdiff \| tree
2012-09-02	Nuno Lopes	add support for ocaml 3.12	commit \| commitdiff \| tree
2012-09-02	Nuno Lopes	replace a couple of single-line comments with /* *...	commit \| commitdiff \| tree
2012-08-02	Nuno Lopes	JIT::runFunction(): add a fast path for functions with...	commit \| commitdiff \| tree
2012-08-01	Nuno Lopes	remove tabs from my previous commit.	commit \| commitdiff \| tree
2012-08-01	Nuno Lopes	(hopefuly) fix the remaining cases where null wasnt...	commit \| commitdiff \| tree
2012-08-01	Nuno Lopes	fix 'make check' when ocamlopt returns the compiler...	commit \| commitdiff \| tree
2012-07-27	Nuno Lopes	fix PR13390: do not loop forever with self-referencing...	commit \| commitdiff \| tree
2012-07-27	Nuno Lopes	fix infinite loop in instcombine in the presence of...	commit \| commitdiff \| tree
2012-07-26	Nuno Lopes	do null checks for a few more Emit*() functions.	commit \| commitdiff \| tree
2012-07-25	Nuno Lopes	revert r160742: it's breaking CMake build	commit \| commitdiff \| tree
2012-07-25	Nuno Lopes	MemoryBuiltins: add support to determine the size of...	commit \| commitdiff \| tree
2012-07-25	Nuno Lopes	add EmitStrNLen()	commit \| commitdiff \| tree
2012-07-25	Nuno Lopes	make all Emit*() functions consult the TargetLibraryInfo...	commit \| commitdiff \| tree
2012-07-24	Nuno Lopes	add a few more functions to TargetLibraryInfo:	commit \| commitdiff \| tree
2012-07-24	Nuno Lopes	TargetLibraryInfo: add strn?cat, strn?cpy, and strn?len	commit \| commitdiff \| tree
2012-07-24	Nuno Lopes	teach objectsize about strdup() and strndup()	commit \| commitdiff \| tree
2012-07-23	Nuno Lopes	make ConstantRange::zeroExtend() optimal	commit \| commitdiff \| tree
2012-07-20	Nuno Lopes	baby steps toward fixing some problems with inbound...	commit \| commitdiff \| tree
2012-07-20	Nuno Lopes	move the bounds checking pass to the instrumentation...	commit \| commitdiff \| tree
2012-07-19	Nuno Lopes	reimplement truncate() to make it optimal.	commit \| commitdiff \| tree
2012-07-18	Nuno Lopes	ignore 'invoke @llvm.donothing', but still keep the...	commit \| commitdiff \| tree
2012-07-17	Nuno Lopes	Apparently it's possible to do an 'invoke asm'.	commit \| commitdiff \| tree
2012-07-17	Nuno Lopes	simplify getSetSize() per Duncan's comments	commit \| commitdiff \| tree
2012-07-16	Nuno Lopes	fix PR13339 (remove the predecessor from the unwind...	commit \| commitdiff \| tree
2012-07-16	Nuno Lopes	teach ConstantRange that zero times X is always zero	commit \| commitdiff \| tree
2012-07-16	Nuno Lopes	make ConstantRange::getSetSize() properly compute the...	commit \| commitdiff \| tree
2012-07-09	Nuno Lopes	instcombine: merge the functions that remove dead allocas...	commit \| commitdiff \| tree
2012-07-06	Nuno Lopes	teach instcombine to remove allocated buffers even...	commit \| commitdiff \| tree
2012-07-05	Nuno Lopes	add @llvm.donothing	commit \| commitdiff \| tree
2012-07-03	Nuno Lopes	PHINode::hasConstantValue(): return undef if the PHI...	commit \| commitdiff \| tree
2012-07-03	Nuno Lopes	BoundsChecking: optimize out the check for offset ...	commit \| commitdiff \| tree
2012-07-03	Nuno Lopes	fold PHI nodes in SizeOffsetEvaluator whenever possible.	commit \| commitdiff \| tree
2012-07-03	Nuno Lopes	improve PHINode::hasConstantValue() to detect recursive...	commit \| commitdiff \| tree
2012-07-02	Nuno Lopes	fix the regression I introduced in r159385 (it's necessary...	commit \| commitdiff \| tree
2012-06-29	Nuno Lopes	revert r159440. As Duncan pointed out, the test for...	commit \| commitdiff \| tree
2012-06-29	Nuno Lopes	RefreshCallGraph: ignore 'invoke intrinsic'. IntrinsicInst...	commit \| commitdiff \| tree
2012-06-29	Nuno Lopes	ignore 'invoke new' in isInstructionTriviallyDead,...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	make the verifier accept @llvm.donothing as the only...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	make simplifyCFG erase invokes to readonly/readnone...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	make instcombine produce calls to llvm.donothing instead...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	add a new @llvm.donothing intrinsic that, well, does...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	MemoryBuiltins:	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	make LazyValueInfo analyze the default case of switch...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	add ConstantRange::difference (to perform set difference...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	make LVI::getEdgeValue() always intersect the constraints...	commit \| commitdiff \| tree
2012-06-28	Nuno Lopes	fix a off-by-one bug in intersectWith(), and add a...	commit \| commitdiff \| tree
2012-06-25	Nuno Lopes	revert my previous commit (r159173), since as Eli pointed...	commit \| commitdiff \| tree
2012-06-25	Nuno Lopes	do not set realloc() as NotAlias, since it can return...	commit \| commitdiff \| tree
2012-06-25	Nuno Lopes	improve optimization of invoke instructions:	commit \| commitdiff \| tree
2012-06-25	Nuno Lopes	check for the NoAlias attribute through CallSite	commit \| commitdiff \| tree
2012-06-25	Nuno Lopes	add CallSite/CallInst/InvokeInst::hasFnAttr()	commit \| commitdiff \| tree
2012-06-23	Nuno Lopes	BoundsChecking: attach debug info to traps to make...	commit \| commitdiff \| tree
2012-06-22	Nuno Lopes	simplify code from previous commits (Thanks Duncan)	commit \| commitdiff \| tree
2012-06-22	Nuno Lopes	fix whitespace in my last commit.	commit \| commitdiff \| tree
2012-06-22	Nuno Lopes	remove extractMallocCallFromBitCast, since it was tailor...	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	instcombine: disable optimization of 'invoke null...	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	Add support for invoke to the MemoryBuiltin analysid.	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	fix build in C++11 mode.	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	move some typedefs so that we don't polute the llvm...	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	hopefully fix the buildbots: some tests have wrong...	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	port the BoundsChecking patch to the new MemoryBuiltin...	commit \| commitdiff \| tree
2012-06-21	Nuno Lopes	refactor the MemoryBuiltin analysis:	commit \| commitdiff \| tree
2012-06-20	Nuno Lopes	replace usage of EmitGEPOffset() with TargetData::getIndexed...	commit \| commitdiff \| tree
2012-06-18	Nuno Lopes	revert r158660, since Chris has some issues with this...	commit \| commitdiff \| tree
2012-06-18	Nuno Lopes	add the 'alloc' metadata node to represent the size...	commit \| commitdiff \| tree
2012-06-08	Nuno Lopes	canonicalize:	commit \| commitdiff \| tree
2012-06-08	Nuno Lopes	BoundsChecking: add support for ConstantPointerNull...	commit \| commitdiff \| tree
2012-06-01	Nuno Lopes	BoundsChecking: fix a bug when the handling of recursive...	commit \| commitdiff \| tree
2012-05-31	Nuno Lopes	add -bounds-checking-multiple-traps option to make...	commit \| commitdiff \| tree
2012-05-31	Nuno Lopes	revamp BoundsChecking considerably:	commit \| commitdiff \| tree
2012-05-29	Nuno Lopes	bounds checking:	commit \| commitdiff \| tree
2012-05-25	Nuno Lopes	bounds checking: add support for byval arguments	commit \| commitdiff \| tree
2012-05-25	Nuno Lopes	boundschecking:	commit \| commitdiff \| tree
2012-05-23	Nuno Lopes	BoundsChecking: add a couple of simple tests and fix...	commit \| commitdiff \| tree
2012-05-23	Nuno Lopes	revert r156383: removal of TYPE_CODE_FUNCTION_OLD	commit \| commitdiff \| tree
2012-05-22	Nuno Lopes	address some of John Criswell's comments	commit \| commitdiff \| tree
2012-05-22	Nuno Lopes	hopefully fix the CMake build. sorry for breakage	commit \| commitdiff \| tree
2012-05-22	Nuno Lopes	add a new pass to instrument loads and stores for run...	commit \| commitdiff \| tree
2012-05-22	Nuno Lopes	revert my previous patches that introduced an additional...	commit \| commitdiff \| tree
2012-05-22	Nuno Lopes	fix the quotient returned by sdivrem() for the case...	commit \| commitdiff \| tree
2012-05-18	Nuno Lopes	allow LazyValueInfo::getEdgeValue() to reason about...	commit \| commitdiff \| tree
2012-05-18	Nuno Lopes	add test case for bugfix in r157032	commit \| commitdiff \| tree
2012-05-18	Nuno Lopes	fix corner case in ConstantRange::intersectWith().	commit \| commitdiff \| tree
2012-05-17	Nuno Lopes	minor simplification in the call to ConstantRange constructor	commit \| commitdiff \| tree
2012-05-15	Nuno Lopes	reuse the result of some expensive computations in...	commit \| commitdiff \| tree
2012-05-15	Nuno Lopes	minor simplification to code: Ty is already a SCEV...	commit \| commitdiff \| tree
2012-05-11	Nuno Lopes	objectsize: add a few more tests and fix a bug	commit \| commitdiff \| tree
2012-05-10	Nuno Lopes	objectsize: add support for GEPs with non-constant...	commit \| commitdiff \| tree
2012-05-10	Nuno Lopes	teach DSE and isInstructionTriviallyDead() about calloc	commit \| commitdiff \| tree
2012-05-09	Nuno Lopes	objectsize:	commit \| commitdiff \| tree
2012-05-09	Nuno Lopes	change the objectsize intrinsic signature: add a 3rd...	commit \| commitdiff \| tree
2012-05-08	Nuno Lopes	remove autoupgrade code for old function attributes...	commit \| commitdiff \| tree
2012-05-08	Nuno Lopes	remove TYPE_CODE_FUNCTION_OLD type code. it is no longer...	commit \| commitdiff \| tree
2012-05-03	Nuno Lopes	remove calls to calloc if the allocated memory is not...	commit \| commitdiff \| tree
2012-05-03	Nuno Lopes	add support for calloc to objectsize lowering	commit \| commitdiff \| tree
2012-05-03	Nuno Lopes	replace 'break's with 'return 0' in visitCallInst code...	commit \| commitdiff \| tree
2012-04-21	Nuno Lopes	move Signals to .rodata	commit \| commitdiff \| tree
2009-12-23	Nuno Lopes	move a few more symbols to .rodata	commit \| commitdiff \| tree
2009-12-19	Nuno Lopes	rename dprintf to dbgpritnf, in order to fix build...	commit \| commitdiff \| tree
next

C/C++ LLVM-based compilers that forbids OOTA behaviors

RSS Atom