[llvm] 099410b - Attributor: Add baseline test for inferring denormal-fp-math
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 31 05:26:37 PDT 2023
Author: Matt Arsenault
Date: 2023-08-31T08:26:32-04:00
New Revision: 099410b736e5bf89a6fed31c5ad56cd3e0f4b394
URL: https://github.com/llvm/llvm-project/commit/099410b736e5bf89a6fed31c5ad56cd3e0f4b394
DIFF: https://github.com/llvm/llvm-project/commit/099410b736e5bf89a6fed31c5ad56cd3e0f4b394.diff
LOG: Attributor: Add baseline test for inferring denormal-fp-math
Added:
llvm/test/Transforms/Attributor/denormal-fp-math.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/Attributor/denormal-fp-math.ll b/llvm/test/Transforms/Attributor/denormal-fp-math.ll
new file mode 100644
index 00000000000000..a0bf6995dc663f
--- /dev/null
+++ b/llvm/test/Transforms/Attributor/denormal-fp-math.ll
@@ -0,0 +1,389 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --version 2
+; RUN: opt -S -passes=attributor < %s | FileCheck %s
+
+; Keep the attribute checks clean by disabling inference of anything else.
+declare void @call_of_mystery()
+
+; Should infer to ieee,ieee/default
+define internal void @leaf_dynamic_dynamic_from_ieee_ieee() #0 {
+; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR0:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Should infer to ieee,ieee/default
+define internal void @leaf_recursive_dynamic_dynamic_from_ieee_ieee() #0 {
+; CHECK-LABEL: define internal void @leaf_recursive_dynamic_dynamic_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+ ret void
+}
+
+; Should strip denormal-fp-math for default ieee
+define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee() #1 {
+; CHECK-LABEL: define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR1:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Should infer to preserve-sign,preserve-sign
+define internal void @leaf_dynamic_dynamic_from_daz_daz() #0 {
+; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_daz_daz
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; This goes to invalid because of the mismatch in the main mode. We
+; could theoretically refine to denormal-fp-math-f32=preserve-sign,preserve-sign
+define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz() #1 {
+; CHECK-LABEL: define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz
+; CHECK-SAME: () #[[ATTR1]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Leave this alone, must stay dynamic,dynamic
+define internal void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee() #0 {
+; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Leave this alone, should only have denormal-fp-math-f32=ieee,ieee
+define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee() #1 {
+; CHECK-LABEL: define internal void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee
+; CHECK-SAME: () #[[ATTR1]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Leave as dynamic,dynamic
+define void @externally_visible_dynamic_dynamic_from_ieee_ieee() #0 {
+; CHECK-LABEL: define void @externally_visible_dynamic_dynamic_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Should infer to positive-zero,positive-zero
+define internal void @leaf_dynamic_dynamic_from_dapz_dapz() #0 {
+; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_dapz_dapz
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; ieee,ieee entry point
+define void @func_ieee_ieee() #2 {
+; CHECK-LABEL: define void @func_ieee_ieee
+; CHECK-SAME: () #[[ATTR2:[0-9]+]] {
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @externally_visible_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_dynamic_ieee_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_ieee_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @externally_visible_dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_dynamic_ieee_from_ieee_ieee()
+ call void @leaf_ieee_dynamic_from_ieee_ieee()
+ call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+ ret void
+}
+
+; ieee,ieee entry point
+define void @func_default_is_ieee_ieee() {
+; CHECK-LABEL: define void @func_default_is_ieee_ieee() {
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @externally_visible_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_dynamic_ieee_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_ieee_dynamic_from_ieee_ieee()
+; CHECK-NEXT: call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @externally_visible_dynamic_dynamic_from_ieee_ieee()
+ call void @leaf_dynamic_ieee_from_ieee_ieee()
+ call void @leaf_ieee_dynamic_from_ieee_ieee()
+ call void @leaf_recursive_dynamic_dynamic_from_ieee_ieee()
+ ret void
+}
+
+; preserve-sign,preserve-sign entry point
+define void @func_daz_daz() #3 {
+; CHECK-LABEL: define void @func_daz_daz
+; CHECK-SAME: () #[[ATTR3:[0-9]+]] {
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_daz_daz()
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+; CHECK-NEXT: call void @leaf_f64_dynamic_f64_dynamic__f32_daz_f32_daz_from__daz_daz()
+; CHECK-NEXT: call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_dynamic_dynamic_from_daz_daz()
+ call void @leaf_dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz_and_ieee_ieee()
+ call void @leaf_f64_dynamic_f64_dynamic__f32_daz_f32_daz_from__daz_daz()
+ call void @leaf_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic__dynamic_dynamic_from_daz_daz()
+ ret void
+}
+
+; positive-zero,positive-zero entry point
+define void @func_dapz_dapz() #4 {
+; CHECK-LABEL: define void @func_dapz_dapz
+; CHECK-SAME: () #[[ATTR4:[0-9]+]] {
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_dapz_dapz()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_dynamic_dynamic_from_dapz_dapz()
+ ret void
+}
+
+; Could be fully preserve-sign,preserve-sign, but this isn't a
+; realistic case and we don't bother trying to handle it.
+define internal void @leaf_f64_dynamic_f64_dynamic__f32_daz_f32_daz_from__daz_daz() #5 {
+; CHECK-LABEL: define internal void @leaf_f64_dynamic_f64_dynamic__f32_daz_f32_daz_from__daz_daz
+; CHECK-SAME: () #[[ATTR5:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; -> ieee,ieee
+define internal void @leaf_dynamic_ieee_from_ieee_ieee() #6 {
+; CHECK-LABEL: define internal void @leaf_dynamic_ieee_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR6:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; -> ieee,ieee
+define internal void @leaf_ieee_dynamic_from_ieee_ieee() #7 {
+; CHECK-LABEL: define internal void @leaf_ieee_dynamic_from_ieee_ieee
+; CHECK-SAME: () #[[ATTR7:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Specialize the f64 mode to ieee,ieee but leave f32 as dynamic,dynamic
+define internal void @leaf_dynamic_dynamic_from_f64_ieee_f32_dynamic() #0 {
+; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_f64_ieee_f32_dynamic
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define void @func_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic() #1 {
+; CHECK-LABEL: define void @func_f64_ieee_f64_ieee__f32_dynamic_f32_dynamic
+; CHECK-SAME: () #[[ATTR1]] {
+; CHECK-NEXT: call void @leaf_dynamic_dynamic_from_f64_ieee_f32_dynamic()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_dynamic_dynamic_from_f64_ieee_f32_dynamic()
+ ret void
+}
+
+; -> preserve-sign,ieee.
+define internal void @leaf_daz_dynamic_from_dynamic_ieee() #8 {
+; CHECK-LABEL: define internal void @leaf_daz_dynamic_from_dynamic_ieee
+; CHECK-SAME: () #[[ATTR8:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define void @dynamic_ieee() #6 {
+; CHECK-LABEL: define void @dynamic_ieee
+; CHECK-SAME: () #[[ATTR6]] {
+; CHECK-NEXT: call void @leaf_daz_dynamic_from_dynamic_ieee()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_daz_dynamic_from_dynamic_ieee()
+ ret void
+}
+
+; Leave unchanged as ieee,ieeee
+define internal void @leaf_ieee_ieee_from_dynamic() {
+; CHECK-LABEL: define internal void @leaf_ieee_ieee_from_dynamic() {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Leave unchanged as dynamic,dynamic
+define internal void @leaf_dynamic_from_dynamic() {
+; CHECK-LABEL: define internal void @leaf_dynamic_from_dynamic() {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+; Leave unchanged as preserve-sign,preserve-sign
+define internal void @leaf_daz_daz_from_dynamic() #3 {
+; CHECK-LABEL: define internal void @leaf_daz_daz_from_dynamic
+; CHECK-SAME: () #[[ATTR3]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define void @dynamic_dynamic() #0 {
+; CHECK-LABEL: define void @dynamic_dynamic
+; CHECK-SAME: () #[[ATTR0]] {
+; CHECK-NEXT: call void @leaf_ieee_ieee_from_dynamic()
+; CHECK-NEXT: call void @leaf_daz_daz_from_dynamic()
+; CHECK-NEXT: call void @leaf_dynamic_from_dynamic()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_ieee_ieee_from_dynamic()
+ call void @leaf_daz_daz_from_dynamic()
+ call void @leaf_dynamic_from_dynamic()
+ ret void
+}
+
+define internal void @leaf_ieee_f64_daz_f32() #9 {
+; CHECK-LABEL: define internal void @leaf_ieee_f64_daz_f32
+; CHECK-SAME: () #[[ATTR9:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define internal void @leaf_ieee_f64_daz_f32_from_ieee_f64_dynamic_f32() #10 {
+; CHECK-LABEL: define internal void @leaf_ieee_f64_daz_f32_from_ieee_f64_dynamic_f32
+; CHECK-SAME: () #[[ATTR10:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define void @ieee_f64_dynamic_f32() #1 {
+; CHECK-LABEL: define void @ieee_f64_dynamic_f32
+; CHECK-SAME: () #[[ATTR1]] {
+; CHECK-NEXT: call void @leaf_ieee_f64_daz_f32()
+; CHECK-NEXT: call void @leaf_ieee_f64_daz_f32_from_ieee_f64_dynamic_f32()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_ieee_f64_daz_f32()
+ call void @leaf_ieee_f64_daz_f32_from_ieee_f64_dynamic_f32()
+ ret void
+}
+
+; => "preserve-sign,positive-zero" + "denormal-fp-math-f32"="ieee,positive-zero"
+define internal void @leaf_daz_dynamic_dynamic_dapz_from_daz_dapz_ieee_dapz() #11 {
+; CHECK-LABEL: define internal void @leaf_daz_dynamic_dynamic_dapz_from_daz_dapz_ieee_dapz
+; CHECK-SAME: () #[[ATTR11:[0-9]+]] {
+; CHECK-NEXT: call void @call_of_mystery()
+; CHECK-NEXT: ret void
+;
+ call void @call_of_mystery()
+ ret void
+}
+
+define void @daz_dapz_ieee_dapz() #12 {
+; CHECK-LABEL: define void @daz_dapz_ieee_dapz
+; CHECK-SAME: () #[[ATTR12:[0-9]+]] {
+; CHECK-NEXT: call void @leaf_daz_dynamic_dynamic_dapz_from_daz_dapz_ieee_dapz()
+; CHECK-NEXT: ret void
+;
+ call void @leaf_daz_dynamic_dynamic_dapz_from_daz_dapz_ieee_dapz()
+ ret void
+}
+
+attributes #0 = { "denormal-fp-math"="dynamic,dynamic" }
+attributes #1 = { "denormal-fp-math-f32"="dynamic,dynamic" }
+attributes #2 = { "denormal-fp-math"="ieee,ieee" }
+attributes #3 = { "denormal-fp-math"="preserve-sign,preserve-sign" }
+attributes #4 = { "denormal-fp-math"="positive-zero,positive-zero" }
+attributes #5 = { "denormal-fp-math"="dynamic,dynamic" "denormal-fp-math-f32"="preserve-sign,preserve-sign" }
+attributes #6 = { "denormal-fp-math"="dynamic,ieee" }
+attributes #7 = { "denormal-fp-math"="ieee,dynamic" }
+attributes #8 = { "denormal-fp-math"="preserve-sign,dynamic" }
+attributes #9 = { "denormal-fp-math-f32"="preserve-sign,preserve-sign" }
+attributes #10 = { "denormal-fp-math"="preserve-sign,preserve-sign" "denormal-fp-math-f32"="ieee,ieee" }
+attributes #11 = { "denormal-fp-math"="preserve-sign,dynamic" "denormal-fp-math-f32"="dynamic,positive-zero" }
+attributes #12 = { "denormal-fp-math"="preserve-sign,positive-zero" "denormal-fp-math-f32"="ieee,positive-zero" }
+;.
+; CHECK: attributes #[[ATTR0]] = { "denormal-fp-math"="dynamic,dynamic" }
+; CHECK: attributes #[[ATTR1]] = { "denormal-fp-math-f32"="dynamic,dynamic" }
+; CHECK: attributes #[[ATTR2]] = { "denormal-fp-math"="ieee,ieee" }
+; CHECK: attributes #[[ATTR3]] = { "denormal-fp-math"="preserve-sign,preserve-sign" }
+; CHECK: attributes #[[ATTR4]] = { "denormal-fp-math"="positive-zero,positive-zero" }
+; CHECK: attributes #[[ATTR5]] = { "denormal-fp-math"="dynamic,dynamic" "denormal-fp-math-f32"="preserve-sign,preserve-sign" }
+; CHECK: attributes #[[ATTR6]] = { "denormal-fp-math"="dynamic,ieee" }
+; CHECK: attributes #[[ATTR7]] = { "denormal-fp-math"="ieee,dynamic" }
+; CHECK: attributes #[[ATTR8]] = { "denormal-fp-math"="preserve-sign,dynamic" }
+; CHECK: attributes #[[ATTR9]] = { "denormal-fp-math-f32"="preserve-sign,preserve-sign" }
+; CHECK: attributes #[[ATTR10]] = { "denormal-fp-math"="preserve-sign,preserve-sign" "denormal-fp-math-f32"="ieee,ieee" }
+; CHECK: attributes #[[ATTR11]] = { "denormal-fp-math"="preserve-sign,dynamic" "denormal-fp-math-f32"="dynamic,positive-zero" }
+; CHECK: attributes #[[ATTR12]] = { "denormal-fp-math"="preserve-sign,positive-zero" "denormal-fp-math-f32"="ieee,positive-zero" }
+;.
More information about the llvm-commits
mailing list