Cコンパイラの算術最適化のランダムテストにおける式生成の強化(応用設計, FPGA応用及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, Cコンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として,式生成を強化する手法を提案する.本手法では,従来手法よりも長く,かつC言語の未定義動作を引き起こさない算術式を生成する.これは,式の期待値計算の過程で未定義動作を検出すると,式を変形することによりその未定義動作を回避するという方法による.また, 1つのプログラムに複数の式を出現させることにより,不具合検出能力の強化を図る.本手法に基づくランダムテストシステムを実装した結果, GCC 472(x86-64-apple-darwin10), GCC 454(i686-pc-linux)などの不具合を検出することができた.
- 2013-01-09
著者
関連論文
- コンフィギュラブルプロセッサの命令セット拡張に対応したGCCの自動生成(オペレーティング・システム/コンパイラ)
- コンフィギュラブルプロセッサの命令セット拡張に対応したGCCの自動生成(オペレーティング・システム/コンパイラ)
- VLIW型DSP SPXK5の条件実行を考慮した最適コードスケジューリング(コンパイラ,システムオンシリコンを支える設計技術)
- 算術式の最適化を対象としたCコンパイラのランダムテスト(コンパイラ,システムオンシリコンを支える設計技術)
- CPUと密に結合したコプロセッサによるハードウェア/ソフトウェア協調設計 (集積回路)
- ソフトウェア開発環境自動構築ツールArchCのVLIW拡張(プロセッサ向け最適化と開発環境)
- 高位合成を有効活用するか?活用をあきらめるか?(システム設計及び一般)
- 高位合成を有効活用するか?活用をあきらめるか?(パネル討論,システム設計及び一般)
- 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張(高位合成,FPGA応用及び一般)
- AS-1-2 入力プログラムと中間表現の実行に基づく高位合成システムのテスト(AS-1.高位設計・検証,シンポジウムセッション)
- コンフィギュラブルプロセッサの命令セット拡張に対応したGCCの自動生成
- ソフトウェア開発環境自動構築ツールArchCのVLIW拡張(プロセッサ向け最適化と開発環境,FPGA応用及び一般)
- ソフトウェア開発環境自動構築ツールArchCのVLIW拡張(プロセッサ向け最適化と開発環境,FPGA応用及び一般)
- ソフトウェア開発環境自動構築ツールArchCのVLIW拡張(プロセッサ向け最適化と開発環境,FPGA応用及び一般)
- VLIW型プロセッサ用リターゲッタブル・リニアアセンブラ(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- VLIW型プロセッサ用リターゲッタブル・リニアアセンブラ(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- VLIW型プロセッサ用リターゲッタブル・リニアアセンブラ(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- リターゲッタブル・コンパイラのための命令パターン生成(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- プロセッサ仕様記述からの命令依存距離抽出(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- リターゲッタブル・コンパイラのための命令パターン生成(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- プロセッサ仕様記述からの命令依存距離抽出(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- リターゲッタブル・コンパイラのための命令パターン生成(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- プロセッサ仕様記述からの命令依存距離抽出(プロセッサ/コンパイラ, FRGAとその応用及び一般)
- MIPSアセンブリを中間表現とする高位合成システムの実装
- MIPSアセンブリを中間表現とする高位合成システムの実装
- MIPSアセンブリを中間表現とする高位合成システムの実装
- MIPSアセンブリを中間表現とする高位合成システムの実装
- CPUと密に結合したコプロセッサによるハードウェア/ソフトェア協調設計
- CPUと密に結合したコプロセッサによるハードウェア/ソフトェア協調設計
- 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張(高位合成,FPGA応用及び一般)
- 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張(高位合成,FPGA応用及び一般)
- 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張(高位合成,FPGA応用及び一般)
- 不定サイクル演算を考慮した高位合成の可変スケジューリング・バインディング(高位合成,デザインガイア2008-VLSI設計の新しい大地)
- 不定サイクル演算を考慮した高位合成の可変スケジューリング・バインディング(高位合成,デザインガイア2008-VLSI設計の新しい大地)
- 不定サイクル演算を考慮した高位合成の可変スケジューリング・バインディング(高位合成,デザインガイア2008-VLSI設計の新しい大地-)
- AS-1-1 不定サイクル演算を考慮した高位合成のスケジューリング(AS-1.高位設計・検証,シンポジウムセッション)
- 組込みプロセッサの命令セット拡張に適したソフトウェア開発ツール生成手法(システム設計・高位論理設計,システムオンシリコンを支える設計技術)
- Cコンパイラ用テストスイートおよびその生成ツールtestgen(FPGAとその応用及び一般)
- Cコンパイラ用テストスイートおよびその生成ツールtestgen(FPGAとその応用及び一般)
- Cコンパイラ用テストスイートおよびその生成ツールtestgen(FPGAとその応用及び一般)
- Cコンパイラ用テストスイートおよびその生成ツールtestgen(FPGAとその応用及び一般)
- Cコンパイラ用テストスイートおよびその生成ツール testgen
- 命令セット拡張に対するGCC及びGNU Tool Chainのリターゲッティング(FPGAとその応用及び一般)
- 命令セット拡張に対するGCC及びGNU Tool Chainのリターゲッティング(FPGAとその応用及び一般)
- 命令セット拡張に対するGCC及びGNU Tool Chainのリターゲッティング(FPGAとその応用及び一般)
- 命令セット拡張に対するGCC及びGNU Tool Chainのリターゲッティング(FPGAとその応用及び一般)
- 命令セット拡張に対するGCC及び GNU Tool Chain のリターゲッティング
- 命令セット拡張に対するGCC及び GNU Tool Chain のリターゲッティング
- 命令セット拡張に対するGCC及び GNU Tool Chain のリターゲッティング
- 命令セット拡張に対するGCC及び GNU Tool Chain のリターゲッティング
- 高位合成システムCCAPにおけるハードウェア関数からのソフトウェア関数の呼び出し(高位合成)
- 高位合成処理システムCCAPを用いたAES暗号処理の高速化(高位合成)
- 高位合成システムCCAPにおけるハードウェア関数からのソフトウェア関数の呼び出し(高位合成)
- 高位合成処理システムCCAPを用いたAES暗号処理の高速化(高位合成)
- 高位合成システムCCAPにおけるハードウェア関数からのソフトウェア関数の呼び出し
- ソフトウェア互換ハードウェアを合成する高位合成システムCCAPにおける変数と関数の扱い(VLSIの設計/検証/テスト及び一般(デザインガイア))
- ソフトウェア互換ハードウェアを合成する高位合成システムCCAPにおける変数と関数の扱い(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般)
- 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般)
- 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般)
- 準ブール充足可能性判定によるクラスタ型VLIW DSPの最適コードスケジューリング(FPGAとその応用及び一般)
- VLIW型DSPのコード最適化のためのサイクル分割スケジューリング(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- VLIW型DSPのコード最適化のためのサイクル分割スケジューリング(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- ソフトウェア互換ハードウェアを合成する高位合成システムCCAPにおける変数と関数の扱い(VLSIの設計/検証/テスト及び一般(デザインガイア))
- ソフトウェア互換ハードウェアを合成する高位合成システムCCAPにおける変数と関数の扱い(VLSIの設計/検証/テスト及び一般(デザインガイア))
- VLIW型DSPのコード最適化のためのサイクル分割スケジューリング(アーキテクチャとコンパイラ,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- プラグイン方式に基づくBinutilsおよびGDBの自動リターゲッティング(コンパイラと設計,FPGA応用及び一般)
- プログラム併合によるコンパイラのリグレッションテストの高速化(コンパイラと設計,FPGA応用及び一般)
- プログラム併合によるコンパイラのリグレッションテストの高速化(コンパイラと設計,FPGA応用及び一般)
- プログラム併合によるコンパイラのリグレッションテストの高速化(コンパイラと設計,FPGA応用及び一般)
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- 高位合成における可変スケジューリングの近似手法(VLSI設計技術,FPGA応用及び一般)
- 高位合成における可変スケジューリングの近似手法(VLSI設計技術,FPGA応用及び一般)
- 高位合成における可変スケジューリングの近似手法(VLSI設計技術,FPGA応用及び一般)
- A-3-4 Cコンパイラの算術式を対象としたランダムテストにおけるエラープログラムの最小化(A-3.VLSI設計技術,一般セッション)
- A-3-5 併合したCコンパイラ用テストスイートにおけるエラープログラムの同定(A-3.VLSI設計技術,一般セッション)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- A-3-14 メモリ使用量最小化を目的としたコンパイラの最適化オプションセットの探索(A-3.VLSI設計技術,一般セッション)
- A-3-6 高位合成のバインディングにおける演算器の部分共有(A-3.VLSI設計技術,一般セッション)
- ソフトウェアと再リンク可能なハードウェアの高位合成(高位合成と演算応用,FPGA応用及び一般)
- アセンブリコードを中間表現とする高位合成における関数の併合(高位合成と演算応用,FPGA応用及び一般)
- ソフトウェアと再リンク可能なハードウェアの高位合成(高位合成と演算応用,FPGA応用及び一般)
- アセンブリコードを中間表現とする高位合成における関数の併合(高位合成と演算応用,FPGA応用及び一般)
- ソフトウェアと再リンク可能なハードウェアの高位合成(高位合成と演算応用,FPGA応用及び一般)
- アセンブリコードを中間表現とする高位合成における関数の併合(高位合成と演算応用,FPGA応用及び一般)
- ソフトウェアと再リンク可能なハードウェアの高位合成
- ソフトウェアと再リンク可能なハードウェアの高位合成
- ソフトウェアと再リンク可能なハードウェアの高位合成
- アセンブリコードを中間表現とする高位合成における関数の併合
- アセンブリコードを中間表現とする高位合成における関数の併合
- アセンブリコードを中間表現とする高位合成における関数の併合
- A-3-9 Cコンパイラの算術最適化のランダムテストにおける浮動小数点演算の導入(A-3.VLSI設計技術,一般セッション)
- Cコンパイラの算術最適化のランダムテストにおける式生成の強化(応用設計, FPGA応用及び一般)
- Cコンパイラの算術最適化のランダムテストにおける式生成の強化(応用設計, FPGA応用及び一般)