i32x4.wast 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. ;;-------------------------------------------------------------------------------------------------------
  2. ;; Copyright (C) Microsoft Corporation and contributors. All rights reserved.
  3. ;; Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
  4. ;;-------------------------------------------------------------------------------------------------------
  5. (module
  6. (func
  7. (export "func_i32x4_0")
  8. (result i32)
  9. (local v128)
  10. (set_local
  11. 0
  12. (v128.const i32x4 2147483647 0 0x80000000 0xFFFFFF9C)
  13. )
  14. (i32x4.extract_lane 0 (get_local 0))
  15. )
  16. (func
  17. (export "func_i32x4_1")
  18. (result i32)
  19. (local v128)
  20. (set_local
  21. 0
  22. (v128.const i32x4 2147483647 0 0x80000000 0xFFFFFF9C)
  23. )
  24. (i32x4.extract_lane 1 (get_local 0))
  25. )
  26. (func
  27. (export "func_i32x4_2")
  28. (result i32)
  29. (local v128)
  30. (set_local
  31. 0
  32. (v128.const i32x4 2147483647 0 0x80000000 0xFFFFFF9C)
  33. )
  34. (i32x4.extract_lane 2 (get_local 0))
  35. )
  36. (func
  37. (export "func_i32x4_3")
  38. (result i32)
  39. (local v128)
  40. (set_local
  41. 0
  42. (v128.const i32x4 2147483647 0 0x80000000 0xFFFFFF9C)
  43. )
  44. (i32x4.extract_lane 3 (get_local 0))
  45. )
  46. )