Skip to content

Support/Enforce dtype for empty() #2294

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 18 commits into from
Aug 28, 2023
Merged

Support/Enforce dtype for empty() #2294

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
9b99b13
ASR: Process shape and dtype in empty()
ubaidsk Aug 24, 2023
5eab8a7
ASR: Support ListConstant in fill_dims_for_asr_type()
ubaidsk Aug 24, 2023
fd78f27
ASR: Check for dims as well when comparing types
ubaidsk Aug 24, 2023
a053339
ASRUtils: Simple and (hopefully) robust dims comparison
ubaidsk Aug 24, 2023
f0b6ee1
ASRUtils: Support constructing string for multi-dims
ubaidsk Aug 24, 2023
455de7e
ASR: Support struct types in empty()
ubaidsk Aug 24, 2023
b36a37d
PASS: Support extracting arr size from ttype_t in implied_do_loops
ubaidsk Aug 24, 2023
eaec0ac
ASR: Support TypeParameter in numpy2lpythontypes
ubaidsk Aug 24, 2023
26a5b35
ASRUtils: Support TypeParameter in types_equal()
ubaidsk Aug 24, 2023
5171314
ASR: Support runtime dimensions for allocatable targets
ubaidsk Aug 27, 2023
c59961b
ASR: Merge assign_ast_target, ann_assign_target_type to assign_asr_ta…
ubaidsk Aug 27, 2023
ca516bc
ASR: Support Allocate statement using empty()
ubaidsk Aug 28, 2023
a6741b5
ASRUtils: Support ListConstant in is_value_constant()
ubaidsk Aug 28, 2023
8d6a579
TEST: Fix tests to use dtype in empty()
ubaidsk Aug 24, 2023
976905f
TEST: Fix error tests to use dtype
ubaidsk Aug 24, 2023
289e6e2
TEST: Make err bound less stricter for elemental_02
ubaidsk Aug 24, 2023
a3151c6
ASRUtils: Do not encode start dimensions
ubaidsk Aug 28, 2023
d0b31d5
TEST: Update reference tests
ubaidsk Aug 24, 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 TypeParameter in types_equal()
  • Loading branch information
@ubaidsk
ubaidsk committed Aug 28, 2023
commit 26a5b35bdb302ddc9e3a8a5b71a3ffedc0f6c811
7 changes: 7 additions & 0 deletions src/libasr/asr_utils.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2492,6 +2492,13 @@ inline bool types_equal(ASR::ttype_t *a, ASR::ttype_t *b,
a2->m_dims, a2->n_dims,
b2->m_dims, b2->n_dims);
}
case (ASR::ttypeType::TypeParameter) : {
ASR::TypeParameter_t* left_tp = ASR::down_cast<ASR::TypeParameter_t>(a);
ASR::TypeParameter_t* right_tp = ASR::down_cast<ASR::TypeParameter_t>(b);
std::string left_param = left_tp->m_param;
std::string right_param = right_tp->m_param;
return left_param == right_param;
}
case (ASR::ttypeType::Integer) : {
ASR::Integer_t *a2 = ASR::down_cast<ASR::Integer_t>(a);
ASR::Integer_t *b2 = ASR::down_cast<ASR::Integer_t>(b);
Expand Down