Add support for nowrap flags to `trunc`

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

719 stars 93 forks source link

Closed antoniofrighetto closed 3 months ago

antoniofrighetto commented 3 months ago

Nowrap poison-generating flags to trunc have been recently introduced in LLVM.

antoniofrighetto commented 3 months ago

(To undraft when PR85592 lands in LLVM.)

nunoplopes commented 3 months ago

fixes #1023.