diff options
| author | Xavier Bouchoux <xavierb@gmail.com> | 2023-06-24 10:47:20 +0000 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2023-06-24 12:57:46 -0700 |
| commit | f10b9e8fd72aae33b127c18e3f8a64a4f56b1b69 (patch) | |
| tree | e677f852c23f7123282d184ddb67181097588619 /src/codegen/spirv | |
| parent | a5e15eced0e9cb00871966ede74eed9b3a07183c (diff) | |
| download | zig-f10b9e8fd72aae33b127c18e3f8a64a4f56b1b69.tar.gz zig-f10b9e8fd72aae33b127c18e3f8a64a4f56b1b69.zip | |
update Liveness to detect that safety checks do not modify memory
followup to [25d3713b07a100d8fdb349317db97fd9d0c1e366]
Resolves #12215
Previous code didn't account for the extra unreach() that now exists in the air:
```
%29!= block(void, {
%30!= cond_br(%22!, {
%31!= br(%29, @Air.Inst.Ref.void_value)
}, {
%2! %15!
%27!= call(%26, [%19!, %21])
%28!= unreach()
})
} %22!)
```
Diffstat (limited to 'src/codegen/spirv')
0 files changed, 0 insertions, 0 deletions