Changes in vector_gep.ll

04b944e2 - [InstSimplify] Convert tests to opaque pointers (NFC)

Fri, 10 Jun 2022 15:07:27 +0000

[InstSimplify] Convert tests to opaque pointers (NFC)The only interesting test change is in @PR31262, where the followingfold is now performed, while it previously was not:https://alive2.llvm.org/ce/z/a5Qmr6llvm/test/Transforms/InstSimplify/ConstProp/gep.ll has not beenupdated, because there is a tradeoff between folding and inrangepreservation there that we may want to discuss.Updates have been performed using:https://gist.github.com/nikic/98357b71fd67756b0f064c9517b62a34 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

b280ee1d - [test] Use -passes=instsimplify instead of -instsimplify in a number of tests. NFC

Fri, 04 Feb 2022 10:45:19 +0000

[test] Use -passes=instsimplify instead of -instsimplify in a number of tests. NFCAnother step moving away from the deprecated syntax of specifyingpass pipeline in opt.Differential Revision: https://reviews.llvm.org/D119080 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

cee313d2 - 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-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

c1c4ad6e - [ConstantFolding, InstSimplify] Handle more vector GEPs

Thu, 15 Mar 2018 16:00:29 +0000

[ConstantFolding, InstSimplify] Handle more vector GEPsThis patch addresses some additional cases where the compiler crashes uponencountering vector GEPs. This should fix PR36116.Differential Revision: https://reviews.llvm.org/D44219Reference: https://bugs.llvm.org/show_bug.cgi?id=36116llvm-svn: 327638 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

234eabaf - [ConstantFold] Support vector index when factoring out GEP index into preceding dimensions

Mon, 04 Dec 2017 19:56:33 +0000

[ConstantFold] Support vector index when factoring out GEP index into preceding dimensionsFollow-up of r316824. This patch supports the vector type for both current andprevious index when factoring out the current one into the previous one.Differential Revision: https://reviews.llvm.org/D39556llvm-svn: 319683 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

61eaa63b - [InstSimplify] Constant fold the new GEP in SimplifyGEPInst.

Tue, 06 Jun 2017 10:17:14 +0000

[InstSimplify] Constant fold the new GEP in SimplifyGEPInst.llvm-svn: 304784 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

a9f047a5 - [InstSimplify] Deduce correct type for vector GEP.

Wed, 19 Apr 2017 14:23:42 +0000

[InstSimplify] Deduce correct type for vector GEP.InstSimplify returned the wrong type when simplifying a vector GEPand we ended up crashing when trying to replace all uses with thenew value. Fixes PR32697.Differential Revision: https://reviews.llvm.org/D32180llvm-svn: 300693 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

ee004bc0 - Vector GEP - fixed a crash on InstSimplify Pass.

Sun, 15 May 2016 12:30:25 +0000

Vector GEP - fixed a crash on InstSimplify Pass.Vector GEP with mixed (vector and scalar) indices failed on the InstSimplify Pass when all indices are constants.Differential revision http://reviews.llvm.org/D20149llvm-svn: 269590 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

f72d05bc - [opaque pointer type] Add textual IR support for explicit type parameter to gep operator

Fri, 13 Mar 2015 18:20:45 +0000

[opaque pointer type] Add textual IR support for explicit type parameter to gep operatorSimilar to gep (r230786) and load (r230794) changes.Similar migration script can be used to update test cases, whichsuccessfully migrated all of LLVM and Polly, but about 4 test casesneeded manually changes in Clang.(this script will read the contents of stdin and massage it into stdout- wrap it in the 'apply.sh' script shown in previous commits + xargs toapply it over a large set of test cases)import fileinputimport sysimport rerep = re.compile(r"(getelementptr(?:\s+inbounds)?\s*$)((<\d*\s+x\s+)?([^@]*?)(|\s*addrspace\(\d+$)\s*\*(?(3)>)\s*)(?=$|%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|zeroinitializer|<|\[\[[a-zA-Z]|\{\{)", re.MULTILINE | re.DOTALL)def conv(match): line = match.group(1) line += match.group(4) line += ", " line += match.group(2) return lineline = sys.stdin.read()off = 0for match in re.finditer(rep, line): sys.stdout.write(line[off:match.start()]) sys.stdout.write(conv(match)) off = match.end()sys.stdout.write(line[off:])llvm-svn: 232184 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

79e6c749 - [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-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

5e1794ee - InstSimplify: Make shift, select and GEP simplifications vector-aware.

Fri, 24 Jan 2014 17:09:53 +0000

InstSimplify: Make shift, select and GEP simplifications vector-aware.llvm-svn: 200016 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

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

Sun, 30 Dec 2012 02:33:22 +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.llvm-svn: 171250 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll

3924cb02 - Add support for vectors of pointers.

Mon, 05 Dec 2011 06:29:09 +0000

Add support for vectors of pointers.llvm-svn: 145801 List of files: /llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/vector_gep.ll