================
@@ -2506,14 +2507,18 @@ RValue CodeGenFunction::EmitLoadOfLValue(LValue LV,
SourceLocation Loc) {
if (LV.isMatrixElt()) {
llvm::Value *Idx = LV.getMatrixIdx();
- if (CGM.getCodeGenOpts().OptimizationLevel > 0) {
- const auto *const MatTy = LV.getType()->castAs<ConstantMatrixType>();
- llvm::MatrixBuilder MB(Builder);
- MB.CreateIndexAssumption(Idx, MatTy->getNumElementsFlattened());
+ QualType EltTy = LV.getType();
+ if (const auto *MatTy = EltTy->getAs<ConstantMatrixType>()) {
+ EltTy = MatTy->getElementType();
+ if (CGM.getCodeGenOpts().OptimizationLevel > 0) {
+ llvm::MatrixBuilder MB(Builder);
+ MB.CreateIndexAssumption(Idx, MatTy->getNumElementsFlattened());
+ }
----------------
farzonl wrote:
It is more than that. If you violate the index assumption the codegen should
be different. It should also be used by clang static analyzer.
https://github.com/llvm/llvm-project/pull/178315
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
