tree c4114cc85eb92ea23e2c9d3d5292a920383016bc
parent 517d8b7d9a1dba03dce65ac670d736a23e336335
author Jiawei Shao <jiawei.shao@intel.com> 1749707402 -0700
committer Dawn LUCI CQ <dawn-scoped@luci-project-accounts.iam.gserviceaccount.com> 1749707402 -0700

Range Analysis: Assert result type must not equal operand type in convert

This patch adds the `TINT_ASSERT` that the result type must not equal
the operand type in convert instruction as is required in core.def.

Bug: 348701956
Change-Id: Idec38c549270ae14f9c5bbc5628cc186c55b1d2e
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/246235
Reviewed-by: James Price <jrprice@google.com>
Commit-Queue: Jiawei Shao <jiawei.shao@intel.com>