diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-16 17:34:26 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-17 10:04:36 +0100 |
| commit | 1b78178a9bccdedf29f08e5517817f0b16e70949 (patch) | |
| tree | ded4248ea0a79b72391aaadb7cd81ba46cc32528 | |
| parent | b40d3637762247b6b166703aa3cb5b13ab32454d (diff) | |
| download | sparse-dev-1b78178a9bccdedf29f08e5517817f0b16e70949.tar.gz | |
llvm: fix test of floating-point type
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | sparse-llvm.c | 42 |
1 files changed, 17 insertions, 25 deletions
diff --git a/sparse-llvm.c b/sparse-llvm.c index 06444619..3e519226 100644 --- a/sparse-llvm.c +++ b/sparse-llvm.c @@ -25,14 +25,6 @@ struct function { LLVMModuleRef module; }; -static inline bool symbol_is_fp_type(struct symbol *sym) -{ - if (!sym) - return false; - - return sym->ctype.base_type == &fp_type; -} - static LLVMTypeRef symbol_type(struct symbol *sym); static LLVMTypeRef func_return_type(struct symbol *sym) @@ -154,7 +146,7 @@ static LLVMTypeRef sym_basetype_type(struct symbol *sym) { LLVMTypeRef ret = NULL; - if (symbol_is_fp_type(sym)) { + if (is_float_type(sym)) { switch (sym->bit_size) { case 32: ret = LLVMFloatType(); @@ -454,69 +446,69 @@ static void output_op_binary(struct function *fn, struct instruction *insn) switch (insn->opcode) { /* Binary */ case OP_ADD: - if (symbol_is_fp_type(insn->type)) + if (is_float_type(insn->type)) target = LLVMBuildFAdd(fn->builder, lhs, rhs, target_name); else target = LLVMBuildAdd(fn->builder, lhs, rhs, target_name); break; case OP_SUB: - if (symbol_is_fp_type(insn->type)) + if (is_float_type(insn->type)) target = LLVMBuildFSub(fn->builder, lhs, rhs, target_name); else target = LLVMBuildSub(fn->builder, lhs, rhs, target_name); break; case OP_MULU: - if (symbol_is_fp_type(insn->type)) + if (is_float_type(insn->type)) target = LLVMBuildFMul(fn->builder, lhs, rhs, target_name); else target = LLVMBuildMul(fn->builder, lhs, rhs, target_name); break; case OP_MULS: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildMul(fn->builder, lhs, rhs, target_name); break; case OP_DIVU: - if (symbol_is_fp_type(insn->type)) + if (is_float_type(insn->type)) target = LLVMBuildFDiv(fn->builder, lhs, rhs, target_name); else target = LLVMBuildUDiv(fn->builder, lhs, rhs, target_name); break; case OP_DIVS: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildSDiv(fn->builder, lhs, rhs, target_name); break; case OP_MODU: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildURem(fn->builder, lhs, rhs, target_name); break; case OP_MODS: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildSRem(fn->builder, lhs, rhs, target_name); break; case OP_SHL: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildShl(fn->builder, lhs, rhs, target_name); break; case OP_LSR: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildLShr(fn->builder, lhs, rhs, target_name); break; case OP_ASR: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildAShr(fn->builder, lhs, rhs, target_name); break; /* Logical */ case OP_AND: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildAnd(fn->builder, lhs, rhs, target_name); break; case OP_OR: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildOr(fn->builder, lhs, rhs, target_name); break; case OP_XOR: - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildXor(fn->builder, lhs, rhs, target_name); break; case OP_AND_BOOL: { @@ -780,7 +772,7 @@ static void output_op_ptrcast(struct function *fn, struct instruction *insn) pseudo_name(insn->target, target_name); - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); target = LLVMBuildBitCast(fn->builder, src, insn_symbol_type(insn), target_name); @@ -798,7 +790,7 @@ static void output_op_cast(struct function *fn, struct instruction *insn, LLVMOp pseudo_name(insn->target, target_name); - assert(!symbol_is_fp_type(insn->type)); + assert(!is_float_type(insn->type)); if (insn->size < LLVMGetIntTypeWidth(LLVMTypeOf(src))) target = LLVMBuildTrunc(fn->builder, src, insn_symbol_type(insn), target_name); |