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.