comment the instructions that llvm has supported

Addresses #653.

analysis/statistics/ae1179cbba50eb58e99d58e88bbcaf134208264a.txt

@@ -0,0 +1,46 @@
+
+changeset: 1486:ae1179cbba50eb58e99d58e88bbcaf134208264a
+char kNewtonVersion[] = "0.3-alpha-1486 (ae1179cbba50eb58e99d58e88bbcaf134208264a) (build 05-09-2023-11:[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-emitAssume.cpp

@@ -52,29 +52,29 @@ emitAssume(State * N, BoundInfo * boundInfo, llvm::Function & llvmIrFunction)
  * */
  case Instruction::Call:
  break;
- case Instruction::Add:
- case Instruction::FAdd:
- case Instruction::Sub:
- case Instruction::FSub:
- case Instruction::Mul:
- case Instruction::FMul:
- case Instruction::SDiv:
- case Instruction::FDiv:
- case Instruction::UDiv:
- case Instruction::URem:
- case Instruction::SRem:
- case Instruction::FRem:
- case Instruction::Shl:
- case Instruction::LShr:
- case Instruction::AShr:
- case Instruction::And:
- case Instruction::Or:
- case Instruction::Xor:
- case Instruction::FNeg:
- case Instruction::FPToUI:
- case Instruction::FPToSI:
- case Instruction::SIToFP:
- case Instruction::UIToFP:
+// case Instruction::Add:
+// case Instruction::FAdd:
+// case Instruction::Sub:
+// case Instruction::FSub:
+// case Instruction::Mul:
+// case Instruction::FMul:
+// case Instruction::SDiv:
+// case Instruction::FDiv:
+// case Instruction::UDiv:
+// case Instruction::URem:
+// case Instruction::SRem:
+// case Instruction::FRem:
+// case Instruction::Shl:
+// case Instruction::LShr:
+// case Instruction::AShr:
+// case Instruction::And:
+// case Instruction::Or:
+// case Instruction::Xor:
+// case Instruction::FNeg:
+// case Instruction::FPToUI:
+// case Instruction::FPToSI:
+// case Instruction::SIToFP:
+// case Instruction::UIToFP:
  case Instruction::ZExt:
  case Instruction::SExt:
  case Instruction::FPExt: