| ; 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-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-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-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:[0-9]+]] { |
| ; 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:[0-9]+]] { |
| ; 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: () #[[ATTR2:[0-9]+]] { |
| ; 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: () #[[ATTR2]] { |
| ; 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: () #[[ATTR3:[0-9]+]] { |
| ; 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-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: () #[[ATTR0]] { |
| ; 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: () #[[ATTR3]] { |
| ; 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: () #[[ATTR4:[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-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-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: () #[[ATTR1]] { |
| ; 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: () #[[ATTR5:[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:[0-9]+]] { |
| ; 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: () #[[ATTR0]] { |
| ; 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: () #[[ATTR2]] { |
| ; 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: () #[[ATTR7:[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: () #[[ATTR8:[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: () #[[ATTR9:[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: () #[[ATTR9]] { |
| ; 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"="preserve-sign,preserve-sign" } |
| ; CHECK: attributes #[[ATTR1]] = { "denormal-fp-math-f32"="dynamic,dynamic" } |
| ; CHECK: attributes #[[ATTR2]] = { "denormal-fp-math"="dynamic,dynamic" } |
| ; CHECK: attributes #[[ATTR3]] = { "denormal-fp-math"="positive-zero,positive-zero" } |
| ; CHECK: attributes #[[ATTR4]] = { "denormal-fp-math"="dynamic,dynamic" "denormal-fp-math-f32"="preserve-sign,preserve-sign" } |
| ; CHECK: attributes #[[ATTR5]] = { "denormal-fp-math"="preserve-sign,ieee" } |
| ; CHECK: attributes #[[ATTR6]] = { "denormal-fp-math"="dynamic,ieee" } |
| ; CHECK: attributes #[[ATTR7]] = { "denormal-fp-math-f32"="preserve-sign,preserve-sign" } |
| ; CHECK: attributes #[[ATTR8]] = { "denormal-fp-math"="preserve-sign,preserve-sign" "denormal-fp-math-f32"="ieee,ieee" } |
| ; CHECK: attributes #[[ATTR9]] = { "denormal-fp-math"="preserve-sign,positive-zero" "denormal-fp-math-f32"="ieee,positive-zero" } |
| ;. |