1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instsimplify -S | FileCheck %s 3 4 ; Weird Types 5 6 define i129 @vec_extract_negidx(<3 x i129> %a) { 7 ; CHECK-LABEL: @vec_extract_negidx( 8 ; CHECK-NEXT: ret i129 undef 9 ; 10 %E1 = extractelement <3 x i129> %a, i129 -1 11 ret i129 %E1 12 } 13 14 define i129 @vec_extract_out_of_bounds(<3 x i129> %a) { 15 ; CHECK-LABEL: @vec_extract_out_of_bounds( 16 ; CHECK-NEXT: ret i129 undef 17 ; 18 %E1 = extractelement <3 x i129> %a, i129 3 19 ret i129 %E1 20 } 21 22 define i129 @vec_extract_out_of_bounds2(<3 x i129> %a) { 23 ; CHECK-LABEL: @vec_extract_out_of_bounds2( 24 ; CHECK-NEXT: ret i129 undef 25 ; 26 %E1 = extractelement <3 x i129> %a, i129 999999999999999 27 ret i129 %E1 28 } 29 30 31 define i129 @vec_extract_undef_index(<3 x i129> %a) { 32 ; CHECK-LABEL: @vec_extract_undef_index( 33 ; CHECK-NEXT: ret i129 undef 34 ; 35 %E1 = extractelement <3 x i129> %a, i129 undef 36 ret i129 %E1 37 } 38 39 40 define i129 @vec_extract_in_bounds(<3 x i129> %a) { 41 ; CHECK-LABEL: @vec_extract_in_bounds( 42 ; CHECK-NEXT: %E1 = extractelement <3 x i129> %a, i129 2 43 ; CHECK-NEXT: ret i129 %E1 44 ; 45 %E1 = extractelement <3 x i129> %a, i129 2 46 ret i129 %E1 47 } 48
