Add support for gep's nuw nusw attributes

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

766 stars 97 forks source link

Closed Hels15 closed 4 months ago

Hels15 commented 4 months ago

This pr implements nuw and nusw flags for the GEP instruction: https://github.com/llvm/llvm-project/pull/90824 After the PR is merged we can implement it in alive2.

I started to work on this so I will keep this thread active, although I can't do much until the PR is merged.

nikic commented 4 months ago

The PR has been merged.

nunoplopes commented 4 months ago