llvm-project

History

Hideto Ueno 6c742fdbf4 [Attributor] Deduce dereferenceable based on accessed bytes map

Summary:
This patch introduces the deduction based on load/store instructions whose pointer operand is a non-inbounds GEP instruction.
For example if we have,
```
void f(int *u){
 u[0] = 0;
 u[1] = 1;
 u[2] = 2;
}
```
then u must be dereferenceable(12).

This patch is inspired by D64258

Reviewers: jdoerfert, spatel, hfinkel, RKSimon, sstefan1, xbolva00, dtemirbulatov

Reviewed By: jdoerfert

Subscribers: jfb, lebedev.ri, xbolva00, hiraditya, llvm-commits

Tags: #llvm

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

2019-11-29 06:55:58 +00:00

AggressiveInstCombine

[cmake] Explicitly mark libraries defined in lib/ as "Component Libraries"

2019-11-21 10:48:08 -08:00

CFGuard

[cmake] Explicitly mark libraries defined in lib/ as "Component Libraries"

2019-11-21 10:48:08 -08:00

Coroutines

[cmake] Explicitly mark libraries defined in lib/ as "Component Libraries"

2019-11-21 10:48:08 -08:00

Hello

Update the file headers across all of the LLVM projects in the monorepo