Arnold Schwaighofer 0fe3cf0096 SIL: Update formal source type in SimplifyRefCasts when possible ...

We use the formal source type do decide whether a checked_cast_br is
known to succeed/fail. If we don't update it we loose that optimization

That is:

```
  checked_cast_br AnyObject in %2 : X to X, bb1, bb2
```

Will not be simplified even though the operand and the destintation type
matches.

2025-01-29 09:07:21 -08:00

5.0 KiB

Raw Blame History

View Raw