test/CodeGen/WebAssembly/fast-isel.ll

   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
   6 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   7 target 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{{$}}
  13 define float @immediate_f32() {
  14   ret float 2.5
  15 }
  16
  17 ; CHECK-LABEL: immediate_f64:
  18 ; CHECK: f64.const $push{{[0-9]+}}=, 0x1.4p1{{$}}
  19 define 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{{$}}
  25 define 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{{$}}
  32 define 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{{$}}
  39 define 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{{$}}
  46 define 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)
  54 define i64 @do_fold_offset_into_gep(i64* %p) {
  55 bb:
  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]+}})
  64 define i64 @dont_fold_negative_offset(i64* %p) {
  65 bb:
  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]+}})
  74 define i64 @dont_fold_non_inbounds_gep(i64* %p) {
  75 bb:
  76   %tmp = getelementptr i64, i64* %p, i32 1
  77   %tmp2 = load i64, i64* %tmp, align 8
  78   ret i64 %tmp2
  79 }