Index: llvm/test/CodeGen/AArch64/neg-abs.ll =================================================================== --- llvm/test/CodeGen/AArch64/neg-abs.ll +++ llvm/test/CodeGen/AArch64/neg-abs.ll @@ -8,8 +8,7 @@ ; CHECK-LABEL: neg_abs64: ; CHECK: // %bb.0: ; CHECK-NEXT: cmp x0, #0 -; CHECK-NEXT: cneg x8, x0, mi -; CHECK-NEXT: neg x0, x8 +; CHECK-NEXT: cneg x0, x0, pl ; CHECK-NEXT: ret %abs = tail call i64 @llvm.abs.i64(i64 %x, i1 true) %neg = sub nsw i64 0, %abs @@ -22,8 +21,7 @@ ; CHECK-LABEL: neg_abs32: ; CHECK: // %bb.0: ; CHECK-NEXT: cmp w0, #0 -; CHECK-NEXT: cneg w8, w0, mi -; CHECK-NEXT: neg w0, w8 +; CHECK-NEXT: cneg w0, w0, pl ; CHECK-NEXT: ret %abs = tail call i32 @llvm.abs.i32(i32 %x, i1 true) %neg = sub nsw i32 0, %abs Index: llvm/test/CodeGen/AArch64/neg-selects.ll =================================================================== --- /dev/null +++ llvm/test/CodeGen/AArch64/neg-selects.ll @@ -0,0 +1,81 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -mtriple=aarch64-none-none-eabi %s -o - | FileCheck %s + +define i32 @neg_select_neg(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: neg_select_neg: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: csel w0, w0, w1, ne +; CHECK-NEXT: ret + %nega = sub i32 0, %a + %negb = sub i32 0, %b + %sel = select i1 %bb, i32 %nega, i32 %negb + %res = sub i32 0, %sel + ret i32 %res +} + +define i32 @negneg_select_nega(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: negneg_select_nega: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: csneg w0, w1, w0, eq +; CHECK-NEXT: ret + %nega = sub i32 0, %a + %sel = select i1 %bb, i32 %nega, i32 %b + %nsel = sub i32 0, %sel + %res = sub i32 0, %nsel + ret i32 %res +} + +define i32 @neg_select_nega(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: neg_select_nega: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: csneg w8, w1, w0, eq +; CHECK-NEXT: neg w0, w8 +; CHECK-NEXT: ret + %nega = sub i32 0, %a + %sel = select i1 %bb, i32 %nega, i32 %b + %res = sub i32 0, %sel + ret i32 %res +} + +define i32 @neg_select_negb(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: neg_select_negb: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: csneg w8, w0, w1, ne +; CHECK-NEXT: neg w0, w8 +; CHECK-NEXT: ret + %negb = sub i32 0, %b + %sel = select i1 %bb, i32 %a, i32 %negb + %res = sub i32 0, %sel + ret i32 %res +} + +define i32 @neg_select_ab(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: neg_select_ab: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: csel w8, w0, w1, ne +; CHECK-NEXT: neg w0, w8 +; CHECK-NEXT: ret + %sel = select i1 %bb, i32 %a, i32 %b + %res = sub i32 0, %sel + ret i32 %res +} + +define i32 @neg_select_nega_with_use(i32 %a, i32 %b, i1 %bb) { +; CHECK-LABEL: neg_select_nega_with_use: +; CHECK: // %bb.0: +; CHECK-NEXT: tst w2, #0x1 +; CHECK-NEXT: neg w8, w0 +; CHECK-NEXT: csneg w9, w1, w0, eq +; CHECK-NEXT: sub w0, w8, w9 +; CHECK-NEXT: ret + %nega = sub i32 0, %a + %sel = select i1 %bb, i32 %nega, i32 %b + %nsel = sub i32 0, %sel + %res = add i32 %nsel, %nega + ret i32 %res +}