[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / avoid-sfb-kill-flags.mir
blob9ae885c94c6e93bf4e366ad00481cd0eb2ed719c
1 # RUN: llc -o - %s -mtriple=x86_64-- -run-pass=x86-avoid-SFB | FileCheck %s
2 --- |
3   ; ModuleID = '../test/CodeGen/X86/avoid-sfb-mir.ll'
4   source_filename = "../test/CodeGen/X86/avoid-sfb-mir.ll"
5   target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
6   target triple = "x86_64-unknown-linux-gnu"
8   %struct.S = type { i32, i32, i32, i32 }
10   ; Function Attrs: nounwind uwtable
11   define void @test_imm_store(%struct.S* noalias nocapture %s1, %struct.S* nocapture %s2, i32 %x, %struct.S* nocapture %s3) local_unnamed_addr #0 {
12   entry:
13     %a2 = bitcast %struct.S* %s1 to i32*
14     store i32 0, i32* %a2, align 4
15     %a13 = bitcast %struct.S* %s3 to i32*
16     store i32 1, i32* %a13, align 4
17     %0 = bitcast %struct.S* %s2 to i8*
18     %1 = bitcast %struct.S* %s1 to i8*
19     call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %0, i8* align 4 %1, i64 16, i1 false)
20     ret void
21   }
23   declare void @bar(%struct.S*) local_unnamed_addr
25   ; Function Attrs: argmemonly nounwind
26   declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #1
28 ...
29 ---
30 name:            test_imm_store
31 alignment:       16
32 tracksRegLiveness: true
33 registers:
34   - { id: 0, class: gr64 }
35   - { id: 1, class: gr64 }
36   - { id: 2, class: gr32 }
37   - { id: 3, class: gr64 }
38   - { id: 4, class: vr128 }
39 liveins:
40   - { reg: '$rdi', virtual-reg: '%0' }
41   - { reg: '$rsi', virtual-reg: '%1' }
42   - { reg: '$rcx', virtual-reg: '%3' }
43 body:             |
44   bb.0.entry:
45     liveins: $rdi, $rsi, $rcx
46     ; CHECK: MOV32mi %0, 1, $noreg, 0, $noreg, 0 :: (store 4 into %ir.a2)
47     ; CHECK-NEXT: MOV32mi %3, 1, $noreg, 0, $noreg, 1 :: (store 4 into %ir.a13)
48     ; CHECK-NEXT: %5:gr32 = MOV32rm %0, 1, $noreg, 0, $noreg :: (load 4 from %ir.1)
49     ; CHECK-NEXT: MOV32mr %1, 1, $noreg, 0, $noreg, killed %5 :: (store 4 into %ir.0)
50     ; CHECK-NEXT: %6:gr64 = MOV64rm %0, 1, $noreg, 4, $noreg :: (load 8 from %ir.1 + 4, align 4)
51     ; CHECK-NEXT: MOV64mr %1, 1, $noreg, 4, $noreg, killed %6 :: (store 8 into %ir.0 + 4, align 4)
52     ; CHECK-NEXT: %7:gr32 = MOV32rm killed %0, 1, $noreg, 12, $noreg :: (load 4 from %ir.1 + 12)
53     ; CHECK-NEXT: MOV32mr killed %1, 1, $noreg, 12, $noreg, killed %7 :: (store 4 into %ir.0 + 12)
55     %3:gr64 = COPY $rcx
56     %1:gr64 = COPY $rsi
57     %0:gr64 = COPY $rdi
58     MOV32mi %0, 1, $noreg, 0, $noreg, 0 :: (store 4 into %ir.a2)
59     MOV32mi %3, 1, $noreg, 0, $noreg, 1 :: (store 4 into %ir.a13)
60     %4:vr128 = MOVUPSrm killed %0, 1, $noreg, 0, $noreg :: (load 16 from %ir.1, align 4)
61     MOVUPSmr killed %1, 1, $noreg, 0, $noreg, killed %4 :: (store 16 into %ir.0, align 4)
62     RET 0
64 ...