[Host IR] Remove alias

[samnordmann]

aliasing is not needed anymore in Host IR after #4301

[samnordmann]

!test

[github-actions]

Review updated until commit 7052bbc

Description

• Removed alias handling from Host IR container and executor

• Updated executor methods to directly use expr_evaluator_

• Removed alias-related tests

---

Changes walkthrough 📝

	Relevant files
Enhancement	container.cpp Remove alias printing                                                                        csrc/host_ir/container.cpp Removed alias printing in print method +0/-7      executor.cpp Update executor to remove alias usage                                        csrc/host_ir/executor.cpp Removed alias checks and usage in multiple methods Updated bind and invalidate calls to use expr_evaluator_ directly +25/-28  convert_op_to_communication.cpp Remove alias check in pass                                                              csrc/host_ir/pass/convert_op_to_communication.cpp Removed alias check in passImplementation +1/-2      container.h Remove alias methods                                                                          csrc/host_ir/container.h Removed markAlias, alias, and related methods +0/-12    executor.h Remove alias methods from executor                                              csrc/host_ir/executor.h Removed getAlias, isKnown, bind, and invalidate methods Updated getKnownConcreteValue and getKnownTensorOrUndefined to use expr_evaluator_ directly +4/-22
Tests	test_host_irs.cpp Remove alias tests                                                                              tests/cpp/test_host_irs.cpp Removed alias-related tests +0/-78

---

PR Reviewer Guide 🔍

Here are some key observations to aid the review process:

🧪 No relevant tests

⚡ Recommended focus areas for review Possible Issue The expr_evaluator_.bind method is now directly used instead of bind which previously handled alias resolution. Ensure that this change does not introduce any issues related to alias handling. expr_evaluator_.bind(in_val, arg); Possible Issue The expr_evaluator_.isKnown method is now directly used instead of isKnown which previously handled alias resolution. Ensure that this change does not introduce any issues related to alias handling. void HostIrEvaluator::handle(LinearOp* linear) { Missing Tests The tests related to alias handling (HirAlias) have been removed. Ensure that the functionality previously covered by these tests is still adequately tested or that new tests are added to cover the same scenarios.

[wujingyue]

Thank you!

[nsarka]

Looks good! For my own understanding, in the HirAliasSelect IR, why not also make the dim a Val*?

[samnordmann]

!test

[samnordmann]

Looks good! For my own understanding, in the HirAliasSelect IR, why not also make the dim a Val*?

There is no technical restriction for making it a Val*, but I did not for the following reason:

• Mimick what is done for SelectOp
• This follows the general idea that axis's extent are dynamic (i.e. Val), but the "number of axis" and each "axis index" themselves are static. Since dim is an axis's index, it makes sense to keep it a int64_t

Does it make sense ?

[samnordmann]

!test

[samnordmann]

!test

[samnordmann]

!test

[samnordmann]

!test

[samnordmann]

!test