6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-06 09:44:39 +00:00
Code Issues Projects Releases Wiki Activity

Update BasicAliasAnalysis to understand that nothing aliases with undef values.

Browse Source 
It got this in some cases (if one of them was an identified object), but not in all cases.

This caused stores to undef to block load-forwarding in some cases, etc.

Added test to Transforms/GVN to verify optimization occurs as expected.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236511 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Daniel Berlin 2015-05-05 18:10:49 +00:00
parent a67d5abd53
commit 7a5c0e599c
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -1389,6 +1389,11 @@ BasicAliasAnalysis::aliasCheck(const Value *V1, uint64_t V1Size,
V1 = V1->stripPointerCasts();
V2 = V2->stripPointerCasts();
// If V1 or V2 is undef, the result is NoAlias because we can always pick a
// value for undef that aliases nothing in the program.
if (isa<UndefValue>(V1) || isa<UndefValue>(V2))
return NoAlias;
// Are we checking for alias of the same value?
// Because we look 'through' phi nodes we could look at "Value" pointers from
// different iterations. We must therefore make sure that this is not the

15
test/Transforms/GVN/basic-undef-test.ll Normal file
View File

@ -0,0 +1,15 @@
; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
; ModuleID = 'test3.ll'
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
define i32 @main(i32 *%foo) {
entry:
; CHECK: load i32, i32* %foo, align 4
%0 = load i32, i32* %foo, align 4
store i32 5, i32* undef, align 4
; CHECK-NOT: load i32, i32* %foo, align 4
%1 = load i32, i32* %foo, align 4
; CHECK: add i32 %0, %0
%2 = add i32 %0, %1
ret i32 %2
}