1 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s
2 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"
3 target triple = "powerpc64-unknown-linux-gnu"
5 %struct.foo = type { i8, i8 }
7 define void @_Z5check3foos(ptr nocapture byval(%struct.foo) %f, i16 signext %i) noinline {
8 ; CHECK-LABEL: _Z5check3foos:
9 ; CHECK: sth 3, {{[0-9]+}}(1)
10 ; CHECK: lbz {{[0-9]+}}, {{[0-9]+}}(1)
12 %0 = load i16, ptr %f, align 2
13 %bf.val.sext = ashr i16 %0, 8
14 %cmp = icmp eq i16 %bf.val.sext, %i
15 br i1 %cmp, label %if.end, label %if.then
17 if.then: ; preds = %entry
18 %conv = sext i16 %bf.val.sext to i32
19 tail call void @exit(i32 %conv)
22 if.end: ; preds = %entry, %if.then
26 declare void @exit(i32)