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

Optimize Kernel Invariant on Unwrap and Tuple

updated block names to `unwrap_none_unreachable` and `unwrap_none_exception`

2022-04-11 15:00:15 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

2022-04-11 14:59:01 +08:00

ychenfo commented on pull request M-Labs/nac3#261

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.

2022-04-11 14:53:54 +08:00

ychenfo commented on pull request M-Labs/nac3#261

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`

2022-04-10 21:58:36 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

  • c037724a34 nac3core, artiq: optimize kernel invariant for tuple index

2022-04-10 21:57:53 +08:00

ychenfo commented on issue M-Labs/nac3#185

add bound checks for list slice and slice assignment

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

2022-04-10 20:39:25 +08:00

ychenfo commented on pull request M-Labs/nac3#261

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`

2022-04-10 20:33:44 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

2022-04-10 20:31:14 +08:00

ychenfo created pull request M-Labs/nac3#261

Optimize Kernel Invariant on Unwrap and Tuple

2022-04-10 17:56:26 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

  • 47b5cb204f nac3core, artiq: optimize kernel invariant for tuple index

2022-04-10 16:48:50 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

2022-04-10 16:26:42 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

  • 9e2ed6f40b nac3core: optimize unwrap KernelInvariant

2022-04-10 03:31:18 +08:00

ychenfo pushed to optimize_unwrap_kernelinvariant at M-Labs/nac3

  • 8f9da668ff nac3core: move option unwrap to builtin.rs

2022-04-10 02:59:27 +08:00

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

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…

2022-04-10 01:29:51 +08:00

ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3

  • 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 »

2022-04-10 01:29:02 +08:00

ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3

  • 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 »

2022-04-10 01:27:39 +08:00

ychenfo commented on pull request M-Labs/nac3#259

Get llvm value with expected type (#256)

force-pushed to update on current master branch

2022-04-09 11:39:10 +08:00

ychenfo pushed to get_symbol_val_with_type at M-Labs/nac3

  • 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 »

2022-04-09 11:38:36 +08:00