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 7 define i32 @foo(i8* inreg nocapture %x) { 8 entry: 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
