From d881f8257b1e1bdc9236071249ff1fe0029fc6b2 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 20 Jun 2006 23:03:01 +0000 Subject: [PATCH] Add some more immediate patterns. This allows us to compile: void test6() { Y = 0xABCD0123BCDE4567; } into: _test6: lis r2, -21555 lis r3, ha16(_Y) ori r2, r2, 291 rldicr r2, r2, 32, 31 oris r2, r2, 48350 ori r2, r2, 17767 std r2, lo16(_Y)(r3) blr llvm-svn: 28885 --- llvm/lib/Target/PowerPC/PPCInstr64Bit.td | 30 ++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/llvm/lib/Target/PowerPC/PPCInstr64Bit.td b/llvm/lib/Target/PowerPC/PPCInstr64Bit.td index 8fd656b0aafb..b5adf9568fd9 100644 --- a/llvm/lib/Target/PowerPC/PPCInstr64Bit.td +++ b/llvm/lib/Target/PowerPC/PPCInstr64Bit.td @@ -215,6 +215,17 @@ def FCTIDZ : XForm_26<63, 815, (ops F8RC:$frD, F8RC:$frB), // Instruction Patterns // +def HI32_48 : SDNodeXFormgetValue() >> 32)); +}]>; + +def HI48_64 : SDNodeXFormgetValue() >> 48)); +}]>; + + // Immediate support. // Handled above: // sext(0x0000_0000_0000_FFFF, i8) -> li imm @@ -234,6 +245,25 @@ def zext_0x0000_0000_FFFF_7FFF_i16 : PatLeaf<(imm), [{ def : Pat<(i64 zext_0x0000_0000_FFFF_7FFF_i16:$imm), (ORIS8 (LI8 (LO16 imm:$imm)), (HI16 imm:$imm))>; +// zext(0x0000_0000_FFFF_FFFF, i16) -> oris (ori (li 0), lo16(imm)), imm>>16 +def zext_0x0000_0000_FFFF_FFFF_i16 : PatLeaf<(imm), [{ + return (N->getValue() & 0xFFFFFFFF00000000ULL) == 0; +}]>; +def : Pat<(i64 zext_0x0000_0000_FFFF_FFFF_i16:$imm), + (ORIS8 (ORI8 (LI8 0), (LO16 imm:$imm)), (HI16 imm:$imm))>; + + +// Fully general (and most expensive: 6 instructions!) immediate pattern. +def : Pat<(i64 imm:$imm), + (ORI8 + (ORIS8 + (RLDICR + (ORI8 + (LIS8 (HI48_64 imm:$imm)), + (HI32_48 imm:$imm)), + 32, 31), + (HI16 imm:$imm)), + (LO16 imm:$imm))>; // Extensions and truncates to/from 32-bit regs.