Matches in SemOpenAlex for { <https://semopenalex.org/work/W2377642246> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2377642246 abstract "Global value numbering(GVN) is an important static analysis technique both for optimizing compilers and for program verification tools.Practically used GVN algorithms all have some restrictions on detecting equivalences.The traditional more powerful complete GVN algorithms that can discover all Herbrand equivalences are all inefficient and cannot be used in practice.We find that the static single assignment(SSA) form can be adopted to improve the efficiency greately.In this paper,we define a kind of value number of expressions of programs in SSA form based on Herbrand semantics.With this definition,determining whether two expressions are Herbrand equivalent are equivalent to determining whether their value numbers are same.Then,we give a new complete GVN algorithm that can compute such kind of value numbers.We also implement the new algorithm in GCC and extend it to be able to handle memory operations.Based on the new GVN algorithm, the partial redundancy elimination(PRE) optimization eliminates more redundant computations." @default.
- W2377642246 created "2016-06-24" @default.
- W2377642246 creator A5076572035 @default.
- W2377642246 date "2010-01-01" @default.
- W2377642246 modified "2023-09-22" @default.
- W2377642246 title "An Efficient Complete Global Value Numbering Algorithm" @default.
- W2377642246 hasPublicationYear "2010" @default.
- W2377642246 type Work @default.
- W2377642246 sameAs 2377642246 @default.
- W2377642246 citedByCount "0" @default.
- W2377642246 crossrefType "journal-article" @default.
- W2377642246 hasAuthorship W2377642246A5076572035 @default.
- W2377642246 hasConcept C111919701 @default.
- W2377642246 hasConcept C11413529 @default.
- W2377642246 hasConcept C119857082 @default.
- W2377642246 hasConcept C152124472 @default.
- W2377642246 hasConcept C169590947 @default.
- W2377642246 hasConcept C191916993 @default.
- W2377642246 hasConcept C199360897 @default.
- W2377642246 hasConcept C200833197 @default.
- W2377642246 hasConcept C2776291640 @default.
- W2377642246 hasConcept C33923547 @default.
- W2377642246 hasConcept C41008148 @default.
- W2377642246 hasConcept C45374587 @default.
- W2377642246 hasConcept C80444323 @default.
- W2377642246 hasConceptScore W2377642246C111919701 @default.
- W2377642246 hasConceptScore W2377642246C11413529 @default.
- W2377642246 hasConceptScore W2377642246C119857082 @default.
- W2377642246 hasConceptScore W2377642246C152124472 @default.
- W2377642246 hasConceptScore W2377642246C169590947 @default.
- W2377642246 hasConceptScore W2377642246C191916993 @default.
- W2377642246 hasConceptScore W2377642246C199360897 @default.
- W2377642246 hasConceptScore W2377642246C200833197 @default.
- W2377642246 hasConceptScore W2377642246C2776291640 @default.
- W2377642246 hasConceptScore W2377642246C33923547 @default.
- W2377642246 hasConceptScore W2377642246C41008148 @default.
- W2377642246 hasConceptScore W2377642246C45374587 @default.
- W2377642246 hasConceptScore W2377642246C80444323 @default.
- W2377642246 hasLocation W23776422461 @default.
- W2377642246 hasOpenAccess W2377642246 @default.
- W2377642246 hasPrimaryLocation W23776422461 @default.
- W2377642246 hasRelatedWork W1507628962 @default.
- W2377642246 hasRelatedWork W1507704020 @default.
- W2377642246 hasRelatedWork W1531855961 @default.
- W2377642246 hasRelatedWork W155277470 @default.
- W2377642246 hasRelatedWork W1576973279 @default.
- W2377642246 hasRelatedWork W1586375173 @default.
- W2377642246 hasRelatedWork W1755171513 @default.
- W2377642246 hasRelatedWork W185173282 @default.
- W2377642246 hasRelatedWork W1993402810 @default.
- W2377642246 hasRelatedWork W2117708209 @default.
- W2377642246 hasRelatedWork W2161044171 @default.
- W2377642246 hasRelatedWork W2196531811 @default.
- W2377642246 hasRelatedWork W2489771428 @default.
- W2377642246 hasRelatedWork W2554165547 @default.
- W2377642246 hasRelatedWork W3015682217 @default.
- W2377642246 hasRelatedWork W3044953000 @default.
- W2377642246 hasRelatedWork W3082570516 @default.
- W2377642246 hasRelatedWork W3213132182 @default.
- W2377642246 hasRelatedWork W375045620 @default.
- W2377642246 hasRelatedWork W5947967 @default.
- W2377642246 isParatext "false" @default.
- W2377642246 isRetracted "false" @default.
- W2377642246 magId "2377642246" @default.
- W2377642246 workType "article" @default.