Changeset View
Changeset View
Standalone View
Standalone View
llvm/test/Transforms/WholeProgramDevirt/vcp-type-mismatch.ll
; RUN: opt -S -wholeprogramdevirt %s | FileCheck %s | ; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s | ||||
; Test that we correctly handle function type mismatches in argument counts | ; Test that we correctly handle function type mismatches in argument counts | ||||
; and bitwidths. We handle an argument count mismatch by refusing | ; and bitwidths. We handle an argument count mismatch by refusing | ||||
; to optimize. For bitwidth mismatches, we allow the optimization in order | ; to optimize. For bitwidth mismatches, we allow the optimization in order | ||||
; to simplify the implementation. This is legal because the bitwidth mismatch | ; to simplify the implementation. This is legal because the bitwidth mismatch | ||||
; gives the call undefined behavior. | ; gives the call undefined behavior. | ||||
target datalayout = "e-p:64:64" | target datalayout = "e-p:64:64" | ||||
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines |