Tests for cmp / br_cc / select_cc

llvm-svn: 75949
This commit is contained in:
Anton Korobeynikov 2009-07-16 13:53:15 +00:00
parent e26fb377c5
commit aad6f1c75a
5 changed files with 570 additions and 0 deletions

View File

@ -0,0 +1,141 @@
; RUN: llvm-as < %s | llc | grep je | count 1
; RUN: llvm-as < %s | llc | grep jne | count 1
; RUN: llvm-as < %s | llc | grep jhe | count 2
; RUN: llvm-as < %s | llc | grep jle | count 2
; RUN: llvm-as < %s | llc | grep jh | count 4
; RUN: llvm-as < %s | llc | grep jl | count 4
target datalayout = "E-p:64:64:64-i1:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128"
target triple = "s390x-unknown-linux-gnu"
define void @foo(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ult i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
declare void @bar()
define void @foo1(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ugt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo2(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ugt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo3(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ult i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo4(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp eq i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo5(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp eq i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo6(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp slt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo7(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp sgt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo8(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp sgt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo9(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp slt i64 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}

View File

@ -0,0 +1,142 @@
; RUN: llvm-as < %s | llc | grep je | count 1
; RUN: llvm-as < %s | llc | grep jne | count 1
; RUN: llvm-as < %s | llc | grep jhe | count 2
; RUN: llvm-as < %s | llc | grep jle | count 2
; RUN: llvm-as < %s | llc | grep jh | count 4
; RUN: llvm-as < %s | llc | grep jl | count 4
target datalayout = "E-p:64:64:64-i1:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128"
target triple = "s390x-unknown-linux-gnu"
define void @foo(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ult i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
declare void @bar()
define void @foo1(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ugt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo2(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ugt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo3(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ult i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo4(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp eq i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo5(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp eq i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo6(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp slt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo7(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp sgt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo8(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp sgt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo9(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp slt i32 %a, %b ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}

View File

@ -0,0 +1,137 @@
; RUN: llvm-as < %s | llc | grep cgfi | count 8
; RUN: llvm-as < %s | llc | grep clgfi | count 2
target datalayout = "E-p:64:64:64-i1:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128"
target triple = "s390x-unknown-linux-gnu"
define void @foo(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp eq i64 %a, 0 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
declare void @bar()
define void @foo1(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ugt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo2(i64 %a, i64 %b) nounwind {
entry:
%cmp = icmp ugt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo3(i64 %a) nounwind {
entry:
%cmp = icmp eq i64 %a, 0 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo4(i64 %a) nounwind {
entry:
%cmp = icmp eq i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo5(i64 %a) nounwind {
entry:
%cmp = icmp eq i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo6(i64 %a) nounwind {
entry:
%cmp = icmp slt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo7(i64 %a) nounwind {
entry:
%cmp = icmp sgt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo8(i64 %a) nounwind {
entry:
%cmp = icmp sgt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo9(i64 %a) nounwind {
entry:
%cmp = icmp slt i64 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}

View File

@ -0,0 +1,139 @@
; RUN: llvm-as < %s | llc | grep jl | count 3
; RUN: llvm-as < %s | llc | grep jh | count 3
; RUN: llvm-as < %s | llc | grep je | count 2
; RUN: llvm-as < %s | llc | grep jne | count 2
target datalayout = "E-p:64:64:64-i1:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128"
target triple = "s390x-unknown-linux-gnu"
define void @foo(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp eq i32 %a, 0 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
declare void @bar()
define void @foo1(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ugt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo2(i32 %a, i32 %b) nounwind {
entry:
%cmp = icmp ugt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo3(i32 %a) nounwind {
entry:
%cmp = icmp eq i32 %a, 0 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo4(i32 %a) nounwind {
entry:
%cmp = icmp eq i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo5(i32 %a) nounwind {
entry:
%cmp = icmp eq i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo6(i32 %a) nounwind {
entry:
%cmp = icmp slt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo7(i32 %a) nounwind {
entry:
%cmp = icmp sgt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo8(i32 %a) nounwind {
entry:
%cmp = icmp sgt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}
define void @foo9(i32 %a) nounwind {
entry:
%cmp = icmp slt i32 %a, 1 ; <i1> [#uses=1]
br i1 %cmp, label %if.end, label %if.then
if.then: ; preds = %entry
tail call void @bar() nounwind
ret void
if.end: ; preds = %entry
ret void
}

View File

@ -0,0 +1,11 @@
; RUN: llvm-as < %s | llc | grep clgr
target datalayout = "E-p:64:64:64-i1:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128"
target triple = "s390x-unknown-linux-gnu"
define i64 @foo(i64 %a, i64 %b) nounwind readnone {
entry:
%cmp = icmp ult i64 %a, %b ; <i1> [#uses=1]
%cond = select i1 %cmp, i64 %a, i64 %b ; <i64> [#uses=1]
ret i64 %cond
}