[PATCH] D102478: [Matrix] Emit assumption that matrix indices are valid.

[Florian Hahn via Phabricator via cfe-commits]

fhahn updated this revision to Diff 348210.
fhahn added a comment.

Thanks for the comments!

Updates:

- Only emit assumptions for optimized builds; the assumes are not helpful for unoptimized builds
- Use builder::CreateAssumption instead of manually constructing assume calls
- Add assert that condition must be true, if simplified to a constant.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D102478/new/

https://reviews.llvm.org/D102478

Files:
  clang/lib/CodeGen/CGExpr.cpp
  clang/lib/CodeGen/CGExprScalar.cpp
  clang/test/CodeGen/matrix-type-operators.c
  clang/test/CodeGenCXX/matrix-type-operators.cpp
  clang/test/CodeGenObjC/matrix-type-operators.m
  llvm/include/llvm/IR/MatrixBuilder.h

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D102478.348210.patch
Type: text/x-patch
Size: 23148 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20210527/1db1a3b7/attachment-0001.bin>