1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that basic loads are assembled properly.
4
5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6target triple = "wasm32-unknown-unknown"
7
8; CHECK-LABEL: (func $ldi32
9; CHECK-NEXT: (param i32) (result i32)
10; CHECK-NEXT: (set_local @0 (argument 0))
11; CHECK-NEXT: (set_local @1 (load_i32 @0))
12; CHECK-NEXT: (return @1)
13define i32 @ldi32(i32 *%p) {
14  %v = load i32, i32* %p
15  ret i32 %v
16}
17
18; CHECK-LABEL: (func $ldi64
19; CHECK-NEXT: (param i32) (result i64)
20; CHECK-NEXT: (set_local @0 (argument 0))
21; CHECK-NEXT: (set_local @1 (load_i64 @0))
22; CHECK-NEXT: (return @1)
23define i64 @ldi64(i64 *%p) {
24  %v = load i64, i64* %p
25  ret i64 %v
26}
27
28; CHECK-LABEL: (func $ldf32
29; CHECK-NEXT: (param i32) (result f32)
30; CHECK-NEXT: (set_local @0 (argument 0))
31; CHECK-NEXT: (set_local @1 (load_f32 @0))
32; CHECK-NEXT: (return @1)
33define float @ldf32(float *%p) {
34  %v = load float, float* %p
35  ret float %v
36}
37
38; CHECK-LABEL: (func $ldf64
39; CHECK-NEXT: (param i32) (result f64)
40; CHECK-NEXT: (set_local @0 (argument 0))
41; CHECK-NEXT: (set_local @1 (load_f64 @0))
42; CHECK-NEXT: (return @1)
43define double @ldf64(double *%p) {
44  %v = load double, double* %p
45  ret double %v
46}
47