From patchwork Fri Mar 24 23:20:44 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 9644219 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork.web.codeaurora.org (Postfix) with ESMTP id B859C6020B for ; Fri, 24 Mar 2017 23:24:14 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id AA93126530 for ; Fri, 24 Mar 2017 23:24:14 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 9F94F27B13; Fri, 24 Mar 2017 23:24:14 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-6.3 required=2.0 tests=BAYES_00, DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED, FREEMAIL_FROM, RCVD_IN_DNSWL_HI, RCVD_IN_SORBS_SPAM, T_DKIM_INVALID autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 5679A26530 for ; Fri, 24 Mar 2017 23:24:14 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S935498AbdCXXYO (ORCPT ); Fri, 24 Mar 2017 19:24:14 -0400 Received: from mail-wr0-f196.google.com ([209.85.128.196]:34881 "EHLO mail-wr0-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S935659AbdCXXYE (ORCPT ); Fri, 24 Mar 2017 19:24:04 -0400 Received: by mail-wr0-f196.google.com with SMTP id u108so606231wrb.2 for ; Fri, 24 Mar 2017 16:24:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=qVjqc+L2syg87KUGpPA0z0d4/qGWSl1a6pkqVkWzabA=; b=uJnSMOaiTh/6SduKF22vbmcBMu4CWTNC5L8oxBSmsRkRe6rRiTKiQccEtCblLRfGXj kr/ON4DaSAKICVx4KmDd0ovCP1G5hNuvyV/d1AIlkMJwwHvrQD6oKlsH5KcbmGw3v4Wx fovEPMPRt/Fiz+Bkyl5gpa/t/neAm8vdFOr64su9rbDs4RvQfV9T5t8s6KgcLOXg+S5u nggkiz9vUTEze22l+00UjInI99zra2N0PNSR21jsDnNXbP8zt6FOV2WEEyjfTOCmKO5m IEWjcQlEDdyAeuSmWUKcMW2fwp9c98kyR2BO1Ykv9wTOebGJVaR2wpHxLiast42amv2Z /UqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=qVjqc+L2syg87KUGpPA0z0d4/qGWSl1a6pkqVkWzabA=; b=NREASI2KUTCLHruClHzIR/5Lg1gPmQF4L0wCQF2b9cvfppAEcO1HHZuRjsjE0Z4sU7 iZWhNyjUP7qyPHaIgMqlaqKrx46AkP0eYqtp59P1esbyxB3LSmIVKfsh5GptjkFJum5g qMqaxVrGeN5Bd8vb8QaVdawnIHRotDIBN0qILK+3iLeXZknI22/RI4IGaiH9wiqt8n6G 6eFvPKLmG7xmKgGUHYRO7ZdHml+edo0/ofQXlXF+LcepKwyw2iPW4zYvAqO4jeZMcmfE MwCkSrUTflRd4uLewrDXT9L9oBlMd+mmyyptuknHca3VcPXOjNPwuVURoWF+eyaCBrk1 E9xA== X-Gm-Message-State: AFeK/H2Dau1UuSaXHRnACQQOQPTqA/o+NHm4McGRYcF1XuJ3ihfX4I6eDxFgjlzLItx/Wg== X-Received: by 10.223.176.175 with SMTP id i44mr10200632wra.96.1490397842420; Fri, 24 Mar 2017 16:24:02 -0700 (PDT) Received: from localhost.localdomain ([2a02:a03f:802:b00:81c3:4cc:f845:762c]) by smtp.gmail.com with ESMTPSA id m188sm4203730wmm.7.2017.03.24.16.24.01 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 24 Mar 2017 16:24:01 -0700 (PDT) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Christopher Li , Luc Van Oostenryck Subject: [PATCH v5 38/51] llvm: introduce get_ioperand() Date: Sat, 25 Mar 2017 00:20:44 +0100 Message-Id: <20170324232057.15033-39-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.12.0 In-Reply-To: <20170324232057.15033-1-luc.vanoostenryck@gmail.com> References: <20170324232057.15033-1-luc.vanoostenryck@gmail.com> Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP Signed-off-by: Luc Van Oostenryck --- sparse-llvm.c | 28 +++++++++++++++++++++++----- 1 file changed, 23 insertions(+), 5 deletions(-) diff --git a/sparse-llvm.c b/sparse-llvm.c index 4e7a42285..ba70b0e6b 100644 --- a/sparse-llvm.c +++ b/sparse-llvm.c @@ -456,6 +456,27 @@ static LLVMValueRef adjust_type(struct function *fn, struct symbol *ctype, LLVMV return val; } +/* + * Get the LLVMValue corresponding to the pseudo + * and force the type corresponding to ctype. + */ +static LLVMValueRef get_operand(struct function *fn, struct symbol *ctype, pseudo_t pseudo) +{ + LLVMValueRef target = pseudo_to_value(fn, ctype, pseudo); + return adjust_type(fn, ctype, target); +} + +/* + * Get the LLVMValue corresponding to the pseudo + * and force the type corresponding to ctype but + * map all pointers to intptr_t. + */ +static LLVMValueRef get_ioperand(struct function *fn, struct symbol *ctype, pseudo_t pseudo) +{ + LLVMValueRef target = pseudo_to_value(fn, ctype, pseudo); + return value_to_ivalue(fn, ctype, target); +} + static LLVMValueRef calc_gep(LLVMBuilderRef builder, LLVMValueRef base, LLVMValueRef off) { LLVMTypeRef type = LLVMTypeOf(base); @@ -515,11 +536,8 @@ static void output_op_binary(struct function *fn, struct instruction *insn) LLVMValueRef lhs, rhs, target; char target_name[64]; - lhs = pseudo_to_value(fn, insn->type, insn->src1); - lhs = value_to_ivalue(fn, insn->type, lhs); - - rhs = pseudo_to_value(fn, insn->type, insn->src2); - rhs = value_to_ivalue(fn, insn->type, rhs); + lhs = get_ioperand(fn, insn->type, insn->src1); + rhs = get_ioperand(fn, insn->type, insn->src2); pseudo_name(insn->target, target_name);