005b3858f6
This adds the #cir.fenv attribute to the cir.cmp and cir.vec.cmp and adds verfiers to enforce that the attribute is only present when the comparison involves floating-point values. The cir.vec.cmp operation has an existing folder which is skipped in this change when the fenv attribute is present. In most circumstance, this folding could still be done, but the implementation is intentionally conservative at this point. Proper checking of the conditions under which folding would be legal will be added later. The cir.cmp operation does not currently have a folder. Assisted-by: Cursor / various models |
||
|---|---|---|
| .. | ||
| CallOpTest.cpp | ||
| CMakeLists.txt | ||
| ControlFlowTest.cpp | ||
| FenvOpTest.cpp | ||
| GetFloatingPointTypeTest.cpp | ||
| IntTypeABIAlignTest.cpp | ||
| PointerLikeTest.cpp | ||
| RecordTypeMetadataTest.cpp | ||
| UnionTypeSizeTest.cpp | ||