From ae3f2b6c77721034b5abfae7b6d1bf1bc60478d6 Mon Sep 17 00:00:00 2001 From: Evan Cheng Date: Wed, 4 Mar 2009 06:48:53 +0000 Subject: [PATCH] Fix PR3666: isel calls to constant addresses. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66024 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp | 4 +++- lib/Target/X86/X86Instr64bit.td | 6 ++++-- lib/Target/X86/X86InstrInfo.td | 3 ++- test/CodeGen/X86/call-imm.ll | 9 +++++++++ 4 files changed, 18 insertions(+), 4 deletions(-) create mode 100644 test/CodeGen/X86/call-imm.ll diff --git a/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp b/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp index 5fff5b9a0f3..0595b6fbd13 100644 --- a/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp +++ b/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp @@ -307,7 +307,9 @@ void X86ATTAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo, } case MachineOperand::MO_Immediate: - if (!Modifier || + if (Modifier && !strcmp(Modifier, "call")) + O << '*'; + else if (!Modifier || (strcmp(Modifier, "debug") && strcmp(Modifier, "mem"))) O << '$'; O << MO.getImm(); diff --git a/lib/Target/X86/X86Instr64bit.td b/lib/Target/X86/X86Instr64bit.td index 38a16135cdf..88a4f477b90 100644 --- a/lib/Target/X86/X86Instr64bit.td +++ b/lib/Target/X86/X86Instr64bit.td @@ -109,8 +109,10 @@ let isCall = 1 in XMM0, XMM1, XMM2, XMM3, XMM4, XMM5, XMM6, XMM7, XMM8, XMM9, XMM10, XMM11, XMM12, XMM13, XMM14, XMM15, EFLAGS], Uses = [RSP] in { - def CALL64pcrel32 : I<0xE8, RawFrm, (outs), (ins i64imm:$dst, variable_ops), - "call\t${dst:call}", []>; + def CALL64pcrel32 : I<0xE8, RawFrm, + (outs), (ins i64i32imm:$dst, variable_ops), + "call\t${dst:call}", [(X86call imm:$dst)]>, + Requires<[In64BitMode]>; def CALL64r : I<0xFF, MRM2r, (outs), (ins GR64:$dst, variable_ops), "call\t{*}$dst", [(X86call GR64:$dst)]>; def CALL64m : I<0xFF, MRM2m, (outs), (ins i64mem:$dst, variable_ops), diff --git a/lib/Target/X86/X86InstrInfo.td b/lib/Target/X86/X86InstrInfo.td index 93f9e028022..f9585b08109 100644 --- a/lib/Target/X86/X86InstrInfo.td +++ b/lib/Target/X86/X86InstrInfo.td @@ -489,7 +489,8 @@ let isCall = 1 in XMM8, XMM9, XMM10, XMM11, XMM12, XMM13, XMM14, XMM15, EFLAGS], Uses = [ESP] in { def CALLpcrel32 : Ii32<0xE8, RawFrm, (outs), (ins i32imm:$dst,variable_ops), - "call\t${dst:call}", []>; + "call\t${dst:call}", [(X86call imm:$dst)]>, + Requires<[In32BitMode]>; 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), diff --git a/test/CodeGen/X86/call-imm.ll b/test/CodeGen/X86/call-imm.ll new file mode 100644 index 00000000000..25b911f5971 --- /dev/null +++ b/test/CodeGen/X86/call-imm.ll @@ -0,0 +1,9 @@ +; RUN: llvm-as < %s | llc -march=x86 | grep call | grep 12345678 +; RUN: llvm-as < %s | llc -march=x86-64 | grep call | grep 12345678 +; PR3666 + +define i32 @main() nounwind { +entry: + %0 = call i32 inttoptr (i32 12345678 to i32 (i32)*)(i32 0) nounwind ; [#uses=1] + ret i32 %0 +} -- 2.34.1