| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: llc < %s -mtriple=aarch64 | FileCheck %s |
| |
| define i64 @f(i64 %0, i64 %1) { |
| ; CHECK-LABEL: f: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: orr x8, x1, #0x1 |
| ; CHECK-NEXT: add x9, x0, x0 |
| ; CHECK-NEXT: mov x10, #-9223372036854775808 // =0x8000000000000000 |
| ; CHECK-NEXT: adds x8, x8, x9 |
| ; CHECK-NEXT: lsl x9, x8, #1 |
| ; CHECK-NEXT: cinv x10, x10, pl |
| ; CHECK-NEXT: cmp x8, x9, asr #1 |
| ; CHECK-NEXT: csel x0, x10, x9, ne |
| ; CHECK-NEXT: ret |
| %3 = or i64 1, %1 |
| %4 = add i64 %3, %0 |
| %5 = add nsw i64 %4, %0 |
| %6 = call i64 @llvm.sshl.sat.i64(i64 %5, i64 1) |
| ret i64 %6 |
| } |
| |
| declare i64 @llvm.sshl.sat.i64(i64, i64) |
