llvm/test/CodeGen/WebAssembly/offset-fastisel.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -wasm-disable-explicit-locals -wasm-keep-registers -fast-isel -fast-isel-abort=1 | FileCheck %s
   3
   4 ; TODO: Merge this with offset.ll when fast-isel matches better.
   5
   6 target triple = "wasm32-unknown-unknown"
   7
   8 define void @store_i8_with_variable_gep_offset(ptr %p, i32 %idx) {
   9 ; CHECK-LABEL: store_i8_with_variable_gep_offset:
  10 ; CHECK:         .functype store_i8_with_variable_gep_offset (i32, i32) -> ()
  11 ; CHECK-NEXT:  # %bb.0:
  12 ; CHECK-NEXT:    i32.add $push1=, $0, $1
  13 ; CHECK-NEXT:    i32.const $push0=, 0
  14 ; CHECK-NEXT:    i32.store8 0($pop1), $pop0
  15 ; CHECK-NEXT:    # fallthrough-return
  16   %s = getelementptr inbounds i8, ptr %p, i32 %idx
  17   store i8 0, ptr %s
  18   ret void
  19 }
  20
  21 define hidden void @store_i8_with_array_alloca_gep(i32 %idx) {
  22 ; CHECK-LABEL: store_i8_with_array_alloca_gep:
  23 ; CHECK:         .functype store_i8_with_array_alloca_gep (i32) -> ()
  24 ; CHECK-NEXT:  # %bb.0:
  25 ; CHECK-NEXT:    global.get $push3=, __stack_pointer
  26 ; CHECK-NEXT:    i32.const $push4=, 32
  27 ; CHECK-NEXT:    i32.sub $push5=, $pop3, $pop4
  28 ; CHECK-NEXT:    local.copy $push1=, $pop5
  29 ; CHECK-NEXT:    i32.add $push2=, $pop1, $0
  30 ; CHECK-NEXT:    i32.const $push0=, 0
  31 ; CHECK-NEXT:    i32.store8 0($pop2), $pop0
  32 ; CHECK-NEXT:    # fallthrough-return
  33   %A = alloca [30 x i8], align 16
  34   %s = getelementptr inbounds [30 x i8], ptr %A, i32 0, i32 %idx
  35   store i8 0, ptr %s, align 1
  36   ret void
  37 }
  38
  39 define void @store_i32_with_unfolded_gep_offset(ptr %p) {
  40 ; CHECK-LABEL: store_i32_with_unfolded_gep_offset:
  41 ; CHECK:         .functype store_i32_with_unfolded_gep_offset (i32) -> ()
  42 ; CHECK-NEXT:  # %bb.0:
  43 ; CHECK-NEXT:    i32.const $push1=, 24
  44 ; CHECK-NEXT:    i32.add $push2=, $0, $pop1
  45 ; CHECK-NEXT:    i32.const $push0=, 0
  46 ; CHECK-NEXT:    i32.store 0($pop2), $pop0
  47 ; CHECK-NEXT:    # fallthrough-return
  48   %s = getelementptr i32, ptr %p, i32 6
  49   store i32 0, ptr %s
  50   ret void
  51 }
  52
  53 define void @store_i32_with_folded_gep_offset(ptr %p) {
  54 ; CHECK-LABEL: store_i32_with_folded_gep_offset:
  55 ; CHECK:         .functype store_i32_with_folded_gep_offset (i32) -> ()
  56 ; CHECK-NEXT:  # %bb.0:
  57 ; CHECK-NEXT:    i32.const $push0=, 0
  58 ; CHECK-NEXT:    i32.store 24($0), $pop0
  59 ; CHECK-NEXT:    # fallthrough-return
  60   %s = getelementptr inbounds i32, ptr %p, i32 6
  61   store i32 0, ptr %s
  62   ret void
  63 }
  64
  65 define i32 @load_i32_with_folded_gep_offset(ptr %p) {
  66 ; CHECK-LABEL: load_i32_with_folded_gep_offset:
  67 ; CHECK:         .functype load_i32_with_folded_gep_offset (i32) -> (i32)
  68 ; CHECK-NEXT:  # %bb.0:
  69 ; CHECK-NEXT:    i32.load $push0=, 24($0)
  70 ; CHECK-NEXT:    # fallthrough-return
  71   %s = getelementptr inbounds i32, ptr %p, i32 6
  72   %t = load i32, ptr %s
  73   ret i32 %t
  74 }
  75
  76 define void @store_i64_with_unfolded_gep_offset(ptr %p) {
  77 ; CHECK-LABEL: store_i64_with_unfolded_gep_offset:
  78 ; CHECK:         .functype store_i64_with_unfolded_gep_offset (i32) -> ()
  79 ; CHECK-NEXT:  # %bb.0:
  80 ; CHECK-NEXT:    i32.const $push1=, 24
  81 ; CHECK-NEXT:    i32.add $push2=, $0, $pop1
  82 ; CHECK-NEXT:    i64.const $push0=, 0
  83 ; CHECK-NEXT:    i64.store 0($pop2), $pop0
  84 ; CHECK-NEXT:    # fallthrough-return
  85   %s = getelementptr i64, ptr %p, i32 3
  86   store i64 0, ptr %s
  87   ret void
  88 }
  89
  90 define void @store_i8_with_folded_gep_offset(ptr %p) {
  91 ; CHECK-LABEL: store_i8_with_folded_gep_offset:
  92 ; CHECK:         .functype store_i8_with_folded_gep_offset (i32) -> ()
  93 ; CHECK-NEXT:  # %bb.0:
  94 ; CHECK-NEXT:    i32.const $push0=, 0
  95 ; CHECK-NEXT:    i32.store8 24($0), $pop0
  96 ; CHECK-NEXT:    # fallthrough-return
  97   %s = getelementptr inbounds i8, ptr %p, i32 24
  98   store i8 0, ptr %s
  99   ret void
 100 }
 101
 102 define i32 @load_i8_u_with_folded_offset(ptr %p) {
 103 ; CHECK-LABEL: load_i8_u_with_folded_offset:
 104 ; CHECK:         .functype load_i8_u_with_folded_offset (i32) -> (i32)
 105 ; CHECK-NEXT:  # %bb.0:
 106 ; CHECK-NEXT:    i32.load8_u $push2=, 24($0)
 107 ; CHECK-NEXT:    i32.const $push0=, 255
 108 ; CHECK-NEXT:    i32.and $push1=, $pop2, $pop0
 109 ; CHECK-NEXT:    # fallthrough-return
 110   %q = ptrtoint ptr %p to i32
 111   %r = add nuw i32 %q, 24
 112   %s = inttoptr i32 %r to ptr
 113   %t = load i8, ptr %s
 114   %u = zext i8 %t to i32
 115   ret i32 %u
 116 }
 117
 118 ; TODO: this should be load8_s, need to fold sign-/zero-extend in fast-isel
 119 define i32 @load_i8_s_with_folded_offset(ptr %p) {
 120 ; CHECK-LABEL: load_i8_s_with_folded_offset:
 121 ; CHECK:         .functype load_i8_s_with_folded_offset (i32) -> (i32)
 122 ; CHECK-NEXT:  # %bb.0:
 123 ; CHECK-NEXT:    i32.load8_u $push3=, 24($0)
 124 ; CHECK-NEXT:    i32.const $push0=, 24
 125 ; CHECK-NEXT:    i32.shl $push1=, $pop3, $pop0
 126 ; CHECK-NEXT:    i32.const $push4=, 24
 127 ; CHECK-NEXT:    i32.shr_s $push2=, $pop1, $pop4
 128 ; CHECK-NEXT:    # fallthrough-return
 129   %q = ptrtoint ptr %p to i32
 130   %r = add nuw i32 %q, 24
 131   %s = inttoptr i32 %r to ptr
 132   %t = load i8, ptr %s
 133   %u = sext i8 %t to i32
 134   ret i32 %u
 135 }