Make and dependent upon LSB only

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index fcadd329afbbc8a1837d40c58cad8e7fb7b40223..9688b77bcbf548c3e0e93c701d5991e6c2b380de 100644 (file)
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1874,10 +1874,16 @@ skip_dynamic_range_lvalue_expansion:;
                                        newNode = new AstNode(AST_NE, past, present);
 
                                else if (str == "\\$rose")
-                                       newNode = new AstNode(AST_LOGIC_AND, new AstNode(AST_LOGIC_NOT, past), present);
+                                       newNode = new AstNode(AST_LOGIC_AND,
+                                               new AstNode(AST_LOGIC_NOT,
+                                                       new AstNode(AST_BIT_AND, past, mkconst_int(1,false))),
+                                                       new AstNode(AST_BIT_AND, present, mkconst_int(1,false)));
 
                                else if (str == "\\$fell")
-                                       newNode = new AstNode(AST_LOGIC_AND, past, new AstNode(AST_LOGIC_NOT, present));
+                                       newNode = new AstNode(AST_LOGIC_AND,
+                                               new AstNode(AST_BIT_AND, past, mkconst_int(1,false)),
+                                               new AstNode(AST_LOGIC_NOT,
+                                                       new AstNode(AST_BIT_AND, present, mkconst_int(1,false))));
 
                                else
                                        log_abort();