From 5abc2765fa884196b988ec432e655d6f21edfe2c Mon Sep 17 00:00:00 2001 From: Michael Kuperstein Date: Fri, 18 Mar 2016 23:19:29 +0000 Subject: Have DataLayout::isLegalInteger() accept uint64_t While not strictly necessary, since we don't support large integer types, this avoids bugs due to silent truncation from uint64_t to a 32-bit unsigned (e.g. DL.isLegalInteger(DL.getTypeSizeInBits(Ty) ) This fixes PR26972. Differential Revision: http://reviews.llvm.org/D18258 llvm-svn: 263850 --- llvm/test/Transforms/SROA/pr26972.ll | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 llvm/test/Transforms/SROA/pr26972.ll (limited to 'llvm/test/Transforms/SROA/pr26972.ll') diff --git a/llvm/test/Transforms/SROA/pr26972.ll b/llvm/test/Transforms/SROA/pr26972.ll new file mode 100644 index 00000000000..a71058c05b9 --- /dev/null +++ b/llvm/test/Transforms/SROA/pr26972.ll @@ -0,0 +1,17 @@ +; RUN: opt < %s -sroa -S | FileCheck %s +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-pc-linux" + +; Make sure we properly handle allocas where the allocated +; size overflows a uint32_t. This specific constant results in +; the size in bits being 32 after truncation to a 32-bit int. +; CHECK-LABEL: fn1 +; CHECK-NEXT: ret void +define void @fn1() { + %a = alloca [1073741825 x i32], align 16 + %t0 = bitcast [1073741825 x i32]* %a to i8* + call void @llvm.lifetime.end(i64 4294967300, i8* %t0) + ret void +} + +declare void @llvm.lifetime.end(i64, i8* nocapture) -- cgit v1.2.3