Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / b51a9bc35854509b9d4b125d232c4ff07ab765f5 / . / llvm / test / CodeGen / WebAssembly / conv-trap.ll
blob: e20ed0a4527180155f2550ae11cbea9b0bb6298c [file] [log] [blame]
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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-wasm"
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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]16; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]17; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
18; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]38; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
39; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]56; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]57; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
58; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]78; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
79; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]96; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]97; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
98; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]118; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
119; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]136; CHECK-NEXT: br_if 0, $pop[[LT]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]137; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
138; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]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]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]158; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
159; CHECK-NEXT: return $pop[[ALT]]{{$}}
Dan Gohman580c1022017-11-29 20:20:11 +0000[diff] [blame]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]]{{$}}
Dan Gohmancdd48b82017-11-28 01:13:40 +0000[diff] [blame]164define i64 @i64_trunc_u_f64(double %x) {
165 %a = fptoui double %x to i64
166 ret i64 %a
167}