From dev-return-81-archive-asf-public=cust-asf.ponee.io@tvm.apache.org Tue Apr 2 00:30:29 2019 Return-Path: X-Original-To: archive-asf-public@cust-asf.ponee.io Delivered-To: archive-asf-public@cust-asf.ponee.io Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by mx-eu-01.ponee.io (Postfix) with SMTP id 28FEC180621 for ; Tue, 2 Apr 2019 02:30:28 +0200 (CEST) Received: (qmail 85483 invoked by uid 500); 2 Apr 2019 00:30:28 -0000 Mailing-List: contact dev-help@tvm.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@tvm.apache.org Delivered-To: mailing list dev@tvm.apache.org Received: (qmail 85470 invoked by uid 99); 2 Apr 2019 00:30:27 -0000 Received: from pnap-us-west-generic-nat.apache.org (HELO spamd4-us-west.apache.org) (209.188.14.142) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 02 Apr 2019 00:30:27 +0000 Received: from localhost (localhost [127.0.0.1]) by spamd4-us-west.apache.org (ASF Mail Server at spamd4-us-west.apache.org) with ESMTP id 2A8FAC05B3 for ; Tue, 2 Apr 2019 00:30:27 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd4-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: 0.9 X-Spam-Level: X-Spam-Status: No, score=0.9 tagged_above=-999 required=6.31 tests=[DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.001, HTML_MESSAGE=2, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=disabled Authentication-Results: spamd4-us-west.apache.org (amavisd-new); dkim=pass (1024-bit key) header.d=github.com header.b=k90msNDF; dkim=pass (1024-bit key) header.d=sendgrid.info header.b=d9+qQsfb Received: from mx1-lw-eu.apache.org ([10.40.0.8]) by localhost (spamd4-us-west.apache.org [10.40.0.11]) (amavisd-new, port 10024) with ESMTP id bQTCPjudu9fo for ; Tue, 2 Apr 2019 00:30:25 +0000 (UTC) Received: from mail-ed1-f51.google.com (mail-ed1-f51.google.com [209.85.208.51]) by mx1-lw-eu.apache.org (ASF Mail Server at mx1-lw-eu.apache.org) with ESMTPS id 2AA255F2AC for ; Tue, 2 Apr 2019 00:30:25 +0000 (UTC) Received: by mail-ed1-f51.google.com with SMTP id d11so279704edp.11 for ; Mon, 01 Apr 2019 17:30:25 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:delivered-to:dkim-signature:dkim-signature:date :from:reply-to:to:cc:message-id:in-reply-to:references:subject :mime-version:content-transfer-encoding:precedence:list-id :list-archive:list-post:list-unsubscribe; bh=tWkubgw6cLVjTdN73bUgPTh3bARoG+ULAvPVPes3Dc0=; b=iB6mWZ139vmzLwJZ1ILa5Y2ubSUFpNhK4iz4yhcTBr4ZeDLXs5hQI39+4ioCHLZa/i e+dF7NY6RDaIv7IvqFWpHv2lMAqvjTV+ONiYyDsml9lIwJ5yoTYPCYGq48TlB+PLh5sw I/8KLvpuKGL69HqTnyHDNFABe8YOXbD/Ehwnp+/LBKO5Pvua3oTxZMpAGHoe0bg+I1+e 5qA2C3A5WbAQ0gg/jrCTSFUlqQ30cw/6cC2E6+/TOaurE4LtesubrMLJBZnAOJEA9CyG XNC+YxkrWXSrsDKkMqidugIvdIyBn6kBVbMy55qYbpwKxsVJzkIGWDNVn4sN7qsO6gEo 2Jpw== X-Gm-Message-State: APjAAAVw5MRHTC8F/aXfN83CG+daP2dmdQu2nvtsd3wOrIgIhLN+Y6B2 0uuX6w1U+VCbYwdLhRRzbqyLnpBTcT9ujpKKu8GHgfwQBpEeWBs= X-Received: by 2002:a50:ad32:: with SMTP id y47mr43445120edc.198.1554165018936; Mon, 01 Apr 2019 17:30:18 -0700 (PDT) X-Forwarded-To: dev@tvm.apache.org X-Forwarded-For: tvm.archiver@gmail.com dev@tvm.apache.org Delivered-To: tvm.archiver@gmail.com Received: by 2002:a50:cf4b:0:0:0:0:0 with SMTP id d11csp1123450edk; Mon, 1 Apr 2019 17:30:17 -0700 (PDT) X-Google-Smtp-Source: APXvYqz/mACt+9QpM8YbuavSYuDUa2HW6GmMUeIWyXfPl0njO1CX2F8mbpyOi3bfU/JNb04/QNKX X-Received: by 2002:a5b:4d1:: with SMTP id u17mr54259101ybp.50.1554165017538; Mon, 01 Apr 2019 17:30:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1554165017; cv=none; d=google.com; s=arc-20160816; b=M1mtrzcjvJdmp3EUSTKEXccx2xc+WZI3pnyUw2UDqzXYSmbK0avq7RgQq6r+tM2PHC saz9XGk8nJ0u7Chn9as8BOoQwbHlYpIIxnEmrnglfsYblN9cnHKwCjTwYUZp+fp7z4tv 4AJL+wETbyZ9FnScBbv0DwHEZolw75gs7FVlFiYmwYctLWJVZjXHSo29xyXgyqD76v/C 9Xt96I0zI2GAXhy8QnUyUGO3gE3IWWLxFcBaG/m+68FhRO0l2cUVyoDwRYbvmkQ5BTHO x9gLeGKPpuf4pFSfElxFQ+3vEG5ReNXkHrGQa5WUkBQ2HEJ9/UP2VUyvmifJusx2G6HK J5fg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-post:list-archive:list-id:precedence :content-transfer-encoding:mime-version:subject:references :in-reply-to:message-id:cc:to:reply-to:from:date:dkim-signature :dkim-signature; bh=tWkubgw6cLVjTdN73bUgPTh3bARoG+ULAvPVPes3Dc0=; b=tFAYuCexLzYWxQb1WR8lRWgsK8+2iF/nLb52Zt2he1hH2O3jN5Q1EoHs+vEjv6xu/c obbXqb8xtdZptcvnt5X49NAc0Nhy4PGhxLkx35OM66aQNUTDBwZWPgMaJSkVlaBkvjlP hgy5lunH2vFWlHGLtaU7JURCJCzkU3BH5GQP0PY582SyVGoCiqreOrJOXMRMufYstrmg aVQ8JX5jAMwF7XnNbYqfmAQgcLKdDJvYBMpqccYQDnEtV71SMHh2NLJP5fmLhMtWECwT yfBhZb9hu2YUqyD9dle4ckIDd+8j3I2nyAoDiIzjRHVcRLtaywE6Ib7DJzY0ayrvXxa7 7cMQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@github.com header.s=s20150108 header.b=k90msNDF; dkim=pass header.i=@sendgrid.info header.s=smtpapi header.b=d9+qQsfb; spf=pass (google.com: domain of bounces+848413-26c3-tvm.archiver=gmail.com@sgmail.github.com designates 192.254.112.98 as permitted sender) smtp.mailfrom="bounces+848413-26c3-tvm.archiver=gmail.com@sgmail.github.com"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=github.com Received: from o3.sgmail.github.com (o3.sgmail.github.com. [192.254.112.98]) by mx.google.com with ESMTPS id u77si7007197ywu.452.2019.04.01.17.30.16 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 01 Apr 2019 17:30:17 -0700 (PDT) Received-SPF: pass (google.com: domain of bounces+848413-26c3-tvm.archiver=gmail.com@sgmail.github.com designates 192.254.112.98 as permitted sender) client-ip=192.254.112.98; Authentication-Results: mx.google.com; dkim=pass header.i=@github.com header.s=s20150108 header.b=k90msNDF; dkim=pass header.i=@sendgrid.info header.s=smtpapi header.b=d9+qQsfb; spf=pass (google.com: domain of bounces+848413-26c3-tvm.archiver=gmail.com@sgmail.github.com designates 192.254.112.98 as permitted sender) smtp.mailfrom="bounces+848413-26c3-tvm.archiver=gmail.com@sgmail.github.com"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=github.com DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=github.com; h=from:reply-to:to:cc:in-reply-to:references:subject:mime-version:content-type:content-transfer-encoding:list-id:list-archive:list-post:list-unsubscribe; s=s20150108; bh=f83zcdF2xU63MM+9PgtR7d5kPdY=; b=k90msNDFnoMk41Z3 eh4QZYwwTwyHdxFi/3UFDrCfN9p8gH1gSbEt8C9t4Ds1TVv/TID7rvPehHEjAllP pNd14Y+EQ5Q4uC4YednbqLZuJ3zCE2PU3H7AMsGiRu/F/OGHWfJN6IuMwzXxnu/b Q5od6OqIzMSyPs+5oZ99B/TjbHg= Received: by filter1002p1las1.sendgrid.net with SMTP id filter1002p1las1-7464-5CA2AD17-11 2019-04-02 00:30:15.313493174 +0000 UTC m=+974101.204407967 Received: from github-lowworker-baaab27.cp1-iad.github.net (unknown [192.30.252.33]) by ismtpd0002p1iad1.sendgrid.net (SG) with ESMTP id chMngFR0RBKdkOR5B27aVQ for ; Tue, 02 Apr 2019 00:30:15.188 +0000 (UTC) Received: from github.com (localhost [127.0.0.1]) by github-lowworker-baaab27.cp1-iad.github.net (Postfix) with ESMTP id 2CAA180609 for ; Mon, 1 Apr 2019 17:30:15 -0700 (PDT) Date: Tue, 02 Apr 2019 00:30:15 +0000 (UTC) From: Wei Chen Reply-To: dmlc/tvm To: dmlc/tvm Cc: Subscribed Message-ID: In-Reply-To: References: Subject: Re: [dmlc/tvm] [RFC] Register Relay VM design (#2915) Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="--==_mimepart_5ca2ad172a953_6e83fa472ad45c0160762"; charset=UTF-8 Content-Transfer-Encoding: 7bit X-GitHub-Sender: wweic X-GitHub-Recipient: tvm-archiver X-GitHub-Reason: subscribed List-Archive: https://github.com/dmlc/tvm X-Auto-Response-Suppress: All X-GitHub-Recipient-Address: tvm.archiver@gmail.com X-SG-EID: o3/PSbSTXKsMaJh5nfgR/mXLAh8Po2Y4q5YJx/Tf0s12rGZtWSeXY8KJaAXKOtwDzWYzuVKiEsC3TH GSIPlzjtfIgPQXC1fuM1zrf947T8R+Xjpcz9pcjvRuGtZ5F/a7JaViFikQi0Y9yKsWv/uNQqVk2jKP IKlK6HxzQ2l5ikbk0TVXmog/a3xcr8ZePsWwRegWNElHpD8X+zTzE5/GreReukvx1djl8hhSXqtcbH Q= X-Feedback-ID: 848413:6xvVEJqleZlAW7/vhv7PzD/cv5tamo2SWZDKyvugGvg=:6xvVEJqleZlAW7/vhv7PzD/cv5tamo2SWZDKyvugGvg=:SG ----==_mimepart_5ca2ad172a953_6e83fa472ad45c0160762 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit ## Summary @tqchen @icemelon9 @jroesch @zhiics @yongwww we discuss in person. Reached the following consensus: 1. Remove `Phi` instruction. Instead extend `If` to write the result to a new register. 2. Reuse the existing value stack as the register file. Have an anchor in the function frame to point to the start of each function's register region. 3. Try to do liveness on Relay AST to reuse the pass manager infrastructure, and to not introduce extra interfaces. Let me know if I miss anything or said something wrong. I'll take out liveness analysis on opcodes from my branch and polish remaining stuff(register VM + linear scan + interfaces). Since we don't have liveness analysis on Relay AST now, I'll simply generate live interval for each register with the full opcodes range, so register allocator can assign unique slot for each register. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2915#issuecomment-478796098 ----==_mimepart_5ca2ad172a953_6e83fa472ad45c0160762--