From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from localhost (localhost [127.0.0.1]) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTP id 695CC2FB1B for ; Thu, 23 May 2019 13:49:06 -0400 (EDT) Received: from turing.freelists.org ([127.0.0.1]) by localhost (turing.freelists.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 4TUE_bACNQQz for ; Thu, 23 May 2019 13:49:06 -0400 (EDT) Received: from mail-lf1-f65.google.com (mail-lf1-f65.google.com [209.85.167.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTPS id 06EBF2F7D2 for ; Thu, 23 May 2019 13:49:05 -0400 (EDT) Received: by mail-lf1-f65.google.com with SMTP id v18so5055334lfi.1 for ; Thu, 23 May 2019 10:49:05 -0700 (PDT) Date: Thu, 23 May 2019 20:49:03 +0300 From: Cyrill Gorcunov Subject: [tarantool-patches] [PATCH 2/2] test/luajit-tap: Add unsink_64_kptr.test.lua Message-ID: <20190523174903.GG11013@uranus> References: <20190523174634.32314-1-gorcunov@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20190523174634.32314-1-gorcunov@gmail.com> Sender: tarantool-patches-bounce@freelists.org Errors-to: tarantool-patches-bounce@freelists.org Reply-To: tarantool-patches@freelists.org List-Help: List-Unsubscribe: List-software: Ecartis version 1.0.0 List-Id: tarantool-patches List-Subscribe: List-Owner: List-post: List-Archive: To: tml Cc: Alexander Turenko , Kirill Yukhin Backport of openrusty/luajit2-test-suite commit 907c536c210ebe6a147861bb4433d28c0ebfc8cd To test unsink 64 bit pointers Part-of #4171 --- test/luajit-tap/unsink_64_kptr.test.lua | 44 +++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100755 test/luajit-tap/unsink_64_kptr.test.lua diff --git a/test/luajit-tap/unsink_64_kptr.test.lua b/test/luajit-tap/unsink_64_kptr.test.lua new file mode 100755 index 000000000..89957637b --- /dev/null +++ b/test/luajit-tap/unsink_64_kptr.test.lua @@ -0,0 +1,44 @@ +#!/usr/bin/env tarantool + +tap = require('tap') + +test = tap.test("232") +test:plan(1) + +--- From: Thibault Charbonnier +--- tests: ffi: added a test case unsinking a 64-bit pointer from a constant. +--- +--- This test case reproduces the issue observed at: +--- https://github.com/openresty/lua-resty-core/issues/232 and was +--- contributed by @lukego and myself. +--- +--- Co-authored-by: Luke Gorrie +--- +local ffi = require("ffi") + +local array = ffi.new("struct { int x; } [1]") + +-- This test forces the VM to unsink a pointer that was constructed +-- from a constant. The IR will include a 'cnewi' instruction to +-- allocate an FFI pointer object, the pointer value will be an IR +-- constant, the allocation will be sunk, and the allocation will +-- at some point be "unsunk" due to a reference in the snapshot for +-- a taken exit. + +-- Note: JIT will recognize as a "singleton" and allow its +-- address to be inlined ("constified") instead of looking up the +-- upvalue at runtime. + +local function fn(i) + local struct = array[0] -- Load pointer that the JIT will constify. + if i == 1000 then end -- Force trace exit when i==1000. + struct.x = 0 -- Ensure that 'struct' is live after exit. +end + +-- Loop over the function to make it compile and take a trace exit +-- during the final iteration. +for i = 1, 1000 do + fn(i) +end + +test:ok("PASS") -- 2.20.1