test/CodeGen/WebAssembly/signext-zeroext.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test zeroext and signext ABI keywords
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-LABEL: z2s_func:
   9 ; CHECK-NEXT: .param i32{{$}}
  10 ; CHECK-NEXT: .result i32{{$}}
  11 ; CHECK-NEXT: .local i32, i32, i32, i32{{$}}
  12 ; CHECK-NEXT: i32.const $push, 24{{$}}
  13 ; CHECK-NEXT: set_local 1, $pop{{$}}
  14 ; CHECK-NEXT: i32.shl $push, (get_local 0), (get_local 1){{$}}
  15 ; CHECK-NEXT: set_local 2, $pop{{$}}
  16 ; CHECK-NEXT: i32.shr_s $push, (get_local 2), (get_local 1){{$}}
  17 ; CHECK-NEXT: set_local 3, $pop{{$}}
  18 ; CHECK-NEXT: return (get_local 3){{$}}
  19 define signext i8 @z2s_func(i8 zeroext %t) {
  20   ret i8 %t
  21 }
  22
  23 ; CHECK-LABEL: s2z_func:
  24 ; CHECK-NEXT: .param i32{{$}}
  25 ; CHECK-NEXT: .result i32{{$}}
  26 ; CHECK-NEXT: .local i32, i32, i32{{$}}
  27 ; CHECK-NEXT: i32.const $push, 255{{$}}
  28 ; CHECK-NEXT: set_local 1, $pop{{$}}
  29 ; CHECK-NEXT: i32.and $push, (get_local 0), (get_local 1){{$}}
  30 ; CHECK-NEXT: set_local 2, $pop{{$}}
  31 ; CHECK-NEXT: return (get_local 2){{$}}
  32 define zeroext i8 @s2z_func(i8 signext %t) {
  33   ret i8 %t
  34 }
  35
  36 ; CHECK-LABEL: z2s_call:
  37 ; CHECK-NEXT: .param i32
  38 ; CHECK-NEXT: .result i32
  39 ; CHECK-NEXT: .local i32, i32, i32, i32
  40 ; CHECK-NEXT: i32.const $push, 255
  41 ; CHECK-NEXT: set_local 1, $pop
  42 ; CHECK-NEXT: i32.and $push, (get_local 0), (get_local 1)
  43 ; CHECK-NEXT: set_local 2, $pop
  44 ; CHECK-NEXT: call z2s_func, $push, (get_local 2)
  45 ; CHECK-NEXT: set_local 3, $pop
  46 ; CHECK-NEXT: return (get_local 3)
  47 define i32 @z2s_call(i32 %t) {
  48   %s = trunc i32 %t to i8
  49   %u = call signext i8 @z2s_func(i8 zeroext %s)
  50   %v = sext i8 %u to i32
  51   ret i32 %v
  52 }
  53
  54 ; CHECK-LABEL: s2z_call:
  55 ; CHECK-NEXT: .param i32
  56 ; CHECK-NEXT: .result i32
  57 ; CHECK-NEXT: .local i32, i32, i32, i32, i32, i32, i32
  58 ; CHECK-NEXT: i32.const $push, 24
  59 ; CHECK-NEXT: set_local 1, $pop
  60 ; CHECK-NEXT: i32.shl $push, (get_local 0), (get_local 1)
  61 ; CHECK-NEXT: set_local 2, $pop
  62 ; CHECK-NEXT: i32.shr_s $push, (get_local 2), (get_local 1)
  63 ; CHECK-NEXT: set_local 3, $pop
  64 ; CHECK-NEXT: call s2z_func, $push, (get_local 3)
  65 ; CHECK-NEXT: set_local 4, $pop
  66 ; CHECK-NEXT: i32.shl $push, (get_local 4), (get_local 1)
  67 ; CHECK-NEXT: set_local 5, $pop
  68 ; CHECK-NEXT: i32.shr_s $push, (get_local 5), (get_local 1)
  69 ; CHECK-NEXT: set_local 6, $pop
  70 ; CHECK-NEXT: return (get_local 6)
  71 define i32 @s2z_call(i32 %t) {
  72   %s = trunc i32 %t to i8
  73   %u = call zeroext i8 @s2z_func(i8 signext %s)
  74   %v = sext i8 %u to i32
  75   ret i32 %v
  76 }