JP2002297399A - 静的単一代入を行うためのφ関数を与える方法 - Google Patents

静的単一代入を行うためのφ関数を与える方法

Info

Publication number
JP2002297399A
JP2002297399A JP2002018235A JP2002018235A JP2002297399A JP 2002297399 A JP2002297399 A JP 2002297399A JP 2002018235 A JP2002018235 A JP 2002018235A JP 2002018235 A JP2002018235 A JP 2002018235A JP 2002297399 A JP2002297399 A JP 2002297399A
Authority
JP
Japan
Prior art keywords
function
source
operand
code
block
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
JP2002018235A
Other languages
English (en)
Japanese (ja)
Other versions
JP2002297399A5 (https=
Inventor
Carol L Thompson
キャロル・リンダ・トンプソン
Vatsa Santhanam
ヴァッサ・サンサナム
Dz-Ching Ju
ディーチン・ジュ
Vasanth Bala
ヴェィサンス・バラ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
HP Inc
Original Assignee
Hewlett Packard Co
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hewlett Packard Co filed Critical Hewlett Packard Co
Publication of JP2002297399A publication Critical patent/JP2002297399A/ja
Publication of JP2002297399A5 publication Critical patent/JP2002297399A5/ja
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/433—Dependency analysis; Data or control flow analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Executing Machine-Instructions (AREA)
JP2002018235A 2001-03-22 2002-01-28 静的単一代入を行うためのφ関数を与える方法 Withdrawn JP2002297399A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/814,511 US6898787B2 (en) 2001-03-22 2001-03-22 Method and apparatus for ordered predicate phi in static single assignment form
US09/814,511 2001-03-22

Publications (2)

Publication Number Publication Date
JP2002297399A true JP2002297399A (ja) 2002-10-11
JP2002297399A5 JP2002297399A5 (https=) 2005-08-11

Family

ID=25215263

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2002018235A Withdrawn JP2002297399A (ja) 2001-03-22 2002-01-28 静的単一代入を行うためのφ関数を与える方法

Country Status (2)

Country Link
US (1) US6898787B2 (https=)
JP (1) JP2002297399A (https=)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5083204B2 (ja) * 2006-03-14 2012-11-28 富士通株式会社 並列化プログラム生成プログラム、並列化プログラム生成装置、及び並列化プログラム生成方法

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030014742A1 (en) * 2001-07-09 2003-01-16 Sasken Communication Technologies Limited Technique for compiling computer code to reduce energy consumption while executing the code
US7269719B2 (en) * 2002-10-30 2007-09-11 Stmicroelectronics, Inc. Predicated execution using operand predicates
US7539983B2 (en) * 2005-01-14 2009-05-26 Microsoft Corporation Tool for processing software programs using modified live-ness definition
US20080028380A1 (en) * 2006-07-26 2008-01-31 Liang Guo Localized, incremental single static assignment update
JP5165969B2 (ja) * 2007-08-29 2013-03-21 インターナショナル・ビジネス・マシーンズ・コーポレーション プログラムのコンパイルのために変数にレジスタを割り付ける技術
US8327339B2 (en) * 2008-06-30 2012-12-04 Oracle America, Inc. Method and system for fast static taint analysis
US8875115B2 (en) * 2008-11-29 2014-10-28 International Business Machines Corporation Type merging technique to reduce class loading during Java verification

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5448737A (en) * 1992-03-17 1995-09-05 International Business Machines Corporation System and method for optimizing computer code using a compact data flow representation
US6035124A (en) * 1995-12-06 2000-03-07 International Business Machines Corporation Method of, system for, and computer program product for providing extended global value numbering
US6182284B1 (en) * 1998-09-30 2001-01-30 Hewlett-Packard Company Method and system for eliminating phi instruction resource interferences and redundant copy instructions from static-single-assignment-form computer code
US6651247B1 (en) * 2000-05-09 2003-11-18 Hewlett-Packard Development Company, L.P. Method, apparatus, and product for optimizing compiler with rotating register assignment to modulo scheduled code in SSA form

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5083204B2 (ja) * 2006-03-14 2012-11-28 富士通株式会社 並列化プログラム生成プログラム、並列化プログラム生成装置、及び並列化プログラム生成方法

Also Published As

Publication number Publication date
US20040015919A1 (en) 2004-01-22
US6898787B2 (en) 2005-05-24

Similar Documents

Publication Publication Date Title
US8930922B2 (en) Software-to-hardware compiler with symbol set inference analysis
US5937195A (en) Global control flow treatment of predicated code
US6954747B1 (en) Methods for comparing versions of a program
US7257780B2 (en) Software-to-hardware compiler
US6128775A (en) Method, system, and computer program product for performing register promotion via load and store placement optimization within an optimizing compiler
JP4573189B2 (ja) プログラムコード変換方法
US7350061B2 (en) Assigning free register to unmaterialized predicate in inverse predicate expression obtained for branch reversal in predicated execution system
US6173444B1 (en) Optimizing compilation of pointer variables in the presence of indirect function calls
Amy et al. Verified compilation of space-efficient reversible circuits
US6973644B2 (en) Program interpreter
Fisher Control structures for programming languages
JP2018510445A (ja) プログラム性能を向上させる領域特化システムおよび方法
Johnson et al. Combined code motion and register allocation using the value state dependence graph
JP2002297399A (ja) 静的単一代入を行うためのφ関数を与える方法
US5854928A (en) Use of run-time code generation to create speculation recovery code in a computer system
US10013244B2 (en) Apparatus and method to compile a variadic template function
JP3311381B2 (ja) コンパイラにおける命令スケジューリング処理方法
US7032215B2 (en) Method and system for type demotion of expressions and variables by bitwise constant propagation
US6721945B1 (en) Optimization of calls in programming languages using pointers for passing reference parameters
Orchard et al. Using session types as an effect system
JP7040187B2 (ja) コンパイラ
JPH07244647A (ja) 間接参照ループの並列化方法、並列化装置、並列実行方法および並列実行装置
CN121753017A (zh) 基于数据流图进行计算的方法及相关设备
Chow Redundancy Elimination
JP3551352B2 (ja) ループ分割方法

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20050119

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20050119

A761 Written withdrawal of application

Free format text: JAPANESE INTERMEDIATE CODE: A761

Effective date: 20060317