Compiler projects using llvm
; 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
}