 |
Post AzwbJEkSWQ39mb6ErI by [email protected] |
 |
More posts by [email protected] |
|
Post #AzwYlGWfCtajXdJvbk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
kinda random thing I hadn't seen a compiler do before-- LLVM will convert a… |
|
|
|
Post #AzwYlGeoia75wv8RJg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr (This might be a dumb q, but why is it called an "induction variab… |
|
|
|
Post #AzwYlGmyEGdSMCwx1c by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@cr1901 @regehr because the compiler does a proof-by-induction as part of the o… |
|
|
|
Post #AzwYlGrZx8K0aV6dCy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
ok as @gtw pointed out, LLVM doesn't have sufficient safety checks on this … |
|
|
|
Post #AzwYlHCqg3KreT3cMS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gtw reported.https://github.com/llvm/llvm-project/issues/166496 |
|
|
|
Post #AzwbJEdMwmNXQbmZo8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@atax1a @regehr What's the base case and induction step? |
|
|
|
Post #AzwbJEkSWQ39mb6ErI by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@cr1901 @regehr in that code in particular? the base case is f = 10000.0 and th… |
|
|
|
Post #AzwdGWFzAXvV7kg5Oi by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@cr1901 a similar induction comes up with pointer variables in for (node *n = h… |
|
|
|
Post #B00VFz54Ujb1EHe8jg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @gtw Honestly, why does this optimization exist in the first place, and… |
|
|
|
Post #B00VFzCW33YDbN85L6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @regehr @gtw check out commit https://github.com/llvm/llvm-project/com… |
|
|
|
Post #B00VFzJbchDpxMRkOG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dotstdy @zwarich @gtw wow, I had no idea LLVM had been doing this for so long |
|
|
|
Post #B00VFzR3B1B2KRvgzg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @dotstdy @zwarich @gtw I believe this commit is the origin of it: https… |
|
|
|
Post #B00VFzd6SComvpZJmS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @regehr @dotstdy @zwarich @gtw Wow, one test in that commit! Today, o… |
|
|
|
Post #B00VFzlbwZcjMDY72e by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @regehr @dotstdy @zwarich @gtw There's also this mysterious thing… |
|
|
|
Post #B00VFzshWDILiCrm5o by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @regehr @dotstdy @zwarich @gtw I think the rationale for adding that … |
|
|
|
Post #B00VFzz58UOo1zqs2S by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@artagnon @resistor @dotstdy @zwarich @gtw yeah, I'm not seeing the integer… |
|
|
|
Post #B00VG0kEJC74ODuWWm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @regehr @dotstdy @zwarich @gtw See https://github.com/llvm/llvm-proje… |
|
|
|
Post #B00VG1BseOENlyqbcu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @regehr @dotstdy @zwarich @gtw Again, this was added because LLVM did… |
|
|
|
Post #B00VKixRroBifmLCfg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @dotstdy @zwarich @gtw ancient LLVM history!!! |
|
|
|
Post #B00VKj3TVP0ayTA144 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @dotstdy @zwarich @gtw Thanks for making me feel old(er) |
|
|
|
Post #B00VKj9V8zpTH9ypSS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor @dotstdy @zwarich @gtw it was fun seeing a few old hands at the dev m… |
|
|
|
Post #B00VKjEopE5BXeT4kK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr Unfortunately I missed being in CA for it by just a couple of weeks. :-( |
|
|
|
Post #B00VKjLYQBTDsXcSFE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr I still remember fixing lots of volatile bugs that you reported |
|
|
|
Post #B00VKjRE560WA8Gz5M by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@resistor ha, hope it was fun! I still wonder if it would have been better for … |
|
|
|
Post #B00VKjWtk0XoRivVvU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @resistor gcc has had the similar issues with volatile on the gimple le… |
|
|
|
Post #B00VKjcZOv56jJa2lc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pinskia @resistor yeah, we tested GCC and LLVM around the same time and found … |
