diff options
Diffstat (limited to 'test/CodeGen/PowerPC/ctrloop-lt.ll')
| -rw-r--r-- | test/CodeGen/PowerPC/ctrloop-lt.ll | 441 |
1 files changed, 0 insertions, 441 deletions
diff --git a/test/CodeGen/PowerPC/ctrloop-lt.ll b/test/CodeGen/PowerPC/ctrloop-lt.ll deleted file mode 100644 index 5dddc85719a8..000000000000 --- a/test/CodeGen/PowerPC/ctrloop-lt.ll +++ /dev/null @@ -1,441 +0,0 @@ -target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64" -target triple = "powerpc64-unknown-linux-gnu" -; RUN: llc -verify-machineinstrs < %s -march=ppc64 | FileCheck %s - -; XFAIL: * -; SE needs improvement - -; CHECK: test_pos1_ir_slt -; CHECK: bdnz -; a < b -define void @test_pos1_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 8531, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ 8531, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 1 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos2_ir_slt -; FIXME: Support this loop! -; CHECK: bdnz -; a < b -define void @test_pos2_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 9152, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ 9152, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 2 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos4_ir_slt -; FIXME: Support this loop! -; CHECK: bdnz -; a < b -define void @test_pos4_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 18851, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ 18851, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 4 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos8_ir_slt -; CHECK: bdnz -; a < b -define void @test_pos8_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 25466, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ 25466, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 8 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos16_ir_slt -; CHECK: bdnz -; a < b -define void @test_pos16_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 9295, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ 9295, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 16 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos1_ri_slt -; CHECK: bdnz -; a < b -define void @test_pos1_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, 31236 - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 1 - %cmp = icmp slt i32 %inc, 31236 - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos2_ri_slt -; CHECK: bdnz -; a < b -define void @test_pos2_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, 22653 - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 2 - %cmp = icmp slt i32 %inc, 22653 - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos4_ri_slt -; CHECK: bdnz -; a < b -define void @test_pos4_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, 1431 - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 4 - %cmp = icmp slt i32 %inc, 1431 - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos8_ri_slt -; CHECK: bdnz -; a < b -define void @test_pos8_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, 22403 - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 8 - %cmp = icmp slt i32 %inc, 22403 - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos16_ri_slt -; CHECK: bdnz -; a < b -define void @test_pos16_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, 21715 - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 16 - %cmp = icmp slt i32 %inc, 21715 - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos1_rr_slt -; CHECK: bdnz -; a < b -define void @test_pos1_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 1 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos2_rr_slt -; CHECK: bdnz -; a < b -define void @test_pos2_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 2 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos4_rr_slt -; CHECK: bdnz -; a < b -define void @test_pos4_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 4 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos8_rr_slt -; CHECK: bdnz -; a < b -define void @test_pos8_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 8 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} - - - -; CHECK: test_pos16_rr_slt -; CHECK: bdnz -; a < b -define void @test_pos16_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { -entry: - %cmp3 = icmp slt i32 %a, %b - br i1 %cmp3, label %for.body.lr.ph, label %for.end - -for.body.lr.ph: ; preds = %entry - br label %for.body - -for.body: ; preds = %for.body.lr.ph, %for.body - %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] - %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 - %0 = load i8, i8* %arrayidx, align 1 - %conv = zext i8 %0 to i32 - %add = add nsw i32 %conv, 1 - %conv1 = trunc i32 %add to i8 - store i8 %conv1, i8* %arrayidx, align 1 - %inc = add nsw i32 %i.04, 16 - %cmp = icmp slt i32 %inc, %b - br i1 %cmp, label %for.body, label %for.end - -for.end: ; preds = %for.body, %entry - ret void -} |
