> I'd suggest: && isa<GlobalValue>(CE->getOperand(0)) So, nobody will produce multiple bitcasts, right? e.g. this is illegal: @A = alias (bitcast (bitcast i64* @foo to i8*) to i32* -- With best regards, Anton Korobeynikov. Faculty of Mathematics & Mechanics, Saint Petersburg State University.