Changes in const-pointers.ll

f497a00da968b0ff90d8c98caa184d14b9a92495 - [test][DSE] Use -passes=dse instead of -dse in lit tests. NFC

Wed, 12 Oct 2022 14:26:27 +0000

[test][DSE] Use -passes=dse instead of -dse in lit tests. NFC List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

f3a928e2334a4e8e3f09406f2ce7e1cbac520f95 - [opt] Don't translate legacy -analysis flag to require

Fri, 07 Oct 2022 20:12:59 +0000

[opt] Don't translate legacy -analysis flag to requireTests relying on this should explicitly use -passes='require,foo'. List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

c603cefbda1300983e81da545a307572fdb79d1e - [DSE] Convert tests to opaque pointers (NFC)

Wed, 05 Oct 2022 13:28:15 +0000

[DSE] Convert tests to opaque pointers (NFC)Using https://gist.github.com/nikic/98357b71fd67756b0f064c9517b62a34. List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

176bbcae1113fbb4f34d2b79eab35b086a9f2a8e - [DSE] Remove MemDep-based implementation

Wed, 03 Mar 2021 19:38:50 +0000

[DSE] Remove MemDep-based implementationThe MemorySSA-based implementation has been enabled without issuefor a while now, so keeping the old implementation around doesn'tseem useful anymore. This drops the MemDep-based implementation.Differential Revision: https://reviews.llvm.org/D97877 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

339eed5d0b18c627faa5368fde003dc46be66b46 - [NewPM][BasicAA] basicaa -> basic-aa in Transforms/DeadStoreElimination

Fri, 26 Jun 2020 22:06:47 +0000

[NewPM][BasicAA] basicaa -> basic-aa in Transforms/DeadStoreEliminationSummary: Following https://reviews.llvm.org/D82607.Reviewers: ychenSubscribers: george.burgess.iv, asbirlea, llvm-commitsTags: #llvmDifferential Revision: https://reviews.llvm.org/D82689 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

cee313d288a4faf0355d76fb6e0e927e211d08a5 - Revert "Temporarily Revert "Add basic loop fusion pass.""

Wed, 17 Apr 2019 04:52:47 +0000

Revert "Temporarily Revert "Add basic loop fusion pass.""The reversion apparently deleted the test/Transforms directory.Will be re-reverting again.llvm-svn: 358552 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

a79ac14fa68297f9888bc70a10df5ed9b8864e38 - [opaque pointer type] Add textual IR support for explicit type parameter to load instruction

Fri, 27 Feb 2015 21:17:42 +0000

[opaque pointer type] Add textual IR support for explicit type parameter to load instructionEssentially the same as the GEP change in r230786.A similar migration script can be used to update test cases, though a few moretest case improvements/changes were required this time around: (r229269-r229278)import fileinputimport sysimport repat = re.compile(r"((?:=|:|^)\s*load (?:atomic )?(?:volatile )?(.*?))(| addrspace$\d+$ *)\*($| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$)")for line in sys.stdin: sys.stdout.write(re.sub(pat, r"\1, \2\3*\4", line))Reviewers: rafael, dexonsmith, grosserDifferential Revision: http://reviews.llvm.org/D7649llvm-svn: 230794 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

79e6c74981f4755ed55b38175d8cd34ec91395b1 - [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

Fri, 27 Feb 2015 19:29:02 +0000

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instructionOne of several parallel first steps to remove the target type of pointers,replacing them with a single opaque pointer type.This adds an explicit type parameter to the gep instruction so that when thefirst parameter becomes an opaque pointer type, the type to gep through isstill available to the instructions.* This doesn't modify gep operators, only instructions (operators will be handled separately)* Textual IR changes only. Bitcode (including upgrade) and changing the in-memory representation will be in separate changes.* geps of vectors are transformed as: getelementptr <4 x float*> %x, ... ->getelementptr float, <4 x float*> %x, ... Then, once the opaque pointer type is introduced, this will ultimately look like: getelementptr float, <4 x ptr> %x with the unambiguous interpretation that it is a vector of pointers to float.* address spaces remain on the pointer, not the type: getelementptr float addrspace(1)* %x ->getelementptr float, float addrspace(1)* %x Then, eventually: getelementptr float, ptr addrspace(1) %xImportantly, the massive amount of test case churn has been automated bysame crappy python code. I had to manually update a few test cases thatwouldn't fit the script's model (r228970,r229196,r229197,r229198). Thepython script just massages stdin and writes the result to stdout, Ithen wrapped that in a shell script to handle replacing files, thenusing the usual find+xargs to migrate all the files.update.py:import fileinputimport sysimport reibrep = re.compile(r"(^.*?[^%\w]getelementptr inbounds )(((?:<\d* x )?)(.*?)(| addrspace$\d$) *\*(|>)(?:$| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$))")normrep = re.compile( r"(^.*?[^%\w]getelementptr )(((?:<\d* x )?)(.*?)(| addrspace$\d$) *\*(|>)(?:$| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$))")def conv(match, line): if not match: return line line = match.groups()[0] if len(match.groups()[5]) == 0: line += match.groups()[2] line += match.groups()[3] line += ", " line += match.groups()[1] line += "\n" return linefor line in sys.stdin: if line.find("getelementptr ") == line.find("getelementptr inbounds"): if line.find("getelementptr inbounds") != line.find("getelementptr inbounds ("): line = conv(re.match(ibrep, line), line) elif line.find("getelementptr ") != line.find("getelementptr ("): line = conv(re.match(normrep, line), line) sys.stdout.write(line)apply.sh:for name in "$@"do python3 `dirname "$0"`/update.py < "$name" > "$name.tmp" && mv "$name.tmp" "$name" rm -f "$name.tmp"doneThe actual commands:From llvm/src:find test/ -name *.ll | xargs ./apply.shFrom llvm/src/tools/clang:find test/ -name *.mm -o -name *.m -o -name *.cpp -o -name *.c | xargs -I '{}' ../../apply.sh "{}"From llvm/src/tools/polly:find test/ -name *.ll | xargs ./apply.shAfter that, check-all (with llvm, clang, clang-tools-extra, lld,compiler-rt, and polly all checked out).The extra 'rm' in the apply.sh script is due to a few files in clang's testsuite using interesting unicode stuff that my python script was throwingexceptions on. None of those files needed to be migrated, so it seemedsufficient to ignore those cases.Reviewers: rafael, dexonsmith, grosserDifferential Revision: http://reviews.llvm.org/D7636llvm-svn: 230786 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

dd38c0b876dc5f1525b1e2e43e46e0e43d229c5b - [DSE] Remove no-data-layout-only type-based overlap checking

Fri, 17 Oct 2014 11:56:00 +0000

[DSE] Remove no-data-layout-only type-based overlap checkingDSE's overlap checking contained special logic, used only when no DataLayoutwas available, which inferred a complete overwrite when the pointee types wereequal. This logic seems fine for regular loads/stores, but does not work formemcpy and friends. Instead of fixing this, I'm just removing it.Philosophically, transformations should not contain enhanced behavior used onlywhen data layout is lacking (data layout should be strictly additive), andmaintaining these rarely-tested code paths seems not worthwhile at this stage.Credit to Aliaksei Zasenka for the bug report and the diagnosis. The test case(slightly reduced from that provided by Aliaksei) replaces the originalcontents of test/Transforms/DeadStoreElimination/no-targetdata.ll -- a fewother tests have been updated to have a data layout.llvm-svn: 220035 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

a76289aa1bfde6abec629a94dc3d1d6e192e9d6f - Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

Sun, 14 Jul 2013 01:50:49 +0000

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.This conversion was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@$[A-Za-z0-9_]*$(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;$.*$$[A-Za-z0-9_]*$:$ *$define$[^@]*$@$FUNC$[( ]*$\$/;\1\2-LABEL:\3define\4@$FUNC(/g" $TEMP done mv $TEMP $NAME fi donellvm-svn: 186269 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

d7beca87f5c6368604582e94168b7a59a04b8676 - Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

Tue, 01 Jan 2013 13:57:25 +0000

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleIDThis is done to avoid odd test failures, like the one fixed in r171243.My previous regex was not good enough to find these.llvm-svn: 171343 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

02538ac4d3a5e3bfc4fc530505e7f6bff144c13d - Make BasicAliasAnalysis a normal AliasAnalysis implementation which

Mon, 18 Oct 2010 18:04:47 +0000

Make BasicAliasAnalysis a normal AliasAnalysis implementation whichdoes normal initialization and normal chaining. Change the defaultAliasAnalysis implementation to NoAlias.Update StandardCompileOpts.h and friends to explicitly requestBasicAliasAnalysis.Update tests to explicitly request -basicaa.llvm-svn: 116720 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

fb4193625a02f97f77dbf52827c8ad6e399cbb22 - Delete useless trailing semicolons.

Tue, 05 Jan 2010 17:55:26 +0000

Delete useless trailing semicolons.llvm-svn: 92740 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

401e6093c9a16c370e841a7bb0054af55ea76691 - Fix some CHECK lines which were ignored by accident.

Sat, 12 Dec 2009 09:25:50 +0000

Fix some CHECK lines which were ignored by accident.llvm-svn: 91214 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll

c53e2ecf0296a55d3c33c19fb70a3aa7f81f2732 - Teach BasicAA that a constant expression can't alias memory provably not

Sat, 14 Nov 2009 06:15:14 +0000

Teach BasicAA that a constant expression can't alias memory provably notallocated until runtime (such as an alloca). Patch by Hans Wennborg!llvm-svn: 88760 List of files: /llvm-project/llvm/test/Transforms/DeadStoreElimination/const-pointers.ll