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 5define 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 undef) 10; CHECK-NEXT: ret i32 [[AND1]] 11; 12entry: 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 20define 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 undef) 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 33declare void @llvm.assume(i1) 34 35define <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