blob: 204fac56a933147f3469dde227b6b8c0e93a98ae [file] [log] [blame]
; RUN: llc -mtriple=mipsel -mcpu=mips32r6 -disable-mips-delay-filler < %s | FileCheck %s
; RUN: llc -mtriple=mips -mcpu=mips32r6 -disable-mips-delay-filler < %s -filetype=obj \
; RUN: -o - | llvm-objdump -d - | FileCheck %s --check-prefix=ENCODING
; RUN: llc -mtriple=mipsel -mcpu=mips64r6 -disable-mips-delay-filler -target-abi=n64 < %s | FileCheck %s
; RUN: llc -mtriple=mips -mcpu=mips64r6 -disable-mips-delay-filler -target-abi=n64 < %s -filetype=obj \
; RUN: -o - | llvm-objdump -d - | FileCheck %s --check-prefix=ENCODING
; bnezc and beqzc have restriction that $rt != 0
define i32 @f() {
; CHECK-LABEL: f:
; CHECK-NOT: bnezc $0
%cmp = icmp eq i32 1, 1
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i32 1
if.end:
ret i32 0
}
define i32 @f1() {
; CHECK-LABEL: f1:
; CHECK-NOT: beqzc $0
%cmp = icmp eq i32 0, 0
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i32 1
if.end:
ret i32 0
}
; We silently fixup cases where the register allocator or user has given us
; an instruction with incorrect operands that is trivially acceptable.
; beqc and bnec have the restriction that $rs < $rt.
define i32 @f2(i32 %a, i32 %b) {
; ENCODING-LABEL: <f2>:
; ENCODING-NOT: beqc $5, $4
; ENCODING-NOT: bnec $5, $4
%cmp = icmp eq i32 %b, %a
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i32 1
if.end:
ret i32 0
}
define i64 @f3() {
; CHECK-LABEL: f3:
; CHECK-NOT: bnezc $0
%cmp = icmp eq i64 1, 1
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i64 1
if.end:
ret i64 0
}
define i64 @f4() {
; CHECK-LABEL: f4:
; CHECK-NOT: beqzc $0
%cmp = icmp eq i64 0, 0
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i64 1
if.end:
ret i64 0
}
; We silently fixup cases where the register allocator or user has given us
; an instruction with incorrect operands that is trivially acceptable.
; beqc and bnec have the restriction that $rs < $rt.
define i64 @f5(i64 %a, i64 %b) {
; ENCODING-LABEL: <f5>:
; ENCODING-NOT: beqc $5, $4
; ENCODING-NOT: bnec $5, $4
%cmp = icmp eq i64 %b, %a
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i64 1
if.end:
ret i64 0
}
define i32 @f6(i32 %a) {
; CHECK-LABEL: f6:
; CHECK: beqzc ${{[0-9]+}}, {{((\$)|(\.L))}}BB
%cmp = icmp eq i32 %a, 0
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i32 1
if.end:
ret i32 0
}
define i32 @f7(i32 %a) {
; CHECK-LABEL: f7:
; CHECK: bnezc ${{[0-9]+}}, {{((\$)|(\.L))}}BB
%cmp = icmp eq i32 0, %a
br i1 %cmp, label %if.then, label %if.end
if.then:
ret i32 1
if.end:
ret i32 0
}