825d863 | Andrew Adams | 22 May 2018, 21:11:35 UTC | Add stripped-down version of simplifier | 22 May 2018, 21:11:35 UTC |
71a2683 | Andrew Adams | 22 May 2018, 21:09:44 UTC | Fix transposed args | 22 May 2018, 21:09:44 UTC |
0ce1b07 | Andrew Adams | 15 May 2018, 17:31:20 UTC | Add some missing rules | 15 May 2018, 17:31:20 UTC |
114392e | Andrew Adams | 11 May 2018, 02:29:56 UTC | Handle selects with an indeterminate expression on one side | 11 May 2018, 02:29:56 UTC |
ac94fd4 | Andrew Adams | 09 May 2018, 19:27:38 UTC | Merge remote-tracking branch 'origin/master' into metaprogrammed_simplifier_rules | 09 May 2018, 19:27:38 UTC |
5307e40 | Andrew Adams | 08 May 2018, 17:40:48 UTC | Remove one more extraneous brace | 09 May 2018, 19:23:38 UTC |
8444f78 | Andrew Adams | 08 May 2018, 17:30:48 UTC | Clean up some missing braces | 09 May 2018, 19:23:38 UTC |
5e17a20 | Andrew Adams | 08 May 2018, 17:22:46 UTC | Some clang-format suggestions In order to create merge conflicts and inflate my github stats. | 09 May 2018, 19:23:38 UTC |
c152d12 | Andrew Adams | 08 May 2018, 19:52:17 UTC | Some new comparison rules | 08 May 2018, 19:52:17 UTC |
341f734 | Steven Johnson | 08 May 2018, 17:49:40 UTC | Merge pull request #2938 from halide/srj-features Update feature maps | 08 May 2018, 17:49:40 UTC |
bd295d9 | Andrew Adams | 08 May 2018, 15:41:21 UTC | Try to appease MSVC, which picks strange options for overload resolution | 08 May 2018, 15:41:21 UTC |
440fdcd | Andrew Adams | 08 May 2018, 03:14:30 UTC | MSVC doesn't like __restrict__ | 08 May 2018, 03:14:30 UTC |
5e6f54b | Andrew Adams | 07 May 2018, 19:51:18 UTC | Fix compiler warning | 07 May 2018, 19:51:18 UTC |
de4da28 | Shoaib Kamil | 07 May 2018, 19:36:52 UTC | Merge pull request #2943 from halide/shoaibkamil-llvm-object-list Use system libraries when creating LLVM object list | 07 May 2018, 19:36:52 UTC |
2b1b265 | Andrew Adams | 07 May 2018, 18:26:29 UTC | Some more LT rules | 07 May 2018, 18:26:29 UTC |
9339543 | Andrew Adams | 07 May 2018, 16:19:21 UTC | Remove debugging print | 07 May 2018, 16:19:21 UTC |
7940288 | Andrew Adams | 07 May 2018, 16:17:36 UTC | Constant folding for indeterminate and overflow | 07 May 2018, 16:17:36 UTC |
c5bf781 | Andrew Adams | 07 May 2018, 15:43:40 UTC | Fix transposed bounds | 07 May 2018, 15:43:40 UTC |
84e3fac | Andrew Adams | 07 May 2018, 15:40:33 UTC | Remove unnecessary complexity (type inference for patterns) | 07 May 2018, 15:40:33 UTC |
0fa029e | Andrew Adams | 07 May 2018, 15:10:12 UTC | Fix everything-used-on-host bug | 07 May 2018, 15:10:12 UTC |
8b85c6d | Andrew Adams | 07 May 2018, 03:14:07 UTC | Delete a bunch of complexity that served a single obscure rule | 07 May 2018, 03:14:07 UTC |
144d5b2 | Andrew Adams | 07 May 2018, 01:18:12 UTC | Add static assert to catch the typo I just made | 07 May 2018, 01:18:12 UTC |
535b1b3 | Shoaib Kamil | 06 May 2018, 20:58:25 UTC | Use system libraries when creating llvm object list | 06 May 2018, 20:58:25 UTC |
0ef0398 | Andrew Adams | 05 May 2018, 03:18:10 UTC | On second thought, leave divisions inside Max args | 05 May 2018, 03:18:10 UTC |
ed64928 | Andrew Adams | 05 May 2018, 02:30:06 UTC | Fix for ARM codegen peepholing | 05 May 2018, 02:30:06 UTC |
20317a5 | Andrew Adams | 05 May 2018, 00:46:21 UTC | Make bounds test account for smarter simplification | 05 May 2018, 00:46:21 UTC |
c1e2bfe | Andrew Adams | 04 May 2018, 22:55:38 UTC | Fix type of hoist | 04 May 2018, 22:55:38 UTC |
0e7dba4 | Andrew Adams | 04 May 2018, 22:27:36 UTC | Make some rules integer-only | 04 May 2018, 22:27:36 UTC |
bdfffaf | Andrew Adams | 04 May 2018, 22:21:45 UTC | make storage_folding test not fail any proofs | 04 May 2018, 22:21:45 UTC |
1a2dd16 | Andrew Adams | 04 May 2018, 22:21:13 UTC | Exploit loop bounds in folding | 04 May 2018, 22:21:13 UTC |
c513a9a | Andrew Adams | 04 May 2018, 20:30:25 UTC | Don't try to fuzz pointer values | 04 May 2018, 20:30:25 UTC |
9cccad5 | Andrew Adams | 04 May 2018, 20:22:06 UTC | More aggressive exploitation of conditions in simplifier | 04 May 2018, 20:22:06 UTC |
1e317d1 | Andrew Adams | 04 May 2018, 18:36:50 UTC | Fix specialize test The simplifier was now converting the tail case into an if, because it could prove it ran for at most one iteration. This was incorrectly detected as a failed attempt to remove the if from the nested specialization. | 04 May 2018, 18:36:50 UTC |
9ef7988 | Steven Johnson | 04 May 2018, 18:20:12 UTC | Merge branch 'master' into srj-features | 04 May 2018, 18:20:12 UTC |
27daa74 | Andrew Adams | 04 May 2018, 18:16:10 UTC | Don't inline EVAL_IN_LAMBDA | 04 May 2018, 18:16:10 UTC |
a017687 | Andrew Adams | 04 May 2018, 18:10:40 UTC | Negating -128 doesn't count as overflow in int8 | 04 May 2018, 18:10:40 UTC |
7c6ce8a | Andrew Adams | 04 May 2018, 17:57:42 UTC | Exploit falsehood of assert condition in its message | 04 May 2018, 17:57:42 UTC |
7f788a0 | Andrew Adams | 04 May 2018, 17:56:25 UTC | Trim includes in Simplify.cpp | 04 May 2018, 17:56:25 UTC |
136eb41 | Andrew Adams | 04 May 2018, 17:56:16 UTC | Remove unused Simplify_Load | 04 May 2018, 17:56:16 UTC |
9c70719 | Andrew Adams | 04 May 2018, 17:53:29 UTC | Drive by fix of #2882 Now that assert stmts exploit their condition in the following code, | 04 May 2018, 17:53:29 UTC |
50a391d | Andrew Adams | 04 May 2018, 17:52:33 UTC | Break the simplify visitors into individual files Simplify.cpp took several minutes to compile with gcc. Breaking it up improves parallel compile times, and provides incremental compilation (which is great when adding new simplifier rules). | 04 May 2018, 17:52:33 UTC |
11dcb32 | Steven Johnson | 04 May 2018, 17:43:03 UTC | Merge pull request #2935 from halide/srj-asan Add AddressSanitizer support. | 04 May 2018, 17:43:03 UTC |
a0b8174 | Steven Johnson | 04 May 2018, 17:42:39 UTC | Merge pull request #2936 from halide/srj-popcount Bounds for popc/clz/ctz needs to be scalar | 04 May 2018, 17:42:39 UTC |
ed0c719 | Andrew Adams | 04 May 2018, 16:18:52 UTC | Don't fold things in ways that trigger overflow | 04 May 2018, 16:18:52 UTC |
b995866 | Andrew Adams | 04 May 2018, 15:52:45 UTC | Break LT into multiple lambdas | 04 May 2018, 15:52:45 UTC |
d126061 | Andrew Adams | 04 May 2018, 15:52:04 UTC | Remove vestiges of run-time validation toggle | 04 May 2018, 15:52:04 UTC |
e59dce6 | Andrew Adams | 04 May 2018, 15:38:40 UTC | Reduce Simplify.cpp compile time | 04 May 2018, 15:38:40 UTC |
bd7121e | Patricia Suriana | 04 May 2018, 08:40:28 UTC | Merge pull request #2783 from halide/auto_sched_estimates Propagate estimates for InputParams and Params when computing region required | 04 May 2018, 08:40:28 UTC |
b9ee6e8 | Andrew Adams | 04 May 2018, 03:28:22 UTC | Fix let var handling | 04 May 2018, 03:28:22 UTC |
6d8486a | Andrew Adams | 04 May 2018, 02:16:27 UTC | Inner lets shouldn't be constant-substituted | 04 May 2018, 02:16:27 UTC |
ffc5155 | Steven Johnson | 04 May 2018, 00:52:43 UTC | Merge pull request #2939 from halide/srj-as Fix tutorial 21 (Issue #2933) | 04 May 2018, 00:52:43 UTC |
a37f132 | Steven Johnson | 04 May 2018, 00:16:18 UTC | FIx tutorial 21 The instructions at the top were completely wrong and probably always have been; fixed. Also updated the auto-schedule produced comment (since the numbers are now topological order). | 04 May 2018, 00:16:18 UTC |
b8bf48b | Steven Johnson | 03 May 2018, 23:46:20 UTC | Update feature maps The maps in PyEnums.cpp and halide.cmake had gone stale. Also added comment to Target.cpp about updating those in tandem with the main one. | 03 May 2018, 23:46:20 UTC |
4969310 | Andrew Adams | 03 May 2018, 23:11:33 UTC | Expressions with loads don't fold | 03 May 2018, 23:11:33 UTC |
8585c30 | Steven Johnson | 03 May 2018, 23:08:08 UTC | Merge pull request #2937 from halide/srj-generr2 Make types(), dim(), etc const again | 03 May 2018, 23:08:08 UTC |
f6526fc | Steven Johnson | 03 May 2018, 22:52:36 UTC | Update halide.bzl and Makefile | 03 May 2018, 22:52:36 UTC |
b2f97d6 | Steven Johnson | 03 May 2018, 22:43:58 UTC | Merge branch 'master' into srj-asan | 03 May 2018, 22:43:58 UTC |
f72a59d | Steven Johnson | 03 May 2018, 22:21:07 UTC | Merge pull request #2908 from halide/srj-tsan Add support for ThreadSanitizer | 03 May 2018, 22:21:07 UTC |
db79708 | Andrew Adams | 03 May 2018, 22:00:27 UTC | Add failed-proof fuzzing | 03 May 2018, 22:00:27 UTC |
e988ce7 | Steven Johnson | 03 May 2018, 20:34:13 UTC | Only test vectorized popc/ctz/clz on x86 | 03 May 2018, 20:34:13 UTC |
31a34e3 | Andrew Adams | 03 May 2018, 20:29:16 UTC | Merge remote-tracking branch 'origin/master' into metaprogrammed_simplifier_rules | 03 May 2018, 20:29:16 UTC |
3fc5b6d | Steven Johnson | 03 May 2018, 19:58:43 UTC | Make types(), dim(), etc const again These were de-constifying recently, but downstream code relies on them being const. Use mutable fields instead. | 03 May 2018, 19:58:43 UTC |
4c5d95a | Steven Johnson | 03 May 2018, 19:01:41 UTC | Add braces to if stmt | 03 May 2018, 19:01:41 UTC |
155d304 | Steven Johnson | 03 May 2018, 18:55:52 UTC | Bounds for popc/clz/ctz needs to be scalar Downstream code will fail if it encounters vector values in Intervals (eg BoundSmallAllocations); the code added in https://github.com/halide/Halide/pull/2896 needs to ensure the interval created is scalar. | 03 May 2018, 18:55:52 UTC |
474a002 | Steven Johnson | 03 May 2018, 18:29:51 UTC | Fix rename/purify split | 03 May 2018, 18:29:51 UTC |
f4143ff | Andrew Adams | 03 May 2018, 18:21:03 UTC | Add automated fuzz testing of rewrite rules and fix the bugs found | 03 May 2018, 18:21:03 UTC |
1c7669e | Steven Johnson | 03 May 2018, 18:17:29 UTC | Smarten racy-split warnings per abadam's suggestions | 03 May 2018, 18:17:29 UTC |
ba2ea3e | Zalman Stern | 03 May 2018, 06:54:26 UTC | Filter synchronization routines out of TSan annotation set. | 03 May 2018, 06:54:26 UTC |
9f7678a | Steven Johnson | 03 May 2018, 01:49:18 UTC | Also add ASAN module pass | 03 May 2018, 01:49:18 UTC |
89cbde0 | Steven Johnson | 03 May 2018, 01:46:16 UTC | Merge branch 'master' into srj-asan | 03 May 2018, 01:46:16 UTC |
7ebfbb2 | Steven Johnson | 03 May 2018, 01:39:53 UTC | Smarten the racy-shift-inwards warning | 03 May 2018, 01:39:53 UTC |
fbca9fb | Steven Johnson | 02 May 2018, 23:46:56 UTC | Fix legitimately racy code in AOT tests | 02 May 2018, 23:46:56 UTC |
c784d31 | Steven Johnson | 02 May 2018, 22:45:14 UTC | Emit warnings for ShiftInwards and allow_race_conditions() for TSAN targets. | 02 May 2018, 22:45:14 UTC |
27078de | Steven Johnson | 02 May 2018, 22:05:48 UTC | Tweak the Makefile flags for sanitizer settings | 02 May 2018, 22:05:48 UTC |
7f1b367 | Zalman Stern | 02 May 2018, 19:41:54 UTC | Add TSan interface annotations to fast sync API. | 02 May 2018, 19:41:54 UTC |
2be6194 | Zalman Stern | 02 May 2018, 17:47:45 UTC | Merge branch 'master' into srj-tsan | 02 May 2018, 17:47:45 UTC |
29c985a | Steven Johnson | 01 May 2018, 22:13:51 UTC | Instead of adding stack allocation padding, treat all buffers as external for ASAN mode | 01 May 2018, 22:13:51 UTC |
d59dd10 | Andrew Adams | 01 May 2018, 21:46:41 UTC | Constrain mod rule | 01 May 2018, 21:46:41 UTC |
3d98160 | Steven Johnson | 01 May 2018, 21:41:16 UTC | Add allocation_padding to stack_size in ASAN mode | 01 May 2018, 21:41:16 UTC |
8d92b2d | Zalman Stern | 01 May 2018, 21:15:39 UTC | Merge pull request #2928 from halide/srj-generr Improve Generator error messages | 01 May 2018, 21:15:39 UTC |
0dc3db0 | Andrew Adams | 01 May 2018, 20:55:39 UTC | Fix bug in max rule | 01 May 2018, 20:55:39 UTC |
961ec02 | Steven Johnson | 01 May 2018, 20:26:01 UTC | Cast buf.host to void* for output Otherwise we may decide to output as char*, which could lead to amusing output failures | 01 May 2018, 20:26:01 UTC |
03b8359 | Steven Johnson | 01 May 2018, 20:00:18 UTC | Merge pull request #2926 from halide/srj-tracedim VectorizeLoops needs to specialize Call::trace even more | 01 May 2018, 20:00:18 UTC |
e2d8175 | Andrew Adams | 01 May 2018, 19:48:18 UTC | Fix infinite loop in some mod/div cancellation rules | 01 May 2018, 19:48:18 UTC |
870398e | Andrew Adams | 01 May 2018, 18:40:30 UTC | Fix LT bugs | 01 May 2018, 18:40:30 UTC |
262ae59 | Steven Johnson | 01 May 2018, 18:28:05 UTC | A few more minor fixes | 01 May 2018, 18:28:05 UTC |
30ce257 | Steven Johnson | 01 May 2018, 18:23:30 UTC | WIP | 01 May 2018, 18:23:30 UTC |
31a659f | Andrew Adams | 01 May 2018, 18:15:18 UTC | Rename macro. Reindent. | 01 May 2018, 18:15:18 UTC |
d73fe15 | Andrew Adams | 01 May 2018, 18:13:53 UTC | Don't need to force-on optimizations with the lambda trick | 01 May 2018, 18:13:53 UTC |
f217725 | Andrew Adams | 01 May 2018, 17:53:29 UTC | Expand on comment a little more | 01 May 2018, 17:53:29 UTC |
251e8ab | Andrew Adams | 01 May 2018, 17:31:12 UTC | Reinline predicate evaluation, and use a macro to get the rewriter temporaries out of the recursive path for compilers that refuse to inline them away | 01 May 2018, 17:31:12 UTC |
1c96897 | Steven Johnson | 01 May 2018, 17:00:14 UTC | Update Python error message | 01 May 2018, 17:00:14 UTC |
f44b114 | Andrew Adams | 01 May 2018, 15:46:50 UTC | out-line the predicate checks. No impact on performance. | 01 May 2018, 15:46:50 UTC |
e14ed69 | Andrew Adams | 01 May 2018, 03:39:04 UTC | Perfect forwarding was hurting | 01 May 2018, 03:39:04 UTC |
15ee4f7 | Andrew Adams | 01 May 2018, 03:19:19 UTC | Add explicit never-inline | 01 May 2018, 03:19:19 UTC |
045beb9 | Andrew Adams | 01 May 2018, 02:44:41 UTC | Stack and compile-time frame taming for gcc | 01 May 2018, 02:44:41 UTC |
091fb4c | Steven Johnson | 01 May 2018, 00:56:54 UTC | Ensure that Output<Func>'s type() and dim() methods are valid after output is defined | 01 May 2018, 00:56:54 UTC |
f027298 | Steven Johnson | 01 May 2018, 00:09:56 UTC | Also improve error messages for missing-type/dim/arraysize definitions | 01 May 2018, 00:09:56 UTC |
3907caf | Steven Johnson | 30 April 2018, 23:19:24 UTC | Improve Generator error messages - If a bad GeneratorParam is specified, name the Generator for which it failed - if a synthetic param is specified that isn't settable (ie a .type for which one is concretely specified), give an error message indicating it isn't settable, rather than that it is "missing" | 30 April 2018, 23:19:24 UTC |
5c4ac85 | Andrew Adams | 30 April 2018, 22:38:43 UTC | Fix redundant/missing rule | 30 April 2018, 22:38:43 UTC |