| commit | 90db75ed24fdfe533ca0cbfa7771618959a9fd41 | [log] [tgz] |
|---|---|---|
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | Thu Sep 10 17:51:27 2015 +0000 |
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | Thu Sep 10 17:51:27 2015 +0000 |
| tree | 42eede43fa74b461a3ac262eec9a1f8f4bfc7fcf | |
| parent | 053701399d42c76fdaff6c16f44494516c046c80 [diff] |
Runtime error check elimination Hoist runtime checks in the loop nest if they guard an "error" like event. Such events are recognized as blocks with an unreachable terminator or a call to the ubsan function that deals with out of bound accesses. Other "error" events can be added easily. We will ignore these blocks when we detect/model/optmize and code generate SCoPs but we will make sure that they would not have been executed using the assumption framework. llvm-svn: 247310