91 lines · plain
1; Test zE12 conditional traps2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=zEC12 | FileCheck %s4 5declare void @llvm.trap()6 7; Check conditional compare logical and trap8define i32 @f1(i32 zeroext %a, ptr %ptr) {9; CHECK-LABEL: f1:10; CHECK: clth %r2, 0(%r3)11; CHECK: lhi %r2, 012; CHECK: br %r1413entry:14 %b = load i32, ptr %ptr15 %cmp = icmp ugt i32 %a, %b16 br i1 %cmp, label %if.then, label %if.end17 18if.then: ; preds = %entry19 tail call void @llvm.trap()20 unreachable21 22if.end: ; preds = %entry23 ret i32 024}25 26; Check conditional compare logical grande and trap27define i64 @f2(i64 zeroext %a, ptr %ptr) {28; CHECK-LABEL: f2:29; CHECK: clgtl %r2, 0(%r3)30; CHECK: lghi %r2, 031; CHECK: br %r1432entry:33 %b = load i64, ptr %ptr34 %cmp = icmp ult i64 %a, %b35 br i1 %cmp, label %if.then, label %if.end36 37if.then: ; preds = %entry38 tail call void @llvm.trap()39 unreachable40 41if.end: ; preds = %entry42 ret i64 043}44 45; Verify that we don't attempt to use the compare and trap46; instruction with an index operand.47define i32 @f3(i32 zeroext %a, ptr %base, i64 %offset) {48; CHECK-LABEL: f3:49; CHECK: cl %r2, 0(%r{{[0-5]}},%r3)50; CHECK: lhi %r2, 051; CHECK-LABEL: .Ltmp052; CHECK: jh .Ltmp0+253; CHECK: br %r1454entry:55 %ptr = getelementptr i32, ptr %base, i64 %offset56 %b = load i32, ptr %ptr57 %cmp = icmp ugt i32 %a, %b58 br i1 %cmp, label %if.then, label %if.end59 60if.then: ; preds = %entry61 tail call void @llvm.trap()62 unreachable63 64if.end: ; preds = %entry65 ret i32 066}67 68; Verify that we don't attempt to use the compare and trap grande69; instruction with an index operand.70define i64 @f4(i64 %a, ptr %base, i64 %offset) {71; CHECK-LABEL: f4:72; CHECK: clg %r2, 0(%r{{[0-5]}},%r3)73; CHECK: lghi %r2, 074; CHECK-LABEL: .Ltmp175; CHECK: jh .Ltmp1+276; CHECK: br %r1477entry:78 %ptr = getelementptr i64, ptr %base, i64 %offset79 %b = load i64, ptr %ptr80 %cmp = icmp ugt i64 %a, %b81 br i1 %cmp, label %if.then, label %if.end82 83if.then: ; preds = %entry84 tail call void @llvm.trap()85 unreachable86 87if.end: ; preds = %entry88 ret i64 089}90 91