This is an archive of the discontinued LLVM Phabricator instance.

Mark statepoint intrinsic with Throws attribute
ClosedPublic

Authored by igor-laevsky on Jun 3 2015, 9:08 AM.

Reviewers

Commits

Summary

Since statepoints could be invoked we need to mark them with Throws attribute.

igor-laevsky retitled this revision from to Mark statepoint intrinsic with Throws attribute.

igor-laevsky updated this object.

igor-laevsky edited the test plan for this revision. (Show Details)

igor-laevsky added a reviewer: reames.

igor-laevsky set the repository for this revision to rL LLVM.

igor-laevsky added a subscriber: Unknown Object (MLST).

LGTM.

p.s. It's not just invokes. A exception can propagate through a call as well provided there's no local handler within the frame.

This revision is now accepted and ready to land.Jun 3 2015, 9:16 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

llvm/

trunk/

include/

llvm/

IR/

3 lines

	Show First 20 Lines • Show All 531 Lines • ▼ Show 20 Lines


	//===------------------------ Garbage Collection Intrinsics ---------------===//			//===------------------------ Garbage Collection Intrinsics ---------------===//
	// These are documented in docs/Statepoint.rst			// These are documented in docs/Statepoint.rst

	def int_experimental_gc_statepoint : Intrinsic<[llvm_i32_ty],			def int_experimental_gc_statepoint : Intrinsic<[llvm_i32_ty],
	[llvm_i64_ty, llvm_i32_ty,			[llvm_i64_ty, llvm_i32_ty,
	llvm_anyptr_ty, llvm_i32_ty,			llvm_anyptr_ty, llvm_i32_ty,
	llvm_i32_ty, llvm_vararg_ty]>;			llvm_i32_ty, llvm_vararg_ty],
				[Throws]>;

	def int_experimental_gc_result : Intrinsic<[llvm_any_ty], [llvm_i32_ty]>;			def int_experimental_gc_result : Intrinsic<[llvm_any_ty], [llvm_i32_ty]>;
	def int_experimental_gc_relocate : Intrinsic<[llvm_anyptr_ty],			def int_experimental_gc_relocate : Intrinsic<[llvm_anyptr_ty],
	[llvm_i32_ty, llvm_i32_ty, llvm_i32_ty]>;			[llvm_i32_ty, llvm_i32_ty, llvm_i32_ty]>;

	// Deprecated: will be removed in a couple of weeks			// Deprecated: will be removed in a couple of weeks
	def int_experimental_gc_result_int : Intrinsic<[llvm_anyint_ty], [llvm_i32_ty]>;			def int_experimental_gc_result_int : Intrinsic<[llvm_anyint_ty], [llvm_i32_ty]>;
	def int_experimental_gc_result_float : Intrinsic<[llvm_anyfloat_ty],			def int_experimental_gc_result_float : Intrinsic<[llvm_anyfloat_ty],
	▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines