From aaf615951cf4288a6e1a166e71b99e356b19171e Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 30 Aug 2009 21:36:06 +0000 Subject: convert to filecheck format. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80518 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/BasicAA/licmtest.ll | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'test') diff --git a/test/Analysis/BasicAA/licmtest.ll b/test/Analysis/BasicAA/licmtest.ll index cfef63b..033a184 100644 --- a/test/Analysis/BasicAA/licmtest.ll +++ b/test/Analysis/BasicAA/licmtest.ll @@ -2,13 +2,13 @@ ; disambiguating some obvious cases. If LICM is able to disambiguate the ; two pointers, then the load should be hoisted, and the store sunk. -; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | %prcontext @A 1 | not grep Loop +; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | FileCheck %s @A = global i32 7 ; [#uses=3] @B = global i32 8 ; [#uses=2] @C = global [2 x i32] [ i32 4, i32 8 ] ; <[2 x i32]*> [#uses=2] -define i32 @test(i1 %c) { +define i32 @test1(i1 %c) { %Atmp = load i32* @A ; [#uses=2] br label %Loop @@ -20,6 +20,14 @@ Loop: ; preds = %Loop, %0 Out: ; preds = %Loop %X = sub i32 %ToRemove, %Atmp ; [#uses=1] ret i32 %X + +; The Loop block should be empty after the load/store are promoted. +; CHECK: @test1 +; CHECK: load i32* @B +; CHECK: Loop: +; CHECK-NEXT: br i1 %c, label %Out, label %Loop +; CHECK: Out: +; CHECK: store i32 %Atmp, i32* @B } define i32 @test2(i1 %c) { @@ -37,5 +45,9 @@ Loop: ; preds = %Loop, %0 Out: ; preds = %Loop %X = sub i32 %AVal, %BVal ; [#uses=1] ret i32 %X +; The Loop block should be empty after the load/store are promoted. +; CHECK: @test2 +; CHECK: Loop: +; CHECK-NEXT: br i1 %c, label %Out, label %Loop } -- cgit v1.1