[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / machine-scheduler.mir
blob33cb72f8be7db8ab0757371782e6754ec463cc53
1 # RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass machine-scheduler  -verify-machineinstrs  -o - %s | FileCheck %s
3 --- |
4   define i64 @load_imp-def(i64* nocapture %P, i32 %v) {
5   entry:
6     %0 = bitcast i64* %P to i32*
7     %1 = load i32, i32* %0
8     %conv = zext i32 %1 to i64
9     %arrayidx19 = getelementptr inbounds i64, i64* %P, i64 1
10     %arrayidx1 = bitcast i64* %arrayidx19 to i32*
11     store i32 %v, i32* %arrayidx1
12     %2 = load i64, i64* %arrayidx19
13     %and = and i64 %2, 4294967295
14     %add = add nuw nsw i64 %and, %conv
15     ret i64 %add
16   }
17 ...
18 ---
19 # CHECK-LABEL: name: load_imp-def
20 # CHECK: bb.0.entry:
21 # CHECK: LDRWui $x0, 0
22 # CHECK: LDRWui $x0, 1
23 # CHECK: STRWui $w1, $x0, 2
24 name: load_imp-def
25 tracksRegLiveness: true
26 body: |
27   bb.0.entry:
28     liveins: $w1, $x0
29     $w8 = LDRWui $x0, 1, implicit-def $x8  :: (load 4 from %ir.0)
30     STRWui killed $w1, $x0, 2 :: (store 4 into %ir.arrayidx1)
31     $w9 = LDRWui killed $x0, 0, implicit-def $x9  :: (load 4 from %ir.arrayidx19, align 8)
32     $x0 = ADDXrr killed $x9, killed $x8
33     RET_ReallyLR implicit $x0
34 ...