aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/testdata/scan.ll
diff options
context:
space:
mode:
Diffstat (limited to 'interp/testdata/scan.ll')
-rw-r--r--interp/testdata/scan.ll17
1 files changed, 17 insertions, 0 deletions
diff --git a/interp/testdata/scan.ll b/interp/testdata/scan.ll
index 946a8a072..bf44750e1 100644
--- a/interp/testdata/scan.ll
+++ b/interp/testdata/scan.ll
@@ -1,6 +1,11 @@
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64--linux"
+%runtime.typecodeID = type { %runtime.typecodeID*, i64 }
+
+declare i1 @runtime.typeAssert(i64, %runtime.typecodeID*, i8*, i8*)
+declare i1 @runtime.interfaceImplements(i64, i8**)
+
define i64 @returnsConst() {
ret i64 0
}
@@ -59,3 +64,15 @@ define i64 @callFunctionPointer() {
%result = call i64 %fp()
ret i64 %result
}
+
+define i1 @callTypeAssert() {
+ ; Note: parameters are not realistic.
+ %ok = call i1 @runtime.typeAssert(i64 0, %runtime.typecodeID* null, i8* undef, i8* null)
+ ret i1 %ok
+}
+
+define i1 @callInterfaceImplements() {
+ ; Note: parameters are not realistic.
+ %ok = call i1 @runtime.interfaceImplements(i64 0, i8** null)
+ ret i1 %ok
+}