[all-commits] [llvm/llvm-project] 412aae: [CIR] Add Involution trait to BitReverseOp and Byt...

[Henrich Lauko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 412aaeb739eac354110ea4a5dfc66e14f7c90f94
      https://github.com/llvm/llvm-project/commit/412aaeb739eac354110ea4a5dfc66e14f7c90f94
  Author: Henrich Lauko <xlauko at mail.muni.cz>
  Date:   2026-03-23 (Mon, 23 Mar 2026)

  Changed paths:
    M clang/include/clang/CIR/Dialect/IR/CIROps.td
    M clang/test/CIR/Transforms/bit.cir

  Log Message:
  -----------
  [CIR] Add Involution trait to BitReverseOp and ByteSwapOp (#187862)

bitreverse(bitreverse(x)) == x and byte_swap(byte_swap(x)) == x are
mathematical involutions.

This adds MLIR Involution trait to CIR opetation, it encodes this
property and automatically folds away the outer application when an op's
input is produced by the same op type.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications