Hi Mon Ping, > In this test case, when legalizing the divide operation, we end up > generating a library call with nodes that needs type legalization. how is this possible? Thanks, Duncan.