29196bc | Andrew Adams | 16 April 2020, 21:17:54 UTC | If a constant wildcard doesn't actually need to be constant, make it so. | 16 April 2020, 21:17:54 UTC |
97f71cd | Andrew Adams | 16 April 2020, 20:28:35 UTC | Constrain leaf counts instead of op counts in interpreter | 16 April 2020, 20:28:35 UTC |
e148499 | Andrew Adams | 16 April 2020, 20:28:15 UTC | Don't do filtering in find_rules. Defer to filter_rewrite_rules. It was being too aggressive because it was neglecting predicates | 16 April 2020, 20:28:15 UTC |
bcd2e8a | Andrew Adams | 16 April 2020, 20:27:52 UTC | Fix bug in expression commuter | 16 April 2020, 20:27:52 UTC |
7b60b36 | Andrew Adams | 16 April 2020, 18:17:33 UTC | Numerous improvements and bugfixes Lots of parser fixes Added support for bit-vectors and an 8-bit interpreter. Unused. | 16 April 2020, 18:17:33 UTC |
06a35e5 | Andrew Adams | 22 March 2020, 21:31:52 UTC | Clean up handling of type annotations | 22 March 2020, 21:31:52 UTC |
c9fdf22 | Andrew Adams | 22 March 2020, 21:27:03 UTC | Change parser to not require parens | 22 March 2020, 21:27:03 UTC |
28c4a8f | Andrew Adams | 21 November 2019, 20:46:26 UTC | Fresh results | 21 November 2019, 20:46:26 UTC |
3e90955 | Andrew Adams | 21 November 2019, 04:42:49 UTC | Add test set expressions | 21 November 2019, 04:42:49 UTC |
1ad0a54 | Andrew Adams | 20 November 2019, 07:41:03 UTC | Add explicit cast | 20 November 2019, 07:41:03 UTC |
c33ffbb | Andrew Adams | 20 November 2019, 03:41:19 UTC | Fresh results | 20 November 2019, 03:41:19 UTC |
6efb3d5 | Andrew Adams | 20 November 2019, 02:51:02 UTC | Normalize away NE rules | 20 November 2019, 02:51:02 UTC |
6a79c80 | Andrew Adams | 20 November 2019, 02:47:48 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 20 November 2019, 02:47:48 UTC |
1271ecf | Andrew Adams | 20 November 2019, 02:47:18 UTC | Add failed proofs | 20 November 2019, 02:47:18 UTC |
3b0ec36 | Andrew Adams | 20 November 2019, 01:54:48 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 20 November 2019, 01:54:48 UTC |
d728630 | Andrew Adams | 20 November 2019, 01:54:38 UTC | Normalization of NE rules | 20 November 2019, 01:54:38 UTC |
1475c5e | Andrew Adams | 20 November 2019, 01:53:21 UTC | Handle abs in smt2 | 20 November 2019, 01:53:21 UTC |
a7e8f0e | Andrew Adams | 20 November 2019, 01:53:04 UTC | Fix crash source | 20 November 2019, 01:53:04 UTC |
76630c2 | Andrew Adams | 20 November 2019, 01:52:51 UTC | Fresh results | 20 November 2019, 01:52:51 UTC |
046541a | Andrew Adams | 19 November 2019, 19:17:48 UTC | Fresh results | 19 November 2019, 19:17:48 UTC |
2b6c576 | Andrew Adams | 19 November 2019, 11:16:03 UTC | Restore random dropout | 19 November 2019, 11:16:03 UTC |
973c7f7 | Andrew Adams | 19 November 2019, 11:13:03 UTC | Restore random dropout | 19 November 2019, 11:13:03 UTC |
9e97f56 | Andrew Adams | 19 November 2019, 11:12:35 UTC | Three crash fixes | 19 November 2019, 11:12:35 UTC |
56074f2 | Andrew Adams | 19 November 2019, 11:12:06 UTC | Collect unrolling failures | 19 November 2019, 11:12:06 UTC |
368e85f | Andrew Adams | 19 November 2019, 04:24:01 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 19 November 2019, 04:24:01 UTC |
0ca9835 | Andrew Adams | 19 November 2019, 04:21:32 UTC | Remove likelies from extents when unrolling | 19 November 2019, 04:21:32 UTC |
3ef433d | Andrew Adams | 18 November 2019, 22:35:16 UTC | Fix three op sequence data set | 18 November 2019, 22:35:16 UTC |
098c90e | Andrew Adams | 18 November 2019, 19:49:21 UTC | Revert "Revert to an earlier set of rules that actually reduces compile time" The earlier set of rules looked better because it's worse at unrolling loops This reverts commit dcb09ac37e576651814275301be43789ec9ff6e0. | 18 November 2019, 19:49:21 UTC |
dcb09ac | Andrew Adams | 18 November 2019, 19:05:27 UTC | Revert to an earlier set of rules that actually reduces compile time | 18 November 2019, 19:05:27 UTC |
3c02fbe | Andrew Adams | 18 November 2019, 05:59:24 UTC | No need for random dropout with a random schedule | 18 November 2019, 05:59:24 UTC |
347b3a5 | Andrew Adams | 18 November 2019, 05:59:05 UTC | Stick to 64 schedules per app | 18 November 2019, 05:59:05 UTC |
5b4dac0 | Andrew Adams | 18 November 2019, 05:58:53 UTC | Try a little harder to synthesize predicates | 18 November 2019, 05:58:53 UTC |
bdc0863 | Andrew Adams | 18 November 2019, 05:58:35 UTC | Don't print the blacklist. Turn on parallel rule generation again | 18 November 2019, 05:58:35 UTC |
e417abc | Andrew Adams | 18 November 2019, 05:58:16 UTC | Remove old interpolate entirely | 18 November 2019, 05:58:16 UTC |
c0fc455 | Andrew Adams | 18 November 2019, 05:57:53 UTC | Remove duplicate rules | 18 November 2019, 05:57:53 UTC |
cd5b387 | Andrew Adams | 18 November 2019, 05:57:32 UTC | Use genuinely random schedules | 18 November 2019, 05:57:32 UTC |
a2fb77a | Andrew Adams | 18 November 2019, 05:56:30 UTC | Trim down random pipeline exprs | 18 November 2019, 05:56:30 UTC |
2984124 | Andrew Adams | 18 November 2019, 05:54:51 UTC | Revert "Match through lets. Trades compile time for runtime" This reverts commit e3c7336d1d75bd76d7b0da75c534581f8b996c70. | 18 November 2019, 05:54:51 UTC |
e3c7336 | Andrew Adams | 17 November 2019, 23:39:03 UTC | Match through lets. Trades compile time for runtime | 17 November 2019, 23:39:03 UTC |
e3726bb | Andrew Adams | 17 November 2019, 19:53:51 UTC | Remove source of duplicate rules | 17 November 2019, 19:53:51 UTC |
f127ea9 | Andrew Adams | 17 November 2019, 19:33:16 UTC | Add beam size to header | 17 November 2019, 19:33:16 UTC |
e36036d | Andrew Adams | 17 November 2019, 19:31:31 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 17 November 2019, 19:31:31 UTC |
282ef61 | Andrew Adams | 17 November 2019, 19:31:23 UTC | Add beam size arg to synthesize predicate | 17 November 2019, 19:31:23 UTC |
386a2ee | Andrew Adams | 17 November 2019, 19:25:59 UTC | Minor bugfix | 17 November 2019, 19:25:59 UTC |
ae6cb2f | Andrew Adams | 17 November 2019, 02:09:28 UTC | Fold a constant | 17 November 2019, 02:09:28 UTC |
9b72840 | Andrew Adams | 17 November 2019, 02:09:06 UTC | Fix EQ rules | 17 November 2019, 02:09:06 UTC |
95e444a | Andrew Adams | 17 November 2019, 02:08:53 UTC | Better type construction for select rewrites | 17 November 2019, 02:08:53 UTC |
0708752 | Andrew Adams | 17 November 2019, 02:08:31 UTC | Add expr enumeration code | 17 November 2019, 02:08:31 UTC |
b1f033d | Andrew Adams | 17 November 2019, 02:03:12 UTC | Try to fix EQ matching. Still broken | 17 November 2019, 02:03:12 UTC |
0350148 | Andrew Adams | 17 November 2019, 01:58:34 UTC | Enable OR rules | 17 November 2019, 01:58:34 UTC |
1c546b4 | Andrew Adams | 17 November 2019, 01:56:14 UTC | Fresh rules | 17 November 2019, 01:56:14 UTC |
fcd5a2c | Andrew Adams | 17 November 2019, 01:36:01 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 17 November 2019, 01:36:01 UTC |
0a9c95b | Andrew Adams | 17 November 2019, 01:35:21 UTC | Update three op sequences to not use synthesized rules | 17 November 2019, 01:35:21 UTC |
6b6bd5f | Andrew Adams | 17 November 2019, 00:30:47 UTC | Small improvements | 17 November 2019, 00:30:47 UTC |
d3e9406 | Andrew Adams | 16 November 2019, 22:04:55 UTC | Add all 3-op sequences on a small set of terminals | 16 November 2019, 22:04:55 UTC |
3a4a2f0 | Andrew Adams | 16 November 2019, 19:59:13 UTC | Fresh results, with CSE set to 2 | 16 November 2019, 19:59:13 UTC |
3fa4571 | Andrew Adams | 16 November 2019, 04:54:21 UTC | Fix bad simplify_mod again | 16 November 2019, 04:54:21 UTC |
48e429f | Andrew Adams | 16 November 2019, 04:51:59 UTC | Fresh rules | 16 November 2019, 04:51:59 UTC |
2470738 | Andrew Adams | 15 November 2019, 22:16:11 UTC | Add max filter app | 15 November 2019, 22:16:11 UTC |
e4f1b07 | Andrew Adams | 15 November 2019, 19:13:11 UTC | Fresh results | 15 November 2019, 19:13:11 UTC |
660fc9a | Andrew Adams | 15 November 2019, 09:35:19 UTC | Fix bad includes | 15 November 2019, 09:35:19 UTC |
3396fc4 | Andrew Adams | 15 November 2019, 09:32:10 UTC | Fresh rules | 15 November 2019, 09:32:10 UTC |
b42745a | Andrew Adams | 15 November 2019, 05:24:05 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 15 November 2019, 05:24:05 UTC |
8685600 | Andrew Adams | 15 November 2019, 05:23:45 UTC | Fix minor bug in reduction order | 15 November 2019, 05:23:45 UTC |
b710e6f | Andrew Adams | 14 November 2019, 22:57:12 UTC | Permit longer lhs if they produce shorter rhs | 14 November 2019, 22:57:12 UTC |
dee69f2 | Andrew Adams | 14 November 2019, 22:56:25 UTC | Update experiment scripts | 14 November 2019, 22:56:25 UTC |
2186748 | Andrew Adams | 14 November 2019, 22:55:01 UTC | Add more apps | 14 November 2019, 22:55:01 UTC |
c04af7d | Andrew Adams | 14 November 2019, 22:44:49 UTC | parser fix | 14 November 2019, 22:44:49 UTC |
970471f | Andrew Adams | 14 November 2019, 22:36:28 UTC | Reduction order fixes | 14 November 2019, 22:36:28 UTC |
38dc75a | Andrew Adams | 14 November 2019, 20:24:59 UTC | Delete obvious broken distributive laws | 14 November 2019, 20:24:59 UTC |
e86da40 | Andrew Adams | 13 November 2019, 23:55:28 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 13 November 2019, 23:55:28 UTC |
37696e9 | Andrew Adams | 13 November 2019, 23:55:19 UTC | Fix for case where rhs of mod is unknown sign | 13 November 2019, 23:55:19 UTC |
c5abe7f | Andrew Adams | 13 November 2019, 22:14:15 UTC | Merge pull request #4392 from jn80842/super_simplify Refined reduction order in check on synthesized rules | 13 November 2019, 22:14:15 UTC |
1a11b05 | Andrew Adams | 13 November 2019, 21:44:26 UTC | Bucket rules by second-level node types | 13 November 2019, 21:44:26 UTC |
b9b903e | Andrew Adams | 13 November 2019, 21:42:47 UTC | Make new rules cheaper to compare to | 13 November 2019, 21:42:47 UTC |
fd245db | Julie Newcomb | 12 November 2019, 03:25:58 UTC | reduction order uses correct variable map datatype | 12 November 2019, 03:25:58 UTC |
fa14217 | Julie Newcomb | 12 November 2019, 02:17:49 UTC | merge | 12 November 2019, 02:17:49 UTC |
1291731 | Julie Newcomb | 12 November 2019, 02:11:44 UTC | mark off rules that don't obey reduction order | 12 November 2019, 02:11:44 UTC |
adad32e | Julie Newcomb | 11 November 2019, 05:52:45 UTC | refined reduction order checker for super_simplifier | 11 November 2019, 23:39:01 UTC |
c833b12 | Julie Newcomb | 11 November 2019, 23:30:40 UTC | remove commented code | 11 November 2019, 23:30:40 UTC |
e09043c | Julie Newcomb | 11 November 2019, 05:52:45 UTC | refined reduction order checker for super_simplifier | 11 November 2019, 23:27:25 UTC |
60485c5 | Andrew Adams | 11 November 2019, 06:27:48 UTC | New rules | 11 November 2019, 06:27:48 UTC |
baed567 | Andrew Adams | 10 November 2019, 21:56:06 UTC | Merge branch 'super_simplify' of https://github.com/Halide/Halide into super_simplify | 10 November 2019, 21:56:06 UTC |
b13e78e | Andrew Adams | 10 November 2019, 21:55:56 UTC | Add more expressions as fodder | 10 November 2019, 21:55:56 UTC |
03ad85e | Andrew Adams | 10 November 2019, 18:14:33 UTC | Div/Mul/Mod rules | 10 November 2019, 18:14:33 UTC |
ba32f80 | Andrew Adams | 10 November 2019, 18:14:08 UTC | Minor predicate synthesis improvements | 10 November 2019, 18:14:08 UTC |
0c6b87c | Andrew Adams | 10 November 2019, 18:13:24 UTC | Include constant-folding rules in the search | 10 November 2019, 18:13:24 UTC |
089539d | Andrew Adams | 10 November 2019, 18:12:20 UTC | Parse not nodes | 10 November 2019, 18:12:20 UTC |
ffd7b5f | Andrew Adams | 10 November 2019, 18:12:06 UTC | Don't try to reassociate folds | 10 November 2019, 18:12:06 UTC |
c756bab | Andrew Adams | 10 November 2019, 06:49:33 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 10 November 2019, 06:49:33 UTC |
85ace5d | Andrew Adams | 10 November 2019, 06:48:17 UTC | Add exprs from autotuning random pipelines | 10 November 2019, 06:48:17 UTC |
504c32a | Andrew Adams | 10 November 2019, 01:27:46 UTC | Add the human-written rules | 10 November 2019, 01:27:46 UTC |
680d9b8 | Andrew Adams | 09 November 2019, 18:15:56 UTC | Fix script | 09 November 2019, 18:15:56 UTC |
8ebf432 | Andrew Adams | 09 November 2019, 18:14:45 UTC | Fix code size results again | 09 November 2019, 18:14:45 UTC |
29d70c5 | Andrew Adams | 09 November 2019, 18:11:34 UTC | Fix code size results | 09 November 2019, 18:11:34 UTC |
9a0bfb9 | Andrew Adams | 09 November 2019, 18:01:41 UTC | Add code size results | 09 November 2019, 18:01:41 UTC |
5bee07d | Andrew Adams | 09 November 2019, 17:24:36 UTC | Update results | 09 November 2019, 17:24:36 UTC |
137620d | Andrew Adams | 09 November 2019, 17:15:22 UTC | Add current results | 09 November 2019, 17:15:22 UTC |
f7a9bb7 | Andrew Adams | 09 November 2019, 01:34:15 UTC | Add script that does benchmarking across a suite of apps | 09 November 2019, 01:34:15 UTC |
957b95c | Andrew Adams | 08 November 2019, 21:12:10 UTC | Add CEGIS early-out | 08 November 2019, 21:12:10 UTC |