From 79c2c2f08c8513be679b2ff8ad3a53b2db3343d9 Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Tue, 26 Dec 2017 11:42:39 +0000 Subject: [InstSimplify] Check for in range extraction index before calling APInt::getZExtValue() Reduced from oss-fuzz #4768 test case llvm-svn: 321454 --- llvm/test/Transforms/InstSimplify/extract-element.ll | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 llvm/test/Transforms/InstSimplify/extract-element.ll (limited to 'llvm/test/Transforms/InstSimplify/extract-element.ll') diff --git a/llvm/test/Transforms/InstSimplify/extract-element.ll b/llvm/test/Transforms/InstSimplify/extract-element.ll new file mode 100644 index 00000000000..8ee75a603cd --- /dev/null +++ b/llvm/test/Transforms/InstSimplify/extract-element.ll @@ -0,0 +1,13 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instsimplify -S | FileCheck %s + +; Weird Types + +define i129 @vec_extract_negidx(<3 x i129> %a) { +; CHECK-LABEL: @vec_extract_negidx( +; CHECK-NEXT: [[E1:%.*]] = extractelement <3 x i129> [[A:%.*]], i129 -1 +; CHECK-NEXT: ret i129 [[E1]] +; + %E1 = extractelement <3 x i129> %a, i129 -1 + ret i129 %E1 +} -- cgit v1.2.3