• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -disable-wasm-explicit-locals -mattr=-nontrapping-fptoint | FileCheck %s
2
3; Test that basic conversion operations assemble as expected using
4; the trapping opcodes and explicit code to suppress the trapping.
5
6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
7target triple = "wasm32-unknown-unknown"
8
9; CHECK-LABEL: i32_trunc_s_f32:
10; CHECK-NEXT: .param f32{{$}}
11; CHECK-NEXT: .result i32{{$}}
12; CHECK-NEXT: block
13; CHECK-NEXT: f32.abs $push[[ABS:[0-9]+]]=, $0{{$}}
14; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p31{{$}}
15; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
16; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
17; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
18; CHECK-NEXT: return $pop[[ALT]]{{$}}
19; CHECK-NEXT: BB
20; CHECK-NEXT: end_block
21; CHECK-NEXT: i32.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
22; CHECK-NEXT: return $pop[[NUM]]{{$}}
23define i32 @i32_trunc_s_f32(float %x) {
24  %a = fptosi float %x to i32
25  ret i32 %a
26}
27
28; CHECK-LABEL: i32_trunc_u_f32:
29; CHECK-NEXT: .param f32{{$}}
30; CHECK-NEXT: .result i32{{$}}
31; CHECK-NEXT: block
32; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p32{{$}}
33; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
34; CHECK-NEXT: f32.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
35; CHECK-NEXT: f32.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
36; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
37; CHECK-NEXT: br_if 0, $pop[[AND]]{{$}}
38; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
39; CHECK-NEXT: return $pop[[ALT]]{{$}}
40; CHECK-NEXT: BB
41; CHECK-NEXT: end_block
42; CHECK-NEXT: i32.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
43; CHECK-NEXT: return $pop[[NUM]]{{$}}
44define i32 @i32_trunc_u_f32(float %x) {
45  %a = fptoui float %x to i32
46  ret i32 %a
47}
48
49; CHECK-LABEL: i32_trunc_s_f64:
50; CHECK-NEXT: .param f64{{$}}
51; CHECK-NEXT: .result i32{{$}}
52; CHECK-NEXT: block
53; CHECK-NEXT: f64.abs $push[[ABS:[0-9]+]]=, $0{{$}}
54; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p31{{$}}
55; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
56; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
57; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
58; CHECK-NEXT: return $pop[[ALT]]{{$}}
59; CHECK-NEXT: BB
60; CHECK-NEXT: end_block
61; CHECK-NEXT: i32.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
62; CHECK-NEXT: return $pop[[NUM]]{{$}}
63define i32 @i32_trunc_s_f64(double %x) {
64  %a = fptosi double %x to i32
65  ret i32 %a
66}
67
68; CHECK-LABEL: i32_trunc_u_f64:
69; CHECK-NEXT: .param f64{{$}}
70; CHECK-NEXT: .result i32{{$}}
71; CHECK-NEXT: block
72; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p32{{$}}
73; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
74; CHECK-NEXT: f64.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
75; CHECK-NEXT: f64.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
76; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
77; CHECK-NEXT: br_if 0, $pop[[AND]]{{$}}
78; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
79; CHECK-NEXT: return $pop[[ALT]]{{$}}
80; CHECK-NEXT: BB
81; CHECK-NEXT: end_block
82; CHECK-NEXT: i32.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
83; CHECK-NEXT: return $pop[[NUM]]{{$}}
84define i32 @i32_trunc_u_f64(double %x) {
85  %a = fptoui double %x to i32
86  ret i32 %a
87}
88
89; CHECK-LABEL: i64_trunc_s_f32:
90; CHECK-NEXT: .param f32{{$}}
91; CHECK-NEXT: .result i64{{$}}
92; CHECK-NEXT: block
93; CHECK-NEXT: f32.abs $push[[ABS:[0-9]+]]=, $0{{$}}
94; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p63{{$}}
95; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
96; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
97; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
98; CHECK-NEXT: return $pop[[ALT]]{{$}}
99; CHECK-NEXT: BB
100; CHECK-NEXT: end_block
101; CHECK-NEXT: i64.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
102; CHECK-NEXT: return $pop[[NUM]]{{$}}
103define i64 @i64_trunc_s_f32(float %x) {
104  %a = fptosi float %x to i64
105  ret i64 %a
106}
107
108; CHECK-LABEL: i64_trunc_u_f32:
109; CHECK-NEXT: .param f32{{$}}
110; CHECK-NEXT: .result i64{{$}}
111; CHECK-NEXT: block
112; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p64{{$}}
113; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
114; CHECK-NEXT: f32.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
115; CHECK-NEXT: f32.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
116; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
117; CHECK-NEXT: br_if 0, $pop[[AND]]{{$}}
118; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
119; CHECK-NEXT: return $pop[[ALT]]{{$}}
120; CHECK-NEXT: BB
121; CHECK-NEXT: end_block
122; CHECK-NEXT: i64.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
123; CHECK-NEXT: return $pop[[NUM]]{{$}}
124define i64 @i64_trunc_u_f32(float %x) {
125  %a = fptoui float %x to i64
126  ret i64 %a
127}
128
129; CHECK-LABEL: i64_trunc_s_f64:
130; CHECK-NEXT: .param f64{{$}}
131; CHECK-NEXT: .result i64{{$}}
132; CHECK-NEXT: block
133; CHECK-NEXT: f64.abs $push[[ABS:[0-9]+]]=, $0{{$}}
134; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p63{{$}}
135; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
136; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
137; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
138; CHECK-NEXT: return $pop[[ALT]]{{$}}
139; CHECK-NEXT: BB
140; CHECK-NEXT: end_block
141; CHECK-NEXT: i64.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
142; CHECK-NEXT: return $pop[[NUM]]{{$}}
143define i64 @i64_trunc_s_f64(double %x) {
144  %a = fptosi double %x to i64
145  ret i64 %a
146}
147
148; CHECK-LABEL: i64_trunc_u_f64:
149; CHECK-NEXT: .param f64{{$}}
150; CHECK-NEXT: .result i64{{$}}
151; CHECK-NEXT: block
152; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p64{{$}}
153; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
154; CHECK-NEXT: f64.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
155; CHECK-NEXT: f64.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
156; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
157; CHECK-NEXT: br_if 0, $pop[[AND]]{{$}}
158; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
159; CHECK-NEXT: return $pop[[ALT]]{{$}}
160; CHECK-NEXT: BB
161; CHECK-NEXT: end_block
162; CHECK-NEXT: i64.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
163; CHECK-NEXT: return $pop[[NUM]]{{$}}
164define i64 @i64_trunc_u_f64(double %x) {
165  %a = fptoui double %x to i64
166  ret i64 %a
167}
168