; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s
define i32 @test_cchi(i64 %a) {
; CHECK-LABEL: test_cchi:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, hi
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cchi},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cccs(i64 %a) {
; CHECK-LABEL: test_cccs:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, hs
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cccs},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cclo(i64 %a) {
; CHECK-LABEL: test_cclo:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, lo
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cclo},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccls(i64 %a) {
; CHECK-LABEL: test_ccls:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, ls
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccls},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cccc(i64 %a) {
; CHECK-LABEL: test_cccc:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, lo
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cccc},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cceq(i64 %a) {
; CHECK-LABEL: test_cceq:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, eq
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cceq},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccgt(i64 %a) {
; CHECK-LABEL: test_ccgt:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, gt
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccgt},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccge(i64 %a) {
; CHECK-LABEL: test_ccge:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, ge
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccge},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cclt(i64 %a) {
; CHECK-LABEL: test_cclt:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, lt
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cclt},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccle(i64 %a) {
; CHECK-LABEL: test_ccle:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, le
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccle},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_cchs(i64 %a) {
; CHECK-LABEL: test_cchs:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, hs
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@cchs},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccne(i64 %a) {
; CHECK-LABEL: test_ccne:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, ne
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccne},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccvc(i64 %a) {
; CHECK-LABEL: test_ccvc:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, vc
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccvc},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccpl(i64 %a) {
; CHECK-LABEL: test_ccpl:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, pl
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccpl},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccvs(i64 %a) {
; CHECK-LABEL: test_ccvs:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, vs
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccvs},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
define i32 @test_ccmi(i64 %a) {
; CHECK-LABEL: test_ccmi:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: //APP
; CHECK-NEXT: subs x0, x0, #3
; CHECK-NEXT: //NO_APP
; CHECK-NEXT: cset w0, mi
; CHECK-NEXT: ret
entry:
%0 = tail call { i64, i32 } asm "subs $0, $0, #3", "=r,={@ccmi},0,~{dirflag},~{fpsr},~{flags}"(i64 %a)
%asmresult1 = extractvalue { i64, i32 } %0, 1
%1 = icmp ult i32 %asmresult1, 2
tail call void @llvm.assume(i1 %1)
ret i32 %asmresult1
}
declare void @llvm.assume(i1)