Skip to content
This repository was archived by the owner on May 18, 2019. It is now read-only.

Commit e8f130f

Browse files
hkielOpenModelica-Hudson
authored andcommitted
remove redundant simplification rule
recognized by commutative call Belonging to [master]: - #2062
1 parent 83ffab2 commit e8f130f

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

Compiler/FrontEnd/ExpressionSimplify.mo

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3882,10 +3882,6 @@ algorithm
38823882
case (DAE.ADD(),DAE.RCONST(r1),DAE.BINARY(DAE.RCONST(r2),DAE.SUB(ty=ty),e1 as DAE.CREF(_)))
38833883
then DAE.BINARY(DAE.RCONST(realAdd(r1,r2)),DAE.SUB(ty),e1);
38843884

3885-
// ((r2 - e) + r1) => (r3 - e)
3886-
case (DAE.ADD(),DAE.BINARY(DAE.RCONST(r2),DAE.SUB(ty=ty),e1 as DAE.CREF(_)),DAE.RCONST(r1))
3887-
then DAE.BINARY(DAE.RCONST(realAdd(r1,r2)),DAE.SUB(ty),e1);
3888-
38893885
// |e1| /e1 = e1/|e1| => sign(e1)
38903886
case(DAE.DIV(ty),DAE.CALL(path=Absyn.IDENT("abs"),expLst={e1}),e2)
38913887
guard Expression.expEqual(e1,e2)

0 commit comments

Comments
 (0)