Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[ConstantFold] Fold log1p and log1pf when the input parameter is a constant value. #112113

Merged
merged 6 commits into from
Oct 15, 2024
Merged

[ConstantFold] Fold log1p and log1pf when the input parameter is a constant value. #112113

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
b49c6c1
constant folding log1p
c8ef Oct 13, 2024
cbeb725
constant folding log1p
c8ef Oct 13, 2024
b071121
add test
c8ef Oct 13, 2024
6e7496b
add readnone test
c8ef Oct 14, 2024
3c04e28
Merge branch 'main' into log1p
c8ef Oct 15, 2024
34a8746
APFloat::getOne
c8ef Oct 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
add readnone test
  • Loading branch information
@c8ef
c8ef committed Oct 14, 2024
commit 6e7496b4f53ea9a4bca4bda4d8bf20921b827e80
90 changes: 90 additions & 0 deletions llvm/test/Transforms/InstCombine/log1p.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,24 @@ define double @log1p_minus_one() {
ret double %r
}

define float @log1pf_minus_one_memory_none() {
; CHECK-LABEL: define float @log1pf_minus_one_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float -1.000000e+00) #[[ATTR0:[0-9]+]]
; CHECK-NEXT: ret float [[R]]
;
%r = call float @log1pf(float -1.000000e+00) readnone
ret float %r
}

define double @log1p_minus_one_memory_none() {
; CHECK-LABEL: define double @log1p_minus_one_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call double @log1p(double -1.000000e+00) #[[ATTR0]]
; CHECK-NEXT: ret double [[R]]
;
%r = call double @log1p(double -1.000000e+00) readnone
ret double %r
}

define float @log1pf_zero() {
; CHECK-LABEL: define float @log1pf_zero() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0.000000e+00)
Expand Down Expand Up @@ -91,6 +109,24 @@ define double @log1p_neg1() {
ret double %r
}

define float @log1pf_neg1_memory_none() {
; CHECK-LABEL: define float @log1pf_neg1_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float -7.000000e+00) #[[ATTR0]]
; CHECK-NEXT: ret float [[R]]
;
%r = call float @log1pf(float -7.000000e+00) readnone
ret float %r
}

define double @log1p_neg1_memory_none() {
; CHECK-LABEL: define double @log1p_neg1_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call double @log1p(double -7.000000e+00) #[[ATTR0]]
; CHECK-NEXT: ret double [[R]]
;
%r = call double @log1p(double -7.000000e+00) readnone
ret double %r
}

define float @log1pf_neg2() {
; CHECK-LABEL: define float @log1pf_neg2() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float -5.000000e-01)
Expand Down Expand Up @@ -127,6 +163,24 @@ define double @log1p_inf() {
ret double %r
}

define float @log1pf_inf_memory_none() {
; CHECK-LABEL: define float @log1pf_inf_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0x7FF0000000000000) #[[ATTR0]]
; CHECK-NEXT: ret float [[R]]
;
%r = call float @log1pf(float 0x7FF0000000000000) readnone
ret float %r
}

define double @log1p_inf_memory_none() {
; CHECK-LABEL: define double @log1p_inf_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call double @log1p(double 0x7FF0000000000000) #[[ATTR0]]
; CHECK-NEXT: ret double [[R]]
;
%r = call double @log1p(double 0x7FF0000000000000) readnone
ret double %r
}

define float @log1pf_neg_inf() {
; CHECK-LABEL: define float @log1pf_neg_inf() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0xFFF0000000000000)
Expand All @@ -145,6 +199,24 @@ define double @log1p_neg_inf() {
ret double %r
}

define float @log1pf_neg_inf_memory_none() {
; CHECK-LABEL: define float @log1pf_neg_inf_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0xFFF0000000000000) #[[ATTR0]]
; CHECK-NEXT: ret float [[R]]
;
%r = call float @log1pf(float 0xFFF0000000000000) readnone
ret float %r
}

define double @log1p_neg_inf_memory_none() {
; CHECK-LABEL: define double @log1p_neg_inf_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call double @log1p(double 0xFFF0000000000000) #[[ATTR0]]
; CHECK-NEXT: ret double [[R]]
;
%r = call double @log1p(double 0xFFF0000000000000) readnone
ret double %r
}

define float @log1pf_nan() {
; CHECK-LABEL: define float @log1pf_nan() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0x7FF8000000000000)
Expand All @@ -163,6 +235,24 @@ define double @log1p_nan() {
ret double %r
}

define float @log1pf_nan_memory_none() {
; CHECK-LABEL: define float @log1pf_nan_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float 0x7FF8000000000000) #[[ATTR0]]
; CHECK-NEXT: ret float [[R]]
;
%r = call float @log1pf(float 0x7FF8000000000000) readnone
ret float %r
}

define double @log1p_nan_memory_none() {
; CHECK-LABEL: define double @log1p_nan_memory_none() {
; CHECK-NEXT: [[R:%.*]] = call double @log1p(double 0x7FF8000000000000) #[[ATTR0]]
; CHECK-NEXT: ret double [[R]]
;
%r = call double @log1p(double 0x7FF8000000000000) readnone
ret double %r
}

define float @log1pf_poison() {
; CHECK-LABEL: define float @log1pf_poison() {
; CHECK-NEXT: [[R:%.*]] = call float @log1pf(float poison)
Expand Down
Loading