Thread overview
[Issue 13976] Value range propagation to disable some slice bound tests
Jan 13, 2015
Kenji Hara
Jan 15, 2015
Per Nordlöw
Jan 16, 2015
Per Nordlöw
January 13, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |performance, pull

--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> ---
https://github.com/D-Programming-Language/dmd/pull/4293

--
January 14, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

github-bugzilla@puremagic.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--
January 14, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

--- Comment #2 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/d80902bc7afd3be44249b6a15c97afdb42cf79bc fix Issue 13976 - Value range propagation to disable some slice bound tests

https://github.com/D-Programming-Language/dmd/commit/68260d6cbaff13e93257bdba97d9d868a76b0dda Merge pull request #4293 from 9rnsr/fix13976

Issue 13976 - Value range propagation to disable some slice bound tests

--
January 15, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

Per Nordlöw <per.nordlow@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |per.nordlow@gmail.com

--- Comment #3 from Per Nordlöw <per.nordlow@gmail.com> ---
Does this include avoiding range checking in expressions such as

```D
x[0 .. $/2, $2..$]
```

which is a reoccurring pattern in D-style binary divide-and-conquer algorithms.

It would be super-cool if it worked for

rational variants with slice indexes in the form

```D
$*p/q
```
where it can be statically proven that `p <= q`.

--
January 16, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

--- Comment #4 from Per Nordlöw <per.nordlow@gmail.com> ---
Correction:

x[0 .. $/2, $2..$]

should of course be

x[0 .. $/2, $/2..$]

--
February 19, 2015
https://issues.dlang.org/show_bug.cgi?id=13976

--- Comment #5 from github-bugzilla@puremagic.com ---
Commits pushed to 2.067 at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/d80902bc7afd3be44249b6a15c97afdb42cf79bc fix Issue 13976 - Value range propagation to disable some slice bound tests

https://github.com/D-Programming-Language/dmd/commit/68260d6cbaff13e93257bdba97d9d868a76b0dda Merge pull request #4293 from 9rnsr/fix13976

--