1; RUN: opt -instcombine -S < %s | FileCheck %s
2
3; CHECK-LABEL: definitely_in_bounds
4; CHECK: ret i8 0
5define i8 @definitely_in_bounds() {
6  ret i8 extractelement (<vscale x 16 x i8> zeroinitializer, i64 15)
7}
8
9; CHECK-LABEL: maybe_in_bounds
10; CHECK: ret i8 extractelement (<vscale x 16 x i8> zeroinitializer, i64 16)
11define i8 @maybe_in_bounds() {
12  ret i8 extractelement (<vscale x 16 x i8> zeroinitializer, i64 16)
13}
14