How to check if the correct type is returned

[ChocolateLoverRaj]

define i1 @main () {
  EntryBlock:
    ; Should not be allowed to return i32
    ret i32 0
}

[ChocolateLoverRaj]

Function node checks all the return instructions.

• Needs to somehow know every single return instruction that's inside the function

[ChocolateLoverRaj]

ReturnInstruction node checks if the returned type matches the return type of the function that it's in

• Needs to somehow know the parent Function node that the return instruction is inside.

Why this makes sense

It is the return instruction's "fault" that the wrong type is returned. Usually u change the returned type to the correct one, not the function's defined return type

How it would work

1. check() function would receive an array of parent nodes. In the sample this would be:

[
  file,
  function,
  block,
]

2. Get the parent node which is a function. In case of a custom plugin which allows nested functions (which is awesome, so this plugin needs to be able to be made), the return instruction should check for the most immediate function node. This would can be done by check the array from right to left (with a helper function, of course).
3. Check if the return instruction's type matches the function's return type