編譯器重排
① java中volatile修飾的變數有什麼特徵
volatile具有可見性、有序性,不具備原子性。
注意,volatile不具備原子性,這是volatile與java中的synchronized、java.util.concurrent.locks.Lock最大的功能差異,這一點在面試中也是非常容易問到的點。
下面來分別看下可見性、有序性、原子性:
原子性:如果你了解事務,那這個概念應該好理解。原子性通常指多個操作不存在只執行一部分的情況,如果全部執行完成那沒毛病,如果只執行了一部分,那對不起,你得撤銷(即事務中的回滾)已經執行的部分。
可見性:當多個線程訪問同一個變數x時,線程1修改了變數x的值,線程1、線程2...線程n能夠立即讀取到線程1修改後的值。
有序性:即程序執行時按照代碼書寫的先後順序執行。在Java內存模型中,允許編譯器和處理器對指令進行重排序,但是重排序過程不會影響到單線程程序的執行,卻會影響到多線程並發執行的正確性。(本文不對指令重排作介紹,但不代表它不重要,它是理解JAVA並發原理時非常重要的一個概念)。
② 用於解決CPU指令亂序、編譯器重排、多CPU內存同步等帶來的問題機制是什麼
這個真不懂,要是懂了就不賣電腦了!
③ java pico編譯器怎麼樣
Pico是一個由華盛頓大學(University of Washington)計算與通訊研究所(Computing and Communications Group)編寫並維護的文本編輯程序,在多個版本的Unix和類Unix操作系統中都有移植版本。作為一個簡單的純文本編輯器,pico並不具備字處理程序中常見的增強功能,例如黑體和斜體等等。Pico的基本功能包括文本輸入,文本搜索,拼寫檢查,文件瀏覽,文本拷貝、剪切和粘貼。很有意思的是,一個功能如此簡單的文本編輯器,竟然經常被開發人員用來編寫程序代碼 -- 在種類繁多的純文本編輯器中,pico在程序員中的市場佔有率僅次於vi。
nano是模仿pico的一個更簡單易用的text editor。
在命令行下輸入pico命令,即可啟動pico編輯器,nano的用法與其類似
例如:
pico [回車] --啟動pico,並創建一個新文件
pico file_name [回車] -- 啟動pico,並打開文件名為file_name的文件
在pico中同時按下CTRL鍵和x鍵,可以退出pico。如果pico中正在編輯的文件存在尚未存檔的修改內容,pico會詢問你是否需要保存修改過的內容。如果需要保存的是一個新創建的文件,pico還會讓你輸入新文件的文件名。在這里保存文件或者是放棄保存後就退出pico了。
上圖是一個在CentOS中運行的nano的實例。在屏幕的最上方一行是系統信息,分別顯示的是pico的版本號,當前正在編輯的文件名(如果正在編輯的是一個尚未保存過的新文件,則會顯示New Buffer)。如果緩沖區中右上為保存過的修改,在右上角還會出現Modified提示。
在屏幕的最下方兩行,是常用的系統命令。每個命令都是一個組合鍵,也就是同時按下CTRL鍵(在pico提示中用^符號表示按下CTRL鍵)和表示該命令的字母。雖然在提示用的字母都是大寫,但是實際操作中並不需要輸入大寫字母。例如,調用系統幫助的命令是^G,我們只需要同時按下CTRL鍵和g鍵就可以了。下面列出我們常用的一些pico命令:
^G — 獲得系統幫助
^O — 保存文件,如果這是一個新創建的文件,則會要求您輸入一個文件名
^R — 要求您輸入一個文本文件的文件名,將該文件的內容插入到當前游標位置
^Y — 向前翻頁
^V — 向後翻頁
^W — 調用搜索功能
^K — 刪除游標所在的行,並將該行的內容放入粘貼緩沖區
^U — 將粘貼緩沖區中的內容粘貼到當前游標位置
^C — 報告當前游標位置
^T — 調用拼寫檢查功能
^J — 段落重排功能
^X — 退出pico
需要說明的是,在Solaris,FreeBSD和大部分的linux發行版中並沒有預設地提供pico。如果您的系統中沒有pico編輯器,最方便的方法是尋找該操作系統上的pine安裝包,安裝了pine之後pico就在系統的路徑裡面了。如果您沒有往系統中安裝應用程序的許可權,還自己下載編譯然後放入自己的路徑當中。最新版本的pine可以從如下地址下載:
④ 跪求重排九宮的C語言演算法,要完整的程序!我的編譯器是VC6.0
給分,馬上給你發一份現成的.
⑤ 如何寫出更好的Java代碼
1. 優雅需要付出代價。
從短期利益來看,對某個問題提出優雅的解決方法,似乎可能花你更多的時間。但當它終於能夠正確執行並可輕易套用於新案例中,不需要花上數以時計,甚至以天計或以月計的辛苦代價時,你會看得到先前所花功夫的回報(即使沒有人可以衡量這一點)。這不僅給你一個可更容易開發和調試的程序,也更易於理解和維護。這正是它在金錢上的價值所在。這一點有賴某種人生經驗才能夠了解,因為當你努力讓某一段程序代碼變得比較優雅時,你並不是處於一種具生產力的狀態下。但是,請抗拒那些催促你趕工的人們,因為那麼做只會減緩你的速度罷了。
2. 先求能動,再求快。
即使你已確定某段程序代碼極為重要,而且是系統的重要瓶頸,這個准則依然成立。盡可能簡化設計,讓系統能夠先正確動作。如果程序的執行不夠快,再量測其效能。幾乎你總是會發現,你所認為的」瓶頸」其實都不是問題所在。把你的時間花在刀口上吧。
3. 記住」各個擊破」的原理。
如果你所探討的問題過於混雜,試著想像該問題的基本動作會是什麼,並假設這一小塊東西能夠神奇地處理掉最難的部分。這」一小塊」東西其實就是對象–請撰寫運用該對象的程序代碼,然後檢視對象,並將其中困難的部分再包裝成其他對象,依此類推。
4. 區分class開發者和class使用者(使用端程序員)。
Class 使用者扮演著」客戶」角色,不需要(也不知道)class的底層運作方式。Class開發者必須是class設計專家,並撰寫class,使它能夠盡可能被大多數新手程序員所用,而且在程序中能夠穩當執行。一套程序庫只有在具備通透性的情況下,使用起來才會容易。
5.當你撰寫class時,試著給予明了易懂的名稱,減少不必要的註解。
你給客戶端程序員的介面,應該保持概念上的單純性。不了這個目的,當函數的重載(overloading)適合製作出直覺、易用的介面時,請善加使用。
6. 也必你的分析和設計必須讓系統中的classes保持最少,須讓其Public interfaces保持最少,以及讓這些classes和其他classes之間的關聯性( 尤其是base classes)保持最少。
如果你的設計所得結果更甚於此,請問問自己,是否其中每一樣東西在整個程序生命期中都饒富價值?如果並非如此,那麼,維護它們會使你付出代價。開發團隊的成員都有不維護」無益於生產力提升」的任何東西的傾向;這是許多設計方法無法解釋的現象。
7. 讓所有東西盡量自動化。先撰寫測試用的程序代碼(在你撰寫class之前),並讓它和class結合在一起。請使用makefile或類似工具,自動進行測試動作。
通過這種方式,只要執行測試程序,所有的程序變動就可以自動獲得驗證,而且可以立即發現錯誤。由於你知道的測試架構所具備的安全性,所以當你發現新的需求時,你會更勇於進行全面修改。請記住,程序語言最大的改進,是來自型別檢查、異常處理等機制所賦予的內置測試動作。但這些功能只能協助你到達某種程度。開發一個穩固系統時,你得自己驗證自己的classes或程序的性質。
8. 在你撰寫class之前先寫測試碼,以便驗證你的class 是否設計完備。如果你無法撰寫測試碼,你便無法知道你的class 的可能長相。撰寫測試碼通常能夠顯現出額外的特性(features)或限制 ( constraints)__它們並不一定總是能夠在分析和設計過程中出現。測試碼也可做為展示class 用法的示常式序。
9. 所有軟體設計上的問題,都可以通過」引入額外的概念性間接層(conceptual indirection)」加以簡化。這個軟體工程上的基礎法則是抽象化概念的根據,而抽象化概念正是面向對象程序設計的主要性質。
10. 間接層(indirection)應該要有意義(和准則-9致)。
這里所指的意義可以像」將共用程序代碼置於惟一函數」這么簡單。如果你加入的間接層(或抽象化、或封裝等等)不具意義,它可能就和沒有適當的間接層一樣糟糕。
11. 讓class盡可能微小而無法切割(atomic)。
賦予每個class單一而清楚的用途。如果你的classes或你的系統成長得過於復雜,請將復雜的classes切割成比較簡單的幾個classes。最明顯的一個判斷指針就是class的大小:如果它很大,那麼它工作量過多的機會就可能很高,那就應該被切割。重新設計class的建議線索是:
1) 復雜的switch語句:請考慮運用多態(Polymorphism)。
2) 許多函數各自處理類型極為不同的動作:請考慮切割為多個不同的(classes)。
12. 小心冗長的引數列(argument lists)。
冗長的引數列會使函數的調用動作不易撰寫、閱讀、維護。你應該試著將函數搬移到更適當的class中,並盡量以對象為引數。
13. 不要一再重復。
如果某段程序代碼不斷出現於許多derived class函數中,請將該段程序代碼置於某個base class 函數內,然後在derived class函數中調用。這么做不僅可以省下程序代碼空間,也可以讓修改該段程序代碼動作更易於進行。有時候找出此種共通程序代碼還可以為介面增加實用功能。
14. 小心switch語句或成串的if-else 子句。
通常這種情況代表所謂的」type-check coding」。也就是說究竟會執行哪一段程序代碼,乃是依據某種型別信息來做抉擇(最初,確切型別可能不十分明顯)。你通常可以使用繼承和多態來取代此類程序代碼;Polymorphical method (多態函數)的調用會自動執行此類型別檢驗,並提供更可靠更容易的擴充性。
15. 從設計觀點來看,請找出變動的事物,並使它和不變的事物分離。
也就是說,找出系統中可能被你改變的元素,將它們封裝於classes中。你可以在《Thinking in Patterns with Java》(可免費下載於 www. BruceEckel. Com)大量學習到這種觀念。
16. 不要利用subclassing來擴充基礎功能。
如果某個介面元素對class而言極重要,它應該被放在base class 里頭,而不是直到衍生(derivation)時才被加入。如果你在繼承過程中加入了函數,或許你應該重新思考整個設計。
17. 少就是多。
從class 的最小介面開始妨展,盡可能在解決問題的前提下讓它保持既小又單純。不要預先考量你的class被使用的所有可能方式。一旦class被實際運用,你自然會知道你得如何擴充介面。不過,一旦class被使用後,你就無法在不影響客戶程序代碼的情況下縮減其介面。如果你要加入更多函數倒是沒有問題–不會影響既有的客戶程序代碼,它們只需重新編譯即可。但即使新函數取代了舊函數的功能,也請你保留既有介面。如果你得通過」加入更多引數」的方式來擴充既有函數的介面,請你以新引數寫出一個重載化的函數;通過 這種方式就不會影響既有函數的任何客戶了。
18. 大聲念出你的classes,確認它們符合邏輯。
請base class和derived class 之間的關系是」is-a」(是一種),讓class和成員對象之間的關系是」has-a」(有一個)。
19. 當你猶豫不決於繼承(inheritance)或合成(組合,composition)時,請你問問自己,是否需要向上轉型(upcast)為基礎型別。
如果不需要,請優先選擇合成(也就是是使用成員對象)。這種作法可以消除」過多基礎型別」。如果你採用繼承,使用者會認為他們應該可以向上轉型。
20. 運用數據成員來表示數值的變化,運用經過覆寫的函數(overrided method)來代錶行為的變化 。
也就是說,如果你找到了某個 class, 帶有一些狀態變數,而其函數會依據這些變數值切換不同的行為,那麼你或許就應該重新設計,在subclasses 和覆寫後的函數(overrided methods)中展現行為止的差異。
21. 小心重載(overloading)。
函數不應該依據引數值條件式地選擇執行某一段程序代碼。這種情況下你應該撰寫兩個或更多個重載函數(overloaded methods)
22. 使用異常體系(exception hierarchies)
最好是從Java標准異常體系中衍生特定的classes, 那麼,捕捉異常的人便可以捕捉特定異常,之後才捕捉基本異常。如果你加入新的衍生異常,原有的客戶端程序仍能通過其基礎型別來捕捉它。
23. 有時候簡單的聚合(aggregation)就夠了。
飛機上的」旅客舒適系統」包括數個分離的元素:座椅、空調、視訊設備等等,你會需要在飛機上產生許多這樣的東西。你會將它們聲明為Private成員並開發出一個全新的介面嗎?不會的,在這個例子中,元素也是Public介面的一部分,所以仍然是安全的。當然啦,簡單聚合並不是一個常被運用的解法,但有時候的確是。
24. 試著從客戶程序員和程序維護的角度思考。
你的class應該設計得盡可能容易使用。你應該預先考量可能性有的變動,並針對這些 可能的變動進行設計,使這些變動日後可輕易完成。
25. 小心」巨大對象並發症」。
這往往是剛踏OOP領域的過程式(proceral)程序員的一個苦惱,因為他們往往最終還是寫出一個過程式程序,並將它們擺放到一個或兩個巨大對象中。注意,除了application framework (應用程序框架,譯註:一種很特殊的、大型OO程序庫,幫你架構程序本體)之外,對象代表的是程序中的觀念,而不是程序本身。
26. 如果你得用某種醜陋的方式來達成某個動作,請將醜陋的部分局限在某個class里頭。
27. 如果你得用某種不可移植方式來達成某個動作,請將它抽象化並局限於某個class里頭。這樣一個」額外間接層」能夠防止不可移植的部分擴散到整個程序。這種作法的具體呈現便是Bridge設計模式(design pattern)。
28. 對象不應僅僅只用來持有數據。
對象也應該具有定義明確界限清楚的行為。有時候使用」數據對象」是適當的,但只有在通用形容器不適用時,才適合刻意以數據對象來包裝、傳輸一群數據項。
29. 欲從既有的classes身上產生新的classes時,請以組合(composition)為優先考量。
你應該只在必要時才使用繼承。如果在組合適用之處你卻選擇了繼承,你的設計就滲雜了非必要的復雜性。
30. 運用繼承和函數覆寫機制來展現行為上的差異,運用fields(數據成員)來展現狀態上的差異。
這句話的極端例子,就是繼承出不同的classes表現各種不同的顏色,而不使用」color」field.
31. 當心變異性(variance)。
語意相異的兩個對象擁有相同的動作(或說責任)是可能的。OO世界中存在著一種天生的引誘,讓人想要從某個class繼承出另一個subclass,為的是獲得繼承帶來的福利。這便是所謂」變異性」。但是,沒有任何正當理由足以讓我們強迫製造出某個其實並不存在的superclass/subclass關系。比較好的解決方式是寫出一個共用的base class,它為兩個derived classes製作出共用介面–這種方式會耗用更多空間,但你可以如你所盼望地從繼承機制獲得好處,而且或許能夠在設計上獲得重大發現。
32. 注意繼承上的限制。
最清晰易懂的設計是將功能加到繼承得來的class里頭;繼承過程中拿掉舊功能(而非增加新功能)則是一種可疑的設計。不過,規則可以打破。如果你所處理的是舊有的class程序庫,那麼在某個class的subclass限制功能,可能會比重新制定整個結構(俾使新class得以良好地相稱於舊 class)有效率得多。
33. 使用設計模式(design patterns)來減少」赤裸裸無加掩飾的機能(naked functionality)」。
舉個例子,如果你的class只應該產出惟一一個對象,那麼請不要以加思索毫無設計的手法來完成它,然後撰寫」只該產生一份對象」這樣的註解就拍拍屁股走人。請將它包裝成singleton(譯註:一個有名的設計模式,可譯為」單件」)。如果主程序中有多而混亂的」用以產生對象」的程序代碼,請找出類似 factory method這樣的生成模式(creational patterns),使價錢可用以封裝生成動作減少」赤裸裸無加掩飾的機能」(naked functionality)不僅可以讓你的程序更易理解和維護,也可以阻止出於好意卻帶來意外的維護者。
34. 當心」因分析而導致的癱瘓(analysis paralysis)」。
請記住,你往往必須在獲得所有信息之前讓項目繼續前進。而且理解未知部分的最好也最快的方式,通常就是實際前進一步而不只是紙上談兵。除非找到解決辦法,否則無法知道解決辦法。Java擁有內置的防火牆,請讓它們發揮作用。你在單一class或一組classes中所犯的錯誤,並不會傷害整個系統的完整性。
35. 當你認為你已經獲得一份優秀的分析、設計或實現時,請試著加以演練。
將團隊以外的某些人帶進來-他不必非得是個顧問不可,他可以是公司其他團隊的成員。請那個人以新鮮的姿態審視你們的成果,這樣可以在尚可輕易修改的階段找出問題,其收獲會比因演練而付出的時間和金錢代價來得高。實現 (Implementation)
36. 一般來說,請遵守Sun的程序編寫習慣。
價錢可以在以下網址找到相關文檔:java.sun.com/docs/codeconv/idex.html。本書盡可能遵守這些習慣。眾多Java程序員看到的程序代碼,都有是由這些習慣構成的。如果你固執地停留在過去的編寫風格中,你的(程序代碼)讀者會比較辛苦。不論你決定採用什麼編寫習慣,請在整個程序中保持一致。你可以在home.wtal.de/software-solutions/jindent上找到一個用來重排Java程序的免費工具。
37. 無論使用何種編寫風格,如果你的團隊(或整個公司,那就更好了)能夠加以標准化,那麼的確會帶來顯著效果。這代表每個人都可以在其他人不遵守編寫風格修改其作品,這是個公平的游戲。標准化的價值在於,分析程序代碼時所花的腦力較小,因而可以專心於程序代碼的實質意義。
38. 遵守標準的大小寫規范。
將 class名稱的第一個字母應為大寫。數據成員、函數、對象(references)的第一個字母應為小寫。所有識別名稱的每個字都應該連在一塊兒,所有非首字的第一個字母都應該大寫。例如: ThisIsAClassName thisIsAMethodOrFieldName 如果你在static final 基本型別的定義處指定了常量初始式(constant initializers),那麼該識別名稱應該全為大寫,代表一個編譯期常量。 Packages是個特例,其名稱皆為小寫,即使非首字的字母亦是如此。域名(org, net, e 等等)皆應為小寫。(這是Java 1.1遷移至Java 2時的一項改變) 。
39、不要自己發明」裝飾用的」Private數據成員名稱。
通常這種的形式是在最前端加上底線和其他字元,匈牙利命名法(Hungarian notation)是其中最差的示範。在這種命名法中,你得加入額外字元來表示數據的型別、用途、位置等等。彷彿你用的是匯編語言(assembly language)而編譯器沒有提供任何協肋似的。這樣的命名方式容易讓人混淆又難以閱讀,也不易推行和維護。就讓classes和packages來進行」名稱上的范
圍制定(name scoping)」吧。
40、當你擬定通用性的class時,請遵守正規形式(canonical form)。
包括equals( )、hashCode( )、clone( ) ( 實現出Cloneable),並實現出Comparable和Serialiable等等。
⑥ SET I1=100 指令的含義是將100的值賦給()
摘要 重排序後, a 的兩次操作被放到一起,指令執行情況變為 Load a、Set to 100、Set to 110、 Store a。下面和 b 相關的指令不變,仍對應 Load b、 Set to 5、Store b。
⑦ 編譯器生成的匯編語句執行順序為什麼與C代碼順序不同
不影響語義的前提下編譯器可以任意重排代碼順序;
在亂序執行(Out-of-Order)的CPU里,機器碼的執行也可以不按照你在「匯編」層面上看到的順序執行,只要不影響語義。
所以說這些中間步驟的順序,作為底層細節平時不需要那麼在意——它們多半跟原始源碼的順序是不一樣的。
現代優化編譯器優化的思路之一是「基於依賴的優化」(dependence-based optimization)。題主引用的CSAPP的例子:
int arith(int x, int y, int z) {
int t1 = x + y;
int t2 = z * 48;
int t3 = t1 & 0xFFFF;
int t4 = t2 * t3;
return t4;
}
所有涉及運算的值都是局部標量變數(local scalar variable),這是最便於編譯器做分析的情況,所有依賴都可以顯式分析。
由於整個函數沒有分支,這里也不需要討論控制依賴(control dependence),只要討論數據依賴(data dependence)就好。
把數據依賴圖畫出來是個DAG(這里正好是棵樹,特例了):
x y z 48
\ / \ /
t1 0xFFFF t2
\ / /
t3 /
\ /
t4
優化必須要滿足的約束是:每個節點求值之前,其子節點(依賴的數據源)必須要先求了值。
顯然,t1和t2之間沒有依賴關系,它們的相對求值順序怎樣重排都沒關系。
有本我很喜歡的書,裡面講的是各種基於依賴的優化:Optimizing Compilers for Modern Architectures - A Dependence-based Approach
以上是理論部分。
================================================================
下面來看例子。
我們可以用一個實際編譯器來看看CSAPP的例子編譯出來的結果:
.text
# -- Begin arith
.p2align 4,,15
.globl arith
.type arith, @function
arith:
.p2align 4,,7
/*.L0:*/ /* Block BB[54:2] preds: none, freq: 1.000 */
movl 8(%esp), %edx /* ia32_Load T[139:10] -:1:22 */
addl 4(%esp), %edx /* ia32_Add Iu[141:12] -:2:14 */
movzwl %dx, %edx /* ia32_Conv_I2I Iu[142:13] -:4:15 */
imull 12(%esp), %edx /* ia32_IMul Iu[143:14] -:5:15 */
leal (%edx,%edx,2), %eax /* ia32_Lea Iu[144:15] -:5:15 */
shll $0x4, %eax /* ia32_Shl Iu[146:17] -:5:15 */
ret /* ia32_Return X[152:23] -:6:3 */
.size arith, .-arith
# -- End arith
這里用的是libFirm。可見它跟CSAPP書里所說的匯編的順序又有所不同。這也是完全合理的。
這個編譯結果的順序是:
edx = y;
edx += x;
edx = zeroextend dx; // edx = edx & 0xFFFF
edx *= z;
eax = edx * 3;
eax <<= 4; // eax = eax * 16
也是完全符合依賴關系的約束的一種順序。
之所以用libFirm舉例是因為它的中間表示(Intermediate Representation)是一種程序依賴圖(Program Dependence Graph),可以很方便的看出控制與數據依賴。把CSAPP那裡例子對應的libFirm IR畫出來,是這個樣子的:
(這張圖跟我前面畫的數據依賴圖正好是左右翻轉的,不過意思一樣。(這張圖跟我前面畫的數據依賴圖正好是左右翻轉的,不過意思一樣。
Arg 0、1、2分別代表x、y、z。白色方塊是普通數據節點,黃色方塊是常量節點,藍色方塊是內存相關節點,紅色方塊是控制流節點,粉紅色方塊是特殊的開始/結束節點。)
某版LLVM生成的代碼:
; MoleID = '/tmp/webcompile/_16355_0.bc'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-ellcc-linux"
; Function Attrs: nounwind readnone
define i32 @arith(i32 %x, i32 %y, i32 %z) #0 {
entry:
%add = add nsw i32 %y, %x
%mul = mul nsw i32 %z, 48
%and = and i32 %add, 65535
%mul1 = mul nsw i32 %mul, %and
ret i32 %mul1
}
attributes #0 = { nounwind readnone "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
!llvm.ident = !{!0}
!0 = !{!"ecc 0.1.10 based on clang version 3.7.0 (trunk) (based on LLVM 3.7.0svn)"}
最終生成的x86匯編:
.text
.file "/tmp/webcompile/_15964_0.c"
.globl arith
.align 16, 0x90
.type arith,@function
arith: # @arith
# BB#0: # %entry
movl 8(%esp), %eax
addl 4(%esp), %eax
movzwl %ax, %eax
imull 12(%esp), %eax
shll $4, %eax
leal (%eax,%eax,2), %eax
retl
.Ltmp0:
.size arith, .Ltmp0-arith
.ident "ecc 0.1.10 based on clang version 3.7.0 (trunk) (based on LLVM 3.7.0svn)"
.section ".note.GNU-stack","",@progbits
GCC 4.9.2 x86-64:
arith(int, int, int):
leal (%rdx,%rdx,2), %eax
addl %edi, %esi
movzwl %si, %esi
sall $4, %eax
imull %esi, %eax
ret
Zing VM Server Compiler x86-64:
# edi: x
# esi: y
# edx: z
movl %edx, %eax
shll $0x4, %eax
leal (%rsi, %rdi, 1), %ecx
shll $0x5, %edx
addl %edx, $eax
movzwl %ecx, %edx
imull %edx, %eax
⑧ 請教:為什麼keil c51 中不能設斷點
keil優化的問題,設置斷點的程序段被keil優化掉了,詳見keil優化級別說明
級別
說明
0
常數合並:編譯器預先計算結果,盡可能用常數代替表達式。包括運行地址計算。
優化簡單訪問:編譯器優化訪問8051系統的內部數據和位地址。
跳轉優化:編譯器總是擴展跳轉到最終目標,多級跳轉指令被刪除。
1
死代碼刪除:沒用的代碼段被刪除。
拒絕跳轉:嚴密的檢查條件跳轉,以確定是否可以倒置測試邏輯來改進或刪除。
2
數據覆蓋:適合靜態覆蓋的數據和位段被確定,並內部標識。bl51連接/定位器可以通
過全局數據流分
,選擇可被覆蓋的段。
3
窺孔優化:清除多餘的mov指令。這包括不必要的從存儲區載入和常數載入操作。當存
儲空間或執行時間可節省時,用簡單操作代替復雜操作。
4
寄存器變數:如有可能,自動變數和函數參數分配到寄存器上。為這些變數保留的存
儲區就省略了。
優化擴展訪問:idata、xdata、pdata和code的變數直接包含在操作中。在多數時間沒
必要使用中間寄存器。
局部公共子表達式刪除:如果用一個表達式重復進行相同的計算,則保存第一次計算
結果,後面有可能就用這結果。多餘的計算就被刪除。
case/switch優化:包含switch和case的代碼優化為跳轉表或跳轉隊列。
5
全局公共子表達式刪除:一個函數內相同的子表達式有可能就只計算一次。中間結果
保存在寄存器中,在一個新的計算中使用。
簡單循環優化:用一個常數填充存儲區的循環程序被修改和優化。
6
循環優化:如果結果程序代碼更快和有效則程序對循環進行優化。
7
擴展索引訪問優化:適當時對寄存器變數用dptr。對指針和數組訪問進行執行速度和
代碼大小優化。
8
公共尾部合並:當一個函數有多個調用,一些設置代碼可以復用,因此減少程序大小
。
9
公共塊子程序:檢測循環指令序列,並轉換成子程序。cx51甚至重排代碼以得到更大的循環序列。