mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-25 14:02:52 +02:00
21c5b7a6bb
Summary: Follow the same syntax as for the spec repo. Both have evolved slightly independently and need to converge again. This, along with wasmate changes, allows me to do the following: echo "int add(int a, int b) { return a + b; }" > add.c ./out/bin/clang -O2 -S --target=wasm32-unknown-unknown add.c -o add.wack ./experimental/prototype-wasmate/wasmate.py add.wack > add.wast ./sexpr-wasm-prototype/out/sexpr-wasm add.wast -o add.wasm ./sexpr-wasm-prototype/third_party/v8-native-prototype/v8/v8/out/Release/d8 -e "print(WASM.instantiateModule(readbuffer('add.wasm'), {print:print}).add(42, 1337));" As you'd expect, the d8 shell prints out the right value. Reviewers: sunfish Subscribers: jfb, llvm-commits, dschuff Differential Revision: http://reviews.llvm.org/D13712 llvm-svn: 250480
247 lines
5.8 KiB
LLVM
247 lines
5.8 KiB
LLVM
; RUN: llc < %s -asm-verbose=false | FileCheck %s
|
|
|
|
; Test that basic immediates assemble as expected.
|
|
|
|
target datalayout = "e-p:32:32-i64:64-n32:64-S128"
|
|
target triple = "wasm32-unknown-unknown"
|
|
|
|
; CHECK-LABEL: zero_i32:
|
|
; CHECK-NEXT: .result i32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i32.const 0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i32 @zero_i32() {
|
|
ret i32 0
|
|
}
|
|
|
|
; CHECK-LABEL: one_i32:
|
|
; CHECK-NEXT: .result i32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i32.const 1{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i32 @one_i32() {
|
|
ret i32 1
|
|
}
|
|
|
|
; CHECK-LABEL: max_i32:
|
|
; CHECK-NEXT: .result i32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i32.const 2147483647{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i32 @max_i32() {
|
|
ret i32 2147483647
|
|
}
|
|
|
|
; CHECK-LABEL: min_i32:
|
|
; CHECK-NEXT: .result i32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i32.const -2147483648{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i32 @min_i32() {
|
|
ret i32 -2147483648
|
|
}
|
|
|
|
; CHECK-LABEL: zero_i64:
|
|
; CHECK-NEXT: .result i64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i64.const 0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i64 @zero_i64() {
|
|
ret i64 0
|
|
}
|
|
|
|
; CHECK-LABEL: one_i64:
|
|
; CHECK-NEXT: .result i64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i64.const 1{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i64 @one_i64() {
|
|
ret i64 1
|
|
}
|
|
|
|
; CHECK-LABEL: max_i64:
|
|
; CHECK-NEXT: .result i64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i64.const 9223372036854775807{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i64 @max_i64() {
|
|
ret i64 9223372036854775807
|
|
}
|
|
|
|
; CHECK-LABEL: min_i64:
|
|
; CHECK-NEXT: .result i64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: i64.const -9223372036854775808{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define i64 @min_i64() {
|
|
ret i64 -9223372036854775808
|
|
}
|
|
|
|
; CHECK-LABEL: negzero_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const -0x0p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @negzero_f32() {
|
|
ret float -0.0
|
|
}
|
|
|
|
; CHECK-LABEL: zero_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const 0x0p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @zero_f32() {
|
|
ret float 0.0
|
|
}
|
|
|
|
; CHECK-LABEL: one_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const 0x1p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @one_f32() {
|
|
ret float 1.0
|
|
}
|
|
|
|
; CHECK-LABEL: two_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const 0x1p1{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @two_f32() {
|
|
ret float 2.0
|
|
}
|
|
|
|
; CHECK-LABEL: nan_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const nan
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @nan_f32() {
|
|
ret float 0x7FF8000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: negnan_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const -nan
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @negnan_f32() {
|
|
ret float 0xFFF8000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: inf_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const infinity
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @inf_f32() {
|
|
ret float 0x7FF0000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: neginf_f32:
|
|
; CHECK-NEXT: .result f32{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f32.const -infinity
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define float @neginf_f32() {
|
|
ret float 0xFFF0000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: negzero_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const -0x0p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @negzero_f64() {
|
|
ret double -0.0
|
|
}
|
|
|
|
; CHECK-LABEL: zero_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const 0x0p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @zero_f64() {
|
|
ret double 0.0
|
|
}
|
|
|
|
; CHECK-LABEL: one_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const 0x1p0{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @one_f64() {
|
|
ret double 1.0
|
|
}
|
|
|
|
; CHECK-LABEL: two_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const 0x1p1{{$}}
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @two_f64() {
|
|
ret double 2.0
|
|
}
|
|
|
|
; CHECK-LABEL: nan_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const nan
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @nan_f64() {
|
|
ret double 0x7FF8000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: negnan_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const -nan
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @negnan_f64() {
|
|
ret double 0xFFF8000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: inf_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const infinity
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @inf_f64() {
|
|
ret double 0x7FF0000000000000
|
|
}
|
|
|
|
; CHECK-LABEL: neginf_f64:
|
|
; CHECK-NEXT: .result f64{{$}}
|
|
; CHECK-NEXT: .local
|
|
; CHECK-NEXT: f64.const -infinity
|
|
; CHECK-NEXT: set_local 0, pop{{$}}
|
|
; CHECK-NEXT: return (get_local 0){{$}}
|
|
define double @neginf_f64() {
|
|
ret double 0xFFF0000000000000
|
|
}
|