; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -verify-machineinstrs | FileCheck %s ; ; Test that foldMemoryOperandImpl() doesn't drop subreg / read-undef flags. define void @fun_llvm_stress_reduced(i8*, i32*, i64*, i64, i8) { ; CHECK: .text BB: %A4 = alloca <4 x i64> %A1 = alloca <8 x i1> %E6 = extractelement <4 x i1> undef, i32 3 %L23 = load i8, i8* %0 %B27 = fmul double 0x59A989483BA7E0C6, undef %L30 = load i16, i16* undef store i16 -11933, i16* undef %L46 = load i16, i16* undef %L61 = load i16, i16* undef %Sl74 = select i1 undef, i1 undef, i1 true br label %CF846 CF846: ; preds = %CF877, %BB %I86 = insertelement <4 x i1> undef, i1 undef, i32 0 %Cmp89 = icmp ne i64 undef, %3 %L90 = load i16, i16* undef %Shuff92 = shufflevector <4 x i16> zeroinitializer, <4 x i16> zeroinitializer, <4 x i32> <i32 0, i32 2, i32 undef, i32 6> br label %CF877 CF877: ; preds = %CF846 store i16 %L61, i16* undef %Cmp110 = icmp eq i16 %L61, undef br i1 %Cmp110, label %CF846, label %CF862 CF862: ; preds = %CF877 %I114 = insertelement <4 x i64> zeroinitializer, i64 0, i32 0 %B115 = shl <4 x i64> zeroinitializer, %I114 %Sl124 = select i1 true, <8 x i1>* %A1, <8 x i1>* %A1 %B130 = frem double %B27, 0x59A989483BA7E0C6 %E143 = extractelement <4 x i64> %B115, i32 1 %Sl148 = select i1 %Cmp89, <1 x i32> undef, <1 x i32> zeroinitializer br label %CF855 CF855: ; preds = %CF855, %CF862 %Sl171 = select i1 %Sl74, i1 %E6, i1 undef br i1 %Sl171, label %CF855, label %CF874 CF874: ; preds = %CF855 %PC186 = bitcast i32* %1 to i16* %L196 = load i16, i16* undef %B207 = or i8 %4, %L23 %L211 = load <8 x i1>, <8 x i1>* %Sl124 %B215 = fdiv double 0x8421A9C0D21F6D3E, %B130 %L218 = load i16, i16* %PC186 %Sl223 = select i1 %Sl171, <4 x i1> %I86, <4 x i1> undef br label %CF826 CF826: ; preds = %CF866, %CF910, %CF874 %B245 = ashr i16 -11933, %L46 br label %CF910 CF910: ; preds = %CF826 %L257 = load i8, i8* %0 %BC262 = bitcast i64 %E143 to double store i16 %L196, i16* %PC186 %E266 = extractelement <4 x i16> %Shuff92, i32 0 %Sl271 = select i1 %Cmp89, i1 %Cmp89, i1 %Cmp110 br i1 %Sl271, label %CF826, label %CF866 CF866: ; preds = %CF910 store i64 %E143, i64* %2 %I276 = insertelement <4 x double> undef, double %BC262, i32 3 %L281 = load <8 x i1>, <8 x i1>* %Sl124 %E282 = extractelement <4 x i1> zeroinitializer, i32 2 br i1 %E282, label %CF826, label %CF848 CF848: ; preds = %CF866 %Cmp288 = fcmp olt <4 x double> undef, %I276 %FC294 = fptosi double undef to i16 %Cmp296 = icmp ule i16 %FC294, %B245 store i16 %L218, i16* undef store i8 %L23, i8* %0 %E320 = extractelement <4 x i1> %Sl223, i32 1 %PC337 = bitcast <8 x i1>* %Sl124 to i1* %Cmp345 = icmp uge <1 x i32> undef, %Sl148 store i16 %L196, i16* %PC186 br label %CF893 CF893: ; preds = %CF893, %CF848 %Cmp361 = fcmp uge float undef, undef br i1 %Cmp361, label %CF893, label %CF906 CF906: ; preds = %CF893 store i16 -11933, i16* undef %Shuff379 = shufflevector <1 x i1> undef, <1 x i1> %Cmp345, <1 x i32> <i32 1> br label %CF850 CF850: ; preds = %CF850, %CF906 br i1 undef, label %CF850, label %CF925 CF925: ; preds = %CF850 store i16 %E266, i16* %PC186 %Cmp413 = icmp ugt i8 %L257, undef store i16 %L30, i16* %PC186 %Sl420 = select i1 %Sl171, <8 x i1> undef, <8 x i1> %L281 store i16 %L90, i16* undef %FC469 = uitofp i1 %Cmp296 to float store i1 %Cmp413, i1* %PC337 br label %CF833 CF833: ; preds = %CF833, %CF925 store i8 %B207, i8* %0 %E509 = extractelement <8 x i1> %L211, i32 7 br i1 %E509, label %CF833, label %CF882 CF882: ; preds = %CF833 store i1 %Sl271, i1* %PC337 br label %CF852 CF852: ; preds = %CF896, %CF882 store i1 %Sl74, i1* %PC337 br label %CF896 CF896: ; preds = %CF852 %E576 = extractelement <4 x i1> %Cmp288, i32 3 br i1 %E576, label %CF852, label %CF890 CF890: ; preds = %CF896 %Sl581 = select i1 undef, float undef, float %FC469 unreachable }