Skip to content

Resolve "Check ssa program validity"

Julie Fiadino requested to merge 13-check-ssa-program-validity into main

Closes #13 (closed)

It would be nice to add support for options in the testsuite.

Some tests to check if the option works:

/* Valid test */

label main
seq
  move
    temp t0.1
    const 2
  sxp
    call
      name print_int
      temp t0.1
    call end
seq end
label end
/* Invalid test */

label main
seq
  move
    temp t0.1
    const 2
  move
    temp t0.1
    const 0
  sxp
    call
      name print_int
      temp t0.1
    call end
seq end
label end
Edited by Julie Fiadino

Merge request reports