From be1c7e50e1e8809ea56f2c9d472eccd8ffd73a97 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 19 Apr 2024 04:57:58 +0200 Subject: Adding upstream version 1.44.3. Signed-off-by: Daniel Baumann --- web/server/h2o/libh2o/deps/mruby/test/t/lang.rb | 74 +++++++++++++++++++++++++ 1 file changed, 74 insertions(+) create mode 100755 web/server/h2o/libh2o/deps/mruby/test/t/lang.rb (limited to 'web/server/h2o/libh2o/deps/mruby/test/t/lang.rb') diff --git a/web/server/h2o/libh2o/deps/mruby/test/t/lang.rb b/web/server/h2o/libh2o/deps/mruby/test/t/lang.rb new file mode 100755 index 00000000..57c37564 --- /dev/null +++ b/web/server/h2o/libh2o/deps/mruby/test/t/lang.rb @@ -0,0 +1,74 @@ +# The aim of these tests is to detect pitfall for optimized VM. + +# Test for or/and +# +# You may think instruction fusion(OP_EQ and OP_JMPIF) for avoiding +# generate intermediate boolean value. +# But and/or is pitfall for this fusioning. +# +# For example, the following mruby code: +# +# if i > 0 and i < 10 then +# +# compiles to the following byte code: +# +# 1 000 OP_LOADI R1 0 ; R1:i +# 2 001 OP_MOVE R2 R1 ; R1:i +# 2 002 OP_LOADI R3 0 +# 2 003 OP_GT R2 :> 1 +# 2 004 OP_JMPNOT R2 008 +# 2 005 OP_MOVE R2 R1 ; R1:i +# 2 006 OP_LOADI R3 10 +# 2 007 OP_LT R2 :< 1 +# 2 008 OP_JMPNOT R2 (The address of end of then part) +# +# When the instruction fusion the OP_GT and OP_JMPNOT you fell into the pitfalls. +# The deleted intermediate boolean value is used in OP_JMPNOT (address 008). + +assert('and', '11.2.3') do + a = 1 + if a > 0 and a < 10 then + b = 1 + else + b = 0 + end + assert_equal 1, b + + if a < 0 and a < 10 then + b = 1 + else + b = 0 + end + assert_equal 0, b + + if a < 0 and a > 10 then + b = 1 + else + b = 0 + end + assert_equal 0, b +end + +assert('or','11.2.4') do + a = 1 + if a > 0 or a < 10 then + b = 1 + else + b = 0 + end + assert_equal 1, b + + if a < 0 or a < 10 then + b = 1 + else + b = 0 + end + assert_equal 1, b + + if a < 0 or a > 10 then + b = 1 + else + b = 0 + end + assert_equal 0, b +end -- cgit v1.2.3