; RUN: llc < %s | FileCheck %s

target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "thumbv6m---eabi"

; CHECK-LABEL: test_fn
; CHECK-NOT: uxtb
define dso_local zeroext i8 @test_fn(i32 %x, void (...)* nocapture %f) {
entry:
  %tobool = icmp eq i32 %x, 0
  br i1 %tobool, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  %callee.knr.cast = bitcast void (...)* %f to void ()*
  tail call void %callee.knr.cast() #1
  br label %if.end

if.end:                                           ; preds = %entry, %if.then
  %z.0 = phi i8 [ 3, %if.then ], [ 0, %entry ]
  ret i8 %z.0
}