test/CodeGen/WebAssembly/load-store-i1.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that i1 extending loads and truncating stores 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: load_u_i1_i32:
   9 ; CHECK:      load_u_i8_i32 @1{{$}}
  10 ; CHECK-NEXT: set_local @2, pop{{$}}
  11 ; CHECK-NEXT: return @2{{$}}
  12 define i32 @load_u_i1_i32(i1* %p) {
  13   %v = load i1, i1* %p
  14   %e = zext i1 %v to i32
  15   ret i32 %e
  16 }
  17
  18 ; CHECK-LABEL: load_s_i1_i32:
  19 ; CHECK:      load_u_i8_i32 @1{{$}}
  20 ; CHECK-NEXT: set_local @2, pop{{$}}
  21 ; CHECK-NEXT: i32.const 31{{$}}
  22 ; CHECK-NEXT: set_local @3, pop{{$}}
  23 ; CHECK-NEXT: shl @2, @3{{$}}
  24 ; CHECK-NEXT: set_local @4, pop{{$}}
  25 ; CHECK-NEXT: shr_s @4, @3{{$}}
  26 ; CHECK-NEXT: set_local @5, pop{{$}}
  27 ; CHECK-NEXT: return @5{{$}}
  28 define i32 @load_s_i1_i32(i1* %p) {
  29   %v = load i1, i1* %p
  30   %e = sext i1 %v to i32
  31   ret i32 %e
  32 }
  33
  34 ; CHECK-LABEL: load_u_i1_i64:
  35 ; CHECK:      load_u_i8_i64 @1{{$}}
  36 ; CHECK-NEXT: set_local @2, pop{{$}}
  37 ; CHECK-NEXT: return @2{{$}}
  38 define i64 @load_u_i1_i64(i1* %p) {
  39   %v = load i1, i1* %p
  40   %e = zext i1 %v to i64
  41   ret i64 %e
  42 }
  43
  44 ; CHECK-LABEL: load_s_i1_i64:
  45 ; CHECK:      load_u_i8_i64 @1{{$}}
  46 ; CHECK-NEXT: set_local @2, pop{{$}}
  47 ; CHECK-NEXT: i64.const 63{{$}}
  48 ; CHECK-NEXT: set_local @3, pop{{$}}
  49 ; CHECK-NEXT: shl @2, @3{{$}}
  50 ; CHECK-NEXT: set_local @4, pop{{$}}
  51 ; CHECK-NEXT: shr_s @4, @3{{$}}
  52 ; CHECK-NEXT: set_local @5, pop{{$}}
  53 ; CHECK-NEXT: return @5{{$}}
  54 define i64 @load_s_i1_i64(i1* %p) {
  55   %v = load i1, i1* %p
  56   %e = sext i1 %v to i64
  57   ret i64 %e
  58 }
  59
  60 ; CHECK-LABEL: store_i32_i1:
  61 ; CHECK:      i32.const 1{{$}}
  62 ; CHECK-NEXT: set_local @4, pop{{$}}
  63 ; CHECK-NEXT: and @3, @4{{$}}
  64 ; CHECK-NEXT: set_local @5, pop{{$}}
  65 ; CHECK-NEXT: store_i8 @2, @5{{$}}
  66 define void @store_i32_i1(i1* %p, i32 %v) {
  67   %t = trunc i32 %v to i1
  68   store i1 %t, i1* %p
  69   ret void
  70 }
  71
  72 ; CHECK-LABEL: store_i64_i1:
  73 ; CHECK:      i64.const 1{{$}}
  74 ; CHECK-NEXT: set_local @4, pop{{$}}
  75 ; CHECK-NEXT: and @3, @4{{$}}
  76 ; CHECK-NEXT: set_local @5, pop{{$}}
  77 ; CHECK-NEXT: store_i8 @2, @5{{$}}
  78 define void @store_i64_i1(i1* %p, i64 %v) {
  79   %t = trunc i64 %v to i1
  80   store i1 %t, i1* %p
  81   ret void
  82 }