From: Chris Lattner Date: Fri, 15 Aug 2003 04:50:49 +0000 (+0000) Subject: Add support for unconditional branches and for emitting JE instructions X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=51970b27343307c42d4f62703fc93592d8963718;p=oota-llvm.git Add support for unconditional branches and for emitting JE instructions git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7872 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Target/X86/X86InstrInfo.td b/lib/Target/X86/X86InstrInfo.td index 053f3fd3712..635d1a6bcc7 100644 --- a/lib/Target/X86/X86InstrInfo.td +++ b/lib/Target/X86/X86InstrInfo.td @@ -121,10 +121,10 @@ let isTerminator = 1, isReturn = 1 in let isBranch = 1, isTerminator = 1 in class IBr opcode> : X86Inst; -def JMP : IBr<"jmp", 0xE9>; +def JMP : IBr<"jmp", 0xE9>, Pattern<(br basicblock)>; def JB : IBr<"jb" , 0x82>, TB; def JAE : IBr<"jae", 0x83>, TB; -def JE : IBr<"je" , 0x84>, TB; +def JE : IBr<"je" , 0x84>, TB, Pattern<(isVoid (unspec1 basicblock))>; def JNE : IBr<"jne", 0x85>, TB; def JBE : IBr<"jbe", 0x86>, TB; def JA : IBr<"ja" , 0x87>, TB; @@ -318,7 +318,8 @@ def CMOVNErr32: I2A32<"cmovne",0x45, MRMSrcReg>, TB; // if !=, R3 // Integer comparisons def CMPrr8 : X86Inst<"cmp", 0x38, MRMDestReg, Arg8 >; // compare R8, R8 def CMPrr16 : X86Inst<"cmp", 0x39, MRMDestReg, Arg16>, OpSize; // compare R16, R16 -def CMPrr32 : X86Inst<"cmp", 0x39, MRMDestReg, Arg32>; // compare R32, R32 +def CMPrr32 : X86Inst<"cmp", 0x39, MRMDestReg, Arg32>, // compare R32, R32 + Pattern<(isVoid (unspec2 R32, R32))>; def CMPri8 : X86Inst<"cmp", 0x80, MRMS7r , Arg8 >; // compare R8, imm8 def CMPri16 : X86Inst<"cmp", 0x81, MRMS7r , Arg16>, OpSize; // compare R16, imm16 def CMPri32 : X86Inst<"cmp", 0x81, MRMS7r , Arg32>; // compare R32, imm32 @@ -451,3 +452,14 @@ def LOAD_FI32 : Expander<(set R32:$dest, (load frameidx:$fi)), [(MOVmr32 R32:$dest, frameidx:$fi, 1, 0/*NoReg*/, 0)]>; +def LOAD_R16 : Expander<(set R16:$dest, (load R32:$src)), + [(MOVmr16 R16:$dest, R32:$src, 1, 0/*NoReg*/, 0)]>; + +def LOAD_R32 : Expander<(set R32:$dest, (load R32:$src)), + [(MOVmr32 R32:$dest, R32:$src, 1, 0/*NoReg*/, 0)]>; + +def BR_EQ : Expander<(brcond (seteq R32:$a1, R32:$a2), + basicblock:$d1, basicblock:$d2), + [(CMPrr32 R32:$a1, R32:$a2), + (JE basicblock:$d1), + (JMP basicblock:$d2)]>;