• Lei Wang's avatar
    [Pass][Simplify] Introduce symbolic level simplify for condition expression (#634) · 02a0cf59
    Lei Wang authored
    * [Enhancement] Add argument simplification option to StmtSimplifier
    
    - Introduced a new `simplify_arguments` flag in the `StmtSimplifier::Apply` method to control argument simplification behavior.
    - Updated the `Simplify` function to accept the new flag, allowing for enhanced flexibility in the simplification process.
    - Adjusted the `LowerAndLegalize` and `_Simplify` functions to utilize the new argument, ensuring consistent behavior across the codebase.
    - Added comments to clarify the purpose of the new flag and its impact on simplification logic.
    
    * lint fix
    
    * [Enhancement] Improve layout inference and reduce operation handling
    
    - Updated `ParallelOp::InferLayout` to check for pure buffer stores, enhancing layout inference logic.
    - Modified `ReduceOp::Lower` to include all threads in the AllReduce operation, improving performance on specific architectures.
    - Added a TODO comment in `AllReduce` to consider merging synchronization barriers for optimization.
    
    * lint fix
    
    * [Enhancement] Add input validation for GEMM parameters
    
    - Introduced checks to ensure that the dimensions M and N are divisible by their respective warp sizes (kMPerWarp and kNPerWarp) in the Gemm::ComputeWarpPartition method.
    - Added informative error messages to assist in debugging when the input parameters do not meet the required conditions.
    
    * bug fix
    02a0cf59
gemm.cc 15.1 KB