Cannot use immediate as call absolute target in PIC mode.

llvm-svn: 72154
This commit is contained in:
Evan Cheng 2009-05-20 01:11:00 +00:00
parent 145eae5224
commit 61da18645b
2 changed files with 4 additions and 1 deletions

View File

@ -234,6 +234,7 @@ def In64BitMode : Predicate<"Subtarget->is64Bit()">;
def SmallCode : Predicate<"TM.getCodeModel() == CodeModel::Small">;
def NotSmallCode : Predicate<"TM.getCodeModel() != CodeModel::Small">;
def IsStatic : Predicate<"TM.getRelocationModel() == Reloc::Static">;
def IsNotPIC : Predicate<"TM.getRelocationModel() != Reloc::PIC_">;
def OptForSpeed : Predicate<"!OptForSize">;
def FastBTMem : Predicate<"!Subtarget->isBTMemSlow()">;
@ -562,7 +563,7 @@ let isCall = 1 in
Uses = [ESP] in {
def CALLpcrel32 : Ii32<0xE8, RawFrm, (outs), (ins i32imm:$dst,variable_ops),
"call\t${dst:call}", [(X86call imm:$dst)]>,
Requires<[In32BitMode]>;
Requires<[In32BitMode, IsNotPIC]>;
def CALL32r : I<0xFF, MRM2r, (outs), (ins GR32:$dst, variable_ops),
"call\t{*}$dst", [(X86call GR32:$dst)]>;
def CALL32m : I<0xFF, MRM2m, (outs), (ins i32mem:$dst, variable_ops),

View File

@ -1,4 +1,5 @@
; RUN: llvm-as < %s | llc -march=x86 | grep {call.*12345678}
; RUN: llvm-as < %s | llc -march=x86 -relocation-model=pic | not grep {call.*12345678}
; Call to immediate is not safe on x86-64 unless we *know* that the
; call will be within 32-bits pcrel from the dest immediate.
@ -7,6 +8,7 @@
; PR3666
; PR3773
; rdar://6904453
define i32 @main() nounwind {
entry: