search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
719 stars 93 forks source link

Fix bitwidth for vector ucmp/scmp #1050

Closed dtcxzyw closed 3 weeks ago

dtcxzyw commented 3 weeks ago

Fixes https://github.com/AliveToolkit/alive2/pull/1049/files#r1633629082.

nunoplopes commented 3 weeks ago

thanks!