As discussed in the Relax development meeting on Jan 10 and Jan 24, we agreed to move on with the proposal and switch brought by #356. This PR is the tracking issue of this movement, with mainly three jobs.
[x] A0. Replace type_args by sinfo_args. Update the uses plainly with current tests passed. #379
[x] A1. Simplify and reorganize the API, creations, structure info deductions and uses of sinfo_args for intrinsic operators (e.g., call_tir, call_packed, etc.). Since this PR, our API and structure info deduction will get rid of the dependency on types. #386
[x] A2. Legacy clean up (e.g., the VisitType method in ExprFunctor). #387
[x] A3. Add wellformed check for sinfo_args. #388
For more details on this switch, please refer to #356 :-)
As discussed in the Relax development meeting on Jan 10 and Jan 24, we agreed to move on with the proposal and switch brought by #356. This PR is the tracking issue of this movement, with mainly three jobs.
type_argsbysinfo_args. Update the uses plainly with current tests passed. #379sinfo_argsfor intrinsic operators (e.g.,call_tir,call_packed, etc.). Since this PR, our API and structure info deduction will get rid of the dependency on types. #386VisitTypemethod in ExprFunctor). #387sinfo_args. #388For more details on this switch, please refer to #356 :-)