[FunctionAttrs] Annotate "willreturn" for AssumeLikeInst
authorHideto Ueno <uenoku.tokotoko@gmail.com>
Tue, 30 Jul 2019 18:35:29 +0000 (18:35 +0000)
committerHideto Ueno <uenoku.tokotoko@gmail.com>
Tue, 30 Jul 2019 18:35:29 +0000 (18:35 +0000)
commit6e2be4eab3dd5dbcc1ec885656c56f5f0200091d
treef80e01f81daa7883f58847b6b9d284c888fa708f
parent3b0769b7b49d8bc8708f2dea46d833cd83f42746
[FunctionAttrs] Annotate "willreturn" for AssumeLikeInst

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`).

Reviewers: jdoerfert, nikic, sstefan1

Reviewed By: nikic

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D65455

llvm-svn: 367342
llvm/include/llvm/IR/Intrinsics.td
llvm/lib/Analysis/ValueTracking.cpp