1; RUN: llc < %s | FileCheck %s 2 3target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 4target triple = "thumbv6m---eabi" 5 6; CHECK-LABEL: test_fn 7; CHECK-NOT: uxtb 8define dso_local zeroext i8 @test_fn(i32 %x, void (...)* nocapture %f) { 9entry: 10 %tobool = icmp eq i32 %x, 0 11 br i1 %tobool, label %if.end, label %if.then 12 13if.then: ; preds = %entry 14 %callee.knr.cast = bitcast void (...)* %f to void ()* 15 tail call void %callee.knr.cast() #1 16 br label %if.end 17 18if.end: ; preds = %entry, %if.then 19 %z.0 = phi i8 [ 3, %if.then ], [ 0, %entry ] 20 ret i8 %z.0 21} 22