From 24a0bee3872d8e6b8c54eadb5fd2f500d0794919 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 26 Feb 2003 16:18:00 +0000 Subject: [PATCH] Hopefully final tweak to this testcase git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5626 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/BasicAA/licmtest.ll | 15 +++++---------- test/Transforms/BasicAA/licmtest.ll | 15 +++++---------- 2 files changed, 10 insertions(+), 20 deletions(-) diff --git a/test/Analysis/BasicAA/licmtest.ll b/test/Analysis/BasicAA/licmtest.ll index 1e4255d4efe..d838e6cb606 100644 --- a/test/Analysis/BasicAA/licmtest.ll +++ b/test/Analysis/BasicAA/licmtest.ll @@ -1,10 +1,9 @@ ; Test that LICM uses basicaa to do alias analysis, which is capable of -; disambiguating some obvious cases. The ToRemove load should be eliminated -; in this testcase. This testcase was carefully contrived so that GCSE would -; not be able to eliminate the load itself, without licm's help. This is -; because, for GCSE, the load is killed by the dummy basic block. +; disambiguating some obvious cases. If LICM is able to disambiguate the +; two pointers, then the load should be hoisted, and the store sunk. Thus +; the loop becomes empty and can be deleted by ADCE. -; RUN: if as < %s | opt -basicaa -licm -load-vn -gcse -instcombine | dis | grep ToRemove +; RUN: if as < %s | opt -basicaa -licm --adce | dis | grep Loop ; RUN: then exit 1 ; RUN: else exit 0 ; RUN: fi @@ -15,7 +14,7 @@ implementation int %test(bool %c) { %Atmp = load int* %A - br bool %c, label %Dummy, label %Loop + br label %Loop Loop: %ToRemove = load int* %A store int %Atmp, int* %B ; Store cannot alias %A @@ -24,9 +23,5 @@ Loop: Out: %X = sub int %ToRemove, %Atmp ret int %X - -Dummy: - store int 7, int* %A - br label %Loop } diff --git a/test/Transforms/BasicAA/licmtest.ll b/test/Transforms/BasicAA/licmtest.ll index 1e4255d4efe..d838e6cb606 100644 --- a/test/Transforms/BasicAA/licmtest.ll +++ b/test/Transforms/BasicAA/licmtest.ll @@ -1,10 +1,9 @@ ; Test that LICM uses basicaa to do alias analysis, which is capable of -; disambiguating some obvious cases. The ToRemove load should be eliminated -; in this testcase. This testcase was carefully contrived so that GCSE would -; not be able to eliminate the load itself, without licm's help. This is -; because, for GCSE, the load is killed by the dummy basic block. +; disambiguating some obvious cases. If LICM is able to disambiguate the +; two pointers, then the load should be hoisted, and the store sunk. Thus +; the loop becomes empty and can be deleted by ADCE. -; RUN: if as < %s | opt -basicaa -licm -load-vn -gcse -instcombine | dis | grep ToRemove +; RUN: if as < %s | opt -basicaa -licm --adce | dis | grep Loop ; RUN: then exit 1 ; RUN: else exit 0 ; RUN: fi @@ -15,7 +14,7 @@ implementation int %test(bool %c) { %Atmp = load int* %A - br bool %c, label %Dummy, label %Loop + br label %Loop Loop: %ToRemove = load int* %A store int %Atmp, int* %B ; Store cannot alias %A @@ -24,9 +23,5 @@ Loop: Out: %X = sub int %ToRemove, %Atmp ret int %X - -Dummy: - store int 7, int* %A - br label %Loop } -- 2.34.1