[FuncSpec]Fix assertion failure when value is not added to solver
authorBin Cheng <bin.cheng@linux.alibaba.com>
Fri, 10 Jun 2022 10:40:59 +0000 (18:40 +0800)
committerBin Cheng <bin.cheng@linux.alibaba.com>
Fri, 10 Jun 2022 10:45:53 +0000 (18:45 +0800)
commit8b360c69e9e31c38995014414aac523b94b2adaf
treef05a832eb01a36d5b1ded58662046b7d36de4dd6
parentf8aba9995ad932582f1deb9f01353a98a3ff92e7
[FuncSpec]Fix assertion failure when value is not added to solver

This patch improves the fix in D110529 to prevent from crashing on value
with byval attribute that is not added in SCCP solver.

Authored-by: sinan.lin@linux.alibaba.com
Reviewed By: ChuanqiXu

Differential Revision: https://reviews.llvm.org/D126355
llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression.ll
llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression4.ll [new file with mode: 0644]
llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression5.ll [new file with mode: 0644]