[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Mips / GlobalISel / legalizer / fcmp.mir
blob26e8a883081c10acf424067c456ebf0b4e428d9a
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP32
3 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP64
4 --- |
6   define void @oeq_s() {entry: ret void}
7   define void @oeq_d() {entry: ret void}
9 ...
10 ---
11 name:            oeq_s
12 alignment:       4
13 tracksRegLiveness: true
14 body:             |
15   bb.1.entry:
16     liveins: $f12, $f14
18     ; FP32-LABEL: name: oeq_s
19     ; FP32: liveins: $f12, $f14
20     ; FP32: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
21     ; FP32: [[COPY1:%[0-9]+]]:_(s32) = COPY $f14
22     ; FP32: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(oeq), [[COPY]](s32), [[COPY1]]
23     ; FP32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[FCMP]](s32)
24     ; FP32: $v0 = COPY [[COPY2]](s32)
25     ; FP32: RetRA implicit $v0
26     ; FP64-LABEL: name: oeq_s
27     ; FP64: liveins: $f12, $f14
28     ; FP64: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
29     ; FP64: [[COPY1:%[0-9]+]]:_(s32) = COPY $f14
30     ; FP64: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(oeq), [[COPY]](s32), [[COPY1]]
31     ; FP64: [[COPY2:%[0-9]+]]:_(s32) = COPY [[FCMP]](s32)
32     ; FP64: $v0 = COPY [[COPY2]](s32)
33     ; FP64: RetRA implicit $v0
34     %0:_(s32) = COPY $f12
35     %1:_(s32) = COPY $f14
36     %2:_(s1) = G_FCMP floatpred(oeq), %0(s32), %1
37     %3:_(s32) = G_ANYEXT %2(s1)
38     $v0 = COPY %3(s32)
39     RetRA implicit $v0
41 ...
42 ---
43 name:            oeq_d
44 alignment:       4
45 tracksRegLiveness: true
46 body:             |
47   bb.1.entry:
48     liveins: $d6, $d7
50     ; FP32-LABEL: name: oeq_d
51     ; FP32: liveins: $d6, $d7
52     ; FP32: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
53     ; FP32: [[COPY1:%[0-9]+]]:_(s64) = COPY $d7
54     ; FP32: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(oeq), [[COPY]](s64), [[COPY1]]
55     ; FP32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[FCMP]](s32)
56     ; FP32: $v0 = COPY [[COPY2]](s32)
57     ; FP32: RetRA implicit $v0
58     ; FP64-LABEL: name: oeq_d
59     ; FP64: liveins: $d6, $d7
60     ; FP64: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
61     ; FP64: [[COPY1:%[0-9]+]]:_(s64) = COPY $d7
62     ; FP64: [[FCMP:%[0-9]+]]:_(s32) = G_FCMP floatpred(oeq), [[COPY]](s64), [[COPY1]]
63     ; FP64: [[COPY2:%[0-9]+]]:_(s32) = COPY [[FCMP]](s32)
64     ; FP64: $v0 = COPY [[COPY2]](s32)
65     ; FP64: RetRA implicit $v0
66     %0:_(s64) = COPY $d6
67     %1:_(s64) = COPY $d7
68     %2:_(s1) = G_FCMP floatpred(oeq), %0(s64), %1
69     %3:_(s32) = G_ANYEXT %2(s1)
70     $v0 = COPY %3(s32)
71     RetRA implicit $v0
73 ...