1; RUN: llc -verify-machineinstrs < %s | FileCheck %s 2target 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" 3target triple = "powerpc64-unknown-linux-gnu" 4 5%struct.foo = type { i8, i8 } 6 7define 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) 11entry: 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 16 17if.then: ; preds = %entry 18 %conv = sext i16 %bf.val.sext to i32 19 tail call void @exit(i32 %conv) 20 br label %if.end 21 22if.end: ; preds = %entry, %if.then 23 ret void 24} 25 26declare void @exit(i32) 27