test/CodeGen/WebAssembly/load-ext.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that extending loads are assembled properly.
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-LABEL: sext_i8_i32:
   9 ; CHECK: i32.load8_s $0, $0{{$}}
  10 ; CHECK-NEXT: return $0{{$}}
  11 define i32 @sext_i8_i32(i8 *%p) {
  12   %v = load i8, i8* %p
  13   %e = sext i8 %v to i32
  14   ret i32 %e
  15 }
  16
  17 ; CHECK-LABEL: zext_i8_i32:
  18 ; CHECK: i32.load8_u $0, $0{{$}}
  19 ; CHECK-NEXT: return $0{{$}}
  20 define i32 @zext_i8_i32(i8 *%p) {
  21   %v = load i8, i8* %p
  22   %e = zext i8 %v to i32
  23   ret i32 %e
  24 }
  25
  26 ; CHECK-LABEL: sext_i16_i32:
  27 ; CHECK: i32.load16_s $0, $0{{$}}
  28 ; CHECK-NEXT: return $0{{$}}
  29 define i32 @sext_i16_i32(i16 *%p) {
  30   %v = load i16, i16* %p
  31   %e = sext i16 %v to i32
  32   ret i32 %e
  33 }
  34
  35 ; CHECK-LABEL: zext_i16_i32:
  36 ; CHECK: i32.load16_u $0, $0{{$}}
  37 ; CHECK-NEXT: return $0{{$}}
  38 define i32 @zext_i16_i32(i16 *%p) {
  39   %v = load i16, i16* %p
  40   %e = zext i16 %v to i32
  41   ret i32 %e
  42 }
  43
  44 ; CHECK-LABEL: sext_i8_i64:
  45 ; CHECK: i64.load8_s $1, $0{{$}}
  46 ; CHECK-NEXT: return $1{{$}}
  47 define i64 @sext_i8_i64(i8 *%p) {
  48   %v = load i8, i8* %p
  49   %e = sext i8 %v to i64
  50   ret i64 %e
  51 }
  52
  53 ; CHECK-LABEL: zext_i8_i64:
  54 ; CHECK: i64.load8_u $1, $0{{$}}
  55 ; CHECK-NEXT: return $1{{$}}
  56 define i64 @zext_i8_i64(i8 *%p) {
  57   %v = load i8, i8* %p
  58   %e = zext i8 %v to i64
  59   ret i64 %e
  60 }
  61
  62 ; CHECK-LABEL: sext_i16_i64:
  63 ; CHECK: i64.load16_s $1, $0{{$}}
  64 ; CHECK-NEXT: return $1{{$}}
  65 define i64 @sext_i16_i64(i16 *%p) {
  66   %v = load i16, i16* %p
  67   %e = sext i16 %v to i64
  68   ret i64 %e
  69 }
  70
  71 ; CHECK-LABEL: zext_i16_i64:
  72 ; CHECK: i64.load16_u $1, $0{{$}}
  73 ; CHECK-NEXT: return $1{{$}}
  74 define i64 @zext_i16_i64(i16 *%p) {
  75   %v = load i16, i16* %p
  76   %e = zext i16 %v to i64
  77   ret i64 %e
  78 }
  79
  80 ; CHECK-LABEL: sext_i32_i64:
  81 ; CHECK: i64.load32_s $1, $0{{$}}
  82 ; CHECK-NEXT: return $1{{$}}
  83 define i64 @sext_i32_i64(i32 *%p) {
  84   %v = load i32, i32* %p
  85   %e = sext i32 %v to i64
  86   ret i64 %e
  87 }
  88
  89 ; CHECK-LABEL: zext_i32_i64:
  90 ; CHECK: i64.load32_u $1, $0{{$}}
  91 ; CHECK: return $1{{$}}
  92 define i64 @zext_i32_i64(i32 *%p) {
  93   %v = load i32, i32* %p
  94   %e = zext i32 %v to i64
  95   ret i64 %e
  96 }