1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic immediates assemble as expected.
5 target datalayout = "e-p:32:32-i64:64-v128:8:128-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; CHECK-LABEL: zero_i32:
9 ; CHECK-NEXT: (setlocal @0 (immediate 0))
10 ; CHECK-NEXT: (return @0)
11 define i32 @zero_i32() {
15 ; CHECK-LABEL: one_i32:
16 ; CHECK-NEXT: (setlocal @0 (immediate 1))
17 ; CHECK-NEXT: (return @0)
18 define i32 @one_i32() {
22 ; CHECK-LABEL: max_i32:
23 ; CHECK-NEXT: (setlocal @0 (immediate 2147483647))
24 ; CHECK-NEXT: (return @0)
25 define i32 @max_i32() {
29 ; CHECK-LABEL: min_i32:
30 ; CHECK-NEXT: (setlocal @0 (immediate -2147483648))
31 ; CHECK-NEXT: (return @0)
32 define i32 @min_i32() {
36 ; CHECK-LABEL: zero_i64:
37 ; CHECK-NEXT: (setlocal @0 (immediate 0))
38 ; CHECK-NEXT: (return @0)
39 define i64 @zero_i64() {
43 ; CHECK-LABEL: one_i64:
44 ; CHECK-NEXT: (setlocal @0 (immediate 1))
45 ; CHECK-NEXT: (return @0)
46 define i64 @one_i64() {
50 ; CHECK-LABEL: max_i64:
51 ; CHECK-NEXT: (setlocal @0 (immediate 9223372036854775807))
52 ; CHECK-NEXT: (return @0)
53 define i64 @max_i64() {
54 ret i64 9223372036854775807
57 ; CHECK-LABEL: min_i64:
58 ; CHECK-NEXT: (setlocal @0 (immediate -9223372036854775808))
59 ; CHECK-NEXT: (return @0)
60 define i64 @min_i64() {
61 ret i64 -9223372036854775808
64 ; CHECK-LABEL: negzero_f32:
65 ; CHECK-NEXT: (setlocal @0 (immediate -0x0p0))
66 ; CHECK-NEXT: (return @0)
67 define float @negzero_f32() {
71 ; CHECK-LABEL: zero_f32:
72 ; CHECK-NEXT: (setlocal @0 (immediate 0x0p0))
73 ; CHECK-NEXT: (return @0)
74 define float @zero_f32() {
78 ; CHECK-LABEL: one_f32:
79 ; CHECK-NEXT: (setlocal @0 (immediate 0x1p0))
80 ; CHECK-NEXT: (return @0)
81 define float @one_f32() {
85 ; CHECK-LABEL: two_f32:
86 ; CHECK-NEXT: (setlocal @0 (immediate 0x1p1))
87 ; CHECK-NEXT: (return @0)
88 define float @two_f32() {
92 ; CHECK-LABEL: nan_f32:
93 ; CHECK-NEXT: (setlocal @0 (immediate nan))
94 ; CHECK-NEXT: (return @0)
95 define float @nan_f32() {
96 ret float 0x7FF8000000000000
99 ; CHECK-LABEL: negnan_f32:
100 ; CHECK-NEXT: (setlocal @0 (immediate -nan))
101 ; CHECK-NEXT: (return @0)
102 define float @negnan_f32() {
103 ret float 0xFFF8000000000000
106 ; CHECK-LABEL: inf_f32:
107 ; CHECK-NEXT: (setlocal @0 (immediate infinity))
108 ; CHECK-NEXT: (return @0)
109 define float @inf_f32() {
110 ret float 0x7FF0000000000000
113 ; CHECK-LABEL: neginf_f32:
114 ; CHECK-NEXT: (setlocal @0 (immediate -infinity))
115 ; CHECK-NEXT: (return @0)
116 define float @neginf_f32() {
117 ret float 0xFFF0000000000000
120 ; CHECK-LABEL: negzero_f64:
121 ; CHECK-NEXT: (setlocal @0 (immediate -0x0p0))
122 ; CHECK-NEXT: (return @0)
123 define double @negzero_f64() {
127 ; CHECK-LABEL: zero_f64:
128 ; CHECK-NEXT: (setlocal @0 (immediate 0x0p0))
129 ; CHECK-NEXT: (return @0)
130 define double @zero_f64() {
134 ; CHECK-LABEL: one_f64:
135 ; CHECK-NEXT: (setlocal @0 (immediate 0x1p0))
136 ; CHECK-NEXT: (return @0)
137 define double @one_f64() {
141 ; CHECK-LABEL: two_f64:
142 ; CHECK-NEXT: (setlocal @0 (immediate 0x1p1))
143 ; CHECK-NEXT: (return @0)
144 define double @two_f64() {
148 ; CHECK-LABEL: nan_f64:
149 ; CHECK-NEXT: (setlocal @0 (immediate nan))
150 ; CHECK-NEXT: (return @0)
151 define double @nan_f64() {
152 ret double 0x7FF8000000000000
155 ; CHECK-LABEL: negnan_f64:
156 ; CHECK-NEXT: (setlocal @0 (immediate -nan))
157 ; CHECK-NEXT: (return @0)
158 define double @negnan_f64() {
159 ret double 0xFFF8000000000000
162 ; CHECK-LABEL: inf_f64:
163 ; CHECK-NEXT: (setlocal @0 (immediate infinity))
164 ; CHECK-NEXT: (return @0)
165 define double @inf_f64() {
166 ret double 0x7FF0000000000000
169 ; CHECK-LABEL: neginf_f64:
170 ; CHECK-NEXT: (setlocal @0 (immediate -infinity))
171 ; CHECK-NEXT: (return @0)
172 define double @neginf_f64() {
173 ret double 0xFFF0000000000000