[llvm] c46cb72 - [Thumb2] generate checks in ldr-str-imm12.ll. NFC.
Stanislav Mekhanoshin via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 5 15:02:57 PDT 2021
Author: Stanislav Mekhanoshin
Date: 2021-08-05T14:58:02-07:00
New Revision: c46cb72fea73467dbd72050a9e250080d5757e89
URL: https://github.com/llvm/llvm-project/commit/c46cb72fea73467dbd72050a9e250080d5757e89
DIFF: https://github.com/llvm/llvm-project/commit/c46cb72fea73467dbd72050a9e250080d5757e89.diff
LOG: [Thumb2] generate checks in ldr-str-imm12.ll. NFC.
That seems this test does not check what was stated in the
comment anymore. Just switch to generated checks.
Differential Revision: https://reviews.llvm.org/D107590
Added:
Modified:
llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll b/llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll
index c1f7de3dbdfec..e6beb751fbb85 100644
--- a/llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll
+++ b/llvm/test/CodeGen/Thumb2/ldr-str-imm12.ll
@@ -1,6 +1,6 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-atomic-cfg-tidy=0 -mcpu=cortex-a8 -relocation-model=pic -frame-pointer=all | FileCheck %s
; rdar://7352504
-; Make sure we use "str r9, [sp, #+28]" instead of "sub.w r4, r7, #256" followed by "str r9, [r4, #-32]".
%0 = type { i16, i8, i8 }
%1 = type { [2 x i32], [2 x i32] }
@@ -21,8 +21,64 @@
@zz_res = external global %union.rec* ; <%union.rec**> [#uses=1]
define %union.rec* @Manifest(%union.rec* %x, %union.rec* %env, %struct.STYLE* %style, %union.rec** %bthr, %union.rec** %fthr, %union.rec** %target, %union.rec** %crs, i32 %ok, i32 %need_expand, %union.rec** %enclose, i32 %fcr) nounwind {
+; CHECK-LABEL: Manifest:
+; CHECK: @ %bb.0: @ %entry
+; CHECK-NEXT: push {r4, r5, r6, r7, lr}
+; CHECK-NEXT: add r7, sp, #12
+; CHECK-NEXT: push.w {r8, r10, r11}
+; CHECK-NEXT: sub sp, #292
+; CHECK-NEXT: add.w r10, r7, #8
+; CHECK-NEXT: ldrd r8, lr, [r7, #20]
+; CHECK-NEXT: movs r5, #0
+; CHECK-NEXT: cmp r5, #0
+; CHECK-NEXT: ldm.w r10, {r4, r9, r10}
+; CHECK-NEXT: ldr.w r12, [r7, #28]
+; CHECK-NEXT: ittt ne
+; CHECK-NEXT: addne sp, #292
+; CHECK-NEXT: popne.w {r8, r10, r11}
+; CHECK-NEXT: popne {r4, r5, r6, r7, pc}
+; CHECK-NEXT: LBB0_1: @ %bb20
+; CHECK-NEXT: cmp.w r0, #450
+; CHECK-NEXT: bge LBB0_4
+; CHECK-NEXT: @ %bb.2: @ %bb20
+; CHECK-NEXT: cmp r0, #209
+; CHECK-NEXT: ble LBB0_5
+; CHECK-NEXT: @ %bb.3: @ %bb420
+; CHECK-NEXT: movw r5, :lower16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4))
+; CHECK-NEXT: movt r5, :upper16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4))
+; CHECK-NEXT: movw r11, :lower16:(L_zz_res$non_lazy_ptr-(LPC0_1+4))
+; CHECK-NEXT: LPC0_0:
+; CHECK-NEXT: add r5, pc
+; CHECK-NEXT: movt r11, :upper16:(L_zz_res$non_lazy_ptr-(LPC0_1+4))
+; CHECK-NEXT: LPC0_1:
+; CHECK-NEXT: add r11, pc
+; CHECK-NEXT: ldr r5, [r5]
+; CHECK-NEXT: str r5, [sp, #32] @ 4-byte Spill
+; CHECK-NEXT: ldr.w r5, [r11]
+; CHECK-NEXT: mov.w r11, #0
+; CHECK-NEXT: str r5, [sp, #28] @ 4-byte Spill
+; CHECK-NEXT: ldr r5, [sp, #32] @ 4-byte Reload
+; CHECK-NEXT: str.w r11, [r5]
+; CHECK-NEXT: movs r5, #0
+; CHECK-NEXT: ldr r6, [sp, #28] @ 4-byte Reload
+; CHECK-NEXT: str r5, [r6]
+; CHECK-NEXT: ldr r5, [sp, #32] @ 4-byte Reload
+; CHECK-NEXT: str r0, [r5]
+; CHECK-NEXT: ldr r0, [r7, #32]
+; CHECK-NEXT: stm.w sp, {r4, r9, r10}
+; CHECK-NEXT: strd r8, lr, [sp, #12]
+; CHECK-NEXT: str.w r12, [sp, #20]
+; CHECK-NEXT: str r0, [sp, #24]
+; CHECK-NEXT: bl _Manifest
+; CHECK-NEXT: trap
+; CHECK-NEXT: LBB0_4: @ %bb20
+; CHECK-NEXT: cmp.w r0, #560
+; CHECK-NEXT: itt ge
+; CHECK-NEXT: movge r0, #0
+; CHECK-NEXT: cmpge r0, #0
+; CHECK-NEXT: LBB0_5: @ %bb20
+; CHECK-NEXT: trap
entry:
-; CHECK: ldr{{(.w)?}} {{(r[0-9]+)|(lr)}}, [r7, #28]
%xgaps.i = alloca [32 x %union.rec*], align 4 ; <[32 x %union.rec*]*> [#uses=0]
%ycomp.i = alloca [32 x %union.rec*], align 4 ; <[32 x %union.rec*]*> [#uses=0]
br label %bb20
@@ -45,11 +101,6 @@ bb119: ; preds = %bb20, %bb20
unreachable
bb420: ; preds = %bb20, %bb20
-; CHECK: bb420
-; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp
-; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp
-; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp
-; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp
store volatile %union.rec* null, %union.rec** @zz_hold, align 4
store %union.rec* null, %union.rec** @zz_res, align 4
store volatile %union.rec* %x, %union.rec** @zz_hold, align 4
More information about the llvm-commits
mailing list