f32x4.wast 1005 B

12345678910111213141516171819202122232425262728293031
  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_f32x4_0")
  8. (result f32)
  9. (f32x4.extract_lane 0
  10. (v128.const i32x4 0x3f800000 0x7f7fffff 0x4f000000 0xcf000000))
  11. )
  12. (func
  13. (export "func_f32x4_1")
  14. (result f32)
  15. (f32x4.extract_lane 1
  16. (v128.const i32x4 0x3f800000 0x7f7fffff 0x4f000000 0xcf000000))
  17. )
  18. (func
  19. (export "func_f32x4_2")
  20. (result f32)
  21. (f32x4.extract_lane 2
  22. (v128.const i32x4 0x3f800000 0x7f7fffff 0x4f000000 0xcf000000))
  23. )
  24. (func
  25. (export "func_f32x4_3")
  26. (result f32)
  27. (f32x4.extract_lane 3
  28. (v128.const i32x4 0x3f800000 0x7f7fffff 0x4f000000 0xcf000000))
  29. )
  30. )