search for: instrcombine

Try $ llvm-ld test.bc I don't know exactly how instrcombine works, but looks like it is trying to combine two GEPs into one, and while creating the new one it is passing i16 as type of index args. (as PointerWidth on pic16 is i16). // Find out whether the last index in the source GEP is a sequential idx. bool EndsWithSequential = false; fo...

I'm writing a front end for an existing interpreted language with slightly odd semantics for primitive values. Similar to the values in a database table, any value could be null, even for non-pointer types. For example a boolean variable could be true, false, or null. To model this behaviour, I'm passing an {i1, [type]} around for every numeric type. And using insertvalue / extractvalue