Add support for ucmp/scmp

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

766 stars 97 forks source link

Closed dtcxzyw closed 3 months ago

dtcxzyw commented 3 months ago

This patch adds support for llvm.ucmp/scmp intrinsics. See https://llvm.org/docs/LangRef.html#llvm-scmp-intrinsic

dtcxzyw commented 3 months ago

cc @nikic @Poseydon42