roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-21 15:59:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove code

Browse Source
This commit is contained in:
Folkert 2021-05-01 20:15:31 +02:00
parent 3b01902286
commit b3772b72a1
1 changed files with 28 additions and 64 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

92
compiler/gen/src/llvm/build_list.rs
View File

@ -72,6 +72,15 @@ fn pass_list_as_i128<'a, 'ctx, 'env>(
complex_bitcast(env.builder, list, env.context.i128_type().into(), "to_i128") complex_bitcast(env.builder, list, env.context.i128_type().into(), "to_i128")
} }
fn layout_width<'a, 'ctx, 'env>(
env: &Env<'a, 'ctx, 'env>,
layout: &Layout<'a>,
) -> BasicValueEnum<'ctx> {
env.ptr_int()
.const_int(layout.stack_size(env.ptr_bytes) as u64, false)
.into()
}
/// List.single : a -> List a /// List.single : a -> List a
pub fn list_single<'a, 'ctx, 'env>( pub fn list_single<'a, 'ctx, 'env>(
env: &Env<'a, 'ctx, 'env>, env: &Env<'a, 'ctx, 'env>,
@ -79,16 +88,12 @@ pub fn list_single<'a, 'ctx, 'env>(
element: BasicValueEnum<'ctx>, element: BasicValueEnum<'ctx>,
element_layout: &Layout<'a>, element_layout: &Layout<'a>,
) -> BasicValueEnum<'ctx> { ) -> BasicValueEnum<'ctx> {
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
alignment_intvalue(env, element_layout), alignment_intvalue(env, element_layout),
pass_element_as_opaque(env, element), pass_element_as_opaque(env, element),
element_width.into(), layout_width(env, element_layout),
], ],
&bitcode::LIST_SINGLE, &bitcode::LIST_SINGLE,
) )
@ -102,10 +107,6 @@ pub fn list_repeat<'a, 'ctx, 'env>(
element: BasicValueEnum<'ctx>, element: BasicValueEnum<'ctx>,
element_layout: &Layout<'a>, element_layout: &Layout<'a>,
) -> BasicValueEnum<'ctx> { ) -> BasicValueEnum<'ctx> {
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
let inc_element_fn = build_inc_wrapper(env, layout_ids, element_layout); let inc_element_fn = build_inc_wrapper(env, layout_ids, element_layout);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
@ -114,7 +115,7 @@ pub fn list_repeat<'a, 'ctx, 'env>(
list_len.into(), list_len.into(),
alignment_intvalue(env, element_layout), alignment_intvalue(env, element_layout),
pass_element_as_opaque(env, element), pass_element_as_opaque(env, element),
element_width.into(), layout_width(env, element_layout),
inc_element_fn.as_global_value().as_pointer_value().into(), inc_element_fn.as_global_value().as_pointer_value().into(),
], ],
bitcode::LIST_REPEAT, bitcode::LIST_REPEAT,
@ -202,16 +203,12 @@ pub fn list_join<'a, 'ctx, 'env>(
empty_list(env) empty_list(env)
} }
Layout::Builtin(Builtin::List(_, Layout::Builtin(Builtin::List(_, element_layout)))) => { Layout::Builtin(Builtin::List(_, Layout::Builtin(Builtin::List(_, element_layout)))) => {
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
pass_list_as_i128(env, outer_list), pass_list_as_i128(env, outer_list),
alignment_intvalue(env, element_layout), alignment_intvalue(env, element_layout),
element_width.into(), layout_width(env, element_layout),
], ],
&bitcode::LIST_JOIN, &bitcode::LIST_JOIN,
) )
@ -246,16 +243,12 @@ pub fn list_reverse<'a, 'ctx, 'env>(
_ => unreachable!("Invalid layout {:?} in List.reverse", list_layout), _ => unreachable!("Invalid layout {:?} in List.reverse", list_layout),
}; };
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
pass_list_as_i128(env, list), pass_list_as_i128(env, list),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
element_width.into(), layout_width(env, &element_layout),
], ],
&bitcode::LIST_REVERSE, &bitcode::LIST_REVERSE,
) )
@ -306,17 +299,13 @@ pub fn list_append<'a, 'ctx, 'env>(
element: BasicValueEnum<'ctx>, element: BasicValueEnum<'ctx>,
element_layout: &Layout<'a>, element_layout: &Layout<'a>,
) -> BasicValueEnum<'ctx> { ) -> BasicValueEnum<'ctx> {
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
pass_list_as_i128(env, original_wrapper.into()), pass_list_as_i128(env, original_wrapper.into()),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
pass_element_as_opaque(env, element), pass_element_as_opaque(env, element),
element_width.into(), layout_width(env, element_layout),
], ],
&bitcode::LIST_APPEND, &bitcode::LIST_APPEND,
) )
@ -518,14 +507,6 @@ fn list_walk_generic<'a, 'ctx, 'env>(
.as_global_value() .as_global_value()
.as_pointer_value(); .as_pointer_value();
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
let default_width = env
.ptr_int()
.const_int(default_layout.stack_size(env.ptr_bytes) as u64, false);
let result_ptr = env.builder.build_alloca(default.get_type(), "result"); let result_ptr = env.builder.build_alloca(default.get_type(), "result");
match variant { match variant {
@ -539,8 +520,8 @@ fn list_walk_generic<'a, 'ctx, 'env>(
stepper_caller.into(), stepper_caller.into(),
env.builder.build_bitcast(default_ptr, u8_ptr, "to_u8_ptr"), env.builder.build_bitcast(default_ptr, u8_ptr, "to_u8_ptr"),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
element_width.into(), layout_width(env, element_layout),
default_width.into(), layout_width(env, default_layout),
env.builder.build_bitcast(result_ptr, u8_ptr, "to_opaque"), env.builder.build_bitcast(result_ptr, u8_ptr, "to_opaque"),
], ],
zig_function, zig_function,
@ -557,8 +538,8 @@ fn list_walk_generic<'a, 'ctx, 'env>(
stepper_caller.into(), stepper_caller.into(),
env.builder.build_bitcast(default_ptr, u8_ptr, "to_u8_ptr"), env.builder.build_bitcast(default_ptr, u8_ptr, "to_u8_ptr"),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
element_width.into(), layout_width(env, element_layout),
default_width.into(), layout_width(env, default_layout),
dec_element_fn.as_global_value().as_pointer_value().into(), dec_element_fn.as_global_value().as_pointer_value().into(),
env.builder.build_bitcast(result_ptr, u8_ptr, "to_opaque"), env.builder.build_bitcast(result_ptr, u8_ptr, "to_opaque"),
], ],
@ -644,19 +625,18 @@ pub fn list_contains<'a, 'ctx, 'env>(
element_layout: &Layout<'a>, element_layout: &Layout<'a>,
list: BasicValueEnum<'ctx>, list: BasicValueEnum<'ctx>,
) -> BasicValueEnum<'ctx> { ) -> BasicValueEnum<'ctx> {
let element_width = env let eq_fn = build_eq_wrapper(env, layout_ids, element_layout)
.ptr_int() .as_global_value()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false); .as_pointer_value()
.into();
let eq_fn = build_eq_wrapper(env, layout_ids, element_layout);
call_bitcode_fn( call_bitcode_fn(
env, env,
&[ &[
pass_list_as_i128(env, list), pass_list_as_i128(env, list),
pass_element_as_opaque(env, element), pass_element_as_opaque(env, element),
element_width.into(), layout_width(env, element_layout),
eq_fn.as_global_value().as_pointer_value().into(), eq_fn,
], ],
bitcode::LIST_CONTAINS, bitcode::LIST_CONTAINS,
) )
@ -683,10 +663,6 @@ pub fn list_keep_if<'a, 'ctx, 'env>(
.as_global_value() .as_global_value()
.as_pointer_value(); .as_pointer_value();
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
let inc_element_fn = build_inc_wrapper(env, layout_ids, element_layout); let inc_element_fn = build_inc_wrapper(env, layout_ids, element_layout);
let dec_element_fn = build_dec_wrapper(env, layout_ids, element_layout); let dec_element_fn = build_dec_wrapper(env, layout_ids, element_layout);
@ -698,7 +674,7 @@ pub fn list_keep_if<'a, 'ctx, 'env>(
.build_bitcast(transform_ptr, u8_ptr, "to_opaque"), .build_bitcast(transform_ptr, u8_ptr, "to_opaque"),
stepper_caller.into(), stepper_caller.into(),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
element_width.into(), layout_width(env, element_layout),
inc_element_fn.as_global_value().as_pointer_value().into(), inc_element_fn.as_global_value().as_pointer_value().into(),
dec_element_fn.as_global_value().as_pointer_value().into(), dec_element_fn.as_global_value().as_pointer_value().into(),
], ],
@ -827,10 +803,6 @@ pub fn list_sort_with<'a, 'ctx, 'env>(
.as_global_value() .as_global_value()
.as_pointer_value(); .as_pointer_value();
let element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
@ -839,7 +811,7 @@ pub fn list_sort_with<'a, 'ctx, 'env>(
.build_bitcast(transform_ptr, u8_ptr, "to_opaque"), .build_bitcast(transform_ptr, u8_ptr, "to_opaque"),
compare_wrapper.into(), compare_wrapper.into(),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
element_width.into(), layout_width(env, element_layout),
], ],
bitcode::LIST_SORT_WITH, bitcode::LIST_SORT_WITH,
) )
@ -915,14 +887,6 @@ fn list_map_generic<'a, 'ctx, 'env>(
.as_global_value() .as_global_value()
.as_pointer_value(); .as_pointer_value();
let old_element_width = env
.ptr_int()
.const_int(element_layout.stack_size(env.ptr_bytes) as u64, false);
let new_element_width = env
.ptr_int()
.const_int(return_layout.stack_size(env.ptr_bytes) as u64, false);
call_bitcode_fn_returns_list( call_bitcode_fn_returns_list(
env, env,
&[ &[
@ -931,8 +895,8 @@ fn list_map_generic<'a, 'ctx, 'env>(
.build_bitcast(transform_ptr, u8_ptr, "to_opaque"), .build_bitcast(transform_ptr, u8_ptr, "to_opaque"),
stepper_caller.into(), stepper_caller.into(),
alignment_intvalue(env, &element_layout), alignment_intvalue(env, &element_layout),
old_element_width.into(), layout_width(env, element_layout),
new_element_width.into(), layout_width(env, return_layout),
], ],
op, op,
) )