Worked on the apache/tvm repository to address a critical correctness issue in the TIR lowering process, specifically within the LowerIntrin pass. Focused on preventing overflow during floordiv and floormod transformations, the solution involved tightening the applicability condition to ensure transformations only occur when safe, based on operand bounds. Implemented comprehensive regression tests to cover edge cases and maintain long-term reliability. Utilized C++ and Python for both the optimization logic and test development, drawing on skills in algorithm optimization, compiler design, and testing. This work enhanced the stability and correctness of optimization-heavy workloads in performance-critical compilation pipelines.