| ; RUN: llc < %s -march=x86 | FileCheck %s | |
| ; Both values were being zero extended. | |
| @u = external global i8 | |
| @s = external global i8 | |
| define i32 @foo(i1 %cond) { | |
| ; CHECK: @foo | |
| %u_base = load i8* @u | |
| %u_val = zext i8 %u_base to i32 | |
| ; CHECK: movzbl | |
| ; CHECK: movsbl | |
| %s_base = load i8* @s | |
| %s_val = sext i8 %s_base to i32 | |
| %val = select i1 %cond, i32 %u_val, i32 %s_val | |
| ret i32 %val | |
| } |