136 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -wasm-disable-explicit-locals -wasm-keep-registers -fast-isel -fast-isel-abort=1 | FileCheck %s3 4; TODO: Merge this with offset.ll when fast-isel matches better.5 6target triple = "wasm32-unknown-unknown"7 8define 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, $113; CHECK-NEXT: i32.const $push0=, 014; CHECK-NEXT: i32.store8 0($pop1), $pop015; CHECK-NEXT: # fallthrough-return16 %s = getelementptr inbounds i8, ptr %p, i32 %idx17 store i8 0, ptr %s18 ret void19}20 21define 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_pointer26; CHECK-NEXT: i32.const $push4=, 3227; CHECK-NEXT: i32.sub $push5=, $pop3, $pop428; CHECK-NEXT: local.copy $push1=, $pop529; CHECK-NEXT: i32.add $push2=, $pop1, $030; CHECK-NEXT: i32.const $push0=, 031; CHECK-NEXT: i32.store8 0($pop2), $pop032; CHECK-NEXT: # fallthrough-return33 %A = alloca [30 x i8], align 1634 %s = getelementptr inbounds [30 x i8], ptr %A, i32 0, i32 %idx35 store i8 0, ptr %s, align 136 ret void37}38 39define 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=, 2444; CHECK-NEXT: i32.add $push2=, $0, $pop145; CHECK-NEXT: i32.const $push0=, 046; CHECK-NEXT: i32.store 0($pop2), $pop047; CHECK-NEXT: # fallthrough-return48 %s = getelementptr i32, ptr %p, i32 649 store i32 0, ptr %s50 ret void51}52 53define 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=, 058; CHECK-NEXT: i32.store 24($0), $pop059; CHECK-NEXT: # fallthrough-return60 %s = getelementptr inbounds i32, ptr %p, i32 661 store i32 0, ptr %s62 ret void63}64 65define 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-return71 %s = getelementptr inbounds i32, ptr %p, i32 672 %t = load i32, ptr %s73 ret i32 %t74}75 76define 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=, 2481; CHECK-NEXT: i32.add $push2=, $0, $pop182; CHECK-NEXT: i64.const $push0=, 083; CHECK-NEXT: i64.store 0($pop2), $pop084; CHECK-NEXT: # fallthrough-return85 %s = getelementptr i64, ptr %p, i32 386 store i64 0, ptr %s87 ret void88}89 90define 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=, 095; CHECK-NEXT: i32.store8 24($0), $pop096; CHECK-NEXT: # fallthrough-return97 %s = getelementptr inbounds i8, ptr %p, i32 2498 store i8 0, ptr %s99 ret void100}101 102define 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=, 255108; CHECK-NEXT: i32.and $push1=, $pop2, $pop0109; CHECK-NEXT: # fallthrough-return110 %q = ptrtoint ptr %p to i32111 %r = add nuw i32 %q, 24112 %s = inttoptr i32 %r to ptr113 %t = load i8, ptr %s114 %u = zext i8 %t to i32115 ret i32 %u116}117 118; TODO: this should be load8_s, need to fold sign-/zero-extend in fast-isel119define 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=, 24125; CHECK-NEXT: i32.shl $push1=, $pop3, $pop0126; CHECK-NEXT: i32.const $push4=, 24127; CHECK-NEXT: i32.shr_s $push2=, $pop1, $pop4128; CHECK-NEXT: # fallthrough-return129 %q = ptrtoint ptr %p to i32130 %r = add nuw i32 %q, 24131 %s = inttoptr i32 %r to ptr132 %t = load i8, ptr %s133 %u = sext i8 %t to i32134 ret i32 %u135}136