9aa9e95 | Steven Johnson | 31 January 2019, 20:56:31 UTC | Fix 64-bit corner cases | 31 January 2019, 20:56:31 UTC |
ae76af5 | Steven Johnson | 31 January 2019, 19:53:23 UTC | Clarify naming | 31 January 2019, 19:53:23 UTC |
7ac169b | Steven Johnson | 31 January 2019, 18:47:40 UTC | Fix test_internal | 31 January 2019, 18:47:40 UTC |
6d190ac | Steven Johnson | 31 January 2019, 18:40:12 UTC | Merge branch 'master' into srj-shl-shr-2 | 31 January 2019, 18:40:12 UTC |
fe205e8 | Steven Johnson | 31 January 2019, 18:25:24 UTC | Merge pull request #3642 from halide/bounds_of_bitwise Bounds inference for shift_left of int32s | 31 January 2019, 18:25:24 UTC |
891131d | Steven Johnson | 31 January 2019, 02:37:45 UTC | Fix test_internal | 31 January 2019, 02:37:45 UTC |
98b0e3c | Steven Johnson | 31 January 2019, 02:17:42 UTC | Fix PR#3647 for unsigned ints Maximum shift amount for unsigned should have been one larger. | 31 January 2019, 02:17:42 UTC |
3bf2364 | Steven Johnson | 31 January 2019, 00:49:57 UTC | Merge branch 'master' into bounds_of_bitwise | 31 January 2019, 00:49:57 UTC |
848d5ce | Steven Johnson | 31 January 2019, 00:49:33 UTC | Single-point optimization case for bitwise ops must use intervals | 31 January 2019, 00:49:33 UTC |
c212ce4 | Steven Johnson | 30 January 2019, 23:59:45 UTC | Merge pull request #3647 from halide/srj-shl-shr Simplify shift_right and shift_left for out-of-range shifts too | 30 January 2019, 23:59:45 UTC |
bc2caaa | Steven Johnson | 30 January 2019, 19:53:59 UTC | Simplify shift_right and shift_left for out-of-range shifts too | 30 January 2019, 19:53:59 UTC |
50e164f | Steven Johnson | 30 January 2019, 17:10:34 UTC | Fix typos | 30 January 2019, 17:10:34 UTC |
9cd9161 | Steven Johnson | 30 January 2019, 17:09:48 UTC | Merge branch 'master' into bounds_of_bitwise | 30 January 2019, 17:09:48 UTC |
72382a4 | Steven Johnson | 30 January 2019, 17:08:05 UTC | Merge pull request #3645 from halide/srj-div Improve failure mode for Simplify(Div) | 30 January 2019, 17:08:05 UTC |
4c32498 | Steven Johnson | 30 January 2019, 17:07:51 UTC | Merge pull request #3646 from halide/fix-boundary-alignment2 Fix falsely promised alignment | 30 January 2019, 17:07:51 UTC |
282260a | Steven Johnson | 30 January 2019, 01:29:32 UTC | Merge branch 'master' into fix-boundary-alignment2 | 30 January 2019, 01:29:32 UTC |
6f0ecba | Steven Johnson | 30 January 2019, 01:28:46 UTC | Merge branch 'master' into srj-div | 30 January 2019, 01:28:46 UTC |
12a1d70 | Steven Johnson | 30 January 2019, 00:40:45 UTC | Merge pull request #3641 from halide/fix_double_remove_interleaves Fix apparent redundant work | 30 January 2019, 00:40:45 UTC |
4b7f0a3 | dsharletg | 30 January 2019, 00:34:24 UTC | Fix it for real. | 30 January 2019, 00:34:24 UTC |
f081f0b | dsharletg | 30 January 2019, 00:32:10 UTC | Fix falsely promised alignment. | 30 January 2019, 00:32:10 UTC |
964c3bd | Andrew Adams | 30 January 2019, 00:31:37 UTC | Account for unbounded intervals | 30 January 2019, 00:31:37 UTC |
605da2c | Steven Johnson | 30 January 2019, 00:08:17 UTC | Merge pull request #3640 from halide/remove_let_stripping_in_can_prove Remove let stripping in can_prove | 30 January 2019, 00:08:17 UTC |
8379420 | Andrew Adams | 30 January 2019, 00:03:39 UTC | Better handling of bitwise and | 30 January 2019, 00:03:39 UTC |
b6a3359 | Steven Johnson | 30 January 2019, 00:01:29 UTC | Improve failure mode for Simplify(Div) There's a path in Simplify(Div) that checks for collapsing a bounded numerator by a constant(ish) denominator, and if the result has a single-point boundary, returns that as the constant value; however, it doesn't verify that the constant value actually fits into the result type, so you can get int64 values that are simply truncated to int32 results. This PR proposes to check for this and return signed_integer_overflow() in these cases. I'm actually a little unsure as to whether this is the right thing or not: on the one hand, this path only occurs for `no_overflow_int` types, so it's arguable that the existing behavior is just fine; that said, I'd argue that if we can trivially detect and prove that an overflow will always occur, we're better off indicating it clearly rather than returning an arbitrary value. (I suppose it depends on whether `signed_integer_overflow` is expected to be in the legal set of values for a no-overflow-int, which is not entirely clear to me.) (The motivation for this change is as a cheap way to detect a set of overflow conditions in bounds_of_expr_in_scope(), which was being addressed in a more heavyweight way in PR#3599.) (On a related note: I was actually quite surprised to find that `make_const()` didn't do a `can_represent()` check internally; I presume this must be deliberate?) | 30 January 2019, 00:01:29 UTC |
b82c27c | Steven Johnson | 29 January 2019, 23:31:06 UTC | Merge pull request #3636 from halide/fewer_lets_when_inlining Don't create unnecessary lets in Inlining | 29 January 2019, 23:31:06 UTC |
ce85b1f | Andrew Adams | 29 January 2019, 21:05:03 UTC | Also handle shift-left of non-int32s | 29 January 2019, 21:05:03 UTC |
054e427 | Andrew Adams | 29 January 2019, 20:46:46 UTC | Bounds inference for shift_left of int32s | 29 January 2019, 20:46:46 UTC |
3cc952b | Andrew Adams | 29 January 2019, 19:41:32 UTC | Fix apparent redundant work | 29 January 2019, 19:41:32 UTC |
c2b3605 | Andrew Adams | 29 January 2019, 18:48:11 UTC | Remove let stripping in can_prove | 29 January 2019, 18:48:11 UTC |
cbc4175 | Steven Johnson | 29 January 2019, 18:21:27 UTC | Merge branch 'master' into fewer_lets_when_inlining | 29 January 2019, 18:21:27 UTC |
aa5ba08 | Andrew Adams | 29 January 2019, 18:18:20 UTC | Merge pull request #3632 from halide/fix-dead-lets Remove dead lets more thoroughly. Fixes #3631 | 29 January 2019, 18:18:20 UTC |
b34a517 | Andrew Adams | 29 January 2019, 18:17:33 UTC | Merge pull request #3617 from halide/fix_3616 Types of 32-bit float intrinsics must be a 32-bit float | 29 January 2019, 18:17:33 UTC |
96e1a84 | dsharletg | 29 January 2019, 17:55:09 UTC | Merge branch 'master' of https://github.com/halide/Halide into fix-dead-lets | 29 January 2019, 17:55:09 UTC |
2c9b18e | Steven Johnson | 29 January 2019, 17:38:44 UTC | Merge pull request #3628 from halide/bounds_of_bitwise Fix bounds of bitwise ops | 29 January 2019, 17:38:44 UTC |
51499b9 | Steven Johnson | 29 January 2019, 17:38:24 UTC | Merge pull request #3627 from halide/srj-nan Fix simplification of Halide::is_nan (Issue #3624) | 29 January 2019, 17:38:24 UTC |
90e47c0 | Steven Johnson | 29 January 2019, 02:01:15 UTC | Merge pull request #3637 from halide/srj-inline Partial revert of #3612 | 29 January 2019, 02:01:15 UTC |
90e2818 | Steven Johnson | 29 January 2019, 01:55:52 UTC | Merge pull request #3634 from halide/srj-llvm-checks Restructure LLVM ifdefs | 29 January 2019, 01:55:52 UTC |
fa4a9ee | Dillon Sharlet | 29 January 2019, 01:28:45 UTC | Merge pull request #3630 from halide/fix-shuffles Remove overzealous check when extracting even/odd lanes of a vector | 29 January 2019, 01:28:45 UTC |
fa0a5c5 | Dillon Sharlet | 28 January 2019, 23:58:15 UTC | Merge pull request #3626 from halide/debug-dump-so Dump Hexagon shared objects in debug builds | 28 January 2019, 23:58:15 UTC |
2dc4fa0 | Steven Johnson | 28 January 2019, 22:05:52 UTC | Partial revert of #3612 | 28 January 2019, 22:05:52 UTC |
d93495e | Andrew Adams | 28 January 2019, 22:04:13 UTC | Don't create unnecessary lets in Inlining | 28 January 2019, 22:04:13 UTC |
bc67444 | dsharletg | 28 January 2019, 21:39:44 UTC | Merge branch 'master' of https://github.com/halide/Halide into fix-shuffles | 28 January 2019, 21:39:44 UTC |
332dde0 | Steven Johnson | 28 January 2019, 19:26:19 UTC | More fixes | 28 January 2019, 19:26:19 UTC |
8b10e5c | Steven Johnson | 28 January 2019, 19:25:12 UTC | Merge branch 'master' into srj-llvm-checks | 28 January 2019, 19:25:12 UTC |
7b45deb | Andrew Adams | 28 January 2019, 19:24:29 UTC | Merge remote-tracking branch 'origin/master' into bounds_of_bitwise | 28 January 2019, 19:24:29 UTC |
a5b397f | Andrew Adams | 28 January 2019, 19:21:50 UTC | Merge pull request #3623 from halide/avx_paddusw_fix Enable some 256-bit integer ops for AVX | 28 January 2019, 19:21:50 UTC |
f36762f | Steven Johnson | 28 January 2019, 19:18:43 UTC | Restructure LLVM ifdefs Minor, but: Restructure so that all ifdefs are of the form #ifdef LLVM_VERSION >= someversion (vs < someversion); this makes scanning thru code to look for LLVM dependencies less error prone. (Obviously the intent is to standardize on this for future changes as well.) This does mean that we have a couple if awkward "nothing" clauses, but IMHO it's a minor nit to make version-checking more uniform and reliable. | 28 January 2019, 19:18:43 UTC |
90fe67a | Steven Johnson | 28 January 2019, 18:35:56 UTC | Merge branch 'master' into srj-nan | 28 January 2019, 18:35:56 UTC |
d912454 | dsharletg | 27 January 2019, 20:42:58 UTC | Add comment explaining redundant var usage tracking. | 27 January 2019, 20:42:58 UTC |
63b0709 | dsharletg | 27 January 2019, 20:21:37 UTC | Fix hack. | 27 January 2019, 20:21:37 UTC |
508df8e | dsharletg | 27 January 2019, 19:26:28 UTC | Remove dead lets more thoroughly. Fixes #3631 | 27 January 2019, 19:26:28 UTC |
3fce5b8 | dsharletg | 27 January 2019, 00:32:37 UTC | Oops | 27 January 2019, 00:32:37 UTC |
78b815f | dsharletg | 26 January 2019, 23:23:48 UTC | Fix unused variable. | 26 January 2019, 23:23:48 UTC |
8316310 | dsharletg | 26 January 2019, 23:00:13 UTC | Remove overzealous check when extracting even/odd lanes of a vector. | 26 January 2019, 23:00:13 UTC |
5e86106 | Andrew Adams | 26 January 2019, 00:45:56 UTC | Merge remote-tracking branch 'origin/master' into bounds_of_bitwise | 26 January 2019, 00:45:56 UTC |
7fa323b | Andrew Adams | 26 January 2019, 00:42:45 UTC | Add explanatory text | 26 January 2019, 00:42:45 UTC |
0c01706 | dsharletg | 26 January 2019, 00:36:56 UTC | Fix file leak. | 26 January 2019, 00:36:56 UTC |
a508781 | Steven Johnson | 26 January 2019, 00:35:45 UTC | Merge pull request #3625 from halide/revert-3607-bounds_of_bitwise Revert "Bounds of bitwise ops" | 26 January 2019, 00:35:45 UTC |
024c65d | Andrew Adams | 26 January 2019, 00:35:19 UTC | Merge remote-tracking branch 'origin/master' into avx_paddusw_fix | 26 January 2019, 00:35:19 UTC |
64d1f16 | Andrew Adams | 26 January 2019, 00:33:59 UTC | Handle integer arguments to floor/ceil/trunc/round | 26 January 2019, 00:33:59 UTC |
8aad3a3 | Andrew Adams | 26 January 2019, 00:22:51 UTC | Merge remote-tracking branch 'origin/master' into bounds_of_bitwise | 26 January 2019, 00:22:51 UTC |
6114f63 | Andrew Adams | 26 January 2019, 00:22:14 UTC | Fix bounds of bitwise ops | 26 January 2019, 00:22:14 UTC |
8d37d3d | Steven Johnson | 26 January 2019, 00:18:10 UTC | Fix simplification is Halide::is_nan - only float32 was handled - return type for constants was int but should be bool | 26 January 2019, 00:18:10 UTC |
f24d3a1 | dsharletg | 26 January 2019, 00:14:50 UTC | When the debug target flag is set, write Hexagon shared objects being loaded to the current directory. | 26 January 2019, 00:14:50 UTC |
0f098f3 | Steven Johnson | 25 January 2019, 23:56:45 UTC | Revert "Bounds of bitwise ops" | 25 January 2019, 23:56:45 UTC |
6df0f8a | Dillon Sharlet | 25 January 2019, 22:27:04 UTC | Merge pull request #3620 from halide/print-hexagon-base-address Print Hexagon modules as pointers | 25 January 2019, 22:27:04 UTC |
1849db9 | Steven Johnson | 25 January 2019, 18:39:57 UTC | Merge pull request #3615 from halide/srj-rg Fix glitch in RunGen | 25 January 2019, 18:39:57 UTC |
5aa3c01 | Andrew Adams | 25 January 2019, 17:45:35 UTC | LLVM really wants to use a 256-bit register, even when the instruction doesn't exist | 25 January 2019, 17:45:35 UTC |
292e20b | Andrew Adams | 25 January 2019, 17:44:46 UTC | Merge pull request #3618 from halide/ataei-block_asserts-codegen Block asserts into switch statements | 25 January 2019, 17:44:46 UTC |
5332046 | dsharletg | 25 January 2019, 06:20:21 UTC | Print modules as pointers. | 25 January 2019, 06:20:21 UTC |
46f432a | Ahmed Taei | 25 January 2019, 00:20:13 UTC | Remove commented experimental code | 25 January 2019, 00:20:36 UTC |
d3da3a3 | Andrew Adams | 23 January 2019, 00:48:50 UTC | Experimentally use switch stmts for blocks of assertions | 24 January 2019, 22:09:57 UTC |
66e77ea | Andrew Adams | 24 January 2019, 22:00:14 UTC | Types of 32-bit float intrinsics must be a 32-bit float | 24 January 2019, 22:00:14 UTC |
39af18f | Steven Johnson | 24 January 2019, 20:28:45 UTC | Fix glitch in RunGen When --default_input was added, the ability to infer the output shape from the first input was lost; this is useful for many uses. Also fix rogue space. | 24 January 2019, 20:28:45 UTC |
8fa95e6 | Andrew Adams | 24 January 2019, 17:37:01 UTC | Merge pull request #3612 from halide/ataei-speedup_compiletime Bound CSE calls for function inlining | 24 January 2019, 17:37:01 UTC |
69497fa | Andrew Adams | 24 January 2019, 17:35:35 UTC | Merge remote-tracking branch 'origin/master' into ataei-speedup_compiletime | 24 January 2019, 17:35:35 UTC |
2f8e54b | Andrew Adams | 24 January 2019, 17:34:11 UTC | Merge pull request #3611 from halide/check_types_as_u32s Check types as uint32_t | 24 January 2019, 17:34:11 UTC |
4ce313f | Andrew Adams | 24 January 2019, 17:33:07 UTC | Merge pull request #3607 from halide/bounds_of_bitwise Bounds of bitwise ops | 24 January 2019, 17:33:07 UTC |
740b153 | Andrew Adams | 24 January 2019, 17:32:46 UTC | Merge pull request #3597 from halide/track_alignment_in_ir Track alignment in ir | 24 January 2019, 17:32:46 UTC |
a7eb5ee | Andrew Adams | 24 January 2019, 02:20:02 UTC | Fix bug in partition loops | 24 January 2019, 02:20:02 UTC |
fa37a61 | Ahmed Taei | 24 January 2019, 00:21:19 UTC | Use ScopedValue<T> | 24 January 2019, 00:21:19 UTC |
7ddf5dc | Andrew Adams | 11 November 2018, 00:23:53 UTC | Avoid unnecessary CSE | 24 January 2019, 00:01:18 UTC |
1f914f9 | Andrew Adams | 23 January 2019, 22:31:18 UTC | Add test that measures how compile times scale with an increasing number of inputs | 23 January 2019, 23:58:04 UTC |
8904cfc | Steven Johnson | 23 January 2019, 23:31:35 UTC | Merge pull request #3601 from halide/srj-cast Propagate signed_integer_overflow and indeterminate_expressions thru Casts | 23 January 2019, 23:31:35 UTC |
3d53860 | Andrew Adams | 23 January 2019, 22:48:07 UTC | Do type checks as uint32 comparisons | 23 January 2019, 22:48:07 UTC |
75c5fe6 | Andrew Adams | 23 January 2019, 22:45:29 UTC | Merge remote-tracking branch 'origin/compile_time_scalability_benchmark' into check_types_as_u32s | 23 January 2019, 22:45:29 UTC |
5a21bc4 | Andrew Adams | 23 January 2019, 22:39:41 UTC | Merge remote-tracking branch 'origin/master' into track_alignment_in_ir | 23 January 2019, 22:39:41 UTC |
355f776 | Andrew Adams | 23 January 2019, 22:33:26 UTC | Merge pull request #3609 from halide/srj-doc Document fast_inverse and fast_inverse_sqrt variation | 23 January 2019, 22:33:26 UTC |
a1de91b | Andrew Adams | 23 January 2019, 22:31:18 UTC | Add test that measures how compile times scale with an increasing number of inputs | 23 January 2019, 22:31:18 UTC |
f3002bb | Steven Johnson | 23 January 2019, 22:28:53 UTC | Document fast_inverse and fast_inverse_sqrt variation These are known to produce trivially different results on different implementations of the same architecture (eg AMD vs Intel), even when strict_float is used, and should be documented as such. | 23 January 2019, 22:28:53 UTC |
0085940 | Steven Johnson | 23 January 2019, 22:23:32 UTC | Move to free functions in IROperator | 23 January 2019, 22:23:32 UTC |
ea9bfdc | Steven Johnson | 23 January 2019, 22:12:40 UTC | Merge branch 'master' into srj-cast | 23 January 2019, 22:12:40 UTC |
0392970 | Steven Johnson | 23 January 2019, 22:12:17 UTC | Merge pull request #3602 from halide/srj-irmut Rename IRMutator2 -> IRMutator | 23 January 2019, 22:12:17 UTC |
9677b61 | Andrew Adams | 23 January 2019, 20:35:58 UTC | Fix test | 23 January 2019, 20:35:58 UTC |
afc8a32 | Andrew Adams | 23 January 2019, 19:31:05 UTC | Bounds of bitwise ops | 23 January 2019, 19:31:05 UTC |
2ef9358 | Andrew Adams | 23 January 2019, 18:41:32 UTC | Fix simd_op_check for avx | 23 January 2019, 18:41:32 UTC |
9ef8de4 | Andrew Adams | 23 January 2019, 18:10:31 UTC | Merge remote-tracking branch 'origin/master' into track_alignment_in_ir | 23 January 2019, 18:10:31 UTC |
435dfc7 | Andrew Adams | 23 January 2019, 18:02:33 UTC | Merge pull request #3606 from BachiLi/fix_makefile_comment Fix makefile comments on individual tests | 23 January 2019, 18:02:33 UTC |
30dd264 | Tzu-Mao Li | 23 January 2019, 17:59:27 UTC | Fix makefile comments on individual tests | 23 January 2019, 17:59:27 UTC |
5a88c64 | Steven Johnson | 23 January 2019, 17:55:03 UTC | Merge pull request #3603 from halide/srj-xor Add bitwise_xor to Simplifier | 23 January 2019, 17:55:03 UTC |