mirror of
https://github.com/ziglang/zig.git
synced 2026-02-13 04:48:20 +00:00
Encapsulate bigint representation, assert on cast data loss
This commit is contained in:
parent
0e75fef1de
commit
9322eee80a
@ -1036,7 +1036,7 @@ static bool analyze_const_align(CodeGen *g, Scope *scope, AstNode *node, uint32_
|
||||
if (type_is_invalid(align_result->type))
|
||||
return false;
|
||||
|
||||
uint32_t align_bytes = bigint_as_unsigned(&align_result->data.x_bigint);
|
||||
uint32_t align_bytes = bigint_as_u32(&align_result->data.x_bigint);
|
||||
if (align_bytes == 0) {
|
||||
add_node_error(g, node, buf_sprintf("alignment must be >= 1"));
|
||||
return false;
|
||||
@ -1068,7 +1068,7 @@ static bool analyze_const_string(CodeGen *g, Scope *scope, AstNode *node, Buf **
|
||||
return true;
|
||||
}
|
||||
expand_undef_array(g, array_val);
|
||||
size_t len = bigint_as_unsigned(&len_field->data.x_bigint);
|
||||
size_t len = bigint_as_usize(&len_field->data.x_bigint);
|
||||
Buf *result = buf_alloc();
|
||||
buf_resize(result, len);
|
||||
for (size_t i = 0; i < len; i += 1) {
|
||||
@ -1078,7 +1078,7 @@ static bool analyze_const_string(CodeGen *g, Scope *scope, AstNode *node, Buf **
|
||||
add_node_error(g, node, buf_sprintf("use of undefined value"));
|
||||
return false;
|
||||
}
|
||||
uint64_t big_c = bigint_as_unsigned(&char_val->data.x_bigint);
|
||||
uint64_t big_c = bigint_as_u64(&char_val->data.x_bigint);
|
||||
assert(big_c <= UINT8_MAX);
|
||||
uint8_t c = (uint8_t)big_c;
|
||||
buf_ptr(result)[i] = c;
|
||||
@ -5976,7 +5976,7 @@ void render_const_value(CodeGen *g, Buf *buf, ConstExprValue *const_val) {
|
||||
{
|
||||
if (is_slice(type_entry)) {
|
||||
ConstExprValue *len_val = &const_val->data.x_struct.fields[slice_len_index];
|
||||
size_t len = bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
size_t len = bigint_as_usize(&len_val->data.x_bigint);
|
||||
|
||||
ConstExprValue *ptr_val = &const_val->data.x_struct.fields[slice_ptr_index];
|
||||
if (ptr_val->special == ConstValSpecialUndef) {
|
||||
|
||||
@ -15,6 +15,8 @@
|
||||
#include <limits>
|
||||
#include <algorithm>
|
||||
|
||||
static uint64_t bigint_as_unsigned(const BigInt *bigint);
|
||||
|
||||
static void bigint_normalize(BigInt *dest) {
|
||||
const uint64_t *digits = bigint_ptr(dest);
|
||||
|
||||
@ -1660,7 +1662,7 @@ size_t bigint_clz(const BigInt *bi, size_t bit_count) {
|
||||
return count;
|
||||
}
|
||||
|
||||
uint64_t bigint_as_unsigned(const BigInt *bigint) {
|
||||
static uint64_t bigint_as_unsigned(const BigInt *bigint) {
|
||||
assert(!bigint->is_negative);
|
||||
if (bigint->digit_count == 0) {
|
||||
return 0;
|
||||
@ -1671,6 +1673,25 @@ uint64_t bigint_as_unsigned(const BigInt *bigint) {
|
||||
}
|
||||
}
|
||||
|
||||
uint64_t bigint_as_u64(const BigInt *bigint)
|
||||
{
|
||||
return bigint_as_unsigned(bigint);
|
||||
}
|
||||
|
||||
uint32_t bigint_as_u32(const BigInt *bigint) {
|
||||
uint64_t value64 = bigint_as_unsigned(bigint);
|
||||
uint32_t value32 = (uint32_t)value64;
|
||||
assert (value64 == value32);
|
||||
return value32;
|
||||
}
|
||||
|
||||
size_t bigint_as_usize(const BigInt *bigint) {
|
||||
uint64_t value64 = bigint_as_unsigned(bigint);
|
||||
size_t valueUsize = (size_t)value64;
|
||||
assert (value64 == valueUsize);
|
||||
return valueUsize;
|
||||
}
|
||||
|
||||
int64_t bigint_as_signed(const BigInt *bigint) {
|
||||
if (bigint->digit_count == 0) {
|
||||
return 0;
|
||||
|
||||
@ -36,7 +36,10 @@ void bigint_init_bigfloat(BigInt *dest, const BigFloat *op);
|
||||
void bigint_init_data(BigInt *dest, const uint64_t *digits, size_t digit_count, bool is_negative);
|
||||
|
||||
// panics if number won't fit
|
||||
uint64_t bigint_as_unsigned(const BigInt *bigint);
|
||||
uint64_t bigint_as_u64(const BigInt *bigint);
|
||||
uint32_t bigint_as_u32(const BigInt *bigint);
|
||||
size_t bigint_as_usize(const BigInt *bigint);
|
||||
|
||||
int64_t bigint_as_signed(const BigInt *bigint);
|
||||
|
||||
static inline const uint64_t *bigint_ptr(const BigInt *bigint) {
|
||||
|
||||
@ -2872,7 +2872,7 @@ static void add_error_range_check(CodeGen *g, ZigType *err_set_type, ZigType *in
|
||||
eval_min_max_value_int(g, int_type, &biggest_possible_err_val, true);
|
||||
|
||||
if (bigint_fits_in_bits(&biggest_possible_err_val, 64, false) &&
|
||||
bigint_as_unsigned(&biggest_possible_err_val) < g->errors_by_index.length)
|
||||
bigint_as_usize(&biggest_possible_err_val) < g->errors_by_index.length)
|
||||
{
|
||||
ok_bit = neq_zero_bit;
|
||||
} else {
|
||||
|
||||
48
src/ir.cpp
48
src/ir.cpp
@ -5766,7 +5766,7 @@ static IrInstruction *ir_gen_pointer_type(IrBuilder *irb, Scope *scope, AstNode
|
||||
buf_sprintf("value %s too large for u32 bit offset", buf_ptr(val_buf)));
|
||||
return irb->codegen->invalid_instruction;
|
||||
}
|
||||
bit_offset_start = bigint_as_unsigned(node->data.pointer_type.bit_offset_start);
|
||||
bit_offset_start = bigint_as_u32(node->data.pointer_type.bit_offset_start);
|
||||
}
|
||||
|
||||
uint32_t host_int_bytes = 0;
|
||||
@ -5778,7 +5778,7 @@ static IrInstruction *ir_gen_pointer_type(IrBuilder *irb, Scope *scope, AstNode
|
||||
buf_sprintf("value %s too large for u32 byte count", buf_ptr(val_buf)));
|
||||
return irb->codegen->invalid_instruction;
|
||||
}
|
||||
host_int_bytes = bigint_as_unsigned(node->data.pointer_type.host_int_bytes);
|
||||
host_int_bytes = bigint_as_u32(node->data.pointer_type.host_int_bytes);
|
||||
}
|
||||
|
||||
if (host_int_bytes != 0 && bit_offset_start >= host_int_bytes * 8) {
|
||||
@ -11550,7 +11550,7 @@ static IrInstruction *ir_analyze_int_to_err(IrAnalyze *ira, IrInstruction *sourc
|
||||
return ira->codegen->invalid_instruction;
|
||||
}
|
||||
|
||||
size_t index = bigint_as_unsigned(&val->data.x_bigint);
|
||||
size_t index = bigint_as_usize(&val->data.x_bigint);
|
||||
result->value.data.x_err_set = ira->codegen->errors_by_index.at(index);
|
||||
return result;
|
||||
} else {
|
||||
@ -12520,7 +12520,7 @@ static bool ir_resolve_align(IrAnalyze *ira, IrInstruction *value, uint32_t *out
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
uint32_t align_bytes = bigint_as_unsigned(&const_val->data.x_bigint);
|
||||
uint32_t align_bytes = bigint_as_u32(&const_val->data.x_bigint);
|
||||
if (align_bytes == 0) {
|
||||
ir_add_error(ira, value, buf_sprintf("alignment must be >= 1"));
|
||||
return false;
|
||||
@ -12547,7 +12547,7 @@ static bool ir_resolve_unsigned(IrAnalyze *ira, IrInstruction *value, ZigType *i
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
*out = bigint_as_unsigned(&const_val->data.x_bigint);
|
||||
*out = bigint_as_u64(&const_val->data.x_bigint);
|
||||
return true;
|
||||
}
|
||||
|
||||
@ -12595,7 +12595,7 @@ static bool ir_resolve_atomic_order(IrAnalyze *ira, IrInstruction *value, Atomic
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
*out = (AtomicOrder)bigint_as_unsigned(&const_val->data.x_enum_tag);
|
||||
*out = (AtomicOrder)bigint_as_u32(&const_val->data.x_enum_tag);
|
||||
return true;
|
||||
}
|
||||
|
||||
@ -12615,7 +12615,7 @@ static bool ir_resolve_atomic_rmw_op(IrAnalyze *ira, IrInstruction *value, Atomi
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
*out = (AtomicRmwOp)bigint_as_unsigned(&const_val->data.x_enum_tag);
|
||||
*out = (AtomicRmwOp)bigint_as_u32(&const_val->data.x_enum_tag);
|
||||
return true;
|
||||
}
|
||||
|
||||
@ -12635,7 +12635,7 @@ static bool ir_resolve_global_linkage(IrAnalyze *ira, IrInstruction *value, Glob
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
*out = (GlobalLinkageId)bigint_as_unsigned(&const_val->data.x_enum_tag);
|
||||
*out = (GlobalLinkageId)bigint_as_u32(&const_val->data.x_enum_tag);
|
||||
return true;
|
||||
}
|
||||
|
||||
@ -12655,7 +12655,7 @@ static bool ir_resolve_float_mode(IrAnalyze *ira, IrInstruction *value, FloatMod
|
||||
if (!const_val)
|
||||
return false;
|
||||
|
||||
*out = (FloatMode)bigint_as_unsigned(&const_val->data.x_enum_tag);
|
||||
*out = (FloatMode)bigint_as_u32(&const_val->data.x_enum_tag);
|
||||
return true;
|
||||
}
|
||||
|
||||
@ -12684,7 +12684,7 @@ static Buf *ir_resolve_str(IrAnalyze *ira, IrInstruction *value) {
|
||||
return array_val->data.x_array.data.s_buf;
|
||||
}
|
||||
expand_undef_array(ira->codegen, array_val);
|
||||
size_t len = bigint_as_unsigned(&len_field->data.x_bigint);
|
||||
size_t len = bigint_as_usize(&len_field->data.x_bigint);
|
||||
Buf *result = buf_alloc();
|
||||
buf_resize(result, len);
|
||||
for (size_t i = 0; i < len; i += 1) {
|
||||
@ -12694,7 +12694,7 @@ static Buf *ir_resolve_str(IrAnalyze *ira, IrInstruction *value) {
|
||||
ir_add_error(ira, casted_value, buf_sprintf("use of undefined value"));
|
||||
return nullptr;
|
||||
}
|
||||
uint64_t big_c = bigint_as_unsigned(&char_val->data.x_bigint);
|
||||
uint64_t big_c = bigint_as_u64(&char_val->data.x_bigint);
|
||||
assert(big_c <= UINT8_MAX);
|
||||
uint8_t c = (uint8_t)big_c;
|
||||
buf_ptr(result)[i] = c;
|
||||
@ -13829,7 +13829,7 @@ static IrInstruction *ir_analyze_array_cat(IrAnalyze *ira, IrInstructionBinOp *i
|
||||
op1_array_val = ptr_val->data.x_ptr.data.base_array.array_val;
|
||||
op1_array_index = ptr_val->data.x_ptr.data.base_array.elem_index;
|
||||
ConstExprValue *len_val = &op1_val->data.x_struct.fields[slice_len_index];
|
||||
op1_array_end = op1_array_index + bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
op1_array_end = op1_array_index + bigint_as_usize(&len_val->data.x_bigint);
|
||||
} else {
|
||||
ir_add_error(ira, op1,
|
||||
buf_sprintf("expected array or C string literal, found '%s'", buf_ptr(&op1->value.type->name)));
|
||||
@ -13862,7 +13862,7 @@ static IrInstruction *ir_analyze_array_cat(IrAnalyze *ira, IrInstructionBinOp *i
|
||||
op2_array_val = ptr_val->data.x_ptr.data.base_array.array_val;
|
||||
op2_array_index = ptr_val->data.x_ptr.data.base_array.elem_index;
|
||||
ConstExprValue *len_val = &op2_val->data.x_struct.fields[slice_len_index];
|
||||
op2_array_end = op2_array_index + bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
op2_array_end = op2_array_index + bigint_as_usize(&len_val->data.x_bigint);
|
||||
} else {
|
||||
ir_add_error(ira, op2,
|
||||
buf_sprintf("expected array or C string literal, found '%s'", buf_ptr(&op2->value.type->name)));
|
||||
@ -16734,7 +16734,7 @@ static IrInstruction *ir_analyze_instruction_elem_ptr(IrAnalyze *ira, IrInstruct
|
||||
uint64_t abi_align = get_abi_alignment(ira->codegen, return_type->data.pointer.child_type);
|
||||
uint64_t ptr_align = get_ptr_align(ira->codegen, return_type);
|
||||
if (instr_is_comptime(casted_elem_index)) {
|
||||
uint64_t index = bigint_as_unsigned(&casted_elem_index->value.data.x_bigint);
|
||||
uint64_t index = bigint_as_u64(&casted_elem_index->value.data.x_bigint);
|
||||
if (array_type->id == ZigTypeIdArray) {
|
||||
uint64_t array_len = array_type->data.array.len;
|
||||
if (index >= array_len) {
|
||||
@ -16896,7 +16896,7 @@ static IrInstruction *ir_analyze_instruction_elem_ptr(IrAnalyze *ira, IrInstruct
|
||||
ConstExprValue *len_field = &array_ptr_val->data.x_struct.fields[slice_len_index];
|
||||
IrInstruction *result = ir_const(ira, &elem_ptr_instruction->base, return_type);
|
||||
ConstExprValue *out_val = &result->value;
|
||||
uint64_t slice_len = bigint_as_unsigned(&len_field->data.x_bigint);
|
||||
uint64_t slice_len = bigint_as_u64(&len_field->data.x_bigint);
|
||||
if (index >= slice_len) {
|
||||
ir_add_error_node(ira, elem_ptr_instruction->base.source_node,
|
||||
buf_sprintf("index %" ZIG_PRI_u64 " outside slice of size %" ZIG_PRI_u64,
|
||||
@ -21181,7 +21181,7 @@ static IrInstruction *ir_analyze_instruction_from_bytes(IrAnalyze *ira, IrInstru
|
||||
|
||||
ConstExprValue *len_val = &val->data.x_struct.fields[slice_len_index];
|
||||
if (value_is_comptime(len_val)) {
|
||||
known_len = bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
known_len = bigint_as_u64(&len_val->data.x_bigint);
|
||||
have_known_len = true;
|
||||
}
|
||||
}
|
||||
@ -21527,7 +21527,7 @@ static IrInstruction *ir_analyze_instruction_memset(IrAnalyze *ira, IrInstructio
|
||||
zig_panic("TODO memset on null ptr");
|
||||
}
|
||||
|
||||
size_t count = bigint_as_unsigned(&casted_count->value.data.x_bigint);
|
||||
size_t count = bigint_as_usize(&casted_count->value.data.x_bigint);
|
||||
size_t end = start + count;
|
||||
if (end > bound_end) {
|
||||
ir_add_error(ira, count_value, buf_sprintf("out of bounds pointer access"));
|
||||
@ -21612,7 +21612,7 @@ static IrInstruction *ir_analyze_instruction_memcpy(IrAnalyze *ira, IrInstructio
|
||||
casted_count->value.special == ConstValSpecialStatic &&
|
||||
casted_dest_ptr->value.data.x_ptr.special != ConstPtrSpecialHardCodedAddr)
|
||||
{
|
||||
size_t count = bigint_as_unsigned(&casted_count->value.data.x_bigint);
|
||||
size_t count = bigint_as_usize(&casted_count->value.data.x_bigint);
|
||||
|
||||
ConstExprValue *dest_ptr_val = &casted_dest_ptr->value;
|
||||
ConstExprValue *dest_elements;
|
||||
@ -21897,7 +21897,7 @@ static IrInstruction *ir_analyze_instruction_slice(IrAnalyze *ira, IrInstruction
|
||||
case ConstPtrSpecialBaseArray:
|
||||
array_val = parent_ptr->data.x_ptr.data.base_array.array_val;
|
||||
abs_offset = parent_ptr->data.x_ptr.data.base_array.elem_index;
|
||||
rel_end = bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
rel_end = bigint_as_usize(&len_val->data.x_bigint);
|
||||
break;
|
||||
case ConstPtrSpecialBaseStruct:
|
||||
zig_panic("TODO slice const inner struct");
|
||||
@ -21910,7 +21910,7 @@ static IrInstruction *ir_analyze_instruction_slice(IrAnalyze *ira, IrInstruction
|
||||
case ConstPtrSpecialHardCodedAddr:
|
||||
array_val = nullptr;
|
||||
abs_offset = 0;
|
||||
rel_end = bigint_as_unsigned(&len_val->data.x_bigint);
|
||||
rel_end = bigint_as_usize(&len_val->data.x_bigint);
|
||||
break;
|
||||
case ConstPtrSpecialFunction:
|
||||
zig_panic("TODO slice of slice cast from function");
|
||||
@ -21921,7 +21921,7 @@ static IrInstruction *ir_analyze_instruction_slice(IrAnalyze *ira, IrInstruction
|
||||
zig_unreachable();
|
||||
}
|
||||
|
||||
uint64_t start_scalar = bigint_as_unsigned(&casted_start->value.data.x_bigint);
|
||||
uint64_t start_scalar = bigint_as_u64(&casted_start->value.data.x_bigint);
|
||||
if (!ptr_is_undef && start_scalar > rel_end) {
|
||||
ir_add_error(ira, &instruction->base, buf_sprintf("out of bounds slice"));
|
||||
return ira->codegen->invalid_instruction;
|
||||
@ -21929,7 +21929,7 @@ static IrInstruction *ir_analyze_instruction_slice(IrAnalyze *ira, IrInstruction
|
||||
|
||||
uint64_t end_scalar;
|
||||
if (end) {
|
||||
end_scalar = bigint_as_unsigned(&end->value.data.x_bigint);
|
||||
end_scalar = bigint_as_u64(&end->value.data.x_bigint);
|
||||
} else {
|
||||
end_scalar = rel_end;
|
||||
}
|
||||
@ -23500,7 +23500,7 @@ static Error buf_read_value_bytes(IrAnalyze *ira, CodeGen *codegen, AstNode *sou
|
||||
BigInt bn;
|
||||
bigint_read_twos_complement(&bn, buf, codegen->builtin_types.entry_usize->data.integral.bit_count,
|
||||
codegen->is_big_endian, false);
|
||||
val->data.x_ptr.data.hard_coded_addr.addr = bigint_as_unsigned(&bn);
|
||||
val->data.x_ptr.data.hard_coded_addr.addr = bigint_as_usize(&bn);
|
||||
return ErrorNone;
|
||||
}
|
||||
case ZigTypeIdArray:
|
||||
@ -23693,7 +23693,7 @@ static IrInstruction *ir_analyze_int_to_ptr(IrAnalyze *ira, IrInstruction *sourc
|
||||
if (!val)
|
||||
return ira->codegen->invalid_instruction;
|
||||
|
||||
uint64_t addr = bigint_as_unsigned(&val->data.x_bigint);
|
||||
uint64_t addr = bigint_as_u64(&val->data.x_bigint);
|
||||
if (!ptr_allows_addr_zero(ptr_type) && addr == 0) {
|
||||
ir_add_error(ira, source_instr,
|
||||
buf_sprintf("pointer type '%s' does not allow address zero", buf_ptr(&ptr_type->name)));
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user