[WebAssembly] Add IntrNoReturn property to throw/rethrow intrinsics
ClosedPublic

Authored by aheejin on Feb 25 2018, 5:55 AM.

Details

Reviewers

Commits

This revision is now accepted and ready to land.Mar 7 2018, 11:04 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

llvm/

trunk/

include/

llvm/

IR/

8 lines

Show All 25 Lines	def int_wasm_mem_grow : Intrinsic<[llvm_anyint_ty],
[llvm_i32_ty, LLVMMatchType<0>],		[llvm_i32_ty, LLVMMatchType<0>],
[]>;		[]>;

// These are the existing names, which are currently official, but expected		// These are the existing names, which are currently official, but expected
// to be deprecated in the future. They also lack the immediate field.		// to be deprecated in the future. They also lack the immediate field.
def int_wasm_current_memory : Intrinsic<[llvm_anyint_ty], [], [IntrReadMem]>;		def int_wasm_current_memory : Intrinsic<[llvm_anyint_ty], [], [IntrReadMem]>;
def int_wasm_grow_memory : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>], []>;		def int_wasm_grow_memory : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>], []>;

		//===----------------------------------------------------------------------===//
// Exception handling intrinsics		// Exception handling intrinsics
def int_wasm_throw: Intrinsic<[], [llvm_i32_ty, llvm_ptr_ty], [Throws]>;		//===----------------------------------------------------------------------===//
def int_wasm_rethrow: Intrinsic<[], [], [Throws]>;

		// throw / rethrow
		def int_wasm_throw : Intrinsic<[], [llvm_i32_ty, llvm_ptr_ty],
		[Throws, IntrNoReturn]>;
		def int_wasm_rethrow : Intrinsic<[], [], [Throws, IntrNoReturn]>;
}		}