const substitution skip the pointer

Addresses #647.
phillipstanleymarbell · Mar 22, 2023 · 718c0a1 · 718c0a1
1 parent f1999eb
commit 718c0a1
Show file tree

Hide file tree

Showing 2 changed files with 57 additions and 2 deletions.
diff --git a/analysis/statistics/489862c477947e461841dcdc8aec664b47eb09e5.txt b/analysis/statistics/489862c477947e461841dcdc8aec664b47eb09e5.txt
@@ -0,0 +1,46 @@
+
+changeset: 1462:489862c477947e461841dcdc8aec664b47eb09e5
+char kNewtonVersion[] = "0.3-alpha-1462 (489862c477947e461841dcdc8aec664b47eb09e5) (build 03-19-2023-16:[email protected]_64)";
+\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
+\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
+
+Informational Report:
+---------------------
+Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
+
+	Kernel 0 is a valid kernel:
+
+		   1   1
+		-0.5  -0
+		   1   0
+		 0.5   0
+		   0  -1
+		  -0  -1
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 0, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^( 0)  P5^(-0)  
+
+			Pi group 0, Pi 1 is:	P0^(-0)  P1^( 1)  P2^( 0)  P3^( 0)  P4^(-1)  P5^(-1)  
+
+
+	Kernel 1 is a valid kernel:
+
+		   1   0
+		-0.5   1
+		   1  -2
+		 0.5  -1
+		  -0  -2
+		   0  -2
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 1, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^(-0)  P5^( 0)  
+
+			Pi group 1, Pi 1 is:	P0^( 1)  P1^( 0)  P2^(-1)  P3^(-2)  P4^(-2)  P5^(-2)  
+
+
+
+
diff --git a/src/newton/newton-irPass-LLVMIR-constantSubstitution.cpp b/src/newton/newton-irPass-LLVMIR-constantSubstitution.cpp
@@ -113,8 +113,17 @@ constantSubstitution(State * N, BoundInfo * boundInfo, llvm::Function & llvmIrFu
 					 *   store double 0.000000e+00, double* %12, align 8, !dbg !595
 					 *   ...
 					 * */
-					if (isa<GetElementPtrInst>(llvmIrInstruction) && isa<Argument>(llvmIrInstruction->getOperand(0)))
-						break;
+					if (isa<GetElementPtrInst>(llvmIrInstruction) && isa<Argument>(llvmIrInstruction->getOperand(0))) {
+                        break;
+                    }
+
+                    /*
+                     * if it's a pointer, skip it
+                     * */
+                    if (llvmIrInstruction->getType()->isPointerTy())
+                    {
+                        break;
+                    }
 
 					auto lowerBound = vrIt->second.first;
 					auto upperBound = vrIt->second.second;