1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=instsimplify < %s -S | FileCheck %s 3 4define <4 x i1> @vec_reverse_known_bits(<4 x i8> %xx) { 5; CHECK-LABEL: @vec_reverse_known_bits( 6; CHECK-NEXT: ret <4 x i1> splat (i1 true) 7; 8 %x = or <4 x i8> %xx, <i8 128, i8 128, i8 128, i8 128> 9 %rev = call <4 x i8> @llvm.vector.reverse(<4 x i8> %x) 10 %r = icmp slt <4 x i8> %rev, zeroinitializer 11 ret <4 x i1> %r 12} 13 14define <4 x i1> @vec_reverse_known_bits_fail(<4 x i8> %xx) { 15; CHECK-LABEL: @vec_reverse_known_bits_fail( 16; CHECK-NEXT: [[X:%.*]] = or <4 x i8> [[XX:%.*]], <i8 -128, i8 -128, i8 -128, i8 127> 17; CHECK-NEXT: [[REV:%.*]] = call <4 x i8> @llvm.vector.reverse.v4i8(<4 x i8> [[X]]) 18; CHECK-NEXT: [[R:%.*]] = icmp slt <4 x i8> [[REV]], zeroinitializer 19; CHECK-NEXT: ret <4 x i1> [[R]] 20; 21 %x = or <4 x i8> %xx, <i8 128, i8 128, i8 128, i8 127> 22 %rev = call <4 x i8> @llvm.vector.reverse(<4 x i8> %x) 23 %r = icmp slt <4 x i8> %rev, zeroinitializer 24 ret <4 x i1> %r 25} 26 27define i1 @vec_reverse_known_bits_demanded(<4 x i8> %xx) { 28; CHECK-LABEL: @vec_reverse_known_bits_demanded( 29; CHECK-NEXT: ret i1 true 30; 31 %x = or <4 x i8> %xx, <i8 127, i8 55, i8 128, i8 123> 32 %rev = call <4 x i8> @llvm.vector.reverse(<4 x i8> %x) 33 %ele = extractelement <4 x i8> %rev, i64 1 34 %r = icmp slt i8 %ele, 0 35 ret i1 %r 36} 37 38define i1 @vec_reverse_known_bits_demanded_fail(<4 x i8> %xx) { 39; CHECK-LABEL: @vec_reverse_known_bits_demanded_fail( 40; CHECK-NEXT: [[X:%.*]] = or <4 x i8> [[XX:%.*]], <i8 127, i8 55, i8 -128, i8 123> 41; CHECK-NEXT: [[REV:%.*]] = call <4 x i8> @llvm.vector.reverse.v4i8(<4 x i8> [[X]]) 42; CHECK-NEXT: [[ELE:%.*]] = extractelement <4 x i8> [[REV]], i64 2 43; CHECK-NEXT: [[R:%.*]] = icmp slt i8 [[ELE]], 0 44; CHECK-NEXT: ret i1 [[R]] 45; 46 %x = or <4 x i8> %xx, <i8 127, i8 55, i8 128, i8 123> 47 %rev = call <4 x i8> @llvm.vector.reverse(<4 x i8> %x) 48 %ele = extractelement <4 x i8> %rev, i64 2 49 %r = icmp slt i8 %ele, 0 50 ret i1 %r 51} 52