derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
581 lines
18 KiB
LLVM
581 lines
18 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s | FileCheck --check-prefixes=CHECK,CHECK-SD %s
|
|
; RUN: llc < %s -global-isel | FileCheck --check-prefixes=CHECK,CHECK-GI %s
|
|
|
|
target triple = "aarch64-none-linux-gnu"
|
|
|
|
define i32 @test_basic_i32(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_basic_i32:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_basic_i32:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i64 @test_basic_i64(i64 %a, i64 %b, i64 %x, i64 %y) {
|
|
; CHECK-SD-LABEL: test_basic_i64:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp x0, x1
|
|
; CHECK-SD-NEXT: sbc x0, x2, x3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_basic_i64:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp x0, x1
|
|
; CHECK-GI-NEXT: sub x9, x2, x3
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub x0, x9, x8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i64 %a, %b
|
|
%carry = zext i1 %cc to i64
|
|
%sub = sub i64 %x, %y
|
|
%res = sub i64 %sub, %carry
|
|
ret i64 %res
|
|
}
|
|
|
|
define i64 @test_mixed_i32_i64(i32 %a, i32 %b, i64 %x, i64 %y) {
|
|
; CHECK-SD-LABEL: test_mixed_i32_i64:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sbc x0, x2, x3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_mixed_i32_i64:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub x9, x2, x3
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub x0, x9, x8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i64
|
|
%sub = sub i64 %x, %y
|
|
%res = sub i64 %sub, %carry
|
|
ret i64 %res
|
|
}
|
|
|
|
define i32 @test_mixed_i64_i32(i64 %a, i64 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_mixed_i64_i32:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp x0, x1
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_mixed_i64_i32:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp x0, x1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i64 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_only_borrow(i32 %a, i32 %b, i32 %x) {
|
|
; CHECK-SD-LABEL: test_only_borrow:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sbc w0, w2, wzr
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_only_borrow:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub w0, w2, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%res = sub i32 %x, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_sext_add(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_sext_add:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_sext_add:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sbfx w8, w8, #0, #1
|
|
; CHECK-GI-NEXT: add w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = sext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = add i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_ugt(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_ugt:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w1, w0
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, hi
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i64 @test_ugt_mixed_i32_i64(i32 %a, i32 %b, i64 %x, i64 %y) {
|
|
; CHECK-SD-LABEL: test_ugt_mixed_i32_i64:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w1, w0
|
|
; CHECK-SD-NEXT: sbc x0, x2, x3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt_mixed_i32_i64:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub x9, x2, x3
|
|
; CHECK-GI-NEXT: cset w8, hi
|
|
; CHECK-GI-NEXT: sub x0, x9, x8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, %b
|
|
%carry = zext i1 %cc to i64
|
|
%sub = sub i64 %x, %y
|
|
%res = sub i64 %sub, %carry
|
|
ret i64 %res
|
|
}
|
|
|
|
define i32 @test_ugt_multi_use_flags(i32 %a, i32 %b, i32 %x, i32 %y, i32 %z) {
|
|
; CHECK-SD-LABEL: test_ugt_multi_use_flags:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sub w8, w2, w3
|
|
; CHECK-SD-NEXT: cset w9, hi
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sub w8, w8, w9
|
|
; CHECK-SD-NEXT: csel w0, w8, w4, eq
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt_multi_use_flags:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, hi
|
|
; CHECK-GI-NEXT: sub w8, w9, w8
|
|
; CHECK-GI-NEXT: csel w0, w8, w4, eq
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
%cc2 = icmp eq i32 %a, %b
|
|
%sel = select i1 %cc2, i32 %res, i32 %z
|
|
ret i32 %sel
|
|
}
|
|
|
|
define i32 @test_ugt_42(i32 %a, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_ugt_42:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: mov w8, #42 // =0x2a
|
|
; CHECK-SD-NEXT: cmp w8, w0
|
|
; CHECK-SD-NEXT: sbc w0, w1, w2
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt_42:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, #42
|
|
; CHECK-GI-NEXT: sub w9, w1, w2
|
|
; CHECK-GI-NEXT: cset w8, hi
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, 42
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_only_borrow_ugt_42(i32 %a, i32 %x) {
|
|
; CHECK-LABEL: test_only_borrow_ugt_42:
|
|
; CHECK: // %bb.0:
|
|
; CHECK-NEXT: cmp w0, #42
|
|
; CHECK-NEXT: cset w8, hi
|
|
; CHECK-NEXT: sub w0, w1, w8
|
|
; CHECK-NEXT: ret
|
|
%cc = icmp ugt i32 %a, 42
|
|
%carry = zext i1 %cc to i32
|
|
%res = sub i32 %x, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_only_borrow_ugt_42_combine(i32 %a, i32 %x) {
|
|
; CHECK-SD-LABEL: test_only_borrow_ugt_42_combine:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: stp x30, x19, [sp, #-16]! // 16-byte Folded Spill
|
|
; CHECK-SD-NEXT: .cfi_def_cfa_offset 16
|
|
; CHECK-SD-NEXT: .cfi_offset w19, -8
|
|
; CHECK-SD-NEXT: .cfi_offset w30, -16
|
|
; CHECK-SD-NEXT: subs w0, w0, #42
|
|
; CHECK-SD-NEXT: cset w8, hi
|
|
; CHECK-SD-NEXT: sub w19, w1, w8
|
|
; CHECK-SD-NEXT: bl use
|
|
; CHECK-SD-NEXT: mov w0, w19
|
|
; CHECK-SD-NEXT: ldp x30, x19, [sp], #16 // 16-byte Folded Reload
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_only_borrow_ugt_42_combine:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill
|
|
; CHECK-GI-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill
|
|
; CHECK-GI-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-GI-NEXT: .cfi_offset w19, -8
|
|
; CHECK-GI-NEXT: .cfi_offset w20, -16
|
|
; CHECK-GI-NEXT: .cfi_offset w30, -32
|
|
; CHECK-GI-NEXT: cmp w0, #42
|
|
; CHECK-GI-NEXT: sub w0, w0, #42
|
|
; CHECK-GI-NEXT: mov w19, w1
|
|
; CHECK-GI-NEXT: cset w20, hi
|
|
; CHECK-GI-NEXT: bl use
|
|
; CHECK-GI-NEXT: sub w0, w19, w20
|
|
; CHECK-GI-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload
|
|
; CHECK-GI-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, 42
|
|
%carry = zext i1 %cc to i32
|
|
%res = sub i32 %x, %carry
|
|
%sub42 = sub i32 %a, 42
|
|
call void @use(i32 %sub42)
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_ugt_huge_imm(i32 %a, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_ugt_huge_imm:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: mov w8, #52501 // =0xcd15
|
|
; CHECK-SD-NEXT: movk w8, #1883, lsl #16
|
|
; CHECK-SD-NEXT: cmp w8, w0
|
|
; CHECK-SD-NEXT: sbc w0, w1, w2
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt_huge_imm:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: mov w8, #52501 // =0xcd15
|
|
; CHECK-GI-NEXT: sub w9, w1, w2
|
|
; CHECK-GI-NEXT: movk w8, #1883, lsl #16
|
|
; CHECK-GI-NEXT: cmp w0, w8
|
|
; CHECK-GI-NEXT: cset w8, hi
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, 123456789
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
; Negative: outer SUB shared with @use + shifted cmp imm — swap costs a mov.
|
|
define i32 @test_ugt_huge_imm_shifted(i32 %a, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_ugt_huge_imm_shifted:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: stp x30, x19, [sp, #-16]! // 16-byte Folded Spill
|
|
; CHECK-SD-NEXT: .cfi_def_cfa_offset 16
|
|
; CHECK-SD-NEXT: .cfi_offset w19, -8
|
|
; CHECK-SD-NEXT: .cfi_offset w30, -16
|
|
; CHECK-SD-NEXT: cmp w0, #291, lsl #12 // =1191936
|
|
; CHECK-SD-NEXT: sub w0, w1, w2
|
|
; CHECK-SD-NEXT: cset w8, hi
|
|
; CHECK-SD-NEXT: sub w19, w0, w8
|
|
; CHECK-SD-NEXT: bl use
|
|
; CHECK-SD-NEXT: mov w0, w19
|
|
; CHECK-SD-NEXT: ldp x30, x19, [sp], #16 // 16-byte Folded Reload
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_ugt_huge_imm_shifted:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill
|
|
; CHECK-GI-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill
|
|
; CHECK-GI-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-GI-NEXT: .cfi_offset w19, -8
|
|
; CHECK-GI-NEXT: .cfi_offset w20, -16
|
|
; CHECK-GI-NEXT: .cfi_offset w30, -32
|
|
; CHECK-GI-NEXT: sub w19, w1, w2
|
|
; CHECK-GI-NEXT: cmp w0, #291, lsl #12 // =1191936
|
|
; CHECK-GI-NEXT: mov w0, w19
|
|
; CHECK-GI-NEXT: cset w20, hi
|
|
; CHECK-GI-NEXT: bl use
|
|
; CHECK-GI-NEXT: sub w0, w19, w20
|
|
; CHECK-GI-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload
|
|
; CHECK-GI-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ugt i32 %a, u0x123000
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
call void @use(i32 %sub)
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_unsupported_cc_slt(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_unsupported_cc_slt:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sub w8, w2, w3
|
|
; CHECK-SD-NEXT: cset w9, lt
|
|
; CHECK-SD-NEXT: sub w0, w8, w9
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_unsupported_cc_slt:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, lt
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp slt i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_unsupported_cc_sgt(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_unsupported_cc_sgt:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: sub w8, w2, w3
|
|
; CHECK-SD-NEXT: cset w9, gt
|
|
; CHECK-SD-NEXT: sub w0, w8, w9
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_unsupported_cc_sgt:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cset w8, gt
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp sgt i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_multiple_setcc_uses(i32 %a, i32 %b, i32 %x) {
|
|
; CHECK-SD-LABEL: test_multiple_setcc_uses:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: stp x30, x19, [sp, #-16]! // 16-byte Folded Spill
|
|
; CHECK-SD-NEXT: .cfi_def_cfa_offset 16
|
|
; CHECK-SD-NEXT: .cfi_offset w19, -8
|
|
; CHECK-SD-NEXT: .cfi_offset w30, -16
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: cset w0, lo
|
|
; CHECK-SD-NEXT: sub w19, w2, w0
|
|
; CHECK-SD-NEXT: bl use
|
|
; CHECK-SD-NEXT: mov w0, w19
|
|
; CHECK-SD-NEXT: ldp x30, x19, [sp], #16 // 16-byte Folded Reload
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_multiple_setcc_uses:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill
|
|
; CHECK-GI-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill
|
|
; CHECK-GI-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-GI-NEXT: .cfi_offset w19, -8
|
|
; CHECK-GI-NEXT: .cfi_offset w20, -16
|
|
; CHECK-GI-NEXT: .cfi_offset w30, -32
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: mov w19, w2
|
|
; CHECK-GI-NEXT: cset w20, lo
|
|
; CHECK-GI-NEXT: mov w0, w20
|
|
; CHECK-GI-NEXT: bl use
|
|
; CHECK-GI-NEXT: sub w0, w19, w20
|
|
; CHECK-GI-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload
|
|
; CHECK-GI-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%res = sub i32 %x, %carry
|
|
tail call void @use(i1 %cc)
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_multiple_carry_uses(i32 %a, i32 %b, i32 %x) {
|
|
; CHECK-SD-LABEL: test_multiple_carry_uses:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: stp x30, x19, [sp, #-16]! // 16-byte Folded Spill
|
|
; CHECK-SD-NEXT: .cfi_def_cfa_offset 16
|
|
; CHECK-SD-NEXT: .cfi_offset w19, -8
|
|
; CHECK-SD-NEXT: .cfi_offset w30, -16
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: cset w0, lo
|
|
; CHECK-SD-NEXT: sub w19, w2, w0
|
|
; CHECK-SD-NEXT: bl use
|
|
; CHECK-SD-NEXT: mov w0, w19
|
|
; CHECK-SD-NEXT: ldp x30, x19, [sp], #16 // 16-byte Folded Reload
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_multiple_carry_uses:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill
|
|
; CHECK-GI-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill
|
|
; CHECK-GI-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-GI-NEXT: .cfi_offset w19, -8
|
|
; CHECK-GI-NEXT: .cfi_offset w20, -16
|
|
; CHECK-GI-NEXT: .cfi_offset w30, -32
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: mov w19, w2
|
|
; CHECK-GI-NEXT: cset w20, lo
|
|
; CHECK-GI-NEXT: mov w0, w20
|
|
; CHECK-GI-NEXT: bl use
|
|
; CHECK-GI-NEXT: sub w0, w19, w20
|
|
; CHECK-GI-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload
|
|
; CHECK-GI-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%res = sub i32 %x, %carry
|
|
tail call void @use(i32 %carry)
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @test_multiple_sub_uses(i32 %a, i32 %b, i32 %x, i32 %y) {
|
|
; CHECK-SD-LABEL: test_multiple_sub_uses:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: stp x30, x19, [sp, #-16]! // 16-byte Folded Spill
|
|
; CHECK-SD-NEXT: .cfi_def_cfa_offset 16
|
|
; CHECK-SD-NEXT: .cfi_offset w19, -8
|
|
; CHECK-SD-NEXT: .cfi_offset w30, -16
|
|
; CHECK-SD-NEXT: sub w8, w2, w3
|
|
; CHECK-SD-NEXT: cmp w0, w1
|
|
; CHECK-SD-NEXT: mov w0, w8
|
|
; CHECK-SD-NEXT: sbc w19, w2, w3
|
|
; CHECK-SD-NEXT: bl use
|
|
; CHECK-SD-NEXT: mov w0, w19
|
|
; CHECK-SD-NEXT: ldp x30, x19, [sp], #16 // 16-byte Folded Reload
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_multiple_sub_uses:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: str x30, [sp, #-32]! // 8-byte Folded Spill
|
|
; CHECK-GI-NEXT: stp x20, x19, [sp, #16] // 16-byte Folded Spill
|
|
; CHECK-GI-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-GI-NEXT: .cfi_offset w19, -8
|
|
; CHECK-GI-NEXT: .cfi_offset w20, -16
|
|
; CHECK-GI-NEXT: .cfi_offset w30, -32
|
|
; CHECK-GI-NEXT: sub w19, w2, w3
|
|
; CHECK-GI-NEXT: cmp w0, w1
|
|
; CHECK-GI-NEXT: mov w0, w19
|
|
; CHECK-GI-NEXT: cset w20, lo
|
|
; CHECK-GI-NEXT: bl use
|
|
; CHECK-GI-NEXT: sub w0, w19, w20
|
|
; CHECK-GI-NEXT: ldp x20, x19, [sp, #16] // 16-byte Folded Reload
|
|
; CHECK-GI-NEXT: ldr x30, [sp], #32 // 8-byte Folded Reload
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i32 %a, %b
|
|
%carry = zext i1 %cc to i32
|
|
%sub = sub i32 %x, %y
|
|
%res = sub i32 %sub, %carry
|
|
tail call void @use(i32 %sub)
|
|
ret i32 %res
|
|
}
|
|
|
|
define i8 @test_i8(i8 %a, i8 %b, i8 %x, i8 %y) {
|
|
; CHECK-SD-LABEL: test_i8:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: and w8, w0, #0xff
|
|
; CHECK-SD-NEXT: cmp w8, w1, uxtb
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_i8:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: and w8, w0, #0xff
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cmp w8, w1, uxtb
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i8 %a, %b
|
|
%carry = zext i1 %cc to i8
|
|
%sub = sub i8 %x, %y
|
|
%res = sub i8 %sub, %carry
|
|
ret i8 %res
|
|
}
|
|
|
|
define i16 @test_i16(i16 %a, i16 %b, i16 %x, i16 %y) {
|
|
; CHECK-SD-LABEL: test_i16:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: and w8, w0, #0xffff
|
|
; CHECK-SD-NEXT: cmp w8, w1, uxth
|
|
; CHECK-SD-NEXT: sbc w0, w2, w3
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_i16:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: and w8, w0, #0xffff
|
|
; CHECK-GI-NEXT: sub w9, w2, w3
|
|
; CHECK-GI-NEXT: cmp w8, w1, uxth
|
|
; CHECK-GI-NEXT: cset w8, lo
|
|
; CHECK-GI-NEXT: sub w0, w9, w8
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult i16 %a, %b
|
|
%carry = zext i1 %cc to i16
|
|
%sub = sub i16 %x, %y
|
|
%res = sub i16 %sub, %carry
|
|
ret i16 %res
|
|
}
|
|
|
|
define <4 x i32> @test_v4i32(<4 x i32> %a, <4 x i32> %b, <4 x i32> %x, <4 x i32> %y) {
|
|
; CHECK-SD-LABEL: test_v4i32:
|
|
; CHECK-SD: // %bb.0:
|
|
; CHECK-SD-NEXT: sub v2.4s, v2.4s, v3.4s
|
|
; CHECK-SD-NEXT: cmhi v0.4s, v1.4s, v0.4s
|
|
; CHECK-SD-NEXT: add v0.4s, v2.4s, v0.4s
|
|
; CHECK-SD-NEXT: ret
|
|
;
|
|
; CHECK-GI-LABEL: test_v4i32:
|
|
; CHECK-GI: // %bb.0:
|
|
; CHECK-GI-NEXT: movi v4.4s, #1
|
|
; CHECK-GI-NEXT: cmhi v0.4s, v1.4s, v0.4s
|
|
; CHECK-GI-NEXT: sub v1.4s, v2.4s, v3.4s
|
|
; CHECK-GI-NEXT: and v0.16b, v0.16b, v4.16b
|
|
; CHECK-GI-NEXT: sub v0.4s, v1.4s, v0.4s
|
|
; CHECK-GI-NEXT: ret
|
|
%cc = icmp ult <4 x i32> %a, %b
|
|
%carry = zext <4 x i1> %cc to <4 x i32>
|
|
%sub = sub <4 x i32> %x, %y
|
|
%res = sub <4 x i32> %sub, %carry
|
|
ret <4 x i32> %res
|
|
}
|
|
|
|
declare void @use()
|
|
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
|
|
; CHECK: {{.*}}
|