1; RUN: llc %s -mtriple=lanai-unknown-unknown -debug-only=misched -o /dev/null 2>&1 | FileCheck %s 2 3; Make sure there are no control dependencies between memory operations that 4; are trivially disjoint. 5 6; Function Attrs: norecurse nounwind uwtable 7define i32 @foo(i8* inreg nocapture %x) { 8entry: 9 %0 = bitcast i8* %x to i32* 10 store i32 1, i32* %0, align 4 11 %arrayidx1 = getelementptr inbounds i8, i8* %x, i32 4 12 %1 = bitcast i8* %arrayidx1 to i32* 13 store i32 2, i32* %1, align 4 14 %arrayidx2 = getelementptr inbounds i8, i8* %x, i32 12 15 %2 = bitcast i8* %arrayidx2 to i32* 16 %3 = load i32, i32* %2, align 4 17 %arrayidx3 = getelementptr inbounds i8, i8* %x, i32 10 18 %4 = bitcast i8* %arrayidx3 to i16* 19 store i16 3, i16* %4, align 2 20 %5 = bitcast i8* %arrayidx2 to i16* 21 store i16 4, i16* %5, align 2 22 %arrayidx5 = getelementptr inbounds i8, i8* %x, i32 14 23 store i8 5, i8* %arrayidx5, align 1 24 %arrayidx6 = getelementptr inbounds i8, i8* %x, i32 15 25 store i8 6, i8* %arrayidx6, align 1 26 %arrayidx7 = getelementptr inbounds i8, i8* %x, i32 16 27 store i8 7, i8* %arrayidx7, align 1 28 ret i32 %3 29} 30 31; CHECK-LABEL: foo 32; CHECK-LABEL: SU({{.*}}): SW_RI{{.*}}, 0, 33; CHECK: # preds left : 2 34; CHECK: # succs left : 0 35; CHECK-LABEL: SU({{.*}}): SW_RI{{.*}}, 4, 36; CHECK: # preds left : 2 37; CHECK: # succs left : 0 38; CHECK-LABEL: SU({{.*}}): %vreg{{.*}}<def> = LDW_RI{{.*}}, 12, 39; CHECK: # preds left : 1 40; CHECK: # succs left : 4 41; CHECK-LABEL: SU({{.*}}): STH_RI{{.*}}, 10, 42; CHECK: # preds left : 2 43; CHECK: # succs left : 0 44; CHECK-LABEL: SU({{.*}}): STH_RI{{.*}}, 12, 45; CHECK: # preds left : 3 46; CHECK: # succs left : 0 47; CHECK-LABEL: SU({{.*}}): STB_RI{{.*}}, 14, 48; CHECK: # preds left : 3 49; CHECK: # succs left : 0 50; CHECK-LABEL: SU({{.*}}): STB_RI{{.*}}, 15, 51; CHECK: # preds left : 3 52; CHECK: # succs left : 0 53; CHECK-LABEL: SU({{.*}}): STB_RI{{.*}}, 16, 54; CHECK: # preds left : 2 55; CHECK: # succs left : 0