summaryrefslogtreecommitdiff
path: root/test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll')
-rw-r--r--test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll16
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll b/test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll
new file mode 100644
index 0000000000000..3808c0e61c10a
--- /dev/null
+++ b/test/Transforms/CodeGenPrepare/crash-on-large-allocas.ll
@@ -0,0 +1,16 @@
+; RUN: opt -S -codegenprepare %s -o - | FileCheck %s
+;
+; Ensure that we don't {crash,return a bad value} when given an alloca larger
+; than what a pointer can represent.
+
+target datalayout = "p:16:16"
+
+; CHECK-LABEL: @alloca_overflow_is_unknown(
+define i16 @alloca_overflow_is_unknown() {
+ %i = alloca i8, i32 65537
+ %j = call i16 @llvm.objectsize.i16.p0i8(i8* %i, i1 false, i1 false)
+ ; CHECK: ret i16 -1
+ ret i16 %j
+}
+
+declare i16 @llvm.objectsize.i16.p0i8(i8*, i1, i1)