[llvm] [InstCombine] Fold Xor with or disjoint (PR #105992)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 25 13:09:05 PDT 2024
================
@@ -0,0 +1,32 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+
+define i32 @fold_xor_with_disjoint_or(i32 %a, i1 %c) {
+; CHECK-LABEL: define i32 @fold_xor_with_disjoint_or(
+; CHECK-SAME: i32 [[A:%.*]], i1 [[C:%.*]]) {
+; CHECK-NEXT: [[SHL:%.*]] = shl i32 [[A]], 4
+; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[C]], i32 4, i32 0
+; CHECK-NEXT: [[XOR:%.*]] = or disjoint i32 [[TMP1]], [[SHL]]
+; CHECK-NEXT: ret i32 [[XOR]]
+;
----------------
elhewaty wrote:
If you notice your change wasn't run the function wasn't called.
https://github.com/llvm/llvm-project/pull/105992
More information about the llvm-commits
mailing list