• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s -asm-verbose=false \
2; RUN:   -fast-isel -fast-isel-abort=1 -verify-machineinstrs \
3; RUN:   -wasm-disable-explicit-locals -wasm-keep-registers \
4; RUN:   | FileCheck %s
5
6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
7target triple = "wasm32-unknown-unknown"
8
9; This tests very minimal fast-isel functionality.
10
11; CHECK-LABEL: immediate_f32:
12; CHECK: f32.const $push{{[0-9]+}}=, 0x1.4p1{{$}}
13define float @immediate_f32() {
14  ret float 2.5
15}
16
17; CHECK-LABEL: immediate_f64:
18; CHECK: f64.const $push{{[0-9]+}}=, 0x1.4p1{{$}}
19define double @immediate_f64() {
20  ret double 2.5
21}
22
23; CHECK-LABEL: bitcast_i32_f32:
24; CHECK: i32.reinterpret_f32 $push{{[0-9]+}}=, $0{{$}}
25define i32 @bitcast_i32_f32(float %x) {
26  %y = bitcast float %x to i32
27  ret i32 %y
28}
29
30; CHECK-LABEL: bitcast_f32_i32:
31; CHECK: f32.reinterpret_i32 $push{{[0-9]+}}=, $0{{$}}
32define float @bitcast_f32_i32(i32 %x) {
33  %y = bitcast i32 %x to float
34  ret float %y
35}
36
37; CHECK-LABEL: bitcast_i64_f64:
38; CHECK: i64.reinterpret_f64 $push{{[0-9]+}}=, $0{{$}}
39define i64 @bitcast_i64_f64(double %x) {
40  %y = bitcast double %x to i64
41  ret i64 %y
42}
43
44; CHECK-LABEL: bitcast_f64_i64:
45; CHECK: f64.reinterpret_i64 $push{{[0-9]+}}=, $0{{$}}
46define double @bitcast_f64_i64(i64 %x) {
47  %y = bitcast i64 %x to double
48  ret double %y
49}
50
51; Do fold offsets into geps.
52; CHECK-LABEL: do_fold_offset_into_gep:
53; CHECK: i64.load $push{{[0-9]+}}=, 8($0)
54define i64 @do_fold_offset_into_gep(i64* %p) {
55bb:
56  %tmp = getelementptr inbounds i64, i64* %p, i32 1
57  %tmp2 = load i64, i64* %tmp, align 8
58  ret i64 %tmp2
59}
60
61; Don't fold negative offsets into geps.
62; CHECK-LABEL: dont_fold_negative_offset:
63; CHECK: i64.load $push{{[0-9]+}}=, 0($pop{{[0-9]+}})
64define i64 @dont_fold_negative_offset(i64* %p) {
65bb:
66  %tmp = getelementptr inbounds i64, i64* %p, i32 -1
67  %tmp2 = load i64, i64* %tmp, align 8
68  ret i64 %tmp2
69}
70
71; Don't fold non-inbounds geps.
72; CHECK-LABEL: dont_fold_non_inbounds_gep:
73; CHECK: i64.load $push{{[0-9]+}}=, 0($pop{{[0-9]+}})
74define i64 @dont_fold_non_inbounds_gep(i64* %p) {
75bb:
76  %tmp = getelementptr i64, i64* %p, i32 1
77  %tmp2 = load i64, i64* %tmp, align 8
78  ret i64 %tmp2
79}
80