| ; RUN: llc -mtriple=i686-unknown-linux-gnu -o - %s | FileCheck %s | |
| declare void @g_bool(i1 zeroext) | |
| define void @f_bool(i1 zeroext %x) { | |
| entry: | |
| tail call void @g_bool(i1 zeroext %x) | |
| ret void | |
| ; Forwarding a bool in a tail call works. | |
| ; CHECK-LABEL: f_bool: | |
| ; CHECK-NOT: movz | |
| ; CHECK: jmp g_bool | |
| } | |
| declare void @g_float(float) | |
| define void @f_i32(i32 %x) { | |
| entry: | |
| %0 = bitcast i32 %x to float | |
| tail call void @g_float(float %0) | |
| ret void | |
| ; Forwarding a bitcasted value works too. | |
| ; CHECK-LABEL: f_i32 | |
| ; CHECK-NOT: mov | |
| ; CHECK: jmp g_float | |
| } |