1*9880d681SAndroid Build Coastguard Worker; RUN: llc -march=hexagon < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; The result of max(half-word, half-word) is also half-word. 3*9880d681SAndroid Build Coastguard Worker; Check that we are not producing a sign extend after the max. 4*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: sxth 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine i64 @test_cast(i64 %arg0, i16 zeroext %arg1, i16 zeroext %arg2) nounwind readnone { 7*9880d681SAndroid Build Coastguard Workerentry: 8*9880d681SAndroid Build Coastguard Worker %conv.i = zext i16 %arg1 to i32 9*9880d681SAndroid Build Coastguard Worker %conv1.i = zext i16 %arg2 to i32 10*9880d681SAndroid Build Coastguard Worker %sub.i = sub nsw i32 %conv.i, %conv1.i 11*9880d681SAndroid Build Coastguard Worker %sext.i = shl i32 %sub.i, 16 12*9880d681SAndroid Build Coastguard Worker %cmp.i = icmp slt i32 %sext.i, 65536 13*9880d681SAndroid Build Coastguard Worker %0 = ashr exact i32 %sext.i, 16 14*9880d681SAndroid Build Coastguard Worker %conv7.i = select i1 %cmp.i, i32 1, i32 %0 15*9880d681SAndroid Build Coastguard Worker %cmp8.i = icmp sgt i32 %conv7.i, 4 16*9880d681SAndroid Build Coastguard Worker %conv7.op.i = add i32 %conv7.i, 65535 17*9880d681SAndroid Build Coastguard Worker %shl = shl i64 %arg0, 2 18*9880d681SAndroid Build Coastguard Worker %.mask = and i32 %conv7.op.i, 65535 19*9880d681SAndroid Build Coastguard Worker %1 = zext i32 %.mask to i64 20*9880d681SAndroid Build Coastguard Worker %conv = select i1 %cmp8.i, i64 3, i64 %1 21*9880d681SAndroid Build Coastguard Worker %or = or i64 %conv, %shl 22*9880d681SAndroid Build Coastguard Worker ret i64 %or 23*9880d681SAndroid Build Coastguard Worker} 24