1 ; RUN: if as < %s | opt -raise | dis | grep '= cast' | grep \*
6 %FILE = type { int, ubyte*, ubyte*, ubyte, ubyte, uint, uint, uint }
8 uint %addfile(%FILE* %f) {
9 %cast255 = cast %FILE* %f to sbyte*
11 ; Addreses a ubyte member in memory...
12 %reg2421 = getelementptr sbyte* %cast255, long 24
15 %reg130 = load sbyte* %reg2421
17 ; Error, cast cannot convert the source operand to ubyte because then
18 ; the sign extension would not be performed. Need to insert a cast.
20 %cast250 = cast sbyte %reg130 to uint ; This is a sign extension instruction