6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-12 17:32:19 +00:00
Code Issues Projects Releases Wiki Activity

make m_ConstantInt(int64_t) safely match ConstantInt's that are larger than i64.

Browse Source 
This fixes an instcombine crash on PR3235.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61775 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2009-01-05 23:45:50 +00:00
parent 78eb6ad633
commit 06ebbcc71d
2 changed files with 37 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
include/llvm/Support/PatternMatch.h
View File

@ -57,7 +57,16 @@ struct constantint_ty {
template<typename ITy>
bool match(ITy *V) {
return isa<ConstantInt>(V) && cast<ConstantInt>(V)->getSExtValue() == Val;
if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
const APInt &CIV = CI->getValue();
if (Val > 0)
return CIV == Val;
// If Val is negative, and CI is shorter than it, truncate to the right
// number of bits. If it is larger, then we have to sign extend. Just
// compare their negated values.
return -CIV == -Val;
}
return false;
}
};

27
test/Transforms/InstCombine/2009-01-05-i128-crash.ll Normal file
View File

@ -0,0 +1,27 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis
; PR3235
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-unknown-linux-gnu"
define hidden i128 @"\01_gfortrani_max_value"(i32 %length, i32 %signed_flag) nounwind {
entry:
switch i32 %length, label %bb13 [
i32 1, label %bb17
i32 4, label %bb9
i32 8, label %bb5
]
bb5: ; preds = %entry
%0 = icmp eq i32 %signed_flag, 0 ; <i1> [#uses=1]
%iftmp.28.0 = select i1 %0, i128 18446744073709551615, i128 9223372036854775807 ; <i128> [#uses=1]
ret i128 %iftmp.28.0
bb9: ; preds = %entry
ret i128 0
bb13: ; preds = %entry
ret i128 0
bb17: ; preds = %entry
ret i128 0
}