Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
dd275cd7
R
Rust
项目概览
int
/
Rust
大约 1 年 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
dd275cd7
编写于
11月 17, 2011
作者:
B
Brian Anderson
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Stop using temporary intrinsic_2 functions
上级
e7ad5978
变更
4
隐藏空白更改
内联
并排
Showing
4 changed file
with
225 addition
and
195 deletion
+225
-195
src/comp/middle/trans.rs
src/comp/middle/trans.rs
+1
-1
src/rt/intrinsics/intrinsics.cpp
src/rt/intrinsics/intrinsics.cpp
+36
-30
src/rt/intrinsics/intrinsics.i386.ll.in
src/rt/intrinsics/intrinsics.i386.ll.in
+94
-82
src/rt/intrinsics/intrinsics.x86_64.ll.in
src/rt/intrinsics/intrinsics.x86_64.ll.in
+94
-82
未找到文件。
src/comp/middle/trans.rs
浏览文件 @
dd275cd7
...
...
@@ -5724,7 +5724,7 @@ fn register_native_fn(ccx: @crate_ctxt, sp: span, _path: [str], name: str,
ast
::
native_abi_rust_intrinsic
.
{
let
num_ty_param
=
native_fn_ty_param_count
(
ccx
,
id
);
let
fn_type
=
native_fn_wrapper_type
(
ccx
,
sp
,
num_ty_param
,
fn_type
);
let
ri_name
=
"rust_intrinsic_
2_
"
+
name
;
let
ri_name
=
"rust_intrinsic_"
+
name
;
let
llnativefn
=
get_extern_fn
(
ccx
.externs
,
ccx
.llmod
,
ri_name
,
lib
::
llvm
::
LLVMCCallConv
,
fn_type
);
ccx
.item_ids
.insert
(
id
,
llnativefn
);
...
...
src/rt/intrinsics/intrinsics.cpp
浏览文件 @
dd275cd7
...
...
@@ -16,7 +16,7 @@ extern "C" CDECL void
rust_task_sleep
(
size_t
time_in_us
);
extern
"C"
void
rust_intrinsic_
2_
vec_len
(
size_t
*
retptr
,
rust_intrinsic_vec_len
(
size_t
*
retptr
,
void
*
env
,
type_desc
*
ty
,
rust_vec
**
vp
)
...
...
@@ -25,7 +25,7 @@ rust_intrinsic_2_vec_len(size_t *retptr,
}
extern
"C"
void
rust_intrinsic_
2_
ptr_offset
(
void
**
retptr
,
rust_intrinsic_ptr_offset
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
void
*
ptr
,
...
...
@@ -35,7 +35,7 @@ rust_intrinsic_2_ptr_offset(void **retptr,
}
extern
"C"
void
rust_intrinsic_
2_
cast
(
void
*
retptr
,
rust_intrinsic_cast
(
void
*
retptr
,
void
*
env
,
type_desc
*
t1
,
type_desc
*
t2
,
...
...
@@ -51,7 +51,7 @@ rust_intrinsic_2_cast(void *retptr,
}
extern
"C"
void
rust_intrinsic_
2_
addr_of
(
void
**
retptr
,
rust_intrinsic_addr_of
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
void
*
valptr
)
{
...
...
@@ -59,7 +59,7 @@ rust_intrinsic_2_addr_of(void **retptr,
}
extern
"C"
void
rust_intrinsic_
2_
recv
(
void
**
retptr
,
rust_intrinsic_recv
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
rust_port
*
port
)
{
...
...
@@ -67,75 +67,81 @@ rust_intrinsic_2_recv(void **retptr,
}
extern
"C"
void
rust_intrinsic_
2_
get_type_desc
(
void
**
retptr
,
rust_intrinsic_get_type_desc
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
)
{
*
(
type_desc
**
)
retptr
=
ty
;
}
extern
"C"
void
rust_intrinsic_
2_
task_sleep
(
void
**
retptr
,
rust_intrinsic_task_sleep
(
void
**
retptr
,
void
*
env
,
size_t
time_in_us
)
{
rust_task_sleep
(
time_in_us
);
}
extern
"C"
void
rust_intrinsic_
vec_len
(
void
*
task
,
size_t
*
retptr
,
type_desc
*
ty
,
rust_vec
**
vp
)
rust_intrinsic_
2_vec_len
(
size_t
*
retptr
,
void
*
env
,
type_desc
*
ty
,
rust_vec
**
vp
)
{
rust_intrinsic_2_vec_len
(
retptr
,
NULL
,
ty
,
vp
)
;
*
retptr
=
(
*
vp
)
->
fill
/
ty
->
size
;
}
extern
"C"
void
rust_intrinsic_
ptr_offset
(
void
*
task
,
void
*
*
retptr
,
rust_intrinsic_
2_ptr_offset
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
void
*
ptr
,
uintptr_t
count
)
{
rust_intrinsic_2_ptr_offset
(
retptr
,
NULL
,
ty
,
ptr
,
count
)
;
*
retptr
=
&
((
uint8_t
*
)
ptr
)[
ty
->
size
*
count
]
;
}
extern
"C"
void
rust_intrinsic_
cast
(
void
*
task
,
void
*
retptr
,
rust_intrinsic_
2_cast
(
void
*
retptr
,
void
*
env
,
type_desc
*
t1
,
type_desc
*
t2
,
void
*
src
)
{
rust_intrinsic_2_cast
(
retptr
,
NULL
,
t1
,
t2
,
src
);
if
(
t1
->
size
!=
t2
->
size
)
{
upcall_fail
(
"attempt to cast values of differing sizes"
,
__FILE__
,
__LINE__
);
return
;
}
memmove
(
retptr
,
src
,
t1
->
size
);
}
extern
"C"
void
rust_intrinsic_
addr_of
(
void
*
task
,
void
*
*
retptr
,
rust_intrinsic_
2_addr_of
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
void
*
valptr
)
{
rust_intrinsic_2_addr_of
(
retptr
,
NULL
,
ty
,
valptr
)
;
*
retptr
=
valptr
;
}
extern
"C"
void
rust_intrinsic_
recv
(
void
*
task
,
void
*
*
retptr
,
rust_intrinsic_
2_recv
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
,
rust_port
*
port
)
{
rust_intrinsic_2_recv
(
retptr
,
NULL
,
ty
,
port
);
port_recv
((
uintptr_t
*
)
retptr
,
port
);
}
extern
"C"
void
rust_intrinsic_
get_type_desc
(
void
*
task
,
void
*
*
retptr
,
rust_intrinsic_
2_get_type_desc
(
void
**
retptr
,
void
*
env
,
type_desc
*
ty
)
{
rust_intrinsic_2_get_type_desc
(
retptr
,
NULL
,
ty
)
;
*
(
type_desc
**
)
retptr
=
ty
;
}
extern
"C"
void
rust_intrinsic_
task_sleep
(
void
*
task
,
void
*
*
retptr
,
rust_intrinsic_
2_task_sleep
(
void
**
retptr
,
void
*
env
,
size_t
time_in_us
)
{
rust_task_sleep
(
time_in_us
);
}
src/rt/intrinsics/intrinsics.i386.ll.in
浏览文件 @
dd275cd7
; ModuleID = 'src/rt/intrinsics/intrinsics.cpp'
; target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:
128:128-n8:16:32
"
; target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:
32:32-n8:16:32-S128
"
target triple = "@CFG_TARGET_TRIPLE@"
%0 = type { i32, %"struct.memory_region::alloc_header"**, i32 }
%1 = type { i32, %struct.rust_scheduler**, i32 }
%2 = type { %"struct.hash_map<long, rust_task *>::map_entry"* }
%class.array_list = type { i32, %struct.rust_task**, i32 }
%class.circular_buffer = type { %class.rust_kernel*, i32, i32, i32, i32, i8* }
%class.context = type { %struct.registers_t, %class.context* }
%"class.debug::task_debug_info" = type { %"class.std::map" }
%class.hash_map = type { %"struct.hash_map<long, rust_port *>::map_entry"* }
%class.indexed_list = type { i32 (...)**, %class.array_list }
%class.lock_and_signal = type { i32 (...)**, %struct._opaque_pthread_cond_t, %struct._opaque_pthread_mutex_t, %struct._opaque_pthread_t*, i8, i8 }
%class.memory_region = type { i32 (...)**, %class.rust_srv*, %class.memory_region*, i32, %0, i8, i8, %class.lock_and_signal }
%class.rust_crate_cache = type { %struct.type_desc*, %struct.rust_scheduler*, i32 }
%class.rust_kernel = type { i32 (...)**, %class.memory_region, %class.rust_log, %class.rust_srv*, %class.lock_and_signal, %1, %struct.randctx, i32, %2, i32, i32, i32, %struct.rust_env* }
%class.rust_log = type { i32 (...)**, %class.rust_srv*, %struct.rust_scheduler*, i8 }
%class.rust_obstack = type { %struct.rust_obstack_chunk*, %struct.rust_task* }
%struct.type_desc = type { %struct.type_desc**, i32, i32, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i8*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i32, void (i8*, i8*, %struct.type_desc**, i8*, i8*, i8)*, i8*, %struct.rust_shape_tables*, i32, i32, %struct.UT_hash_handle, i32, [0 x %struct.type_desc*] }
%struct.rust_shape_tables = type { i8*, i8* }
%struct.UT_hash_handle = type { %struct.UT_hash_table*, i8*, i8*, %struct.UT_hash_handle*, %struct.UT_hash_handle*, i8*, i32, i32 }
%struct.UT_hash_table = type { %struct.UT_hash_bucket*, i32, i32, i32, %struct.UT_hash_handle*, i32, i32, i32, i32, i32 }
%struct.UT_hash_bucket = type { %struct.UT_hash_handle*, i32, i32 }
%struct.rust_vec = type { i32, i32, [0 x i8] }
%class.rust_port = type { i32, i32, %class.rust_kernel*, %struct.rust_task*, i32, %class.circular_buffer, %class.lock_and_signal }
%class.rust_kernel = type { i32 (...)**, %class.memory_region, %class.rust_log, %class.rust_srv*, %class.lock_and_signal, %class.array_list.0, %struct.randctx, i32, %class.hash_map, i32, i32, i32, %struct.rust_env* }
%class.memory_region = type { i32 (...)**, %class.rust_srv*, %class.memory_region*, i32, %class.array_list, i8, i8, %class.lock_and_signal }
%class.rust_srv = type { i32 (...)**, %struct.rust_env*, %class.memory_region }
%"class.rust_task::wakeup_callback" = type { i32 (...)** }
%struct.rust_env = type { i32, i32, i8*, i8, i8, i8* }
%class.array_list = type { i32, %"struct.memory_region::alloc_header"**, i32 }
%"struct.memory_region::alloc_header" = type { i8 }
%class.lock_and_signal = type { i32 (...)**, %union.pthread_cond_t, %union.pthread_mutex_t, i32, i8, i8 }
%union.pthread_cond_t = type { %struct.anon, [4 x i8] }
%struct.anon = type { i32, i32, i64, i64, i64, i8*, i32, i32 }
%union.pthread_mutex_t = type { %"struct.<anonymous union>::__pthread_mutex_s" }
%"struct.<anonymous union>::__pthread_mutex_s" = type { i32, i32, i32, i32, i32, %union.anon }
%union.anon = type { i32 }
%class.rust_log = type { i32 (...)**, %class.rust_srv*, %struct.rust_scheduler*, i8 }
%struct.rust_scheduler = type { %class.rust_thread, i32, i32, %class.rust_log, i32, %class.rust_srv*, i8*, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_crate_cache, %struct.randctx, %class.rust_kernel*, i32, i32, %class.lock_and_signal, i32, %union.pthread_attr_t, %struct.rust_env*, %class.context }
%class.rust_thread = type { i32 (...)**, i8, i32 }
%class.rust_task_list = type { %class.indexed_list, %struct.rust_scheduler*, i8* }
%class.rust_thread = type { i32 (...)**, i8, %struct._opaque_pthread_t* }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%class.timer = type { i32 (...)**, i64, i64 }
%struct.UT_hash_bucket = type { %struct.UT_hash_handle*, i32, i32 }
%struct.UT_hash_handle = type { %struct.UT_hash_table*, i8*, i8*, %struct.UT_hash_handle*, %struct.UT_hash_handle*, i8*, i32, i32 }
%struct.UT_hash_table = type { %struct.UT_hash_bucket*, i32, i32, i32, %struct.UT_hash_handle*, i32, i32, i32, i32, i32 }
%struct.__darwin_pthread_handler_rec = type { void (i8*)*, i8*, %struct.__darwin_pthread_handler_rec* }
%struct._opaque_pthread_attr_t = type { i32, [36 x i8] }
%struct._opaque_pthread_cond_t = type { i32, [24 x i8] }
%struct._opaque_pthread_mutex_t = type { i32, [40 x i8] }
%struct._opaque_pthread_t = type { i32, %struct.__darwin_pthread_handler_rec*, [596 x i8] }
%class.indexed_list = type { i32 (...)**, %class.array_list.2 }
%class.array_list.2 = type { i32, %struct.rust_task**, i32 }
%struct.rust_task = type { %struct.rust_task_user, i32, %class.context, %struct.stk_seg*, i32, %struct.rust_scheduler*, %class.rust_crate_cache*, %class.rust_kernel*, i8*, %class.rust_task_list*, %struct.rust_cond*, i8*, %struct.rust_task*, i32, i32, %class.timer, i32*, i32, i32, %class.memory_region, %"class.rust_task::wakeup_callback"*, i8, i8, i8, %class.lock_and_signal, %class.hash_map.4, %class.rust_obstack, %"class.std::map", i32, %"class.debug::task_debug_info" }
%struct.rust_task_user = type { i32, i32, %struct.chan_handle, i32 }
%struct.chan_handle = type { i32, i32 }
%"struct.hash_map<long, rust_port *>::map_entry" = type opaque
%"struct.hash_map<long, rust_task *>::map_entry" = type opaque
%"struct.memory_region::alloc_header" = type { i8 }
%struct.randctx = type { i32, [256 x i32], [256 x i32], i32, i32, i32 }
%class.context = type { %struct.registers_t, %class.context* }
%struct.registers_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i16, i16, i16, i16, i16, i16, i32, i32 }
%struct.rust_env = type { i32, i32, i8*, i8, i8, i8* }
%struct.stk_seg = type { %struct.stk_seg*, i32, i32, i32, [0 x i8] }
%class.rust_crate_cache = type { %struct.type_desc*, %struct.rust_scheduler*, i32 }
%struct.rust_cond = type { i8 }
%class.timer = type { i32 (...)**, i64, i64 }
%"class.rust_task::wakeup_callback" = type { i32 (...)** }
%class.hash_map.4 = type { %"struct.hash_map<int, rust_port *>::map_entry"* }
%"struct.hash_map<int, rust_port *>::map_entry" = type opaque
%class.rust_obstack = type { %struct.rust_obstack_chunk*, %struct.rust_task* }
%struct.rust_obstack_chunk = type { %struct.rust_obstack_chunk*, i32, i32, i32, [0 x i8] }
%struct.rust_scheduler = type { %class.rust_thread, i32, i32, %class.rust_log, i32, %class.rust_srv*, i8*, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_crate_cache, %struct.randctx, %class.rust_kernel*, i32, i32, %class.lock_and_signal, i32, %struct._opaque_pthread_attr_t, %struct.rust_env*, %class.context }
%struct.rust_shape_tables = type { i8*, i8* }
%struct.rust_task = type { %struct.rust_task_user, i32, %class.context, %struct.rust_obstack_chunk*, i32, %struct.rust_scheduler*, %class.rust_crate_cache*, %class.rust_kernel*, i8*, %class.rust_task_list*, %"struct.memory_region::alloc_header"*, i8*, %struct.rust_task*, i32, i32, %class.timer, i32*, %class.array_list, i32, i32, %class.memory_region, %"class.rust_task::wakeup_callback"*, i8, i8, i8, %class.lock_and_signal, %class.hash_map, %class.rust_obstack, %"class.std::map", i32, %"class.debug::task_debug_info" }
%struct.rust_task_user = type { i32, i32, %struct.chan_handle, i32 }
%struct.rust_vec = type { i32, i32, [0 x i8] }
%"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" = type { %"struct.memory_region::alloc_header", %"struct.std::_Rb_tree_node_base", i32 }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" }
%"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" = type { %"struct.std::less", %"struct.std::_Rb_tree_node_base", i32 }
%"struct.std::less" = type { i8 }
%"struct.std::_Rb_tree_node_base" = type { i32, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"* }
%struct.type_desc = type { %struct.type_desc**, i32, i32, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i8*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i32, void (i8*, i8*, %struct.type_desc**, i8*, i8*, i8)*, i8*, %struct.rust_shape_tables*, i32, i32, %struct.UT_hash_handle, i32, [0 x %struct.type_desc*] }
%"class.debug::task_debug_info" = type { %"class.std::map.5" }
%"class.std::map.5" = type { %"class.std::_Rb_tree.6" }
%"class.std::_Rb_tree.6" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, std::basic_string<char> >, std::_Select1st<std::pair<void *const, std::basic_string<char> > >, std::less<void *>, std::allocator<std::pair<void *const, std::basic_string<char> > > >::_Rb_tree_impl" }
%"struct.std::_Rb_tree<void *, std::pair<void *const, std::basic_string<char> >, std::_Select1st<std::pair<void *const, std::basic_string<char> > >, std::less<void *>, std::allocator<std::pair<void *const, std::basic_string<char> > > >::_Rb_tree_impl" = type { %"struct.std::less", %"struct.std::_Rb_tree_node_base", i32 }
%struct.randctx = type { i32, [256 x i32], [256 x i32], i32, i32, i32 }
%union.pthread_attr_t = type { i32, [32 x i8] }
%class.array_list.0 = type { i32, %struct.rust_scheduler**, i32 }
%class.hash_map = type { %"struct.hash_map<int, rust_task *>::map_entry"* }
%"struct.hash_map<int, rust_task *>::map_entry" = type opaque
%class.circular_buffer = type { %class.rust_kernel*, i32, i32, i32, i32, i8* }
@.str = private unnamed_addr constant [42 x i8] c"attempt to cast values of differing sizes\00"
@.str1 = private unnamed_addr constant [33 x i8] c"src/rt/intrinsics/intrinsics.cpp\00"
@.str = private unnamed_addr constant [42 x i8] c"attempt to cast values of differing sizes\00"
, align 1
@.str1 = private unnamed_addr constant [33 x i8] c"src/rt/intrinsics/intrinsics.cpp\00"
, align 1
define void @rust_intrinsic_
2_
vec_len(i32* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind {
%1 = load %struct.rust_vec** %vp, align 4
define void @rust_intrinsic_vec_len(i32* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind {
%1 = load %struct.rust_vec** %vp, align 4
, !tbaa !0
%2 = getelementptr inbounds %struct.rust_vec* %1, i32 0, i32 0
%3 = load i32* %2, align 4
%3 = load i32* %2, align 4
, !tbaa !3
%4 = getelementptr inbounds %struct.type_desc* %ty, i32 0, i32 1
%5 = load i32* %4, align 4
%5 = load i32* %4, align 4
, !tbaa !3
%6 = udiv i32 %3, %5
store i32 %6, i32* %retptr, align 4
store i32 %6, i32* %retptr, align 4
, !tbaa !3
ret void
}
define void @rust_intrinsic_
2_
ptr_offset(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %ptr, i32 %count) nounwind {
define void @rust_intrinsic_ptr_offset(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %ptr, i32 %count) nounwind {
%1 = getelementptr inbounds %struct.type_desc* %ty, i32 0, i32 1
%2 = load i32* %1, align 4
%2 = load i32* %1, align 4
, !tbaa !3
%3 = mul i32 %2, %count
%4 = getelementptr inbounds i8* %ptr, i32 %3
store i8* %4, i8** %retptr, align 4
store i8* %4, i8** %retptr, align 4
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_
cast(i8* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) {
define void @rust_intrinsic_cast(i8* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) {
%1 = getelementptr inbounds %struct.type_desc* %t1, i32 0, i32 1
%2 = load i32* %1, align 4
%2 = load i32* %1, align 4
, !tbaa !3
%3 = getelementptr inbounds %struct.type_desc* %t2, i32 0, i32 1
%4 = load i32* %3, align 4
%4 = load i32* %3, align 4
, !tbaa !3
%5 = icmp eq i32 %2, %4
br i1 %5, label %7, label %6
...
...
@@ -97,12 +104,12 @@ declare void @upcall_fail(i8*, i8*, i32)
declare void @llvm.memmove.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind
define void @rust_intrinsic_
2_
addr_of(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind {
store i8* %valptr, i8** %retptr, align 4
define void @rust_intrinsic_addr_of(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind {
store i8* %valptr, i8** %retptr, align 4
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_
recv(i8** %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %class.rust_port* %port) {
define void @rust_intrinsic_recv(i8** %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %class.rust_port* %port) {
%1 = bitcast i8** %retptr to i32*
tail call void @port_recv(i32* %1, %class.rust_port* %port)
ret void
...
...
@@ -110,77 +117,82 @@ define void @rust_intrinsic_2_recv(i8** %retptr, i8* nocapture %env, %struct.typ
declare void @port_recv(i32*, %class.rust_port*)
define void @rust_intrinsic_
2_
get_type_desc(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* %ty) nounwind {
define void @rust_intrinsic_get_type_desc(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* %ty) nounwind {
%ty.c = bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c, i8** %retptr, align 4
store i8* %ty.c, i8** %retptr, align 4
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_
task_sleep(i8** nocapture %retptr, i8* nocapture %env, i32 %time_in_us) {
define void @rust_intrinsic_task_sleep(i8** nocapture %retptr, i8* nocapture %env, i32 %time_in_us) {
tail call void @rust_task_sleep(i32 %time_in_us)
ret void
}
declare void @rust_task_sleep(i32)
define void @rust_intrinsic_
vec_len(i8* nocapture %task, i32* nocapture %retptr
, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind {
%1 = load %struct.rust_vec** %vp, align 4
define void @rust_intrinsic_
2_vec_len(i32* nocapture %retptr, i8* nocapture %env
, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind {
%1 = load %struct.rust_vec** %vp, align 4
, !tbaa !0
%2 = getelementptr inbounds %struct.rust_vec* %1, i32 0, i32 0
%3 = load i32* %2, align 4
%3 = load i32* %2, align 4
, !tbaa !3
%4 = getelementptr inbounds %struct.type_desc* %ty, i32 0, i32 1
%5 = load i32* %4, align 4
%5 = load i32* %4, align 4
, !tbaa !3
%6 = udiv i32 %3, %5
store i32 %6, i32* %retptr, align 4
store i32 %6, i32* %retptr, align 4
, !tbaa !3
ret void
}
define void @rust_intrinsic_
ptr_offset(i8* nocapture %task, i8** nocapture %retptr
, %struct.type_desc* nocapture %ty, i8* %ptr, i32 %count) nounwind {
define void @rust_intrinsic_
2_ptr_offset(i8** nocapture %retptr, i8* nocapture %env
, %struct.type_desc* nocapture %ty, i8* %ptr, i32 %count) nounwind {
%1 = getelementptr inbounds %struct.type_desc* %ty, i32 0, i32 1
%2 = load i32* %1, align 4
%2 = load i32* %1, align 4
, !tbaa !3
%3 = mul i32 %2, %count
%4 = getelementptr inbounds i8* %ptr, i32 %3
store i8* %4, i8** %retptr, align 4
store i8* %4, i8** %retptr, align 4
, !tbaa !0
ret void
}
define void @rust_intrinsic_
cast(i8* nocapture %task, i8* nocapture %retptr
, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) {
define void @rust_intrinsic_
2_cast(i8* nocapture %retptr, i8* nocapture %env
, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) {
%1 = getelementptr inbounds %struct.type_desc* %t1, i32 0, i32 1
%2 = load i32* %1, align 4
%2 = load i32* %1, align 4
, !tbaa !3
%3 = getelementptr inbounds %struct.type_desc* %t2, i32 0, i32 1
%4 = load i32* %3, align 4
%4 = load i32* %3, align 4
, !tbaa !3
%5 = icmp eq i32 %2, %4
br i1 %5, label %7, label %6
; <label>:6 ; preds = %0
tail call void @upcall_fail(i8* getelementptr inbounds ([42 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([33 x i8]* @.str1, i32 0, i32 0), i32
46
)
br label %
rust_intrinsic_2_cast.exit
tail call void @upcall_fail(i8* getelementptr inbounds ([42 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([33 x i8]* @.str1, i32 0, i32 0), i32
112
)
br label %
8
; <label>:7 ; preds = %0
tail call void @llvm.memmove.p0i8.p0i8.i32(i8* %retptr, i8* %src, i32 %2, i32 1, i1 false)
br label %
rust_intrinsic_2_cast.exit
br label %
8
rust_intrinsic_2_cast.exit: ; preds = %6, %7
; <label>:8 ; preds = %7, %6
ret void
}
define void @rust_intrinsic_
addr_of(i8* nocapture %task, i8** nocapture %retptr
, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind {
store i8* %valptr, i8** %retptr, align 4
define void @rust_intrinsic_
2_addr_of(i8** nocapture %retptr, i8* nocapture %env
, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind {
store i8* %valptr, i8** %retptr, align 4
, !tbaa !0
ret void
}
define void @rust_intrinsic_
recv(i8* nocapture %task, i8** %retptr
, %struct.type_desc* nocapture %ty, %class.rust_port* %port) {
define void @rust_intrinsic_
2_recv(i8** %retptr, i8* nocapture %env
, %struct.type_desc* nocapture %ty, %class.rust_port* %port) {
%1 = bitcast i8** %retptr to i32*
tail call void @port_recv(i32* %1, %class.rust_port* %port)
ret void
}
define void @rust_intrinsic_
get_type_desc(i8* nocapture %task, i8** nocapture %retptr
, %struct.type_desc* %ty) nounwind {
%ty.c
.i
= bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c
.i, i8** %retptr, align 4
define void @rust_intrinsic_
2_get_type_desc(i8** nocapture %retptr, i8* nocapture %env
, %struct.type_desc* %ty) nounwind {
%ty.c = bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c
, i8** %retptr, align 4, !tbaa !0
ret void
}
define void @rust_intrinsic_
task_sleep(i8* nocapture %task, i8** nocapture %retptr
, i32 %time_in_us) {
define void @rust_intrinsic_
2_task_sleep(i8** nocapture %retptr, i8* nocapture %env
, i32 %time_in_us) {
tail call void @rust_task_sleep(i32 %time_in_us)
ret void
}
!0 = metadata !{metadata !"any pointer", metadata !1}
!1 = metadata !{metadata !"omnipotent char", metadata !2}
!2 = metadata !{metadata !"Simple C/C++ TBAA", null}
!3 = metadata !{metadata !"int", metadata !1}
src/rt/intrinsics/intrinsics.x86_64.ll.in
浏览文件 @
dd275cd7
; ModuleID = 'src/rt/intrinsics/intrinsics.cpp'
; target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
; target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64
-S128
"
target triple = "@CFG_TARGET_TRIPLE@"
%0 = type { i64, %"struct.memory_region::alloc_header"**, i64 }
%1 = type { i64, %struct.rust_scheduler**, i64 }
%2 = type { %"struct.hash_map<long, rust_task *>::map_entry"* }
%class.array_list = type { i64, %struct.rust_task**, i64 }
%class.circular_buffer = type { %class.rust_kernel*, i64, i64, i64, i64, i8* }
%class.context = type { %struct.registers_t, %class.context* }
%"class.debug::task_debug_info" = type { %"class.std::map" }
%class.hash_map = type { %"struct.hash_map<long, rust_port *>::map_entry"* }
%class.indexed_list = type { i32 (...)**, %class.array_list }
%class.lock_and_signal = type { i32 (...)**, %struct._opaque_pthread_cond_t, %struct._opaque_pthread_attr_t, %struct._opaque_pthread_t*, i8, i8 }
%class.memory_region = type { i32 (...)**, %class.rust_srv*, %class.memory_region*, i32, %0, i8, i8, %class.lock_and_signal }
%class.rust_crate_cache = type { %struct.type_desc*, %struct.rust_scheduler*, i64 }
%class.rust_kernel = type { i32 (...)**, %class.memory_region, %class.rust_log, %class.rust_srv*, %class.lock_and_signal, %1, %struct.randctx, i64, %2, i64, i32, i32, %struct.rust_env* }
%class.rust_log = type { i32 (...)**, %class.rust_srv*, %struct.rust_scheduler*, i8 }
%class.rust_obstack = type { %struct.rust_obstack_chunk*, %struct.rust_task* }
%struct.type_desc = type { %struct.type_desc**, i64, i64, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i8*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i64, void (i8*, i8*, %struct.type_desc**, i8*, i8*, i8)*, i8*, %struct.rust_shape_tables*, i64, i64, %struct.UT_hash_handle, i64, [0 x %struct.type_desc*] }
%struct.rust_shape_tables = type { i8*, i8* }
%struct.UT_hash_handle = type { %struct.UT_hash_table*, i8*, i8*, %struct.UT_hash_handle*, %struct.UT_hash_handle*, i8*, i32, i32 }
%struct.UT_hash_table = type { %struct.UT_hash_bucket*, i32, i32, i32, %struct.UT_hash_handle*, i64, i32, i32, i32, i32 }
%struct.UT_hash_bucket = type { %struct.UT_hash_handle*, i32, i32 }
%struct.rust_vec = type { i64, i64, [0 x i8] }
%class.rust_port = type { i64, i64, %class.rust_kernel*, %struct.rust_task*, i64, %class.circular_buffer, %class.lock_and_signal }
%class.rust_kernel = type { i32 (...)**, %class.memory_region, %class.rust_log, %class.rust_srv*, %class.lock_and_signal, %class.array_list.0, %struct.randctx, i64, %class.hash_map, i64, i32, i32, %struct.rust_env* }
%class.memory_region = type { i32 (...)**, %class.rust_srv*, %class.memory_region*, i32, %class.array_list, i8, i8, %class.lock_and_signal }
%class.rust_srv = type { i32 (...)**, %struct.rust_env*, %class.memory_region }
%"class.rust_task::wakeup_callback" = type { i32 (...)** }
%struct.rust_env = type { i64, i64, i8*, i8, i8, i8* }
%class.array_list = type { i64, %"struct.memory_region::alloc_header"**, i64 }
%"struct.memory_region::alloc_header" = type { i8 }
%class.lock_and_signal = type { i32 (...)**, %union.pthread_cond_t, %union.pthread_mutex_t, i64, i8, i8 }
%union.pthread_cond_t = type { %struct.anon }
%struct.anon = type { i32, i32, i64, i64, i64, i8*, i32, i32 }
%union.pthread_mutex_t = type { %"struct.<anonymous union>::__pthread_mutex_s" }
%"struct.<anonymous union>::__pthread_mutex_s" = type { i32, i32, i32, i32, i32, i32, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { %struct.__pthread_internal_list*, %struct.__pthread_internal_list* }
%class.rust_log = type { i32 (...)**, %class.rust_srv*, %struct.rust_scheduler*, i8 }
%struct.rust_scheduler = type { %class.rust_thread, i64, i64, %class.rust_log, i32, %class.rust_srv*, i8*, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_crate_cache, %struct.randctx, %class.rust_kernel*, i32, i32, %class.lock_and_signal, i64, %union.pthread_attr_t, %struct.rust_env*, %class.context }
%class.rust_thread = type { i32 (...)**, i8, i64 }
%class.rust_task_list = type { %class.indexed_list, %struct.rust_scheduler*, i8* }
%class.rust_thread = type { i32 (...)**, i8, %struct._opaque_pthread_t* }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%class.timer = type { i32 (...)**, i64, i64 }
%struct.UT_hash_bucket = type { %struct.UT_hash_handle*, i32, i32 }
%struct.UT_hash_handle = type { %struct.UT_hash_table*, i8*, i8*, %struct.UT_hash_handle*, %struct.UT_hash_handle*, i8*, i32, i32 }
%struct.UT_hash_table = type { %struct.UT_hash_bucket*, i32, i32, i32, %struct.UT_hash_handle*, i64, i32, i32, i32, i32 }
%struct.__darwin_pthread_handler_rec = type { void (i8*)*, i8*, %struct.__darwin_pthread_handler_rec* }
%struct._opaque_pthread_attr_t = type { i64, [56 x i8] }
%struct._opaque_pthread_cond_t = type { i64, [40 x i8] }
%struct._opaque_pthread_t = type { i64, %struct.__darwin_pthread_handler_rec*, [1168 x i8] }
%class.indexed_list = type { i32 (...)**, %class.array_list.2 }
%class.array_list.2 = type { i64, %struct.rust_task**, i64 }
%struct.rust_task = type { %struct.rust_task_user, i64, %class.context, %struct.stk_seg*, i64, %struct.rust_scheduler*, %class.rust_crate_cache*, %class.rust_kernel*, i8*, %class.rust_task_list*, %struct.rust_cond*, i8*, %struct.rust_task*, i32, i64, %class.timer, i64*, i32, i32, %class.memory_region, %"class.rust_task::wakeup_callback"*, i8, i8, i8, %class.lock_and_signal, %class.hash_map.4, %class.rust_obstack, %"class.std::map", i32, %"class.debug::task_debug_info" }
%struct.rust_task_user = type { i64, i64, %struct.chan_handle, i64 }
%struct.chan_handle = type { i64, i64 }
%"struct.hash_map<long, rust_port *>::map_entry" = type opaque
%"struct.hash_map<long, rust_task *>::map_entry" = type opaque
%"struct.memory_region::alloc_header" = type { i8 }
%struct.randctx = type { i64, [256 x i64], [256 x i64], i64, i64, i64 }
%class.context = type { %struct.registers_t, %class.context* }
%struct.registers_t = type { [22 x i64] }
%struct.rust_env = type { i64, i64, i8*, i8, i8, i8* }
%struct.stk_seg = type { %struct.stk_seg*, i64, i32, [0 x i8] }
%class.rust_crate_cache = type { %struct.type_desc*, %struct.rust_scheduler*, i64 }
%struct.rust_cond = type { i8 }
%class.timer = type { i32 (...)**, i64, i64 }
%"class.rust_task::wakeup_callback" = type { i32 (...)** }
%class.hash_map.4 = type { %"struct.hash_map<long, rust_port *>::map_entry"* }
%"struct.hash_map<long, rust_port *>::map_entry" = type opaque
%class.rust_obstack = type { %struct.rust_obstack_chunk*, %struct.rust_task* }
%struct.rust_obstack_chunk = type { %struct.rust_obstack_chunk*, i64, i64, i64, [0 x i8] }
%struct.rust_scheduler = type { %class.rust_thread, i64, i64, %class.rust_log, i32, %class.rust_srv*, i8*, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_task_list, %class.rust_crate_cache, %struct.randctx, %class.rust_kernel*, i32, i32, %class.lock_and_signal, i64, %struct._opaque_pthread_attr_t, %struct.rust_env*, %class.context }
%struct.rust_shape_tables = type { i8*, i8* }
%struct.rust_task = type { %struct.rust_task_user, i64, %class.context, %struct.stk_seg*, i64, %struct.rust_scheduler*, %class.rust_crate_cache*, %class.rust_kernel*, i8*, %class.rust_task_list*, %"struct.memory_region::alloc_header"*, i8*, %struct.rust_task*, i32, i64, %class.timer, i64*, %class.array_list, i32, i32, %class.memory_region, %"class.rust_task::wakeup_callback"*, i8, i8, i8, %class.lock_and_signal, %class.hash_map, %class.rust_obstack, %"class.std::map", i32, %"class.debug::task_debug_info" }
%struct.rust_task_user = type { i64, i64, %struct.chan_handle, i64 }
%struct.rust_vec = type { i64, i64, [0 x i8] }
%"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" = type { %"struct.memory_region::alloc_header", %"struct.std::_Rb_tree_node_base", i64 }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" }
%"struct.std::_Rb_tree<void *, std::pair<void *const, const type_desc *>, std::_Select1st<std::pair<void *const, const type_desc *> >, std::less<void *>, std::allocator<std::pair<void *const, const type_desc *> > >::_Rb_tree_impl" = type { %"struct.std::less", %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::less" = type { i8 }
%"struct.std::_Rb_tree_node_base" = type { i32, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"* }
%struct.stk_seg = type { %struct.stk_seg*, i64, i32, [0 x i8] }
%struct.type_desc = type { %struct.type_desc**, i64, i64, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i8*, void (i8*, i8*, %struct.type_desc**, i8*)*, void (i8*, i8*, %struct.type_desc**, i8*)*, i64, void (i8*, i8*, %struct.type_desc**, i8*, i8*, i8)*, i8*, %struct.rust_shape_tables*, i64, i64, %struct.UT_hash_handle, i64, [0 x %struct.type_desc*] }
%"class.debug::task_debug_info" = type { %"class.std::map.5" }
%"class.std::map.5" = type { %"class.std::_Rb_tree.6" }
%"class.std::_Rb_tree.6" = type { %"struct.std::_Rb_tree<void *, std::pair<void *const, std::basic_string<char> >, std::_Select1st<std::pair<void *const, std::basic_string<char> > >, std::less<void *>, std::allocator<std::pair<void *const, std::basic_string<char> > > >::_Rb_tree_impl" }
%"struct.std::_Rb_tree<void *, std::pair<void *const, std::basic_string<char> >, std::_Select1st<std::pair<void *const, std::basic_string<char> > >, std::less<void *>, std::allocator<std::pair<void *const, std::basic_string<char> > > >::_Rb_tree_impl" = type { %"struct.std::less", %"struct.std::_Rb_tree_node_base", i64 }
%struct.randctx = type { i64, [256 x i64], [256 x i64], i64, i64, i64 }
%union.pthread_attr_t = type { i64, [48 x i8] }
%class.array_list.0 = type { i64, %struct.rust_scheduler**, i64 }
%class.hash_map = type { %"struct.hash_map<long, rust_task *>::map_entry"* }
%"struct.hash_map<long, rust_task *>::map_entry" = type opaque
%class.circular_buffer = type { %class.rust_kernel*, i64, i64, i64, i64, i8* }
@.str = private unnamed_addr constant [42 x i8] c"attempt to cast values of differing sizes\00"
@.str1 = private unnamed_addr constant [33 x i8] c"src/rt/intrinsics/intrinsics.cpp\00"
@.str = private unnamed_addr constant [42 x i8] c"attempt to cast values of differing sizes\00"
, align 1
@.str1 = private unnamed_addr constant [33 x i8] c"src/rt/intrinsics/intrinsics.cpp\00"
, align 1
define void @rust_intrinsic_
2_vec_len(i64* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind
{
%1 = load %struct.rust_vec** %vp, align 8
define void @rust_intrinsic_
vec_len(i64* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind uwtable
{
%1 = load %struct.rust_vec** %vp, align 8
, !tbaa !0
%2 = getelementptr inbounds %struct.rust_vec* %1, i64 0, i32 0
%3 = load i64* %2, align 8
%3 = load i64* %2, align 8
, !tbaa !3
%4 = getelementptr inbounds %struct.type_desc* %ty, i64 0, i32 1
%5 = load i64* %4, align 8
%5 = load i64* %4, align 8
, !tbaa !3
%6 = udiv i64 %3, %5
store i64 %6, i64* %retptr, align 8
store i64 %6, i64* %retptr, align 8
, !tbaa !3
ret void
}
define void @rust_intrinsic_
2_ptr_offset(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %ptr, i64 %count) nounwind
{
define void @rust_intrinsic_
ptr_offset(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %ptr, i64 %count) nounwind uwtable
{
%1 = getelementptr inbounds %struct.type_desc* %ty, i64 0, i32 1
%2 = load i64* %1, align 8
%2 = load i64* %1, align 8
, !tbaa !3
%3 = mul i64 %2, %count
%4 = getelementptr inbounds i8* %ptr, i64 %3
store i8* %4, i8** %retptr, align 8
store i8* %4, i8** %retptr, align 8
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_cast(i8* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src)
{
define void @rust_intrinsic_
cast(i8* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) uwtable
{
%1 = getelementptr inbounds %struct.type_desc* %t1, i64 0, i32 1
%2 = load i64* %1, align 8
%2 = load i64* %1, align 8
, !tbaa !3
%3 = getelementptr inbounds %struct.type_desc* %t2, i64 0, i32 1
%4 = load i64* %3, align 8
%4 = load i64* %3, align 8
, !tbaa !3
%5 = icmp eq i64 %2, %4
br i1 %5, label %7, label %6
...
...
@@ -97,12 +104,12 @@ declare void @upcall_fail(i8*, i8*, i64)
declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
define void @rust_intrinsic_
2_addr_of(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind
{
store i8* %valptr, i8** %retptr, align 8
define void @rust_intrinsic_
addr_of(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind uwtable
{
store i8* %valptr, i8** %retptr, align 8
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_recv(i8** %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %class.rust_port* %port)
{
define void @rust_intrinsic_
recv(i8** %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %class.rust_port* %port) uwtable
{
%1 = bitcast i8** %retptr to i64*
tail call void @port_recv(i64* %1, %class.rust_port* %port)
ret void
...
...
@@ -110,77 +117,82 @@ define void @rust_intrinsic_2_recv(i8** %retptr, i8* nocapture %env, %struct.typ
declare void @port_recv(i64*, %class.rust_port*)
define void @rust_intrinsic_
2_get_type_desc(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* %ty) nounwind
{
define void @rust_intrinsic_
get_type_desc(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* %ty) nounwind uwtable
{
%ty.c = bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c, i8** %retptr, align 8
store i8* %ty.c, i8** %retptr, align 8
, !tbaa !0
ret void
}
define void @rust_intrinsic_
2_task_sleep(i8** nocapture %retptr, i8* nocapture %env, i64 %time_in_us)
{
define void @rust_intrinsic_
task_sleep(i8** nocapture %retptr, i8* nocapture %env, i64 %time_in_us) uwtable
{
tail call void @rust_task_sleep(i64 %time_in_us)
ret void
}
declare void @rust_task_sleep(i64)
define void @rust_intrinsic_
vec_len(i8* nocapture %task, i64* nocapture %retptr, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind
{
%1 = load %struct.rust_vec** %vp, align 8
define void @rust_intrinsic_
2_vec_len(i64* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %struct.rust_vec** nocapture %vp) nounwind uwtable
{
%1 = load %struct.rust_vec** %vp, align 8
, !tbaa !0
%2 = getelementptr inbounds %struct.rust_vec* %1, i64 0, i32 0
%3 = load i64* %2, align 8
%3 = load i64* %2, align 8
, !tbaa !3
%4 = getelementptr inbounds %struct.type_desc* %ty, i64 0, i32 1
%5 = load i64* %4, align 8
%5 = load i64* %4, align 8
, !tbaa !3
%6 = udiv i64 %3, %5
store i64 %6, i64* %retptr, align 8
store i64 %6, i64* %retptr, align 8
, !tbaa !3
ret void
}
define void @rust_intrinsic_
ptr_offset(i8* nocapture %task, i8** nocapture %retptr, %struct.type_desc* nocapture %ty, i8* %ptr, i64 %count) nounwind
{
define void @rust_intrinsic_
2_ptr_offset(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %ptr, i64 %count) nounwind uwtable
{
%1 = getelementptr inbounds %struct.type_desc* %ty, i64 0, i32 1
%2 = load i64* %1, align 8
%2 = load i64* %1, align 8
, !tbaa !3
%3 = mul i64 %2, %count
%4 = getelementptr inbounds i8* %ptr, i64 %3
store i8* %4, i8** %retptr, align 8
store i8* %4, i8** %retptr, align 8
, !tbaa !0
ret void
}
define void @rust_intrinsic_
cast(i8* nocapture %task, i8* nocapture %retptr, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src)
{
define void @rust_intrinsic_
2_cast(i8* nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %t1, %struct.type_desc* nocapture %t2, i8* nocapture %src) uwtable
{
%1 = getelementptr inbounds %struct.type_desc* %t1, i64 0, i32 1
%2 = load i64* %1, align 8
%2 = load i64* %1, align 8
, !tbaa !3
%3 = getelementptr inbounds %struct.type_desc* %t2, i64 0, i32 1
%4 = load i64* %3, align 8
%4 = load i64* %3, align 8
, !tbaa !3
%5 = icmp eq i64 %2, %4
br i1 %5, label %7, label %6
; <label>:6 ; preds = %0
tail call void @upcall_fail(i8* getelementptr inbounds ([42 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([33 x i8]* @.str1, i64 0, i64 0), i64
46
)
br label %
rust_intrinsic_2_cast.exit
tail call void @upcall_fail(i8* getelementptr inbounds ([42 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([33 x i8]* @.str1, i64 0, i64 0), i64
112
)
br label %
8
; <label>:7 ; preds = %0
tail call void @llvm.memmove.p0i8.p0i8.i64(i8* %retptr, i8* %src, i64 %2, i32 1, i1 false)
br label %
rust_intrinsic_2_cast.exit
br label %
8
rust_intrinsic_2_cast.exit: ; preds = %6, %7
; <label>:8 ; preds = %7, %6
ret void
}
define void @rust_intrinsic_
addr_of(i8* nocapture %task, i8** nocapture %retptr, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind
{
store i8* %valptr, i8** %retptr, align 8
define void @rust_intrinsic_
2_addr_of(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, i8* %valptr) nounwind uwtable
{
store i8* %valptr, i8** %retptr, align 8
, !tbaa !0
ret void
}
define void @rust_intrinsic_
recv(i8* nocapture %task, i8** %retptr, %struct.type_desc* nocapture %ty, %class.rust_port* %port)
{
define void @rust_intrinsic_
2_recv(i8** %retptr, i8* nocapture %env, %struct.type_desc* nocapture %ty, %class.rust_port* %port) uwtable
{
%1 = bitcast i8** %retptr to i64*
tail call void @port_recv(i64* %1, %class.rust_port* %port)
ret void
}
define void @rust_intrinsic_
get_type_desc(i8* nocapture %task, i8** nocapture %retptr, %struct.type_desc* %ty) nounwind
{
%ty.c
.i
= bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c
.i, i8** %retptr, align 8
define void @rust_intrinsic_
2_get_type_desc(i8** nocapture %retptr, i8* nocapture %env, %struct.type_desc* %ty) nounwind uwtable
{
%ty.c = bitcast %struct.type_desc* %ty to i8*
store i8* %ty.c
, i8** %retptr, align 8, !tbaa !0
ret void
}
define void @rust_intrinsic_
task_sleep(i8* nocapture %task, i8** nocapture %retptr, i64 %time_in_us)
{
define void @rust_intrinsic_
2_task_sleep(i8** nocapture %retptr, i8* nocapture %env, i64 %time_in_us) uwtable
{
tail call void @rust_task_sleep(i64 %time_in_us)
ret void
}
!0 = metadata !{metadata !"any pointer", metadata !1}
!1 = metadata !{metadata !"omnipotent char", metadata !2}
!2 = metadata !{metadata !"Simple C/C++ TBAA", null}
!3 = metadata !{metadata !"long", metadata !1}
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录