chenyu
|
d148a62f8d
|
more generic simplify_valid_image_load (#6603)
use graph_rewrite to simplify the expression with narrowed variables, and check boundry conditions on monotonically increasing function to drop valid.
|
2024-09-19 05:33:37 -04:00 |
|
chenyu
|
eeee032b14
|
tiny cleanup of test_image_valid (#6597)
* tiny cleanup of test_image_valid
Sepcial and Variable to setup UOp
* typo
|
2024-09-19 03:09:47 -04:00 |
|
chenyu
|
496806ce75
|
another example of openpilot conv with valid (#6595)
|
2024-09-19 01:54:01 -04:00 |
|
chenyu
|
1b6eee02ad
|
failed test case for openpilot validhack conv (#6590)
* failed test case for openpilot validhack conv
can save 2ms once this is fixed
* fix order
|
2024-09-18 23:12:30 -04:00 |
|
chenyu
|
bd40a26b8b
|
image valid test case that current approach does not work (#6584)
|
2024-09-18 06:06:03 -04:00 |
|
chenyu
|
162ead02a9
|
remove LOAD where valid is an empty set (#6579)
356 -> 354 valids
|
2024-09-18 03:49:41 -04:00 |
|
chenyu
|
a72d51e277
|
brute force VALIDHACK matching (#6575)
* brute force VALIDHACK matching
* cleanup
* 9700
|
2024-09-18 01:59:50 -04:00 |
|
chenyu
|
5fb877c78c
|
generic valid match criteria of #6552 (#6558)
455 -> 364 valids.
generalize `idx < image bound` to `idx < image bound + c` for some `c`
|
2024-09-17 02:40:36 -04:00 |
|
chenyu
|
c62b6fd8f0
|
match any statement in valid for simplification (#6554)
|
2024-09-17 01:39:47 -04:00 |
|
chenyu
|
7c942418a1
|
other side of simple out of bound valid case (#6552)
462 -> 455
|
2024-09-16 23:57:15 -04:00 |
|
chenyu
|
aeaf7894a7
|
more generic version of #6548 (#6549)
x*(-1)<0 can be generalized to x*(-1)<c, 473 -> 462 valids
|
2024-09-16 23:17:16 -04:00 |
|
chenyu
|
596f41eb46
|
simple drop image valid case (#6548)
* simple drop image valid case
started unit test, 530 -> 473 valids
* cleanup
|
2024-09-16 22:54:07 -04:00 |
|