[llvm] [ConstraintElimination] Add eq/ne facts to signed constraint system (PR #121423)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Thu Jan 2 00:16:30 PST 2025
================
@@ -0,0 +1,22 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+define i1 @f(i32 noundef %v0, i32 noundef %v1, i32 noundef %v2) {
+; CHECK-LABEL: define i1 @f(
+; CHECK-SAME: i32 noundef [[V0:%.*]], i32 noundef [[V1:%.*]], i32 noundef [[V2:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[V2]], [[V0]]
----------------
dtcxzyw wrote:
Can you add a test with `icmp ne` and `or`?
https://github.com/llvm/llvm-project/pull/121423
More information about the llvm-commits
mailing list