1*4e34915bSDmitry Makogon; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 210cee821SDmitry Makogon; RUN: opt -S -passes=guard-widening,verify < %s | FileCheck %s 310cee821SDmitry Makogontarget datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2" 410cee821SDmitry Makogontarget triple = "x86_64-unknown-linux-gnu" 510cee821SDmitry Makogon 6*4e34915bSDmitry Makogon; Make sure GuardWidening moves 'check' instruction before 'wc1' together with its operand - 'zero'. 710cee821SDmitry Makogondefine void @foo() { 8*4e34915bSDmitry Makogon; CHECK-LABEL: @foo( 9*4e34915bSDmitry Makogon; CHECK-NEXT: bb: 10*4e34915bSDmitry Makogon; CHECK-NEXT: [[ZERO:%.*]] = add i32 0, 0 11*4e34915bSDmitry Makogon; CHECK-NEXT: [[WIDE_CHK:%.*]] = icmp ult i32 [[ZERO]], 0 12*4e34915bSDmitry Makogon; CHECK-NEXT: [[WC1:%.*]] = call i1 @llvm.experimental.widenable.condition() 13*4e34915bSDmitry Makogon; CHECK-NEXT: [[WC2:%.*]] = call i1 @llvm.experimental.widenable.condition() 14*4e34915bSDmitry Makogon; CHECK-NEXT: [[CHECK:%.*]] = icmp ult i32 [[ZERO]], 0 15*4e34915bSDmitry Makogon; CHECK-NEXT: [[C2:%.*]] = and i1 [[CHECK]], [[WC2]] 16*4e34915bSDmitry Makogon; CHECK-NEXT: [[C1:%.*]] = and i1 [[WIDE_CHK]], [[WC1]] 17*4e34915bSDmitry Makogon; CHECK-NEXT: br i1 [[C1]], label [[BB6:%.*]], label [[BB9:%.*]] 18*4e34915bSDmitry Makogon; CHECK: bb6: 19*4e34915bSDmitry Makogon; CHECK-NEXT: br i1 true, label [[BB7:%.*]], label [[BB8:%.*]] 20*4e34915bSDmitry Makogon; CHECK: bb7: 21*4e34915bSDmitry Makogon; CHECK-NEXT: ret void 22*4e34915bSDmitry Makogon; CHECK: bb8: 23*4e34915bSDmitry Makogon; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid(i32 0) [ "deopt"() ] 24*4e34915bSDmitry Makogon; CHECK-NEXT: ret void 25*4e34915bSDmitry Makogon; CHECK: bb9: 26*4e34915bSDmitry Makogon; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid(i32 0) [ "deopt"() ] 27*4e34915bSDmitry Makogon; CHECK-NEXT: ret void 28*4e34915bSDmitry Makogon; 2910cee821SDmitry Makogonbb: 3010cee821SDmitry Makogon %wc1 = call i1 @llvm.experimental.widenable.condition() 3110cee821SDmitry Makogon %wc2 = call i1 @llvm.experimental.widenable.condition() 3210cee821SDmitry Makogon %zero = add i32 0, 0 3310cee821SDmitry Makogon %check = icmp ult i32 %zero, 0 3410cee821SDmitry Makogon %c1 = and i1 %check, %wc1 3510cee821SDmitry Makogon %c2 = and i1 %check, %wc2 3610cee821SDmitry Makogon br i1 %c1, label %bb6, label %bb9 3710cee821SDmitry Makogon 3810cee821SDmitry Makogonbb6: ; preds = %bb 3910cee821SDmitry Makogon br i1 %c2, label %bb7, label %bb8 4010cee821SDmitry Makogon 4110cee821SDmitry Makogonbb7: ; preds = %bb6 4210cee821SDmitry Makogon ret void 4310cee821SDmitry Makogon 4410cee821SDmitry Makogonbb8: ; preds = %bb6 4510cee821SDmitry Makogon call void (...) @llvm.experimental.deoptimize.isVoid(i32 0) [ "deopt"() ] 4610cee821SDmitry Makogon ret void 4710cee821SDmitry Makogon 4810cee821SDmitry Makogonbb9: ; preds = %bb 4910cee821SDmitry Makogon call void (...) @llvm.experimental.deoptimize.isVoid(i32 0) [ "deopt"() ] 5010cee821SDmitry Makogon ret void 5110cee821SDmitry Makogon} 5210cee821SDmitry Makogon 5310cee821SDmitry Makogondeclare void @llvm.experimental.deoptimize.isVoid(...) 5410cee821SDmitry Makogon 5510cee821SDmitry Makogon; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(inaccessiblemem: readwrite) 5610cee821SDmitry Makogondeclare i1 @llvm.experimental.widenable.condition() #0 5710cee821SDmitry Makogon 5810cee821SDmitry Makogonattributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(inaccessiblemem: readwrite) } 59