Skip to content

Commit

Permalink
we shouldn't remove srcInst, as it may be used in the latter instruct…
Browse files Browse the repository at this point in the history
…ions

Addresses #647.
  • Loading branch information
PeiMu committed Mar 10, 2023
1 parent dc24455 commit a28ab99
Show file tree
Hide file tree
Showing 2 changed files with 46 additions and 1 deletion.
46 changes: 46 additions & 0 deletions analysis/statistics/380700370db2c9525d38ff28c6842740a789dc0b.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@

changeset: 1449:380700370db2c9525d38ff28c6842740a789dc0b
char kNewtonVersion[] = "0.3-alpha-1449 (380700370db2c9525d38ff28c6842740a789dc0b) (build 03-10-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)




1 change: 0 additions & 1 deletion src/newton/newton-irPass-LLVMIR-shrinkTypeByRange.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1609,7 +1609,6 @@ mergeCast(State * N, Function & llvmIrFunction,
llvmIrInstruction->replaceAllUsesWith(newCastInst);
sourceInstVec.emplace_back(newCastInst);
}
sourceInst->removeFromParent();
llvmIrInstruction->removeFromParent();
}
else
Expand Down

0 comments on commit a28ab99

Please sign in to comment.