diff options
| author | Dan Gohman <gohman@apple.com> | 2008-10-21 03:38:42 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2008-10-21 03:38:42 +0000 |
| commit | 4401361a2fb92c82317dbfbb1616f54ced2b51f3 (patch) | |
| tree | 761a3b72172426eb3e1397b34fe923ff2bdec232 /test/CodeGen/X86/x86-64-disp.ll | |
| parent | 279c22e6da2612f024b70e5509ffb0cad32f38b2 (diff) | |
| download | llvm-4401361a2fb92c82317dbfbb1616f54ced2b51f3.tar.gz llvm-4401361a2fb92c82317dbfbb1616f54ced2b51f3.tar.bz2 llvm-4401361a2fb92c82317dbfbb1616f54ced2b51f3.tar.xz | |
Don't create TargetGlobalAddress nodes with offsets that don't fit
in the 32-bit signed offset field of addresses. Even though this
may be intended, some linkers refuse to relocate code where the
relocated address computation overflows.
Also, fix the sign-extension of constant offsets to use the
actual pointer size, rather than the size of the GlobalAddress
node, which may be different, for example on x86-64 where MVT::i32
is used when the address is being fit into the 32-bit displacement
field.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57885 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/x86-64-disp.ll')
| -rw-r--r-- | test/CodeGen/X86/x86-64-disp.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/CodeGen/X86/x86-64-disp.ll b/test/CodeGen/X86/x86-64-disp.ll new file mode 100644 index 0000000000..4a8f6cdfb6 --- /dev/null +++ b/test/CodeGen/X86/x86-64-disp.ll @@ -0,0 +1,14 @@ +; RUN: llvm-as < %s | llc -march=x86-64 | grep mov | count 2 + +; Fold an offset into an address even if it's not a 32-bit +; signed integer. + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" +@call_used_regs = external global [53 x i8], align 32 + +define fastcc void @foo() nounwind { + %t = getelementptr [53 x i8]* @call_used_regs, i64 0, i64 4294967295 + store i8 1, i8* %t, align 1 + ret void +} |