| ; 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, ptr nocapture %f) { | |
| entry: | |
| %tobool = icmp eq i32 %x, 0 | |
| br i1 %tobool, label %if.end, label %if.then | |
| if.then: ; preds = %entry | |
| tail call void %f() #1 | |
| br label %if.end | |
| if.end: ; preds = %entry, %if.then | |
| %z.0 = phi i8 [ 3, %if.then ], [ 0, %entry ] | |
| ret i8 %z.0 | |
| } |