static void call_tuple_swap(JITOperations& ops, Inliner& i) {
Value* rec = i.recv();
ops.verify_guard(ops.check_is_tuple(rec), i.failure());
Value* left_index = i.arg(0);
Value* right_index = i.arg(1);
Value* fix_cmp = ops.check_if_fixnums(left_index, right_index);
ops.verify_guard(fix_cmp, i.failure());
// Check that index is not over the end of the Tuple
Value* tup = ops.upcast(rec, "Tuple");
Value* full_size = ops.get_tuple_size(tup);
Value* lindex = ops.fixnum_to_native(left_index);
Value* lsize_cmp = ops.create_less_than(lindex, full_size, "is_in_bounds");
Value* rindex = ops.fixnum_to_native(right_index);
Value* rsize_cmp = ops.create_less_than(rindex, full_size, "is_in_bounds");
// Combine lsize_cmp and rsize_cmp to validate entry into access code
Value* access_cmp = ops.create_and(lsize_cmp, rsize_cmp, "access_cmp");
ops.verify_guard(access_cmp, i.failure());
Value* lidx[] = {
ConstantInt::get(ops.state()->Int32Ty, 0),
ConstantInt::get(ops.state()->Int32Ty, offset::tuple_field),
lindex
};
Value* lgep = ops.create_gep(tup, lidx, 3, "field_pos");
Value* ridx[] = {
ConstantInt::get(ops.state()->Int32Ty, 0),
ConstantInt::get(ops.state()->Int32Ty, offset::tuple_field),
rindex
};
Value* rgep = ops.create_gep(tup, ridx, 3, "field_pos");
Value* left_val = ops.create_load(lgep, "tuple_swap_left");
Value* right_val = ops.create_load(rgep, "tuple_swap_right");
ops.b().CreateStore(right_val, lgep);
ops.b().CreateStore(left_val, rgep);
i.exception_safe();
i.set_result(rec);
}
static void float_compare(MathOperation op, Class* klass,
JITOperations& ops, Inliner& i)
{
Value* self = i.recv();
ops.check_class(self, klass, i.failure());
// Support compare against Floats and Fixnums inline
BasicBlock* do_compare = ops.new_block("float_compare");
BasicBlock* check_fix = ops.new_block("check_fixnum");
Value* arg = i.arg(0);
ops.check_class(arg, klass, check_fix);
Value* farg = ops.b().CreateBitCast(arg, ops.state()->ptr_type("Float"),
"arg_float");
Value* unboxed_rhs = ops.b().CreateLoad(
ops.b().CreateConstGEP2_32(farg, 0, 1, "arg.value_pos"), "farg");
BasicBlock* unboxed_block = ops.current_block();
ops.b().CreateBr(do_compare);
ops.set_block(check_fix);
ops.verify_guard(ops.check_is_fixnum(arg), i.failure());
Value* converted_rhs = ops.b().CreateUIToFP(
ops.fixnum_to_native(arg), unboxed_rhs->getType());
BasicBlock* converted_block = ops.current_block();
ops.b().CreateBr(do_compare);
ops.set_block(do_compare);
do_compare->moveAfter(converted_block);
PHINode* rhs = ops.b().CreatePHI(converted_rhs->getType(), "float_rhs");
rhs->addIncoming(unboxed_rhs, unboxed_block);
rhs->addIncoming(converted_rhs, converted_block);
Value* fself = ops.b().CreateBitCast(self, ops.state()->ptr_type("Float"),
"self_float");
Value* lhs = ops.b().CreateLoad(
ops.b().CreateConstGEP2_32(fself, 0, 1, "self.value_pos"), "fself");
Value* performed = 0;
switch(op) {
case cEqual:
performed = ops.b().CreateFCmpUEQ(lhs, rhs, "float.eq");
break;
case cLessThan:
performed = ops.b().CreateFCmpULT(lhs, rhs, "float.lt");
break;
case cLessThanEqual:
performed = ops.b().CreateFCmpULE(lhs, rhs, "float.le");
break;
case cGreaterThan:
performed = ops.b().CreateFCmpUGT(lhs, rhs, "float.gt");
break;
case cGreaterThanEqual:
performed = ops.b().CreateFCmpUGE(lhs, rhs, "float.ge");
break;
default:
abort();
}
Value* imm_value = ops.b().CreateSelect(performed,
ops.constant(Qtrue), ops.constant(Qfalse), "select_bool");
i.exception_safe();
i.set_result(imm_value);
}
static void float_op(MathOperation op, Class* klass,
JITOperations& ops, Inliner& i)
{
i.use_send_for_failure();
Value* self = i.recv();
ops.check_class(self, klass, i.failure());
Value* arg = i.arg(0);
BasicBlock* not_float = ops.new_block();
ops.check_class(arg, klass, not_float);
// Float#*(Float)
Value* farg = ops.b().CreateBitCast(arg, ops.state()->ptr_type("Float"),
"arg_float");
Value* unboxed_rhs = ops.b().CreateLoad(
ops.b().CreateConstGEP2_32(farg, 0, 1, "arg.value_pos"), "farg");
BasicBlock* perform = ops.new_block();
BasicBlock* unbox_block = ops.current_block();
ops.b().CreateBr(perform);
// Float#*(Fixnum)
ops.set_block(not_float);
ops.verify_guard(ops.check_if_fixnum(arg), i.failure());
Value* fix_rhs = ops.b().CreateSIToFP(
ops.fixnum_to_native(arg), unboxed_rhs->getType());
BasicBlock* convert_block = ops.current_block();
ops.b().CreateBr(perform);
// perform operation
perform->moveAfter(convert_block);
ops.set_block(perform);
PHINode* rhs = ops.b().CreatePHI(fix_rhs->getType(), "rhs");
rhs->addIncoming(unboxed_rhs, unbox_block);
rhs->addIncoming(fix_rhs, convert_block);
Value* fself = ops.b().CreateBitCast(self, ops.state()->ptr_type("Float"),
"self_float");
Value* lhs = ops.b().CreateLoad(
ops.b().CreateConstGEP2_32(fself, 0, 1, "self.value_pos"), "fself");
Value* performed = 0;
switch(op) {
case cAdd:
performed = ops.b().CreateFAdd(lhs, rhs, "float.add");
break;
case cSub:
performed = ops.b().CreateFSub(lhs, rhs, "float.sub");
break;
case cMultiply:
performed = ops.b().CreateFMul(lhs, rhs, "float.mul");
break;
case cDivide:
performed = ops.b().CreateFDiv(lhs, rhs, "float.div");
break;
case cMod:
performed = ops.b().CreateFRem(lhs, rhs, "float.mod");
break;
default:
abort();
}
Signature sig(ops.state(), ops.state()->ptr_type("Float"));
sig << "VM";
Function* func = sig.function("rbx_float_allocate");
func->setDoesNotAlias(0, true); // return value
Value* call_args[] = { ops.vm() };
CallInst* res = sig.call("rbx_float_allocate", call_args, 1, "result", ops.b());
ops.b().CreateStore(
performed,
ops.b().CreateConstGEP2_32(res, 0, 1));
i.exception_safe();
i.set_result(ops.b().CreateBitCast(res, ops.ObjType));
}