[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / mlicm-stack-write-check.mir
blobc5d1a8f81fcfa842d6786cfdad0257038d203d05
1 # RUN: llc -mtriple=aarch64 -run-pass machinelicm -verify-machineinstrs -o - %s | FileCheck %s
2 ---
3 name: test
4 tracksRegLiveness: true
5 registers:
6   - { id: 0, class: gpr64 }
7 stack:
8   - { id: 0, size: 8, type: spill-slot }
9 body: |
10   bb.0:
11     ; CHECK-LABEL: name: test
12     ; CHECK-LABEL: bb.0:
13     ; CHECK: $x2 = LDRXui %stack.0, 0
14     liveins: $x0, $x1, $x2
15     B %bb.1
17   bb.1:
18     ; CHECK-LABEL: bb.1:
19     ; CHECK-NOT: $x2 = LDRXui %stack.0, 0
20     liveins: $x0
21     DBG_VALUE %stack.0, 0
22     $x2 = LDRXui %stack.0, 0 :: (load 8 from %stack.0)
23     $x0 = ADDXrr $x0, $x2
24     $xzr = SUBSXri $x0, 1, 0, implicit-def $nzcv
25     Bcc 11, %bb.1, implicit $nzcv
26     B %bb.2
28   bb.2:
29     liveins: $x0
30     %0 = COPY $x0
31     %0 = COPY $x0  ; Force isSSA = false.
32 ...