From dev-return-32-archive-asf-public=cust-asf.ponee.io@tvm.apache.org Mon Mar 25 18:44:45 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 E4A6A18064C for ; Mon, 25 Mar 2019 19:44:44 +0100 (CET) Received: (qmail 10148 invoked by uid 500); 25 Mar 2019 18:44:44 -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 10123 invoked by uid 99); 25 Mar 2019 18:44:43 -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; Mon, 25 Mar 2019 18:44:43 +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 F2275C20EB for ; Mon, 25 Mar 2019 18:44:42 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd4-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: 0.901 X-Spam-Level: X-Spam-Status: No, score=0.901 tagged_above=-999 required=6.31 tests=[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=discuss.tvm.ai header.b=S9c8HzjJ; dkim=pass (1024-bit key) header.d=elasticemail.com header.b=Htf/q6CM 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 YBSzHQAQAv3d for ; Mon, 25 Mar 2019 18:44:40 +0000 (UTC) Received: from mail-ed1-f49.google.com (mail-ed1-f49.google.com [209.85.208.49]) by mx1-lw-eu.apache.org (ASF Mail Server at mx1-lw-eu.apache.org) with ESMTPS id B7B405F583 for ; Mon, 25 Mar 2019 18:44:40 +0000 (UTC) Received: by mail-ed1-f49.google.com with SMTP id s39so2980327edb.2 for ; Mon, 25 Mar 2019 11:44:40 -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:from :date:subject:message-id:reply-to:sender:to:feedback-id:in-reply-to :references:list-unsubscribe:auto-submitted:precedence:list-id :list-archive:mime-version; bh=/6P0bpYH1b81XWcl9T4Tuq+CKoQCYbPcTFLgLlG1LcI=; b=W6JLUiQfPp1WkIaK6Q1sM5vGpEUPgIfgKmI76Eh0Qsy6cKWT1z//Zq2P/9F3hZ1W7V w+cifyAo5A8Enw84/oG/VoY7Bp3OsbXiduH6fboIjEKkZE+LKloo/jR+ineBUby4esSs yghE0iPNoZAIY3Ym1i7yxBGgG30V+ZXvYYHM3SO5LKf2Wpmbw41deoYHA2SrLM5jH2bN FNBCvTkR0x/6N9a4BOwvM7zNSVLS1NYxmuWIHxo7SfjDW6UO3DK6oSwrW+xgyZYiEcKh LLdGw7nY5Lt3q0hZYryCRvK821ICMH1E5T5aNALwj9sJwXOOgnjJfxCUHjb8mLmAfjky +/Aw== X-Gm-Message-State: APjAAAX9LOq2YBVwHJ94cupMOEoMYzvLtE1BF4DlwKAOu1bSoPkAEUG/ bc0h2hHbanWVoewGveFsQO4nm+FgAQkb1L6sriPlArWMXiWUVT4= X-Received: by 2002:a50:9745:: with SMTP id d5mr17204478edb.66.1553539480571; Mon, 25 Mar 2019 11:44:40 -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:a974:0:0:0:0:0 with SMTP id m49csp4238814edc; Mon, 25 Mar 2019 11:44:39 -0700 (PDT) X-Google-Smtp-Source: APXvYqxWmSMCkUbosXnj+uYPGHhVenSQK97+mNYKMSyw7PYvQKx5vExUJQrjTiphB5wskH/nASbO X-Received: by 2002:a5d:644a:: with SMTP id d10mr15908687wrw.308.1553539479833; Mon, 25 Mar 2019 11:44:39 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1553539479; cv=none; d=google.com; s=arc-20160816; b=aXyC4EGZ3lV7CVUjtmQhx0I5eXO5J7n6wXYnR1pHsVtLzstxwmnIaO/mD/VQdl0NxF CjAk89Vv+oi7TfWPmMHrhxqdnbPBkBKLJ8uVz4FOTVVDvm3URjytGhCk50+ZkQjKI+n+ UyYlfb4XcKVVAfzaPsIfQwejlCC4Xunws33APiQOh+pQLH0V0o/c0n2nX7QrsYFe09Tj RD6La4rCFEBiRrjzjAuznEbwCTM5OUhtZZkTLvzcXtZp212ciiAiPQ3235pRQJyD4FMX 5dIf6ASN4FbTyCwP1O8CL5b++f/ix45r+qNfFs+FwvAahIm0ChweNpyg3f67SFLbDM81 jj7g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:list-archive:list-id:precedence:auto-submitted :list-unsubscribe:references:in-reply-to:feedback-id:to:sender :reply-to:message-id:subject:date:from:dkim-signature:dkim-signature; bh=/6P0bpYH1b81XWcl9T4Tuq+CKoQCYbPcTFLgLlG1LcI=; b=Uk3q9FSo6C2L76OeNWSpWI8d/d6PmzhnJ32YW4VVfiV3v3L4XiZUCrQhML6UgGiWNg FMQvIegqIMB0msC7u+xbwdFF9emPTtylHBQGCTytYCGTFzLS6fY2i3/oJ8wPt6ELi50P vSqk5bEnLPXIwZIKanzJtoew3OpykA4KDeAnz6pnjo/PXGrbkFpdEek+dBj8gyCiVWvi 8+6vvKE4M8ty8XLnKelzNB7IG+jenqgHy5pV3LH8fvmTlvS3TtTU4qCOnpRjqF66gFhp H6IEmywB86bG9HhpIj8KMirE1OVmlLoNu3AiRwgixSx/qVxONxeUfm9o+5v87tdS4DgF LRFA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@discuss.tvm.ai header.s=api header.b=S9c8HzjJ; dkim=pass header.i=@elasticemail.com header.s=api header.b="Htf/q6CM"; spf=neutral (google.com: 216.169.98.180 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) smtp.mailfrom=noreply@discuss.tvm.ai Received: from np180.mxout.mta3.net (np180.mxout.mta3.net. [216.169.98.180]) by mx.google.com with ESMTPS id i4si4620179wml.81.2019.03.25.11.44.39 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 25 Mar 2019 11:44:39 -0700 (PDT) Received-SPF: neutral (google.com: 216.169.98.180 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) client-ip=216.169.98.180; Authentication-Results: mx.google.com; dkim=pass header.i=@discuss.tvm.ai header.s=api header.b=S9c8HzjJ; dkim=pass header.i=@elasticemail.com header.s=api header.b="Htf/q6CM"; spf=neutral (google.com: 216.169.98.180 is neither permitted nor denied by best guess record for domain of noreply@discuss.tvm.ai) smtp.mailfrom=noreply@discuss.tvm.ai DKIM-Signature: v=1; a=rsa-sha256; d=discuss.tvm.ai; s=api; c=relaxed/simple; t=1553539472; h=from:date:subject:reply-to:to:list-unsubscribe:mime-version; bh=ywaJSU3rHkrb7NXwvatHH8KdISvNZ3swg5CxXtGF6zI=; b=S9c8HzjJc1zj85xZwJx9ZjLgaC07ZRAz8ZUQq6J3yIN5YXSwNRzlntVuprr0GYNF+qVFaEKDEcz FDQ8ojOqZVuozAtjd7G99nm24b8gEN+VS0UElEFrWGAbIOUL7dVEJpkqqGe9ryjoQG/uXCj2p7/qg blObLN8Dw/nsDe2A8Ag= DKIM-Signature: v=1; a=rsa-sha256; d=elasticemail.com; s=api; c=relaxed/simple; t=1553539472; h=from:date:subject:reply-to:to:list-unsubscribe; bh=ywaJSU3rHkrb7NXwvatHH8KdISvNZ3swg5CxXtGF6zI=; b=Htf/q6CMePHUShB4LTGql3wmHeRcR6t9Xu+0o9BeorCNCwJrEQcS5iFP/iilm1Pk+3piwaVgo74 h+XbXnYNREe390zHfeb7l2kHoyoCydRkeVsgfioaxr+/cv7jJIouHmwi9JwyxRk58KZt11Qo7c42R PH5eNbHgw+ZdS1VbKEo= From: tqchen via TVM Discuss Date: Mon, 25 Mar 2019 18:44:34 +0000 Subject: [TVM Discuss] [Development] Integer constant folding for division and mod Message-Id: <4u7358vcdhvs.Idq69HNghUZbm7iRd03rYg2@tracking.discuss.tvm.ai> Reply-To: tqchen via TVM Discuss Sender: tqchen via TVM Discuss To: tvm.archiver@gmail.com X-Msg-EID: Idq69HNghUZbm7iRd03rYg2 Feedback-ID: qz0r3x:-4pr9lq2h:ElasticEmailFBL In-Reply-To: References: X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Archive: https://discuss.tvm.ai/t/integer-constant-folding-for-division-and-mod/2008 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=-eZCfLWbEqHzkCcCWX/MtZH7I4AAyhuwcy3WKzA==" --=-eZCfLWbEqHzkCcCWX/MtZH7I4AAyhuwcy3WKzA== Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit I agree, let us fix it --- [Visit Topic](https://discuss.tvm.ai/t/integer-constant-folding-for-division-and-mod/2008/3) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/ac7c11fb7e83b4a588dbef092a2b7b44e2aa9c912813735bac72a3c43ef30e83). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=Idq69HNghUZbm7iRd03rYg2 --=-eZCfLWbEqHzkCcCWX/MtZH7I4AAyhuwcy3WKzA==--