56 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4; Should not crash when GEP pointer operand is a vector.5define <2 x i1> @test.vectorgep(<2 x ptr> %vec) {6; CHECK-LABEL: @test.vectorgep(7; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i32, <2 x ptr> [[VEC:%.*]], i64 08; CHECK-NEXT: [[COND:%.*]] = icmp ule <2 x ptr> [[GEP]], zeroinitializer9; CHECK-NEXT: ret <2 x i1> [[COND]]10;11 %gep = getelementptr inbounds i32, <2 x ptr> %vec, i64 012 %cond = icmp ule <2 x ptr> %gep, zeroinitializer13 ret <2 x i1> %cond14}15 16define <2 x i1> @test.vectorgep.ult.true(<2 x ptr> %vec) {17; CHECK-LABEL: @test.vectorgep.ult.true(18; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i32, <2 x ptr> [[VEC:%.*]], i64 119; CHECK-NEXT: ret <2 x i1> splat (i1 true)20;21 %gep.1 = getelementptr inbounds i32, <2 x ptr> %vec, i64 122 %t.1 = icmp ult <2 x ptr> %vec, %gep.123 ret <2 x i1> %t.124}25 26define <2 x i1> @test.vectorgep.ult.false(<2 x ptr> %vec) {27; CHECK-LABEL: @test.vectorgep.ult.false(28; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i32, <2 x ptr> [[VEC:%.*]], i64 129; CHECK-NEXT: ret <2 x i1> zeroinitializer30;31 %gep.1 = getelementptr inbounds i32, <2 x ptr> %vec, i64 132 %t.1 = icmp ult <2 x ptr> %gep.1, %vec33 ret <2 x i1> %t.134}35 36 37define <vscale x 2 x i1> @test.scalable.vectorgep.ult.true(<vscale x 2 x ptr> %vec) {38; CHECK-LABEL: @test.scalable.vectorgep.ult.true(39; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i32, <vscale x 2 x ptr> [[VEC:%.*]], i64 140; CHECK-NEXT: ret <vscale x 2 x i1> splat (i1 true)41;42 %gep.1 = getelementptr inbounds i32, <vscale x 2 x ptr> %vec, i64 143 %t.1 = icmp ult <vscale x 2 x ptr> %vec, %gep.144 ret <vscale x 2 x i1> %t.145}46 47define <vscale x 2 x i1> @test.scalable.vectorgep.ult.false(<vscale x 2 x ptr> %vec) {48; CHECK-LABEL: @test.scalable.vectorgep.ult.false(49; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i32, <vscale x 2 x ptr> [[VEC:%.*]], i64 150; CHECK-NEXT: ret <vscale x 2 x i1> zeroinitializer51;52 %gep.1 = getelementptr inbounds i32, <vscale x 2 x ptr> %vec, i64 153 %t.1 = icmp ult <vscale x 2 x ptr> %gep.1, %vec54 ret <vscale x 2 x i1> %t.155}56