test/CodeGen/WebAssembly/fast-isel-noreg.ll

   1 ; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -verify-machineinstrs | FileCheck %s
   2 ; RUN: llc < %s -asm-verbose=false -fast-isel -verify-machineinstrs | FileCheck %s
   3
   4 ; Test that FastISel does not generate instructions with NoReg
   5
   6 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   7 target triple = "wasm32-unknown-unknown"
   8
   9 ; CHECK: i32.const $push0=, 0
  10 define hidden i32 @a() #0 {
  11 entry:
  12   ret i32 zext (i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null) to i32)
  13 }
  14
  15 ; CHECK: i32.const $push0=, 1
  16 ; CHECK: br_if 0, $pop0
  17 define hidden i32 @b() #0 {
  18 entry:
  19   br i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null), label %a, label %b
  20 a:
  21   unreachable
  22 b:
  23   ret i32 0
  24 }
  25
  26 ; CHECK: i32.const $push1=, 0
  27 ; CHECK: i32.const $push2=, 0
  28 ; CHECK: i32.store 0($pop1), $pop2
  29 define hidden i32 @c() #0 {
  30 entry:
  31   store i32 zext (i1 icmp eq (void (...)* inttoptr (i32 10 to void (...)*), void (...)* null) to i32), i32* inttoptr (i32 0 to i32 *)
  32   ret i32 0
  33 }
  34
  35 ; CHECK: i32.const {{.*}}, addr@FUNCTION
  36 ; CHECK: i32.const {{.*}}, 24
  37 ; CHECK: i32.shl
  38 ; CHECK: i32.const {{.*}}, 24
  39 ; CHECK: i32.shr_s
  40 ; CHECK: i32.const {{.*}}, 64
  41 ; CHECK: br_if 0, $pop0
  42 define hidden i32 @d() #0 {
  43 entry:
  44   %t = icmp slt i8 ptrtoint (void ()* @addr to i8), 64
  45   br i1 %t, label %a, label %b
  46 a:
  47   unreachable
  48 b:
  49   ret i32 0
  50 }
  51
  52 ; CHECK: i32.const {{.*}}, addr@FUNCTION
  53 ; CHECK: i32.const {{.*}}, 255
  54 ; CHECK: i32.and
  55 ; CHECK: i32.const {{.*}}, 64
  56 ; CHECK: br_if 0, $pop0
  57 define hidden i32 @e() #0 {
  58 entry:
  59   %t = icmp ult i8 ptrtoint (void ()* @addr to i8), 64
  60   br i1 %t, label %a, label %b
  61 a:
  62   unreachable
  63 b:
  64   ret i32 0
  65 }
  66
  67 ; CHECK: i32.const {{.*}}, addr@FUNCTION
  68 ; CHECK: i32.const {{.*}}, 24
  69 ; CHECK: i32.shl
  70 ; CHECK: i32.const {{.*}}, 24
  71 ; CHECK: i32.shr_s
  72 define hidden i32 @f() #0 {
  73 entry:
  74   %t = sext i8 ptrtoint (void ()* @addr to i8) to i32
  75   ret i32 %t
  76 }
  77
  78 ; CHECK: i32.const {{.*}}, addr@FUNCTION
  79 ; CHECK: i32.const {{.*}}, 255
  80 ; CHECK: i32.and
  81 define hidden i32 @g() #0 {
  82 entry:
  83   %t = zext i8 ptrtoint (void ()* @addr to i8) to i32
  84   ret i32 %t
  85 }
  86
  87 declare void @addr()
  88
  89 attributes #0 = { noinline optnone }