LLVM 14 support (rust-lang#429)

* LLVM 14 support

* Start to enable LLVM 7 support

* Continuing LLVM 7

* Finish LLVM 7

* Add LLVM 14 test

* Fix format

* Fix loop bound canonicalization

* Correct cache utility

Author: wsmoses

.github/workflows/bcload.yml

@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        llvm: ["7", "8", "9", "10", "11", "12", "13"]
+        llvm: ["7", "8", "9", "10", "11", "12", "13"] #, "14"]
         build: ["Release"] # "RelWithDebInfo"
         os: [ubuntu-20.04, ubuntu-18.04]
 

.github/workflows/benchmark.yml

@@ -16,15 +16,15 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        llvm: ["7",  "8", "9", "10", "11", "12", "13"]
+        llvm: ["7",  "8", "9", "10", "11", "12", "13"] #, "14"]
         build: ["Release", "Debug"] # "RelWithDebInfo"
         os: [self-hosted]
     timeout-minutes: 120 
     steps:
     - name: add llvm 
       run: |
           wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
-          sudo apt-add-repository "deb http://apt.llvm.org/xenial/ llvm-toolchain-xenial-${{ matrix.llvm }} main" || true
+          sudo apt-add-repository "deb http://apt.llvm.org/`lsb_release -c | cut -f2`/ llvm-toolchain-`lsb_release -c | cut -f2`-${{ matrix.llvm }} main" || true
           sudo apt-get install -y python-pip autoconf cmake gcc g++ libtool gfortran libblas-dev llvm-${{ matrix.llvm }}-dev clang-${{ matrix.llvm }} libeigen3-dev libboost-dev
           sudo pip install lit
           sudo touch /usr/lib/llvm-${{ matrix.llvm }}/bin/yaml-bench

.github/workflows/ccpp.yml

@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        llvm: ["7", "8", "9", "10", "11", "12", "13"]
+        llvm: ["7", "8", "9", "10", "11", "12", "13"] #, "14"]
         build: ["Release"] # "RelWithDebInfo"
         os: [ubuntu-20.04, ubuntu-18.04]
 

.github/workflows/enzyme-linux.yml

@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        llvm: ["7", "8", "9", "10", "11", "12", "13"]
+        llvm: ["7", "8", "9", "10", "11", "12", "13"] #, "14"]
         build: ["Release", "Debug"] # "RelWithDebInfo"
         os: [ubuntu-20.04, ubuntu-18.04] #self-hosted]
 

enzyme/Enzyme/ActivityAnalysis.cpp

@@ -254,7 +254,12 @@ bool ActivityAnalyzer::isFunctionArgumentConstant(CallInst *CI, Value *val) {
   if (Name == "Faddeeva_erf" || Name == "Faddeeva_erfc" ||
       Name == "Faddeeva_erfcx" || Name == "Faddeeva_erfi" ||
       Name == "Faddeeva_dawson") {
-    for (size_t i = 0; i < CI->getNumArgOperands() - 1; i++) {
+#if LLVM_VERSION_MAJOR >= 14
+    for (size_t i = 0; i < CI->arg_size() - 1; i++)
+#else
+    for (size_t i = 0; i < CI->getNumArgOperands() - 1; i++)
+#endif
+    {
       if (val == CI->getOperand(i))
         return false;
     }
@@ -335,7 +340,12 @@ static inline void propagateArgumentInformation(
     if (Name == "Faddeeva_erf" || Name == "Faddeeva_erfc" ||
         Name == "Faddeeva_erfcx" || Name == "Faddeeva_erfi" ||
         Name == "Faddeeva_dawson") {
-      for (size_t i = 0; i < CI.getNumArgOperands() - 1; i++) {
+#if LLVM_VERSION_MAJOR >= 14
+      for (size_t i = 0; i < CI.arg_size() - 1; i++)
+#else
+      for (size_t i = 0; i < CI.getNumArgOperands() - 1; i++)
+#endif
+      {
         propagateFromOperand(CI.getOperand(i));
       }
       return;
@@ -909,7 +919,9 @@ bool ActivityAnalyzer::isConstantValue(TypeResults &TR, Value *Val) {
         return true;
       }
     }
-    if (ce->isGEPWithNoNotionalOverIndexing()) {
+    if (ce->getOpcode() == Instruction::GetElementPtr &&
+        llvm::all_of(ce->operand_values(),
+                     [&](Value *v) { return isConstantValue(TR, v); })) {
       if (isConstantValue(TR, ce->getOperand(0))) {
         if (EnzymePrintActivity)
           llvm::errs() << " VALUE const cast from gep operand " << *Val << "\n";