X + (Op01C + Op1C)
#94586

Merged

[InstCombine] Preserve the nsw/nuw flags for (X | Op01C) + Op1C --> X + (Op01C + Op1C) #94586

csstormq merged 8 commits into llvm:main from csstormq:instcmb

[InstCombine] Preserve the nsw flag for (X | Op01C) + Op1C --> X + (O…

170cfa2c

csstormq requested a review from

nikic 2 years ago

llvmbot added llvm:transforms

nikic requested changes on 2024-06-06

csstormq requested a review from

nikic 2 years ago

update test case using the update_test_checks.py script

8b6eca17

nikic requested changes on 2024-06-06

fixup! Preserve the nsw flag iff the sum of Op01C and Op1C will not o…

3cf7a70e

Add more test cases

40037ff7

csstormq requested a review from

nikic 2 years ago

nikic commented on 2024-06-07

Resolve conversations

d2f4beea

Remove added new lines

8997ab05

csstormq changed the title ~~[InstCombine] Preserve the nsw flag for (X | Op01C) + Op1C --> X + (Op01C + Op1C)~~ [InstCombine] Preserve the nsw/nuw flags for (X | Op01C) + Op1C --> X + (Op01C + Op1C) 2 years ago

nikic approved these changes on 2024-06-07

Resolve conversations

045f3bad

nikic commented on 2024-06-07

Fix test to not always return poison

1050bde9

csstormq merged 96af1149 into main 2 years ago

csstormq deleted the instcmb branch 2 years ago

Reviewers

nikic

Assignees

No one assigned

Labels

llvm:transforms

Milestone

No milestone

llvm-project [InstCombine] Preserve the nsw/nuw flags for (X | Op01C) + Op1C --> X + (Op01C + Op1C) #94586 Merged

[InstCombine] Preserve the nsw/nuw flags for (X | Op01C) + Op1C --> X + (Op01C + Op1C) #94586

llvm-project
[InstCombine] Preserve the nsw/nuw flags for (X | Op01C) + Op1C --> X + (Op01C + Op1C)
#94586

Merged