42 lines · plain
1; RUN: llc < %s -mtriple=arm-eabi -mattr=+v4t -O0 | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK_O02; RUN: llc < %s -mtriple=arm-eabi -mattr=+v4t -O1 | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK_O13 4; In /O0, the addition must not be eliminated. This happens when the load5; and store are folded by the DAGCombiner. In /O1 and above, the optimization6; must be executed.7 8; CHECK-LABEL: {{^}}main9; CHECK: mov [[TMP:r[0-9]+]], #010; CHECK-NEXT: str [[TMP]], [sp, #4]11; CHECK_O0: str [[TMP]], [sp]12; CHECK_O0: ldr [[TMP:r[0-9]+]], [sp]13; CHECK_O0-NEXT: add [[TMP]], [[TMP]], #214; CHECK_O1-NOT: ldr [[TMP:r[0-9]+]], [sp]15; CHECK_O1-NOT: add [[TMP]], [[TMP]], #216 17define i32 @main() {18bb:19 %tmp = alloca i32, align 420 %tmp1 = alloca i32, align 421 store i32 0, ptr %tmp, align 422 store i32 0, ptr %tmp1, align 423 %tmp2 = load i32, ptr %tmp1, align 424 %tmp3 = add nsw i32 %tmp2, 225 store i32 %tmp3, ptr %tmp1, align 426 %tmp4 = load i32, ptr %tmp1, align 427 %tmp5 = icmp eq i32 %tmp4, 228 br i1 %tmp5, label %bb6, label %bb729 30bb6: ; preds = %bb31 store i32 0, ptr %tmp, align 432 br label %bb833 34bb7: ; preds = %bb35 store i32 5, ptr %tmp, align 436 br label %bb837 38bb8: ; preds = %bb7, %bb639 %tmp9 = load i32, ptr %tmp, align 440 ret i32 %tmp941}42