Index: llvm/trunk/include/llvm/IR/DataLayout.h =================================================================== --- llvm/trunk/include/llvm/IR/DataLayout.h +++ llvm/trunk/include/llvm/IR/DataLayout.h @@ -236,14 +236,14 @@ /// on any known one. This returns false if the integer width is not legal. /// /// The width is specified in bits. - bool isLegalInteger(unsigned Width) const { + bool isLegalInteger(uint64_t Width) const { for (unsigned LegalIntWidth : LegalIntWidths) if (LegalIntWidth == Width) return true; return false; } - bool isIllegalInteger(unsigned Width) const { return !isLegalInteger(Width); } + bool isIllegalInteger(uint64_t Width) const { return !isLegalInteger(Width); } /// Returns true if the given alignment exceeds the natural stack alignment. bool exceedsNaturalStackAlignment(unsigned Align) const { Index: llvm/trunk/test/Transforms/SROA/pr26972.ll =================================================================== --- llvm/trunk/test/Transforms/SROA/pr26972.ll +++ llvm/trunk/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)