1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 ; Check that we don't crash on unreasonable constant indexes 4 5 define i32 @test_out_of_bounds(i32 %a, i1 %x, i1 %y) { 6 ; CHECK-LABEL: @test_out_of_bounds( 7 ; CHECK-NEXT: entry: 8 ; CHECK-NEXT: [[AND1:%.*]] = and i32 [[A:%.*]], 3 9 ; CHECK-NEXT: tail call void @llvm.assume(i1 false) 10 ; CHECK-NEXT: ret i32 [[AND1]] 11 ; 12 entry: 13 %and1 = and i32 %a, 3 14 %B = lshr i32 %and1, -2147483648 15 %cmp = icmp eq i32 %B, 1 16 tail call void @llvm.assume(i1 %cmp) 17 ret i32 %and1 18 } 19 20 define i128 @test_non64bit(i128 %a) { 21 ; CHECK-LABEL: @test_non64bit( 22 ; CHECK-NEXT: [[AND1:%.*]] = and i128 [[A:%.*]], 3 23 ; CHECK-NEXT: tail call void @llvm.assume(i1 false) 24 ; CHECK-NEXT: ret i128 [[AND1]] 25 ; 26 %and1 = and i128 %a, 3 27 %B = lshr i128 %and1, -1 28 %cmp = icmp eq i128 %B, 1 29 tail call void @llvm.assume(i1 %cmp) 30 ret i128 %and1 31 } 32 33 declare void @llvm.assume(i1) 34 35 define <4 x double> @inselt_bad_index(<4 x double> %a) { 36 ; CHECK-LABEL: @inselt_bad_index( 37 ; CHECK-NEXT: ret <4 x double> undef 38 ; 39 %I = insertelement <4 x double> %a, double 0.0, i64 4294967296 40 ret <4 x double> %I 41 } 42
