Skip to content

Commit

Permalink
[LICM] Regenerate test checks (NFC)
Browse files Browse the repository at this point in the history
  • Loading branch information
nikic committed Mar 17, 2023
1 parent 0cd31a7 commit e775c92
Showing 1 changed file with 20 additions and 6 deletions.
26 changes: 20 additions & 6 deletions llvm/test/Transforms/LICM/2011-04-06-PromoteResultOfPromotion.ll
@@ -1,15 +1,29 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt < %s -passes=licm -S | FileCheck %s
; PR9634

@g_58 = common global i32 0, align 4
@g_116 = common global ptr null, align 8

define void @f() nounwind {

; CHECK: entry:
; CHECK: alloca [9 x i16]
; CHECK: load i32, ptr @g_58
; CHECK: br label %for.body
define void @f() {
; CHECK-LABEL: define void @f() {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[L_87_I:%.*]] = alloca [9 x i16], align 16
; CHECK-NEXT: [[G_58_PROMOTED:%.*]] = load i32, ptr @g_58, align 4, !tbaa [[TBAA0:![0-9]+]]
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
; CHECK: for.body:
; CHECK-NEXT: [[TMP31:%.*]] = phi i32 [ [[G_58_PROMOTED]], [[ENTRY:%.*]] ], [ [[OR:%.*]], [[FOR_BODY]] ]
; CHECK-NEXT: [[INC12:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[INC:%.*]], [[FOR_BODY]] ]
; CHECK-NEXT: [[OR]] = or i32 [[TMP31]], 10
; CHECK-NEXT: [[INC]] = add nsw i32 [[INC12]], 1
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[INC]], 4
; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_END:%.*]]
; CHECK: for.end:
; CHECK-NEXT: [[OR_LCSSA:%.*]] = phi i32 [ [[OR]], [[FOR_BODY]] ]
; CHECK-NEXT: store ptr @g_58, ptr @g_116, align 8, !tbaa [[TBAA4:![0-9]+]]
; CHECK-NEXT: store i32 [[OR_LCSSA]], ptr @g_58, align 4, !tbaa [[TBAA0]]
; CHECK-NEXT: ret void
;

entry:
%l_87.i = alloca [9 x i16], align 16
Expand Down

0 comments on commit e775c92

Please sign in to comment.