Skip to content

Unsigned integers no wrap II #2189

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ubaidsk merged 8 commits into from
Jul 19, 2023
Merged

Unsigned integers no wrap II #2189

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
3305591
ASR: Allow only compile-time 0 in UnsignedUnaryMinus
ubaidsk Jul 19, 2023
87c8ca1
TEST: Update unsigned unary minus test and enable it
ubaidsk Jul 19, 2023
962ca71
TEST: Update unsigned bit shift test and enable it
ubaidsk Jul 19, 2023
b7b526a
ASR: Error for casting negative int as unsigned int
ubaidsk Jul 19, 2023
528ab8c
TEST: Remove commented code
ubaidsk Jul 19, 2023
d9e14fa
ASRUtils: Support compile-time values for unsigned in make_Cast_t_val…
ubaidsk Jul 19, 2023
cbb79b6
TEST: Add test for different unsigned int cases
ubaidsk Jul 19, 2023
4629fc7
TEST: Update reference tests
ubaidsk Jul 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
ASRUtils: Support compile-time values for unsigned in make_Cast_t_val… 
…ue()
  • Loading branch information
@ubaidsk
ubaidsk committed Jul 19, 2023
commit d9e14fab9ddc9bb9ee41ca6f43d45eb077e4e027
8 changes: 8 additions & 0 deletions src/libasr/asr_utils.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1265,6 +1265,14 @@ ASR::asr_t* make_Cast_t_value(Allocator &al, const Location &a_loc,
int64_t int_value = ASR::down_cast<ASR::IntegerConstant_t>(
ASRUtils::expr_value(a_arg))->m_n;
value = ASR::down_cast<ASR::expr_t>(ASR::make_UnsignedIntegerConstant_t(al, a_loc, int_value, a_type));
} else if (a_kind == ASR::cast_kindType::UnsignedIntegerToInteger) {
int64_t int_value = ASR::down_cast<ASR::UnsignedIntegerConstant_t>(
ASRUtils::expr_value(a_arg))->m_n;
value = ASR::down_cast<ASR::expr_t>(ASR::make_IntegerConstant_t(al, a_loc, int_value, a_type));
} else if (a_kind == ASR::cast_kindType::UnsignedIntegerToUnsignedInteger) {
int64_t int_value = ASR::down_cast<ASR::UnsignedIntegerConstant_t>(
ASRUtils::expr_value(a_arg))->m_n;
value = ASR::down_cast<ASR::expr_t>(ASR::make_UnsignedIntegerConstant_t(al, a_loc, int_value, a_type));
} else if (a_kind == ASR::cast_kindType::IntegerToLogical) {
// TODO: implement
} else if (a_kind == ASR::cast_kindType::ComplexToComplex) {
Expand Down