llvm-project
[InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b
#191378

Merged

[InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b #191378

bojle merged 11 commits into llvm:main from bojle:upstream_fabs_instcombine

[InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b

4981ea44

bojle requested a review from

nikic 57 days ago

llvmbot added llvm:instcombine

llvmbot added llvm:transforms

clang format

3f0945f5

dtcxzyw commented on 2026-04-11

dtcxzyw requested a review from

arsenm 56 days ago

add corollary and its tests

499e9357

clang format

aed9ddcf

add isKnownExactCast

3bc1dc48

remove redundant code and add missing tests from fcmp

e4025d9e

dtcxzyw commented on 2026-04-15

use canBeCastedExactly and bring back ole/ule

daf8b01e

arsenm commented on 2026-04-16

new cast checks and negative tests

9e109c38

dtcxzyw commented on 2026-04-20

arsenm commented on 2026-04-20

suggested fixes and vector test cases

b9729d07

arsenm approved these changes on 2026-04-21

use splat() in fcmp.ll

77922c43

arsenm approved these changes on 2026-04-21

spaces in splat

e03cf7d9

arsenm added floating-point

bojle merged 037a48aa into main 46 days ago

Reviewers

arsenm

dtcxzyw

nikic

Assignees

No one assigned

Labels

llvm:instcombine floating-point llvm:transforms

Milestone

No milestone

llvm-project [InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b #191378 Merged

[InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b #191378

llvm-project
[InstCombine] fold fabs(uitofp(i16 a) - uitofp(i16 b)) < 1.0 to a == b
#191378

Merged