6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-14 11:32:34 +00:00
Code Issues Projects Releases Wiki Activity

AllocaInst can't return a null pointer. Fixes missed optimization

Browse Source 
opportunity pointed out by Andrew Lewycky.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31115 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2006-10-22 19:53:27 +00:00
parent 32b1e87f11
commit 802fe27d3e
2 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/Scalar/PredicateSimplifier.cpp
View File

@ -31,6 +31,7 @@
#define DEBUG_TYPE "predsimplify"
#include "llvm/Transforms/Scalar.h"
#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Instructions.h"
#include "llvm/Pass.h"
#include "llvm/ADT/Statistic.h"
@ -446,6 +447,7 @@ namespace {
void visitBranchInst(BranchInst &BI);
void visitSwitchInst(SwitchInst &SI);
void visitAllocaInst(AllocaInst &AI);
void visitLoadInst(LoadInst &LI);
void visitStoreInst(StoreInst &SI);
void visitBinaryOperator(BinaryOperator &BO);
@ -712,6 +714,10 @@ void PredicateSimplifier::Forwards::visitSwitchInst(SwitchInst &SI) {
}
}
void PredicateSimplifier::Forwards::visitAllocaInst(AllocaInst &AI) {
KP.addNotEqual(Constant::getNullValue(AI.getType()), &AI);
}
void PredicateSimplifier::Forwards::visitLoadInst(LoadInst &LI) {
Value *Ptr = LI.getPointerOperand();
KP.addNotEqual(Constant::getNullValue(Ptr->getType()), Ptr);

17
test/Transforms/PredicateSimplifier/predsimplify.ll
View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | not grep fail &&
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep pass | wc -l | grep 3
; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep -c pass | grep 4
void %test1(int %x) {
entry:
@ -149,6 +149,21 @@ return:
ret void
}
void %test10() {
entry:
%A = alloca int
%B = seteq int* %A, null
br bool %B, label %cond_true, label %cond_false
cond_true:
call void (...)* %fail ( )
ret void
cond_false:
call void (...)* %pass ( )
ret void
}
void %switch1(int %x) {
entry:
%A = seteq int %x, 10