forked from llvm-mirror/llvm
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[PM][InstCombine] fixing omission of AliasAnalysis in new-pass-manage…
…r's version of InstCombine Summary: Passing AliasAnalysis results instead of nullptr appears to work just fine. A couple new-pass-manager tests updated to align with new order of analyses. Reviewers: chandlerc, spatel, craig.topper Reviewed By: chandlerc Subscribers: mehdi_amini, eraman, llvm-commits Differential Revision: https://reviews.llvm.org/D41203 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@320687 91177308-0d34-0410-b5e6-96231b3b80d8
- Loading branch information
Fedor Sergeev
committed
Dec 14, 2017
1 parent
45b92d7
commit bfac46c
Showing
4 changed files
with
28 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
; RUN: opt -instcombine %s -S 2>&1 | FileCheck %s | ||
; RUN: opt -aa-pipeline=basic-aa -passes=instcombine %s -S 2>&1 | FileCheck %s | ||
|
||
; Checking successful store-load optimization of array length. | ||
; Function below should deduce just to "return length". | ||
; Doable only if instcombine has access to alias-analysis. | ||
|
||
define i32 @test1(i32 %length) { | ||
; CHECK-LABEL: entry: | ||
entry: | ||
%array = alloca i32, i32 2 | ||
; CHECK-NOT: %array | ||
|
||
%length_gep = getelementptr inbounds i32, i32 * %array, i32 0 | ||
%value_gep = getelementptr inbounds i32, i32 * %array, i32 1 | ||
store i32 %length, i32 * %length_gep | ||
store i32 0, i32 * %value_gep | ||
%loaded_length = load i32, i32 * %length_gep | ||
; CHECK-NOT: %loaded_length = load i32 | ||
|
||
ret i32 %loaded_length | ||
; CHECK: ret i32 %length | ||
} |