Hi edA-qa mort-ora-y, > define i64 @eval_expr() uwtable { > entry: > %0 = extractvalue %0 { i1 true, i64 3 }, 0 it does seem odd that this has not been turned into "i1 true". The instcombine pass, which is run many times in the standard optimization pipeline, will get this. Are you running it? Ciao, Duncan.