ychenfo
0 Followers · 1 Following
  • Joined on 2021-03-29
Repositories
1
 Projects Packages Code Public Activity Starred Repositories
ychenfo created branch debug_info in M-Labs/nac3 2022-04-11 23:37:07 +08:00
ychenfo commented on pull request M-Labs/nac3#261 2022-04-11 15:00:15 +08:00
Optimize Kernel Invariant on Unwrap and Tuple

updated block names to unwrap_none_unreachable and unwrap_none_exception

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-11 14:59:01 +08:00
722e3df086 nac3core, artiq: optimize kernel invariant for tuple index
ad9ad22cb8 nac3core: optimize unwrap KernelInvariant
Compare 2 commits »
ychenfo commented on pull request M-Labs/nac3#261 2022-04-11 14:53:54 +08:00
Optimize Kernel Invariant on Unwrap and Tuple

Oh yes, I think the _bb is redundant as we can easily tell whether a name is a lable to a basic block. I will remove these postfixes now.

ychenfo commented on pull request M-Labs/nac3#261 2022-04-10 21:58:36 +08:00
Optimize Kernel Invariant on Unwrap and Tuple

I guess it would make more sense to name the function get_tuple_element instead of get_tuple_index?

force-pushed to update the name to get_tuple_element

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 21:57:53 +08:00
c037724a34 nac3core, artiq: optimize kernel invariant for tuple index
ychenfo commented on issue M-Labs/nac3#185 2022-04-10 20:39:25 +08:00
add bound checks for list slice and slice assignment

Shall we close this issue as this should be done with #255 and #260?

ychenfo commented on pull request M-Labs/nac3#261 2022-04-10 20:33:44 +08:00
Optimize Kernel Invariant on Unwrap and Tuple

force-pused to update the names of the basic blocks to be unwrap_none_unreachable_bb and unwrap_none_exception_bb

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 20:31:14 +08:00
3223724c72 nac3core, artiq: optimize kernel invariant for tuple index
de1a729cef nac3core: optimize unwrap KernelInvariant
Compare 2 commits »
ychenfo created pull request M-Labs/nac3#261 2022-04-10 17:56:26 +08:00
Optimize Kernel Invariant on Unwrap and Tuple
ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 16:48:50 +08:00
47b5cb204f nac3core, artiq: optimize kernel invariant for tuple index
ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 16:26:42 +08:00
bc6ce3de0b nac3core, artiq: optimize kernel invariant for tuple index
8682f45725 nac3core: optimize unwrap KernelInvariant
f66f66b3a4 nac3core, artiq: remove unnecessary ptr casts
6c485bc9dc nac3artiq: skip attribute writeback for option
089bba96a3 nac3artiq: get_obj_value take an additional argument for expected type
Compare 6 commits »
ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 03:31:18 +08:00
9e2ed6f40b nac3core: optimize unwrap KernelInvariant
ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3 2022-04-10 02:59:27 +08:00
8f9da668ff nac3core: move option unwrap to builtin.rs
ychenfo created branch optimize_unwrap_kernelinvariant in M-Labs/nac3 2022-04-10 02:59:26 +08:00
ychenfo commented on pull request M-Labs/nac3#259 2022-04-10 01:29:51 +08:00
Get llvm value with expected type (#256)

It might be better to split the last commit into the symbol resolver change (get_obj_value now accepts an expected_ty param) and the refactoring (adding expected type to all to_basic_value_enum…

ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3 2022-04-10 01:29:02 +08:00
f66f66b3a4 nac3core, artiq: remove unnecessary ptr casts
6c485bc9dc nac3artiq: skip attribute writeback for option
089bba96a3 nac3artiq: get_obj_value take an additional argument for expected type
0e0871bc38 nac3core, artiq: to_basic_value_enum takes an argument indicating the expected type
Compare 4 commits »
ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3 2022-04-10 01:27:39 +08:00
73bcf7fc3f nac3core,artiq: remove unnecessary ptr casts
d3cbe4dd14 nac3artiq: skip attribute writeback for option
6a81fafe8c nac3artiq: get_obj_value take an additional argument for expected type
788739f636 nac3core,artiq,standalone: to_basic_value_enum takes an argument indicating the expected type
Compare 4 commits »
ychenfo commented on pull request M-Labs/nac3#259 2022-04-09 11:39:10 +08:00
Get llvm value with expected type (#256)

force-pushed to update on current master branch

ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3 2022-04-09 11:38:36 +08:00
c7a37217ae nac3core,artiq: remove unnecessary ptr casts
6eb24aecfb nac3artiq: skip attribute writeback for option
2ac0026616 nac3core,artiq,standalone: symbol resolver getting symbol value with expected type
26187bff0b nac3core: add missing bound check and negative index handling for list subscription assignment
Compare 4 commits »