[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / Thumb2 / mve-vpt-block.mir
blob637c41b92cde8044609257f18e4d58d71bbfd4d3
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -run-pass arm-mve-vpt %s -o - | FileCheck %s
4 --- |
5   target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
6   target triple = "thumbv8.1m.main-arm-none-eabi"
8   define hidden arm_aapcs_vfpcc <4 x float> @test_vminnmq_m_f32_v2(<4 x float> %inactive, <4 x float> %a, <4 x float> %b, i16 zeroext %p) local_unnamed_addr #0 {
9   entry:
10     %conv.i = zext i16 %p to i32
11     %0 = tail call nnan ninf nsz <4 x float> @llvm.arm.mve.vminnm.m.v4f32.v4f32.v4f32.v4f32.i32(<4 x float> %inactive, <4 x float> %a, <4 x float> %b, i32 %conv.i) #2
12     ret <4 x float> %0
13   }
15   declare <4 x float> @llvm.arm.mve.vminnm.m.v4f32.v4f32.v4f32.v4f32.i32(<4 x float>, <4 x float>, <4 x float>, i32) #1
17   attributes #0 = { nounwind readnone "correctly-rounded-divide-sqrt-fp-math"="false" "denormal-fp-math"="preserve-sign" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="128" "no-frame-pointer-elim"="false" "no-infs-fp-math"="true" "no-jump-tables"="false" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="true" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+armv8.1-m.main,+hwdiv,+mve.fp,+ras,+thumb-mode" "unsafe-fp-math"="false" "use-soft-float"="false" }
18   attributes #1 = { nounwind readnone }
19   attributes #2 = { nounwind }
22 ...
23 ---
24 name:            test_vminnmq_m_f32_v2
25 alignment:       4
26 exposesReturnsTwice: false
27 legalized:       false
28 regBankSelected: false
29 selected:        false
30 failedISel:      false
31 tracksRegLiveness: true
32 hasWinCFI:       false
33 registers:       []
34 liveins:
35   - { reg: '$q0', virtual-reg: '' }
36   - { reg: '$q1', virtual-reg: '' }
37   - { reg: '$q2', virtual-reg: '' }
38   - { reg: '$r0', virtual-reg: '' }
39 frameInfo:
40   isFrameAddressTaken: false
41   isReturnAddressTaken: false
42   hasStackMap:     false
43   hasPatchPoint:   false
44   stackSize:       0
45   offsetAdjustment: 0
46   maxAlignment:    0
47   adjustsStack:    false
48   hasCalls:        false
49   stackProtector:  ''
50   maxCallFrameSize: 0
51   cvBytesOfCalleeSavedRegisters: 0
52   hasOpaqueSPAdjustment: false
53   hasVAStart:      false
54   hasMustTailInVarArgFunc: false
55   localFrameSize:  0
56   savePoint:       ''
57   restorePoint:    ''
58 fixedStack:      []
59 stack:           []
60 constants:       []
61 body:             |
62   bb.0.entry:
63     liveins: $q0, $q1, $q2, $r0
65     ; CHECK-LABEL: name: test_vminnmq_m_f32_v2
66     ; CHECK: liveins: $q0, $q1, $q2, $r0
67     ; CHECK: $vpr = VMSR_P0 killed $r0, 14, $noreg
68     ; CHECK: BUNDLE implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $vpr, implicit killed $q1, implicit killed $q2, implicit killed $q0 {
69     ; CHECK:   MVE_VPST 8, implicit $vpr
70     ; CHECK:   renamable $q0 = nnan ninf nsz MVE_VMINNMf32 killed renamable $q1, killed renamable $q2, 1, killed renamable $vpr, killed renamable $q0
71     ; CHECK: }
72     ; CHECK: tBX_RET 14, $noreg, implicit $q0
73     $vpr = VMSR_P0 killed $r0, 14, $noreg
74     renamable $q0 = nnan ninf nsz MVE_VMINNMf32 killed renamable $q1, killed renamable $q2, 1, killed renamable $vpr, killed renamable $q0
75     tBX_RET 14, $noreg, implicit $q0
77 ...