<feed xmlns='http://www.w3.org/2005/Atom'>
<title>llvm-project.git/llvm/test/Transforms/InstSimplify, branch users/nico/python-2</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.
</subtitle>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/'/>
<entry>
<title> [ConstantFold] Special case atan +/-0.0 (#143962)</title>
<updated>2025-06-25T20:03:18+00:00</updated>
<author>
<name>Lei Huang</name>
<email>lei@ca.ibm.com</email>
</author>
<published>2025-06-25T20:03:18+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=4a31f7f8ea776383d72350cb5ce74ce13ee15431'/>
<id>4a31f7f8ea776383d72350cb5ce74ce13ee15431</id>
<content type='text'>
C's Annex F specifies that atan +/-0.0 returns the input value;
however, this behavior is optional and host C libraries may behave
differently. This change applies the Annex F behavior to constant
folding by LLVM.

Ref:
https://pubs.opengroup.org/onlinepubs/9799919799/functions/atan.html</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
C's Annex F specifies that atan +/-0.0 returns the input value;
however, this behavior is optional and host C libraries may behave
differently. This change applies the Annex F behavior to constant
folding by LLVM.

Ref:
https://pubs.opengroup.org/onlinepubs/9799919799/functions/atan.html</pre>
</div>
</content>
</entry>
<entry>
<title>[InstSimplify] Simplify 'x u&gt;= 1' to true when x is known non-zero (#145204)</title>
<updated>2025-06-22T05:32:19+00:00</updated>
<author>
<name>Iris Shi</name>
<email>0.0@owo.li</email>
</author>
<published>2025-06-22T05:32:19+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=f51d8730b309c14a78764e1b9a2e112e038ed3a0'/>
<id>f51d8730b309c14a78764e1b9a2e112e038ed3a0</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>[ConstantFolding] Handle reading from type padding (#144330)</title>
<updated>2025-06-17T07:30:28+00:00</updated>
<author>
<name>Nikita Popov</name>
<email>npopov@redhat.com</email>
</author>
<published>2025-06-17T07:30:28+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=80b79ce432bbe12701fd9fe495ff9feeb5e4b9ca'/>
<id>80b79ce432bbe12701fd9fe495ff9feeb5e4b9ca</id>
<content type='text'>
ReadDataFromGlobal() did not handle reads from the padding of types (in
the sense of type store size != type alloc size, rather than struct
padding).

Return zero in that case.

Fixes https://github.com/llvm/llvm-project/issues/144279.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
ReadDataFromGlobal() did not handle reads from the padding of types (in
the sense of type store size != type alloc size, rather than struct
padding).

Return zero in that case.

Fixes https://github.com/llvm/llvm-project/issues/144279.</pre>
</div>
</content>
</entry>
<entry>
<title>[InstSimplify] Add basic simplifications for vp.reverse (#144112)</title>
<updated>2025-06-16T17:07:56+00:00</updated>
<author>
<name>Philip Reames</name>
<email>preames@rivosinc.com</email>
</author>
<published>2025-06-16T17:07:56+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=6f9cd79fa2f43b8128be3e4386ee182ad5a843cc'/>
<id>6f9cd79fa2f43b8128be3e4386ee182ad5a843cc</id>
<content type='text'>
Directly modeled after what we do for vector.reverse, but with
restrictions on EVL and mask added.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Directly modeled after what we do for vector.reverse, but with
restrictions on EVL and mask added.</pre>
</div>
</content>
</entry>
<entry>
<title>[ConstantFolding] Fold deinterleave2 of any splat vector not just zeroinitializer (#144144)</title>
<updated>2025-06-14T00:11:52+00:00</updated>
<author>
<name>Craig Topper</name>
<email>craig.topper@sifive.com</email>
</author>
<published>2025-06-14T00:11:52+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=417ab37d85ad1bb3e5623dff487ef108404e37f5'/>
<id>417ab37d85ad1bb3e5623dff487ef108404e37f5</id>
<content type='text'>
While there remove an unnecessary dyn_cast from Constant to Constant.
Reverse a branch condition into an early out to reduce nesting.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
While there remove an unnecessary dyn_cast from Constant to Constant.
Reverse a branch condition into an early out to reduce nesting.</pre>
</div>
</content>
</entry>
<entry>
<title>[instsimplify] Add tests for missing vp.reverse simplifications</title>
<updated>2025-06-13T16:01:28+00:00</updated>
<author>
<name>Philip Reames</name>
<email>preames@rivosinc.com</email>
</author>
<published>2025-06-13T15:56:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=d688df52ba9012197b3716ae85f818fafee7cf62'/>
<id>d688df52ba9012197b3716ae85f818fafee7cf62</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>[ConstantFolding] Add folding for [de]interleave2, insert and extract (#141301)</title>
<updated>2025-06-11T23:00:29+00:00</updated>
<author>
<name>Nikolay Panchenko</name>
<email>nicholas.panchenko@gmail.com</email>
</author>
<published>2025-06-11T23:00:29+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=ee35e342945d6825c9b2b004fd135cf16c84ea0e'/>
<id>ee35e342945d6825c9b2b004fd135cf16c84ea0e</id>
<content type='text'>
The change adds folding for 4 vector intrinsics: `interleave2`,
`deinterleave2`, `vector_extract` and `vector_insert`. For the last 2
intrinsics the change does not use `ShuffleVector` fold mechanism as
it's much simpler to construct result vector explicitly.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The change adds folding for 4 vector intrinsics: `interleave2`,
`deinterleave2`, `vector_extract` and `vector_insert`. For the last 2
intrinsics the change does not use `ShuffleVector` fold mechanism as
it's much simpler to construct result vector explicitly.</pre>
</div>
</content>
</entry>
<entry>
<title>[PowerPC][AIX] xfail atan-intrinsic to unblock bot (#143723)</title>
<updated>2025-06-11T15:28:48+00:00</updated>
<author>
<name>Lei Huang</name>
<email>lei@ca.ibm.com</email>
</author>
<published>2025-06-11T15:28:48+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=adfea33f0c412b8475b755a8d82c9961b785eb02'/>
<id>adfea33f0c412b8475b755a8d82c9961b785eb02</id>
<content type='text'>
Testcase from https://github.com/llvm/llvm-project/pull/143416 is
causing the AIX bot to be red. XFAIL for now till issue can be resolved.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Testcase from https://github.com/llvm/llvm-project/pull/143416 is
causing the AIX bot to be red. XFAIL for now till issue can be resolved.</pre>
</div>
</content>
</entry>
<entry>
<title>[ConstantFolding] Fold sqrt poison -&gt; poison (#141821)</title>
<updated>2025-06-11T11:27:14+00:00</updated>
<author>
<name>Luke Lau</name>
<email>luke@igalia.com</email>
</author>
<published>2025-06-11T11:27:14+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=19b0e1227ca6653405e4a34627d04a14f2287f26'/>
<id>19b0e1227ca6653405e4a34627d04a14f2287f26</id>
<content type='text'>
I noticed this when a sqrt produced by VectorCombine with a poison
operand wasn't getting folded away to poison.

Most intrinsics in general could probably be folded to poison if one of
their arguments are poison too. Are there any exceptions to this we need
to be aware of?</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
I noticed this when a sqrt produced by VectorCombine with a poison
operand wasn't getting folded away to poison.

Most intrinsics in general could probably be folded to poison if one of
their arguments are poison too. Are there any exceptions to this we need
to be aware of?</pre>
</div>
</content>
</entry>
<entry>
<title>[ConstantFolding] Fold scalable shufflevector of poison/undef. (#143475)</title>
<updated>2025-06-10T19:50:16+00:00</updated>
<author>
<name>Craig Topper</name>
<email>craig.topper@sifive.com</email>
</author>
<published>2025-06-10T19:50:16+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=f72dd4eca8dac84d819abccde4447755a7d9420d'/>
<id>f72dd4eca8dac84d819abccde4447755a7d9420d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
