language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

remove match cause build_eq can tell if it can't compare the BasicEnumValues

Browse source
This commit is contained in:
lrosa007 2020-11-05 08:54:12 -05:00
parent 4f5237fcd8
commit d880293afa
1 changed files with 38 additions and 48 deletions
Download patch file Download diff file Expand all files Collapse all files

86
compiler/gen/src/llvm/build_list.rs
View file

@ -863,72 +863,62 @@ pub fn list_contains_help<'a, 'ctx, 'env>(
elem: BasicValueEnum<'ctx>, elem: BasicValueEnum<'ctx>,
elem_layout: &Layout<'a>, elem_layout: &Layout<'a>,
) -> BasicValueEnum<'ctx> { ) -> BasicValueEnum<'ctx> {
match (elem, elem_layout) { let builder = env.builder;
(BasicValueEnum::IntValue(_), _) => { let ctx = env.context;
let builder = env.builder;
let ctx = env.context;
let bool_alloca = builder.build_alloca(ctx.bool_type(), "bool_alloca"); let bool_alloca = builder.build_alloca(ctx.bool_type(), "bool_alloca");
let index_alloca = builder.build_alloca(ctx.i64_type(), "index_alloca"); let index_alloca = builder.build_alloca(ctx.i64_type(), "index_alloca");
let next_free_index_alloca = let next_free_index_alloca = builder.build_alloca(ctx.i64_type(), "next_free_index_alloca");
builder.build_alloca(ctx.i64_type(), "next_free_index_alloca");
builder.build_store(bool_alloca, ctx.bool_type().const_zero()); builder.build_store(bool_alloca, ctx.bool_type().const_zero());
builder.build_store(index_alloca, ctx.i64_type().const_zero()); builder.build_store(index_alloca, ctx.i64_type().const_zero());
builder.build_store(next_free_index_alloca, ctx.i64_type().const_zero()); builder.build_store(next_free_index_alloca, ctx.i64_type().const_zero());
let condition_bb = ctx.append_basic_block(parent, "condition"); let condition_bb = ctx.append_basic_block(parent, "condition");
builder.build_unconditional_branch(condition_bb); builder.build_unconditional_branch(condition_bb);
builder.position_at_end(condition_bb); builder.position_at_end(condition_bb);
let index = builder.build_load(index_alloca, "index").into_int_value(); let index = builder.build_load(index_alloca, "index").into_int_value();
let condition = builder.build_int_compare(IntPredicate::SGT, length, index, "loopcond"); let condition = builder.build_int_compare(IntPredicate::SGT, length, index, "loopcond");
let body_bb = ctx.append_basic_block(parent, "body"); let body_bb = ctx.append_basic_block(parent, "body");
let cont_bb = ctx.append_basic_block(parent, "cont"); let cont_bb = ctx.append_basic_block(parent, "cont");
builder.build_conditional_branch(condition, body_bb, cont_bb); builder.build_conditional_branch(condition, body_bb, cont_bb);
// loop body // loop body
builder.position_at_end(body_bb); builder.position_at_end(body_bb);
let current_elem_ptr = let current_elem_ptr = unsafe { builder.build_in_bounds_gep(source_ptr, &[index], "elem_ptr") };
unsafe { builder.build_in_bounds_gep(source_ptr, &[index], "elem_ptr") };
let current_elem = builder.build_load(current_elem_ptr, "load_elem"); let current_elem = builder.build_load(current_elem_ptr, "load_elem");
let has_found = build_eq(env, current_elem, elem, elem_layout, elem_layout); let has_found = build_eq(env, current_elem, elem, elem_layout, elem_layout);
builder.build_store(bool_alloca, has_found.into_int_value()); builder.build_store(bool_alloca, has_found.into_int_value());
let one = ctx.i64_type().const_int(1, false); let one = ctx.i64_type().const_int(1, false);
let next_free_index = builder let next_free_index = builder
.build_load(next_free_index_alloca, "load_next_free") .build_load(next_free_index_alloca, "load_next_free")
.into_int_value(); .into_int_value();
builder.build_store( builder.build_store(
next_free_index_alloca, next_free_index_alloca,
builder.build_int_add(next_free_index, one, "incremented_next_free_index"), builder.build_int_add(next_free_index, one, "incremented_next_free_index"),
); );
builder.build_store( builder.build_store(
index_alloca, index_alloca,
builder.build_int_add(index, one, "incremented_index"), builder.build_int_add(index, one, "incremented_index"),
); );
builder.build_conditional_branch(has_found.into_int_value(), cont_bb, condition_bb); builder.build_conditional_branch(has_found.into_int_value(), cont_bb, condition_bb);
// continuation // continuation
builder.position_at_end(cont_bb); builder.position_at_end(cont_bb);
builder.build_load(bool_alloca, "answer") builder.build_load(bool_alloca, "answer")
}
_ => unreachable!(
"Invalid element basic value enum or layout for List.contains : {:?}",
(elem, elem_layout)
),
}
} }
/// List.keepIf : List elem, (elem -> Bool) -> List elem /// List.keepIf : List elem, (elem -> Bool) -> List elem