The loop pointer from ModuleLoops is different depending on whether SCAF is called through NOELLE or directly from the cpf-repl interface. It seems that ModuleLoops is being initialized multiple times.
Some SCAF results are different due to different loop pointers being passed.
For example, SCEV returns a proper expression when queried within NOELLE but not from cpf-repl.
The loop pointer from ModuleLoops is different depending on whether SCAF is called through NOELLE or directly from the cpf-repl interface. It seems that ModuleLoops is being initialized multiple times.
Some SCAF results are different due to different loop pointers being passed. For example, SCEV returns a proper expression when queried within NOELLE but not from cpf-repl.