From 9edd616b5945bfd778d078a15fb4e4000a7e6ba3 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. llvm-svn: 66024 --- llvm/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp | 4 +++- llvm/lib/Target/X86/X86Instr64bit.td | 6 ++++-- llvm/lib/Target/X86/X86InstrInfo.td | 3 ++- llvm/test/CodeGen/X86/call-imm.ll | 9 +++++++++ 4 files changed, 18 insertions(+), 4 deletions(-) create mode 100644 llvm/test/CodeGen/X86/call-imm.ll diff --git a/llvm/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp b/llvm/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp index 5fff5b9a0f34..0595b6fbd139 100644 --- a/llvm/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp +++ b/llvm/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/llvm/lib/Target/X86/X86Instr64bit.td b/llvm/lib/Target/X86/X86Instr64bit.td index 38a16135cdfb..88a4f477b900 100644 --- a/llvm/lib/Target/X86/X86Instr64bit.td +++ b/llvm/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/llvm/lib/Target/X86/X86InstrInfo.td b/llvm/lib/Target/X86/X86InstrInfo.td index 93f9e0280221..f9585b081096 100644 --- a/llvm/lib/Target/X86/X86InstrInfo.td +++ b/llvm/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/llvm/test/CodeGen/X86/call-imm.ll b/llvm/test/CodeGen/X86/call-imm.ll new file mode 100644 index 000000000000..25b911f59712 --- /dev/null +++ b/llvm/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 +}