-
Notifications
You must be signed in to change notification settings - Fork 14.5k
Closed
Labels
good first issuehttps://github.com/llvm/llvm-project/contributehttps://github.com/llvm/llvm-project/contributellvm:instcombineCovers the InstCombine, InstSimplify and AggressiveInstCombine passesCovers the InstCombine, InstSimplify and AggressiveInstCombine passesmissed-optimization
Description
This is listed in Synthesizing an instruction selection rule library from semantic specifications as an example of patterns that were synthesized by an SMT solver but were missing from both GCC and LLVM.
32-bit example (godbolt, alive):
bool src(int32_t x) { return x < ~x; }
bool tgt(int32_t x) { return x < 0; }
Metadata
Metadata
Assignees
Labels
good first issuehttps://github.com/llvm/llvm-project/contributehttps://github.com/llvm/llvm-project/contributellvm:instcombineCovers the InstCombine, InstSimplify and AggressiveInstCombine passesCovers the InstCombine, InstSimplify and AggressiveInstCombine passesmissed-optimization