[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AMDGPU / GlobalISel / inst-select-ffloor.mir
blob76f16eb2898f3b7a4db9102b1605fa6baec4bf76
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -march=amdgcn -mcpu=tahiti -run-pass=instruction-select -global-isel-abort=0 -verify-machineinstrs -o - %s | FileCheck %s
4 ---
5 name: ffloor_s32_vv
6 legalized: true
7 regBankSelected: true
8 tracksRegLiveness: true
10 body: |
11   bb.0:
12     liveins: $vgpr0
14     ; CHECK-LABEL: name: ffloor_s32_vv
15     ; CHECK: liveins: $vgpr0
16     ; CHECK: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr0
17     ; CHECK: [[V_FLOOR_F32_e64_:%[0-9]+]]:vgpr_32 = V_FLOOR_F32_e64 0, [[COPY]], 0, 0, implicit $exec
18     ; CHECK: $vgpr0 = COPY [[V_FLOOR_F32_e64_]]
19     %0:vgpr(s32) = COPY $vgpr0
20     %1:vgpr(s32) = G_FFLOOR %0
21     $vgpr0 = COPY %1
22 ...
24 ---
25 name: ffloor_s32_vs
26 legalized: true
27 regBankSelected: true
28 tracksRegLiveness: true
30 body: |
31   bb.0:
32     liveins: $sgpr0
34     ; CHECK-LABEL: name: ffloor_s32_vs
35     ; CHECK: liveins: $sgpr0
36     ; CHECK: [[COPY:%[0-9]+]]:sreg_32 = COPY $sgpr0
37     ; CHECK: [[V_FLOOR_F32_e64_:%[0-9]+]]:vgpr_32 = V_FLOOR_F32_e64 0, [[COPY]], 0, 0, implicit $exec
38     ; CHECK: $vgpr0 = COPY [[V_FLOOR_F32_e64_]]
39     %0:sgpr(s32) = COPY $sgpr0
40     %1:vgpr(s32) = G_FFLOOR %0
41     $vgpr0 = COPY %1
42 ...
44 ---
45 name: ffloor_s64_vv
46 legalized: true
47 regBankSelected: true
48 tracksRegLiveness: true
50 body: |
51   bb.0:
52     liveins: $vgpr0_vgpr1
54     ; CHECK-LABEL: name: ffloor_s64_vv
55     ; CHECK: liveins: $vgpr0_vgpr1
56     ; CHECK: [[COPY:%[0-9]+]]:vreg_64 = COPY $vgpr0_vgpr1
57     ; CHECK: [[V_CMP_CLASS_F64_e64_:%[0-9]+]]:sreg_64 = V_CMP_CLASS_F64_e64 0, [[COPY]], 3, implicit $exec
58     ; CHECK: [[V_MOV_B:%[0-9]+]]:vreg_64 = V_MOV_B64_PSEUDO 4607182418800017407, implicit $exec
59     ; CHECK: [[V_FRACT_F64_e64_:%[0-9]+]]:vreg_64 = V_FRACT_F64_e64 0, [[COPY]], 0, 0, implicit $exec
60     ; CHECK: [[V_MIN_F64_:%[0-9]+]]:vreg_64 = V_MIN_F64 0, [[V_FRACT_F64_e64_]], 0, [[V_MOV_B]], 0, 0, implicit $exec
61     ; CHECK: [[V_CNDMA:%[0-9]+]]:vreg_64 = V_CNDMASK_B64_PSEUDO [[V_MIN_F64_]], [[COPY]], [[V_CMP_CLASS_F64_e64_]], implicit $exec
62     ; CHECK: [[V_ADD_F64_:%[0-9]+]]:vreg_64 = V_ADD_F64 0, [[COPY]], 1, [[V_CNDMA]], 0, 0, implicit $exec
63     ; CHECK: $vgpr0_vgpr1 = COPY [[V_ADD_F64_]]
64     %0:vgpr(s64) = COPY $vgpr0_vgpr1
65     %1:vgpr(s64) = G_FFLOOR %0
66     $vgpr0_vgpr1 = COPY %1
67 ...
69 # FIXME: Constant bus restriction
70 # ---
71 # name: ffloor_s64_vs
72 # legalized: true
73 # regBankSelected: true
74 # tracksRegLiveness: true
76 # body: |
77 #   bb.0:
78 #     liveins: $sgpr0_sgpr1
80 #     %0:sgpr(s64) = COPY $sgpr0_sgpr1
81 #     %1:vgpr(s64) = G_FFLOOR %0
82 #     $vgpr0_vgpr1 = COPY %1
83 # ...
85 ---
86 name: ffloor_fneg_s32_vs
87 legalized: true
88 regBankSelected: true
89 tracksRegLiveness: true
91 body: |
92   bb.0:
93     liveins: $sgpr0
95     ; CHECK-LABEL: name: ffloor_fneg_s32_vs
96     ; CHECK: liveins: $sgpr0
97     ; CHECK: [[COPY:%[0-9]+]]:sreg_32 = COPY $sgpr0
98     ; CHECK: [[V_FLOOR_F32_e64_:%[0-9]+]]:vgpr_32 = V_FLOOR_F32_e64 1, [[COPY]], 0, 0, implicit $exec
99     ; CHECK: $vgpr0 = COPY [[V_FLOOR_F32_e64_]]
100     %0:sgpr(s32) = COPY $sgpr0
101     %1:sgpr(s32) = G_FNEG %0
102     %2:vgpr(s32) = G_FFLOOR %1
103     $vgpr0 = COPY %2
107 name: ffloor_fneg_s32_vv
108 legalized: true
109 regBankSelected: true
110 tracksRegLiveness: true
112 body: |
113   bb.0:
114     liveins: $vgpr0
115     ; CHECK-LABEL: name: ffloor_fneg_s32_vv
116     ; CHECK: liveins: $vgpr0
117     ; CHECK: [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr0
118     ; CHECK: [[V_FLOOR_F32_e64_:%[0-9]+]]:vgpr_32 = V_FLOOR_F32_e64 1, [[COPY]], 0, 0, implicit $exec
119     ; CHECK: $vgpr0 = COPY [[V_FLOOR_F32_e64_]]
120     %0:vgpr(s32) = COPY $vgpr0
121     %1:vgpr(s32) = G_FNEG %0
122     %2:vgpr(s32) = G_FFLOOR %1
123     $vgpr0 = COPY %2
127 name: ffloor_fneg_s64_vv
128 legalized: true
129 regBankSelected: true
130 tracksRegLiveness: true
132 body: |
133   bb.0:
134     liveins: $vgpr0_vgpr1
136     ; CHECK-LABEL: name: ffloor_fneg_s64_vv
137     ; CHECK: liveins: $vgpr0_vgpr1
138     ; CHECK: [[COPY:%[0-9]+]]:vreg_64 = COPY $vgpr0_vgpr1
139     ; CHECK: [[V_CMP_CLASS_F64_e64_:%[0-9]+]]:sreg_64 = V_CMP_CLASS_F64_e64 0, [[COPY]], 3, implicit $exec
140     ; CHECK: [[V_MOV_B:%[0-9]+]]:vreg_64 = V_MOV_B64_PSEUDO 4607182418800017407, implicit $exec
141     ; CHECK: [[V_FRACT_F64_e64_:%[0-9]+]]:vreg_64 = V_FRACT_F64_e64 1, [[COPY]], 0, 0, implicit $exec
142     ; CHECK: [[V_MIN_F64_:%[0-9]+]]:vreg_64 = V_MIN_F64 0, [[V_FRACT_F64_e64_]], 0, [[V_MOV_B]], 0, 0, implicit $exec
143     ; CHECK: [[V_CNDMA:%[0-9]+]]:vreg_64 = V_CNDMASK_B64_PSEUDO [[V_MIN_F64_]], [[COPY]], [[V_CMP_CLASS_F64_e64_]], implicit $exec
144     ; CHECK: [[V_ADD_F64_:%[0-9]+]]:vreg_64 = V_ADD_F64 1, [[COPY]], 1, [[V_CNDMA]], 0, 0, implicit $exec
145     ; CHECK: $vgpr0_vgpr1 = COPY [[V_ADD_F64_]]
146     %0:vgpr(s64) = COPY $vgpr0_vgpr1
147     %1:vgpr(s64) = G_FNEG %0
148     %2:vgpr(s64) = G_FFLOOR %1
149     $vgpr0_vgpr1 = COPY %2