test with/without bitwise/modulo op

Addresses #647.

analysis/statistics/8e40c03f96f8a2646b258ee1f565a40b2c1a468f.txt

@@ -0,0 +1,46 @@
+
+changeset: 1479:8e40c03f96f8a2646b258ee1f565a40b2c1a468f
+char kNewtonVersion[] = "0.3-alpha-1479 (8e40c03f96f8a2646b258ee1f565a40b2c1a468f) (build 04-20-2023-12:[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)  
+
+
+
+

src/newton/newton-irPass-LLVMIR-rangeAnalysis.cpp

@@ -37,6 +37,9 @@
 
 #include "newton-irPass-LLVMIR-rangeAnalysis.h"
 
+#define DISABLE_BITWISE_OP 0
+#define DISABLE_MODULO_OP 0
+
 using namespace llvm;
 
 extern "C" {
@@ -1875,6 +1878,7 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 				case Instruction::URem:
 				case Instruction::SRem:
 				case Instruction::FRem:
+#ifndef DISABLE_MODULO_OP
 					if (auto llvmIrBinaryOperator = dyn_cast<BinaryOperator>(&llvmIrInstruction))
 					{
 						Value * leftOperand  = llvmIrInstruction.getOperand(0);
@@ -1953,6 +1957,7 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 							assert(!valueRangeDebug && "failed to get range");
 						}
 					}
+#endif
 					break;
 
 				case Instruction::Shl:
@@ -2537,6 +2542,7 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 					break;
 
 				case Instruction::And:
+#ifndef DISABLE_BITWISE_OP
 					if (auto llvmIrBinaryOperator = dyn_cast<BinaryOperator>(&llvmIrInstruction))
 					{
 						Value * leftOperand  = llvmIrInstruction.getOperand(0);
@@ -2622,9 +2628,11 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 							assert(!valueRangeDebug && "failed to get range");
 						}
 					}
+#endif
 					break;
 
 				case Instruction::Or:
+#ifndef DISABLE_BITWISE_OP
 					if (auto llvmIrBinaryOperator = dyn_cast<BinaryOperator>(&llvmIrInstruction))
 					{
 						Value * leftOperand  = llvmIrInstruction.getOperand(0);
@@ -2710,9 +2718,11 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 							assert(!valueRangeDebug && "failed to get range");
 						}
 					}
+#endif
 					break;
 
 				case Instruction::Xor:
+#ifndef DISABLE_BITWISE_OP
 					if (auto llvmIrBinaryOperator = dyn_cast<BinaryOperator>(&llvmIrInstruction))
 					{
 						Value * leftOperand  = llvmIrInstruction.getOperand(0);
@@ -2798,6 +2808,7 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 							assert(!valueRangeDebug && "failed to get range");
 						}
 					}
+#endif
 					break;
 
 				case Instruction::FPToUI:

src/newton/newton-irPass-LLVMIR-shrinkTypeByRange.cpp

@@ -40,7 +40,7 @@
 /*
  * this macro can also move to the compiler config
  * */
-#define UNSIGNED_SHRINK 0
+#define UNSIGNED_SHRINK 1
 
 using namespace llvm;