[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / select-extract.mir
blob1649d77ff2e6dafefa4831c998f0255f3285281f
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=aarch64-unknown-unknown -verify-machineinstrs -O0 -run-pass=instruction-select %s -o - | FileCheck %s
3 ...
4 ---
5 name:            extract_64_128
6 legalized:       true
7 regBankSelected: true
8 tracksRegLiveness: true
9 body:             |
10   bb.0:
11     liveins: $q0
13     ; CHECK-LABEL: name: extract_64_128
14     ; CHECK: liveins: $q0
15     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
16     ; CHECK: [[COPY1:%[0-9]+]]:fpr64 = COPY [[COPY]].dsub
17     ; CHECK: [[CPYi64_:%[0-9]+]]:fpr64 = CPYi64 [[COPY]], 1
18     ; CHECK: $d3 = COPY [[COPY1]]
19     ; CHECK: $d4 = COPY [[CPYi64_]]
20     ; CHECK: RET_ReallyLR implicit $d3
21     %0:fpr(s128) = COPY $q0
22     %2:fpr(s64) = G_EXTRACT %0(s128), 0
23     %3:fpr(s64) = G_EXTRACT %0(s128), 64
24     $d3 = COPY %2(s64)
25     $d4 = COPY %3(s64)
26     RET_ReallyLR implicit $d3
28 ...