85 lines · plain
1; RUN: llc < %s -mtriple=i686-- -relocation-model=pic | FileCheck %s2; This test is to ensure the TwoAddrInstruction pass chooses the proper operands to3; merge and generates fewer mov insns.4 5@M = common global i32 0, align 46@total = common global i32 0, align 47@g = common global i32 0, align 48 9; Function Attrs: nounwind uwtable10define void @foo() {11entry:12 %0 = load i32, ptr @M, align 413 %cmp3 = icmp sgt i32 %0, 014 br i1 %cmp3, label %for.body.lr.ph, label %for.end15 16for.body.lr.ph: ; preds = %entry17 %total.promoted = load i32, ptr @total, align 418 br label %for.body19 20; Check that only one mov will be generated in the kernel loop.21; CHECK-LABEL: foo:22; CHECK: [[LOOP1:^[a-zA-Z0-9_.]+]]: {{#.*}} %for.body{{$}}23; CHECK-NOT: mov24; CHECK: movl {{.*}}, [[REG1:%[a-z0-9]+]]25; CHECK-NOT: mov26; CHECK: shrl $31, [[REG1]]27; CHECK-NOT: mov28; CHECK: jl [[LOOP1]]29for.body: ; preds = %for.body.lr.ph, %for.body30 %add5 = phi i32 [ %total.promoted, %for.body.lr.ph ], [ %add, %for.body ]31 %i.04 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ]32 %div = sdiv i32 %i.04, 233 %add = add nsw i32 %div, %add534 %inc = add nuw nsw i32 %i.04, 135 %cmp = icmp slt i32 %inc, %036 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge37 38for.cond.for.end_crit_edge: ; preds = %for.body39 store i32 %add, ptr @total, align 440 br label %for.end41 42for.end: ; preds = %for.cond.for.end_crit_edge, %entry43 ret void44}45 46; Function Attrs: nounwind uwtable47define void @goo() {48entry:49 %0 = load i32, ptr @M, align 450 %cmp3 = icmp sgt i32 %0, 051 br i1 %cmp3, label %for.body.lr.ph, label %for.end52 53for.body.lr.ph: ; preds = %entry54 %total.promoted = load i32, ptr @total, align 455 br label %for.body56 57; Check that only two mov will be generated in the kernel loop.58; CHECK-LABEL: goo:59; CHECK: [[LOOP2:^[a-zA-Z0-9_.]+]]: {{#.*}} %for.body{{$}}60; CHECK-NOT: mov61; CHECK: movl {{.*}}, [[REG2:%[a-z0-9]+]]62; CHECK-NOT: mov63; CHECK: shrl $31, [[REG2]]64; CHECK-NOT: mov65; CHECK: movl {{.*}}66; CHECK: jl [[LOOP2]]67for.body: ; preds = %for.body.lr.ph, %for.body68 %add5 = phi i32 [ %total.promoted, %for.body.lr.ph ], [ %add, %for.body ]69 %i.04 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ]70 %div = sdiv i32 %i.04, 271 %add = add nsw i32 %div, %add572 store volatile i32 %add, ptr @g, align 473 %inc = add nuw nsw i32 %i.04, 174 %cmp = icmp slt i32 %inc, %075 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge76 77for.cond.for.end_crit_edge: ; preds = %for.body78 store i32 %add, ptr @total, align 479 br label %for.end80 81for.end: ; preds = %for.cond.for.end_crit_edge, %entry82 ret void83}84 85