Since we are using assumed information now, the logic should be refined to avoid
unncessary assertion.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Differential D106630
[AbstractAttributor] Refine logic to indicate pessimistic fixed point when folding `__kmpc_is_spmd_exec_mode` tianshilei1992 on Jul 22 2021, 7:16 PM. Authored by
Details Since we are using assumed information now, the logic should be refined to avoid
Diff Detail
|