54 lines · plain
1; RUN: llc < %s -mcpu=corei7 -mtriple=x86_64-pc-win64 | FileCheck %s2 3; CHECK: merge_stores_can4; CHECK: callq foo5; CHECK: xorps %xmm0, %xmm06; CHECK-NEXT: movups %xmm07; CHECK-NEXT: movl 36(%rsp), %ebp8; CHECK: callq foo9; CHECK: ret10declare i32 @foo(ptr )11 12define i32 @merge_stores_can() nounwind ssp {13 %object1 = alloca [10 x i32]14 15 %ret0 = call i32 @foo(ptr %object1) nounwind16 17 %O1_1 = getelementptr [10 x i32], ptr %object1, i64 0, i32 118 %O1_2 = getelementptr [10 x i32], ptr %object1, i64 0, i32 219 %O1_3 = getelementptr [10 x i32], ptr %object1, i64 0, i32 320 %O1_4 = getelementptr [10 x i32], ptr %object1, i64 0, i32 421 %ld_ptr = getelementptr [10 x i32], ptr %object1, i64 0, i32 922 23 store i32 0, ptr %O1_124 store i32 0, ptr %O1_225 %ret = load i32, ptr %ld_ptr ; <--- does not alias.26 store i32 0, ptr %O1_327 store i32 0, ptr %O1_428 29 %ret1 = call i32 @foo(ptr %object1) nounwind30 31 ret i32 %ret32}33 34; CHECK: merge_stores_cant35; CHECK-NOT: xorps %xmm0, %xmm036; CHECK-NOT: movups %xmm037; CHECK: ret38define i32 @merge_stores_cant(ptr %in0, ptr %in1) nounwind ssp {39 40 %O1_1 = getelementptr [10 x i32], ptr %in1, i64 0, i32 141 %O1_2 = getelementptr [10 x i32], ptr %in1, i64 0, i32 242 %O1_3 = getelementptr [10 x i32], ptr %in1, i64 0, i32 343 %O1_4 = getelementptr [10 x i32], ptr %in1, i64 0, i32 444 %ld_ptr = getelementptr [10 x i32], ptr %in0, i64 0, i32 245 46 store i32 0, ptr %O1_147 store i32 0, ptr %O1_248 %ret = load i32, ptr %ld_ptr ; <--- may alias49 store i32 0, ptr %O1_350 store i32 0, ptr %O1_451 52 ret i32 %ret53}54