Browse Prior Art Database

Method for Generating Cases for Testing Compiler Vectorization Features

IP.com Disclosure Number: IPCOM000036740D
Original Publication Date: 1989-Oct-01
Included in the Prior Art Database: 2005-Jan-29
Document File: 2 page(s) / 32K

Publishing Venue

IBM

Related People

Luke, CA: AUTHOR [+3]

Abstract

This invention relates to a method for generating test cases used in the evaluation of functional correctness and performance of a loop sequence group in procedural language vector processing. The method comprises the steps of (a) defining the functional characteristics and variation of the loop sequence group; (b) generating the defined characteristics utilizing a random forcing function; (c) executing the sequence group by interpretation in scalar mode producing thereby an array of values, and saving the range, and first and last array elemental values as modified; and (d) verifying that the sequence group is functionally correct by executing statements therefrom in vector mode and comparing the resulting array range and first and last elemental values as modified with the stored values.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 52% of the total text.

Page 1 of 2

Method for Generating Cases for Testing Compiler Vectorization Features

This invention relates to a method for generating test cases used in the evaluation of functional correctness and performance of a loop sequence group in procedural language vector processing. The method comprises the steps of
(a) defining the functional characteristics and variation of the loop sequence group; (b) generating the defined characteristics utilizing a random forcing function; (c) executing the sequence group by interpretation in scalar mode producing thereby an array of values, and saving the range, and first and last array elemental values as modified; and (d) verifying that the sequence group is functionally correct by executing statements therefrom in vector mode and comparing the resulting array range and first and last elemental values as modified with the stored values.

More particularly, a computer implementation of the method automatically generates test case programs that validate the vectorization operations that can be performed on application programs. The method generates iterative groups to produce test cases for testing vectorization features of language compiler programs. This invention includes generation methods for producing vector equations, scalar reduction vector operations (vector summation or negation assigned to a scalar), vector logical comparisons, and subscript expressions with various kinds of sequence dependencies and storage stride. An example of these types of generated state...