the attributor a versatile inter procedural fixpoint

play

THE ATTRIBUTOR: A VERSATILE INTER-PROCEDURAL FIXPOINT ITERATION - PowerPoint PPT Presentation

Feb 04, 2024 •210 likes •1.14k views

THE ATTRIBUTOR: A VERSATILE INTER-PROCEDURAL FIXPOINT ITERATION FRAMEWORK LLVM-Dev19 October 22, 2019 San Jose, CA, USA Johannes Doerfert, Hideto Ueno, Stefan Stipanovic Leadership Computing Facility Argonne National Laboratory

THE ATTRIBUTOR: A VERSATILE INTER-PROCEDURAL FIXPOINT ITERATION FRAMEWORK LLVM-Dev’19 — October 22, 2019 — San Jose, CA, USA Johannes Doerfert*, Hideto Ueno, Stefan Stipanovic *Leadership Computing Facility *Argonne National Laboratory * https://www.alcf.anl.gov/
ACKNOWLEDGMENT Two of the authors were supported by Google Summer of Code (GSoC)! This research was supported by the Exascale Computing Project (17-SC-20-SC), a collaborative efgort of two U.S. Department of Energy organizations (Offjce of Science and the National Nuclear Security Administration) responsible for the planning and preparation of a capable exascale ecosystem, including software, applications, hardware, advanced system engineering, and early testbed platforms, in support of the nation’s exascale computing imperative. 1/16
I. BACKGROUND
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (2) the returned value ? (3) the argument ? (1) the return type ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (3) the argument ? (1) the return type ? (2) the returned value ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (5) the return type ? (1) the return type ? (4) the returned value ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE ( 16, 16 ) ⊙ ( 16, 16 ) ( 1, 16 ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, 16 ) ( 1, ∞ ) ( 16, 16 ) ( 1, ∞ ) ( 1, ∞ ) (1) the return type ? (4) the returned value ? (5) the return type ? (1) the return type ? (2) the returned value ? (3) the argument ? What is the alignment of: 2/16 int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
ABSTRACT STATES 3/16
ABSTRACT STATES 3/16
ABSTRACT STATES 3/16
ABSTRACT STATES 3/16
4/16 FIXPOINT DATA FLOW ANALYSIS — ALIGNMENT EXAMPLE int * checkAndAdvance( int * __attribute__((aligned(16))) p ) { if (*p == 0) return checkAndAdvance(p + 4) ; return p ; }
THE ATTRIBUTOR — USAGE 5/16 Attributor A; // Select what information is to be deduced. IRPosition IRPRet = IRPosition::returned(Fn) ; const auto &AA = A.getOrCreateAAFor< AAAlign >(IRPRet); // Deduce information and manifest it in the IR. auto Changed = A.run(*Fn->getParent());

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

More recommend