4 Commits

Author	SHA1	Message	Date
Arnold Schwaighofer	0d10a9d579	BasicAA: Fix value equality and phi cycles ... When there are cycles in the value graph we have to be careful interpreting "Value*" identity as "value" equivalence. We interpret the value of a phi node as the value of its operands. When we check for value equivalence now we make sure that the "Value*" dominates all cycles (phis). %0 = phi [%noaliasval, %addr2] %l = load %ptr %addr1 = gep @a, 0, %l %addr2 = gep @a, 0, (%l + 1) store %ptr ... Before this patch we would return NoAlias for (%0, %addr1) which is wrong because the value of the load is from different iterations of the loop. Tested on x86_64 -mavx at O3 and O3 -flto with no performance or compile time regressions. PR18068 radar://15653794 llvm-svn: 198290	2014-01-02 03:31:36 +00:00
Bill Wendling	a032374ea0	Use references to attribute groups on the call/invoke instructions. ... Listing all of the attributes for the callee of a call/invoke instruction is way too much and makes the IR unreadable. Use references to attributes instead. llvm-svn: 175877	2013-02-22 09:09:42 +00:00
Bill Wendling	90bc19cd91	Modify the LLVM assembly output so that it uses references to represent function attributes. ... This makes the LLVM assembly look better. E.g.: define void @foo() #0 { ret void } attributes #0 = { nounwind noinline ssp } llvm-svn: 175605	2013-02-20 07:21:42 +00:00
John McCall	d935e9c359	The ARC language-specific optimizer. Credit to Dan Gohman. ... llvm-svn: 133108	2011-06-15 23:37:01 +00:00