[llvm] [LICM][SimplifyCFG] Ignore frees for writable dereferenceability check (PR #202589)

[Antonio Frighetto via llvm-commits]

================

----------------
antoniofrighetto wrote:

(Not sure if, while at it, we want to take the minor opportunity to s/StoreIsGuanteedToExecute/StoreIsGuaranteedToExecute/).

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