()
| 440 | |
| 441 | |
| 442 | def test_ANF(): |
| 443 | # Error: Nested Call |
| 444 | gv0 = rx.Var("gv0", R.Tensor([m, n], "float32")) |
| 445 | call_node = rx.op.add(x, rx.op.add(x, x)) |
| 446 | bindings = [rx.VarBinding(gv0, call_node)] |
| 447 | blocks = [rx.BindingBlock(bindings)] |
| 448 | func = build_function(blocks) |
| 449 | mod = tvm.IRModule({rx.GlobalVar("foo"): func}) |
| 450 | assert not rx.analysis.check_well_formed(mod, check_struct_info=False) |
| 451 | |
| 452 | # Error: Call Node in Tuple |
| 453 | gv0 = rx.Var("gv0", R.Tensor([m, n], "float32")) |
| 454 | bindings = [rx.VarBinding(gv0, rx.Tuple((x, rx.op.add(x, x))))] |
| 455 | blocks = [rx.BindingBlock(bindings)] |
| 456 | func = build_function(blocks) |
| 457 | mod = tvm.IRModule({rx.GlobalVar("foo"): func}) |
| 458 | assert not rx.analysis.check_well_formed(mod, check_struct_info=False) |
| 459 | |
| 460 | |
| 461 | def test_global_var_vs_gsymbol(): |
nothing calls this directly
no test coverage detected
searching dependent graphs…