1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-23 13:02:52 +02:00
llvm-mirror/test/Transforms/WholeProgramDevirt
Peter Collingbourne 41f4d00801 IR: Introduce llvm.type.checked.load intrinsic.
This intrinsic safely loads a function pointer from a virtual table pointer
using type metadata. This intrinsic is used to implement control flow integrity
in conjunction with virtual call optimization. The virtual call optimization
pass will optimize away llvm.type.checked.load intrinsics associated with
devirtualized calls, thereby removing the type check in cases where it is
not needed to enforce the control flow integrity constraint.

This patch also introduces the capability to copy type metadata between
global variables, and teaches the virtual call optimization pass to do so.

Differential Revision: http://reviews.llvm.org/D21121

llvm-svn: 273756
2016-06-25 00:23:04 +00:00
..
bad-read-from-vtable.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
constant-arg.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00
devirt-single-impl-check.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00
devirt-single-impl.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
expand-check.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00
non-array-vtable.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
non-constant-vtable.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
uniform-retval-invoke.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
uniform-retval.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
unique-retval.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-accesses-memory.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-no-this.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-non-constant-arg.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-too-wide-ints.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-type-mismatch.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
vcp-uses-this.ll IR: New representation for CFI and virtual call optimization pass metadata. 2016-06-24 21:21:32 +00:00
virtual-const-prop-begin.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00
virtual-const-prop-check.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00
virtual-const-prop-end.ll IR: Introduce llvm.type.checked.load intrinsic. 2016-06-25 00:23:04 +00:00