[llvm] [KnownFPClass] Mark cosh result as non-zero and non-subnormal (PR #213763)

Wed Aug 5 08:36:11 PDT 2026

ZERICO2005 wrote:

> <img alt="image" width="559" height="37" src="https://private-user-images.githubusercontent.com/15650457/631802346-1f01fe58-d04f-4600-aecf-1e3a12fa508c.png?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3ODU5NDQ0MTAsIm5iZiI6MTc4NTk0NDExMCwicGF0aCI6Ii8xNTY1MDQ1Ny82MzE4MDIzNDYtMWYwMWZlNTgtZDA0Zi00NjAwLWFlY2YtMWUzYTEyZmE1MDhjLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNjA4MDUlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjYwODA1VDE1MzUxMFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTczYTZmNGJkODhmY2NiNDAyMTVlYTU5YWU4YjY4NjE4MWEyNGQyNGJjYzNiZTliOTgyYjViYjYyMjc4ZmYxZDImWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JnJlc3BvbnNlLWNvbnRlbnQtdHlwZT1pbWFnZSUyRnBuZyJ9.fHff5xVtzHVOW5v_zVQmg--9VESdqR4eaXO9TMrXD2A"> Please use the public email address. Then I'll merge this patch for you. See https://github.com/[/pull/213763](https://github.com/llvm/llvm-project/pull/213763)#issuecomment-5171712638 for detailed instructions.

I believe I fixed it with the force push yesterday @dtcxzyw 
```
Author: zerico <zerico2005 at gmail.com>  2026-08-03 15:09:44
Committer: zerico <zerico2005 at gmail.com>  2026-08-03 15:09:44
Parent: 0a8ded578e787a3296ed9895cad78293e92eeef1 ([CIR] Attach FenvAttr when strictfp mode is in effect (#213368))
Branches: knownfp_cosh, remotes/origin/knownfp_cosh
Follows: 
Precedes: 

    [KnownFPClass] Mark cosh result as non-zero and non-subnormal
```

https://github.com/llvm/llvm-project/pull/213763