diff --git a/llvm/lib/CodeGen/AsmPrinter/AsmPrinterInlineAsm.cpp b/llvm/lib/CodeGen/AsmPrinter/AsmPrinterInlineAsm.cpp --- a/llvm/lib/CodeGen/AsmPrinter/AsmPrinterInlineAsm.cpp +++ b/llvm/lib/CodeGen/AsmPrinter/AsmPrinterInlineAsm.cpp @@ -425,6 +425,8 @@ unsigned OpFlags = MI->getOperand(OpNo).getImm(); ++OpNo; // Skip over the ID number. + // FIXME: Shouldn't arch-independant output template handling go into + // PrintAsmOperand? if (Modifier[0] == 'l') { // Labels are target independent. if (MI->getOperand(OpNo).isBlockAddress()) { const BlockAddress *BA = MI->getOperand(OpNo).getBlockAddress(); @@ -606,6 +608,7 @@ if (ExtraCode && ExtraCode[0]) { if (ExtraCode[1] != 0) return true; // Unknown modifier. + // https://gcc.gnu.org/onlinedocs/gccint/Output-Template.html const MachineOperand &MO = MI->getOperand(OpNo); switch (ExtraCode[0]) { default: diff --git a/llvm/lib/Target/ARM/ARMAsmPrinter.cpp b/llvm/lib/Target/ARM/ARMAsmPrinter.cpp --- a/llvm/lib/Target/ARM/ARMAsmPrinter.cpp +++ b/llvm/lib/Target/ARM/ARMAsmPrinter.cpp @@ -270,13 +270,11 @@ << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg()) << "]"; return false; + } else if (MI->getOperand(OpNum).isImm()) { + O << MI->getOperand(OpNum).getImm(); + return false; } - LLVM_FALLTHROUGH; - case 'c': // Don't print "#" before an immediate operand. - if (!MI->getOperand(OpNum).isImm()) - return true; - O << MI->getOperand(OpNum).getImm(); - return false; + return true; case 'P': // Print a VFP double precision register. case 'q': // Print a NEON quad precision register. printOperand(MI, OpNum, O); diff --git a/llvm/lib/Target/Hexagon/HexagonAsmPrinter.cpp b/llvm/lib/Target/Hexagon/HexagonAsmPrinter.cpp --- a/llvm/lib/Target/Hexagon/HexagonAsmPrinter.cpp +++ b/llvm/lib/Target/Hexagon/HexagonAsmPrinter.cpp @@ -124,10 +124,6 @@ default: // See if this is a generic print operand return AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, OS); - case 'c': // Don't print "$" before a global var name or constant. - // Hexagon never has a prefix. - printOperand(MI, OpNo, OS); - return false; case 'L': case 'H': { // The highest-numbered register of a pair. const MachineOperand &MO = MI->getOperand(OpNo); diff --git a/llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp b/llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp --- a/llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp +++ b/llvm/lib/Target/PowerPC/PPCAsmPrinter.cpp @@ -231,8 +231,6 @@ default: // See if this is a generic print operand return AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, O); - case 'c': // Don't print "$" before a global var name or constant. - break; // PPC never has a prefix. case 'L': // Write second word of DImode reference. // Verify that this operand has two consecutive registers. if (!MI->getOperand(OpNo).isReg() || diff --git a/llvm/test/CodeGen/ARM/inlineasm-output-template.ll b/llvm/test/CodeGen/ARM/inlineasm-output-template.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/ARM/inlineasm-output-template.ll @@ -0,0 +1,17 @@ +; RUN: llc -mtriple=armv7-linux-gnueabi < %s | FileCheck %s + +; Test that %c works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template0 +; CHECK: @TEST 42 +define dso_local i32 @test_inlineasm_c_output_template0() { + tail call void asm sideeffect "@TEST ${0:c}", "i"(i32 42) + ret i32 42 +} + +; Test that %n works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template1 +; CHECK: @TEST -42 +define dso_local i32 @test_inlineasm_c_output_template1() { + tail call void asm sideeffect "@TEST ${0:n}", "i"(i32 42) + ret i32 42 +} diff --git a/llvm/test/CodeGen/Hexagon/inlineasm-output-template.ll b/llvm/test/CodeGen/Hexagon/inlineasm-output-template.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/Hexagon/inlineasm-output-template.ll @@ -0,0 +1,17 @@ +; RUN: llc -mtriple=hexagon < %s | FileCheck %s + +; Test that %c works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template0 +; CHECK: //TEST 42 +define dso_local i32 @test_inlineasm_c_output_template0() { + tail call void asm sideeffect "//TEST ${0:c}", "i"(i32 42) + ret i32 42 +} + +; Test that %n works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template1 +; CHECK: //TEST -42 +define dso_local i32 @test_inlineasm_c_output_template1() { + tail call void asm sideeffect "//TEST ${0:n}", "i"(i32 42) + ret i32 42 +} diff --git a/llvm/test/CodeGen/PowerPC/inlineasm-output-template.ll b/llvm/test/CodeGen/PowerPC/inlineasm-output-template.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/PowerPC/inlineasm-output-template.ll @@ -0,0 +1,17 @@ +; RUN: llc -mtriple=ppc32-- < %s | FileCheck %s + +; Test that %c works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template0 +; CHECK: #TEST 42 +define dso_local i32 @test_inlineasm_c_output_template0() { + tail call void asm sideeffect "#TEST ${0:c}", "i"(i32 42) + ret i32 42 +} + +; Test that %n works with immediates +; CHECK-LABEL: test_inlineasm_c_output_template1 +; CHECK: #TEST -42 +define dso_local i32 @test_inlineasm_c_output_template1() { + tail call void asm sideeffect "#TEST ${0:n}", "i"(i32 42) + ret i32 42 +}