Improve memory access safety and T.assume handling

LJC00118 · LJC00118 · commit 5c8019c9c08f · 2025-11-20T16:41:51.000+08:00
diff --git a/src/transform/simplify.cc b/src/transform/simplify.cc
@@ -465,7 +465,7 @@ class StmtSimplifier : public IRMutatorWithAnalyzer {
     return std::move(store);
   }
 
-  Stmt VisitStmt_(const AttrStmtNode* op) override {
+  Stmt VisitStmt_(const AttrStmtNode *op) override {
     if (op->attr_key == "tl.assume") {
       PrimExpr condition = this->VisitExpr(Downcast<PrimExpr>(op->node));
       auto n = CopyOnWrite(op);

Original file line number	Diff line number	Diff line change
`@@ -465,7 +465,7 @@ class StmtSimplifier : public IRMutatorWithAnalyzer {`
`465`	`465`	`return std::move(store);`
`466`	`466`	`}`
`467`	`467`
`468`		`- Stmt VisitStmt_(const AttrStmtNode* op) override {`
	`468`	`+ Stmt VisitStmt_(const AttrStmtNode *op) override {`
`469`	`469`	`if (op->attr_key == "tl.assume") {`
`470`	`470`	`PrimExpr condition = this->VisitExpr(Downcast<PrimExpr>(op->node));`
`471`	`471`	`auto n = CopyOnWrite(op);`