X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FTarget%2FREADME.txt;h=78dcb12581c699ff3271d73fce612b6d8ca5b386;hb=d24479730a8790d82c4859dc477bc2416d7a6bda;hp=756f38a64913d78c40b8c3aeace704a3386b36fa;hpb=8289b05c4cc9c41f5c6c2e3807399551f2934fa9;p=oota-llvm.git diff --git a/lib/Target/README.txt b/lib/Target/README.txt index 756f38a6491..78dcb12581c 100644 --- a/lib/Target/README.txt +++ b/lib/Target/README.txt @@ -1673,3 +1673,19 @@ while it could get this: sarl $5, %eax //===---------------------------------------------------------------------===// + +GCC PR31029: + +int test(int x) { return 1-x == x; } // --> return false +int test2(int x) { return 2-x == x; } // --> return x == 1 ? + +Always foldable for odd constants, what is the rule for even? + +//===---------------------------------------------------------------------===// + +PR 3381: GEP to field of size 0 inside a struct could be turned into GEP +for next field in struct (which is at same address). + +For example: store of float into { {{}}, float } could be turned into a store to +the float directly. +