This is an archive of the discontinued LLVM Phabricator instance.

Differential D159201

Attributor: Add denormal-fp-math to attributor-light
Needs ReviewPublic

Authored by arsenm on Aug 30 2023, 7:04 AM.

Details

Reviewers
jdoerfert
fhahn
sstefan1
Summary

I had to add AAIsDead for AADenormalFPMath to be reached for some
reason.

Diff Detail

Revision Contents

PathSize
llvm/
lib/
Transforms/
IPO/
3 lines
test/
Transforms/
Attributor/
1 line

Diff 554702

llvm/lib/Transforms/IPO/Attributor.cpp

Show First 20 Lines • Show All 3,902 Lines • ▼ Show 20 Linesstatic bool runAttributorLightOnFunctions(InformationCache &InfoCache,
AttributorConfig AC(CGUpdater); AttributorConfig AC(CGUpdater);
AC.IsModulePass = IsModulePass; AC.IsModulePass = IsModulePass;
AC.DeleteFns = false; AC.DeleteFns = false;
DenseSet<const char *> Allowed( DenseSet<const char *> Allowed(
{&AAWillReturn::ID, &AANoUnwind::ID, &AANoRecurse::ID, &AANoSync::ID, {&AAWillReturn::ID, &AANoUnwind::ID, &AANoRecurse::ID, &AANoSync::ID,
&AANoFree::ID, &AANoReturn::ID, &AAMemoryLocation::ID, &AANoFree::ID, &AANoReturn::ID, &AAMemoryLocation::ID,
&AAMemoryBehavior::ID, &AAUnderlyingObjects::ID, &AANoCapture::ID, &AAMemoryBehavior::ID, &AAUnderlyingObjects::ID, &AANoCapture::ID,
&AAInterFnReachability::ID, &AAIntraFnReachability::ID, &AACallEdges::ID, &AAInterFnReachability::ID, &AAIntraFnReachability::ID, &AACallEdges::ID,
&AANoFPClass::ID, &AAMustProgress::ID, &AANonNull::ID}); &AANoFPClass::ID, &AAMustProgress::ID, &AANonNull::ID,
&AADenormalFPMath::ID, &AAIsDead::ID});
AC.Allowed = &Allowed; AC.Allowed = &Allowed;
AC.UseLiveness = false; AC.UseLiveness = false;
Attributor A(Functions, InfoCache, AC); Attributor A(Functions, InfoCache, AC);
for (Function *F : Functions) { for (Function *F : Functions) {
if (F->hasExactDefinition()) if (F->hasExactDefinition())
NumFnWithExactDefinition++; NumFnWithExactDefinition++;
▲ Show 20 Lines • Show All 227 Lines • Show Last 20 Lines

llvm/test/Transforms/Attributor/denormal-fp-math.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --version 2 ; 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 ; RUN: opt -S -passes=attributor < %s | FileCheck %s
; RUN: opt -S -passes=attributor-light < %s | FileCheck %s
; Keep the attribute checks clean by disabling inference of anything else. ; Keep the attribute checks clean by disabling inference of anything else.
declare void @call_of_mystery() declare void @call_of_mystery()
; Should infer to ieee,ieee/default ; Should infer to ieee,ieee/default
define internal void @leaf_dynamic_dynamic_from_ieee_ieee() #0 { define internal void @leaf_dynamic_dynamic_from_ieee_ieee() #0 {
; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_ieee_ieee() { ; CHECK-LABEL: define internal void @leaf_dynamic_dynamic_from_ieee_ieee() {
; CHECK-NEXT: call void @call_of_mystery() ; CHECK-NEXT: call void @call_of_mystery()
▲ Show 20 Lines • Show All 369 Lines • Show Last 20 Lines