diff options
| author | Jiuyang Liu | 2021-08-18 03:44:17 +0800 |
|---|---|---|
| committer | GitHub | 2021-08-17 19:44:17 +0000 |
| commit | ed894c61474c8bc73761a6c360ef9d14505d853b (patch) | |
| tree | 34ba107d6c88da9a5a7ef796564cea640dda94eb /.github | |
| parent | b6929c9ad438db26055707b8ec5c66e4f70a22b8 (diff) | |
remove DefRegInit, change DefReg API with option definition. (#1944)
* remove DefRegInit, change DefReg API with option defination.
* add error message
* use Option[RegInitIR].
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions