diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2012-01-04 23:13:47 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2012-01-04 23:13:47 +0000 |
| commit | 65639284118d54ddf2e51a05d2ffccda567fe246 (patch) | |
| tree | 66b7a7ae4545db073ada0549d8af683c5c2b4231 /test/CodeGenCXX/const-init.cpp | |
| parent | 08f7760eb2bc25ba3335169be83f7ba492860135 (diff) | |
Add an APValue representation for the difference between two address-of-label expressions. Add support to Evaluate and CGExprConstant for generating/handling them. Remove the special-case for such differences in Expr::isConstantInitializer.
With that done, remove a bunch of buggy code from CGExprConstant for handling scalar expressions which is no longer necessary.
Fixes PR11705.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@147561 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGenCXX/const-init.cpp')
| -rw-r--r-- | test/CodeGenCXX/const-init.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/CodeGenCXX/const-init.cpp b/test/CodeGenCXX/const-init.cpp index aa77d5c6c0..6fabfc762e 100644 --- a/test/CodeGenCXX/const-init.cpp +++ b/test/CodeGenCXX/const-init.cpp @@ -56,3 +56,16 @@ int writeToMutable() { const MutableMember MM = { 0 }; return ++MM.n; } + +// Make sure we don't try to fold this in the frontend; the backend can't +// handle it. +// CHECK: @PR11705 = global i128 0 +__int128_t PR11705 = (__int128_t)&PR11705; + +// Make sure we don't try to fold this either. +// CHECK: @_ZZ23UnfoldableAddrLabelDiffvE1x = internal global i128 0 +void UnfoldableAddrLabelDiff() { static __int128_t x = (long)&&a-(long)&&b; a:b:return;} + +// But make sure we do fold this. +// CHECK: @_ZZ21FoldableAddrLabelDiffvE1x = internal global i64 sub (i64 ptrtoint (i8* blockaddress(@_Z21FoldableAddrLabelDiffv, %a) +void FoldableAddrLabelDiff() { static long x = (long)&&a-(long)&&b; a:b:return;} |