[llvm] r215997 - [FastISel][AArch64] Fix a few BuildMI callsites where the result register was added as an operand register.

Juergen Ributzka juergen at apple.com
Tue Aug 19 10:41:54 PDT 2014


Author: ributzka
Date: Tue Aug 19 12:41:53 2014
New Revision: 215997

URL: http://llvm.org/viewvc/llvm-project?rev=215997&view=rev
Log:
[FastISel][AArch64] Fix a few BuildMI callsites where the result register was added as an operand register.

This fixes a few BuildMI callsites where the result register was added by
using addReg, which is per default a use and therefore an operand register.

Also use the zero register as result register when emitting a compare
instruction (SUBS with unused result register).

Modified:
    llvm/trunk/lib/Target/AArch64/AArch64FastISel.cpp
    llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-br.ll
    llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-select.ll

Modified: llvm/trunk/lib/Target/AArch64/AArch64FastISel.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/AArch64/AArch64FastISel.cpp?rev=215997&r1=215996&r2=215997&view=diff
==============================================================================
--- llvm/trunk/lib/Target/AArch64/AArch64FastISel.cpp (original)
+++ llvm/trunk/lib/Target/AArch64/AArch64FastISel.cpp Tue Aug 19 12:41:53 2014
@@ -903,8 +903,7 @@ bool AArch64FastISel::SelectBranch(const
           .addReg(CondReg)
           .addImm(AArch64_AM::encodeLogicalImmediate(1, 32));
       BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
-              TII.get(AArch64::SUBSWri))
-          .addReg(ANDReg)
+              TII.get(AArch64::SUBSWri), AArch64::WZR)
           .addReg(ANDReg)
           .addImm(0)
           .addImm(0);
@@ -1110,14 +1109,12 @@ bool AArch64FastISel::EmitCmp(Value *Src
 
   if (isICmp) {
     if (UseImm)
-      BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(CmpOpc))
-          .addReg(ZReg)
+      BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(CmpOpc), ZReg)
           .addReg(SrcReg1)
           .addImm(Imm)
           .addImm(0);
     else
-      BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(CmpOpc))
-          .addReg(ZReg)
+      BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(CmpOpc), ZReg)
           .addReg(SrcReg1)
           .addReg(SrcReg2);
   } else {
@@ -1197,8 +1194,8 @@ bool AArch64FastISel::SelectSelect(const
       .addReg(CondReg, getKillRegState(CondIsKill))
       .addImm(AArch64_AM::encodeLogicalImmediate(1, 32));
 
-    BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(AArch64::SUBSWri))
-      .addReg(ANDReg)
+    BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(AArch64::SUBSWri),
+            AArch64::WZR)
       .addReg(ANDReg)
       .addImm(0)
       .addImm(0);

Modified: llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-br.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-br.ll?rev=215997&r1=215996&r2=215997&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-br.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-br.ll Tue Aug 19 12:41:53 2014
@@ -95,7 +95,7 @@ entry:
   store i64 %d, i64* %d.addr, align 8
   %0 = load i16* %b.addr, align 2
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: b.eq LBB4_2
   %conv = trunc i16 %0 to i1
   br i1 %conv, label %if.then, label %if.end
@@ -107,7 +107,7 @@ if.then:
 if.end:                                           ; preds = %if.then, %entry
   %1 = load i32* %c.addr, align 4
 ; CHECK: and w[[REG:[0-9]+]], w{{[0-9]+}}, #0x1
-; CHECK: subs w{{[0-9]+}}, w[[REG]], #0
+; CHECK: cmp w[[REG]], #0
 ; CHECK: b.eq LBB4_4
   %conv1 = trunc i32 %1 to i1
   br i1 %conv1, label %if.then3, label %if.end4
@@ -118,7 +118,7 @@ if.then3:
 
 if.end4:                                          ; preds = %if.then3, %if.end
   %2 = load i64* %d.addr, align 8
-; CHECK: subs w{{[0-9]+}}, w{{[0-9]+}}, #0
+; CHECK: cmp w{{[0-9]+}}, #0
 ; CHECK: b.eq LBB4_6
   %conv5 = trunc i64 %2 to i1
   br i1 %conv5, label %if.then7, label %if.end8
@@ -141,7 +141,7 @@ define i32 @trunc64(i64 %foo) nounwind {
 ; CHECK: and  [[REG2:x[0-9]+]], x0, [[REG]]
 ; CHECK: mov  x[[REG3:[0-9]+]], [[REG2]]
 ; CHECK: and  [[REG4:w[0-9]+]], w[[REG3]], #0x1
-; CHECK: subs {{w[0-9]+}}, [[REG4]], #0
+; CHECK: cmp  [[REG4]], #0
 ; CHECK: b.eq LBB5_2
   %a = and i64 %foo, 1
   %b = trunc i64 %a to i1

Modified: llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-select.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-select.ll?rev=215997&r1=215996&r2=215997&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-select.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/arm64-fast-isel-select.ll Tue Aug 19 12:41:53 2014
@@ -4,7 +4,7 @@ define i32 @t1(i32 %c) nounwind readnone
 entry:
 ; CHECK: @t1
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: csel w0, w{{[0-9]+}}, w{{[0-9]+}}, ne
   %0 = icmp sgt i32 %c, 1
   %1 = select i1 %0, i32 123, i32 357
@@ -15,7 +15,7 @@ define i64 @t2(i32 %c) nounwind readnone
 entry:
 ; CHECK: @t2
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: csel x0, x{{[0-9]+}}, x{{[0-9]+}}, ne
   %0 = icmp sgt i32 %c, 1
   %1 = select i1 %0, i64 123, i64 357
@@ -26,7 +26,7 @@ define i32 @t3(i1 %c, i32 %a, i32 %b) no
 entry:
 ; CHECK: @t3
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: csel w0, w{{[0-9]+}}, w{{[0-9]+}}, ne
   %0 = select i1 %c, i32 %a, i32 %b
   ret i32 %0
@@ -36,7 +36,7 @@ define i64 @t4(i1 %c, i64 %a, i64 %b) no
 entry:
 ; CHECK: @t4
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: csel x0, x{{[0-9]+}}, x{{[0-9]+}}, ne
   %0 = select i1 %c, i64 %a, i64 %b
   ret i64 %0
@@ -46,7 +46,7 @@ define float @t5(i1 %c, float %a, float
 entry:
 ; CHECK: @t5
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: fcsel s0, s0, s1, ne
   %0 = select i1 %c, float %a, float %b
   ret float %0
@@ -56,7 +56,7 @@ define double @t6(i1 %c, double %a, doub
 entry:
 ; CHECK: @t6
 ; CHECK: and w0, w0, #0x1
-; CHECK: subs w0, w0, #0
+; CHECK: cmp w0, #0
 ; CHECK: fcsel d0, d0, d1, ne
   %0 = select i1 %c, double %a, double %b
   ret double %0





More information about the llvm-commits mailing list