In D37215, AssumeLikeInstruction are regarded as willreturn. In this patch, annotation is added to those which don't have willreturn now(sideeffect, object_size, experimental_widenable_condition).
Details
Details
Diff Detail
Diff Detail
Paths
| Differential D65455
[FunctionAttrs] Annotate "willreturn" for AssumeLikeInst ClosedPublic Authored by uenoku on Jul 30 2019, 9:28 AM.
Details Summary In D37215, AssumeLikeInstruction are regarded as willreturn. In this patch, annotation is added to those which don't have willreturn now(sideeffect, object_size, experimental_widenable_condition).
Diff Detail Event TimelineThis revision is now accepted and ready to land.Jul 30 2019, 10:55 AM uenoku retitled this revision from [FunctionAttrs] Annote "willreturn" for AssumeLikeInst to [FunctionAttrs] Annotate "willreturn" for AssumeLikeInst.Jul 30 2019, 11:33 AM Closed by commit rL367342: [FunctionAttrs] Annotate "willreturn" for AssumeLikeInst (authored by uenoku). · Explain WhyJul 30 2019, 11:36 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 212361 llvm/include/llvm/IR/Intrinsics.td
llvm/lib/Analysis/ValueTracking.cpp
|