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

Small fix in InstCombineCasts.cpp. Restored "alloca + bitcast" reducing for case when alloca's size is calculated within the "add/sub/... nsw".

Browse Source 
Also added fix to 2011-06-13-nsw-alloca.ll test.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156231 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Stepan Dyatkovskiy 2012-05-05 07:09:40 +00:00
parent f2eed387d4
commit 3f71cf14b2
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Transforms/InstCombine/InstCombineCasts.cpp
View File

@ -34,7 +34,7 @@ static Value *DecomposeSimpleLinearExpr(Value *Val, unsigned &Scale,
if (BinaryOperator *I = dyn_cast<BinaryOperator>(Val)) { if (BinaryOperator *I = dyn_cast<BinaryOperator>(Val)) {
// Cannot look past anything that might overflow. // Cannot look past anything that might overflow.
OverflowingBinaryOperator *OBI = dyn_cast<OverflowingBinaryOperator>(Val); OverflowingBinaryOperator *OBI = dyn_cast<OverflowingBinaryOperator>(Val);
if (OBI && !OBI->hasNoUnsignedWrap()) { if (OBI && !OBI->hasNoUnsignedWrap() && !OBI->hasNoSignedWrap()) {
Scale = 1; Scale = 1;
Offset = 0; Offset = 0;
return Val; return Val;

7
test/Transforms/InstCombine/2011-06-13-nsw-alloca.ll
View File

@ -2,8 +2,10 @@
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
target triple = "i386-apple-darwin10.0.0" target triple = "i386-apple-darwin10.0.0"
; CHECK: define void @fu1
define void @fu1(i32 %parm) nounwind ssp { define void @fu1(i32 %parm) nounwind ssp {
%1 = alloca i32, align 4 %1 = alloca i32, align 4
; CHECK: alloca double*
%ptr = alloca double*, align 4 %ptr = alloca double*, align 4
store i32 %parm, i32* %1, align 4 store i32 %parm, i32* %1, align 4
store double* null, double** %ptr, align 4 store double* null, double** %ptr, align 4
@ -16,12 +18,12 @@ define void @fu1(i32 %parm) nounwind ssp {
%6 = mul nsw i32 %5, 8 %6 = mul nsw i32 %5, 8
; With "nsw", the alloca and its bitcast can be fused: ; With "nsw", the alloca and its bitcast can be fused:
%7 = add nsw i32 %6, 2048 %7 = add nsw i32 %6, 2048
; CHECK: alloca double* ; CHECK: alloca double
%8 = alloca i8, i32 %7 %8 = alloca i8, i32 %7
%9 = bitcast i8* %8 to double* %9 = bitcast i8* %8 to double*
; CHECK-NEXT: store double*
store double* %9, double** %ptr, align 4 store double* %9, double** %ptr, align 4
br label %10 br label %10
; <label>:10 ; preds = %4, %0 ; <label>:10 ; preds = %4, %0
%11 = load double** %ptr, align 4 %11 = load double** %ptr, align 4
call void @bar(double* %11) call void @bar(double* %11)
@ -31,6 +33,7 @@ define void @fu1(i32 %parm) nounwind ssp {
declare void @bar(double*) declare void @bar(double*)
; CHECK: define void @fu2
define void @fu2(i32 %parm) nounwind ssp { define void @fu2(i32 %parm) nounwind ssp {
%1 = alloca i32, align 4 %1 = alloca i32, align 4
%ptr = alloca double*, align 4 %ptr = alloca double*, align 4