User Tools

Site Tools


tutorial_forward_substitution

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
tutorial_forward_substitution [2024/09/25 17:25]
sanjay [Your first Alpha program (not hello world)]
tutorial_forward_substitution [2024/09/26 07:56] (current)
sanjay [How to check more thoroughly]
Line 166: Line 166:
  
 ==make verify== ==make verify==
-This only becomes useful if you have a known, correct implementation of the function.  For this first tutorial, it does not make sense (it ends up comparing the outputs of two identical functions).  Later, when you produce different versions using scheduling directives, it becomes useful to validate the correctness agains the original equations, +This only becomes useful if you have a known, correct implementation of the function.  For this first tutorial, it does not make sense (it ends up comparing the outputs of two identical functions).  Later, when you produce different versions using scheduling directives, it becomes useful to validate the correctness against the original equations, 
-Compiles the code with another code named ''xxx_verify.c'' that defines function ''xxx_verify'' (''xxx'' is the system name).+Compiles the code with another code named ''xxx_verify.c'' that defines another function with the same signature, ''xxx_verify'' (''xxx'' is the system name).
 Users can provide different programs as ''xxx_verify'' to compare outputs. Users can provide different programs as ''xxx_verify'' to compare outputs.
 ==make verify-rand== ==make verify-rand==
tutorial_forward_substitution.txt · Last modified: 2024/09/26 07:56 by sanjay