40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3; Check that we don't crash on unreasonable constant indexes4 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: store i1 true, ptr poison, align 19; CHECK-NEXT: ret i32 poison10;11entry:12 %and1 = and i32 %a, 313 %B = lshr i32 %and1, -214748364814 %cmp = icmp eq i32 %B, 115 tail call void @llvm.assume(i1 %cmp)16 ret i32 %and117}18 19define i128 @test_non64bit(i128 %a) {20; CHECK-LABEL: @test_non64bit(21; CHECK-NEXT: store i1 true, ptr poison, align 122; CHECK-NEXT: ret i128 poison23;24 %and1 = and i128 %a, 325 %B = lshr i128 %and1, -126 %cmp = icmp eq i128 %B, 127 tail call void @llvm.assume(i1 %cmp)28 ret i128 %and129}30 31declare void @llvm.assume(i1)32 33define <4 x double> @inselt_bad_index(<4 x double> %a) {34; CHECK-LABEL: @inselt_bad_index(35; CHECK-NEXT: ret <4 x double> poison36;37 %I = insertelement <4 x double> %a, double 0.0, i64 429496729638 ret <4 x double> %I39}40