[llvm] r342898 - [Thumb1] Any imm8 should have cost of 1

[Zhaoshi Zheng via llvm-commits]

Author: zzheng
Date: Mon Sep 24 09:15:23 2018
New Revision: 342898

URL: http://llvm.org/viewvc/llvm-project?rev=342898&view=rev
Log:
[Thumb1] Any imm8 should have cost of 1

A simple MOVS rd, imm8 can materialize [-128, 127] in signed i8 type or
[0, 255] in unsigned i8 type on Thumb1.

Differential Revision: https://reviews.llvm.org/D52257

Added:
    llvm/trunk/test/CodeGen/Thumb/consthoist-imm8-costs-1.ll
Modified:
    llvm/trunk/lib/Target/ARM/ARMTargetTransformInfo.cpp

Modified: llvm/trunk/lib/Target/ARM/ARMTargetTransformInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/ARM/ARMTargetTransformInfo.cpp?rev=342898&r1=342897&r2=342898&view=diff
==============================================================================
--- llvm/trunk/lib/Target/ARM/ARMTargetTransformInfo.cpp (original)
+++ llvm/trunk/lib/Target/ARM/ARMTargetTransformInfo.cpp Mon Sep 24 09:15:23 2018
@@ -77,8 +77,8 @@ int ARMTTIImpl::getIntImmCost(const APIn
       return 1;
     return ST->hasV6T2Ops() ? 2 : 3;
   }
-  // Thumb1.
-  if (SImmVal >= 0 && SImmVal < 256)
+  // Thumb1, any i8 imm cost 1.
+  if (Bits == 8 || (SImmVal >= 0 && SImmVal < 256))
     return 1;
   if ((~SImmVal < 256) || ARM_AM::isThumbImmShiftedVal(ZImmVal))
     return 2;

Added: llvm/trunk/test/CodeGen/Thumb/consthoist-imm8-costs-1.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Thumb/consthoist-imm8-costs-1.ll?rev=342898&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Thumb/consthoist-imm8-costs-1.ll (added)
+++ llvm/trunk/test/CodeGen/Thumb/consthoist-imm8-costs-1.ll Mon Sep 24 09:15:23 2018
@@ -0,0 +1,39 @@
+; RUN: llc %s -o - | FileCheck %s
+
+target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
+target triple = "thumbv6m-none-unknown-musleabi"
+
+ at a = global i8 undef, align 4
+
+; Check that store-merging generates a single str i32 rather than strb+strb+strh,
+; i.e., -1 is not moved by constant-hoisting.
+; CHECK: movs [[R1:r[0-9]+]], #255
+; CHECK: lsls [[R2:r[0-9]+]], [[R1]], #16
+; CHECK: str  [[R2]]
+; CHECK: movs [[R3:r[0-9]+]], #255
+; CHECK: lsls [[R4:r[0-9]+]], [[R3]], #16
+; CHECK: str  [[R4]]
+; CHECK-NOT: strh
+; CHECK-NOT: strb
+
+define void @ham() {
+bb:
+  br i1 undef, label %bb1, label %bb2
+
+bb1:
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 1), align 1
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 0), align 4
+  store i8 -1, i8* getelementptr inbounds (i8, i8* @a, i32 2), align 2
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 3), align 1
+  br label %bb3
+
+bb2:
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 9), align 1
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 8), align 4
+  store i8 -1, i8* getelementptr inbounds (i8, i8* @a, i32 10), align 2
+  store i8 0, i8* getelementptr inbounds (i8, i8* @a, i32 11), align 1
+  br label %bb3
+
+bb3:
+  ret void
+}