1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S %s | FileCheck %s 3; Make sure we don't speculate loads under AddressSanitizer. 4@g = global i32 0, align 4 5 6define i32 @TestNoAsan(i32 %cond) nounwind readonly uwtable { 7; CHECK-LABEL: @TestNoAsan( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[COND:%.*]], 0 10; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @g, align 4 11; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i32 0, i32 [[TMP0]] 12; CHECK-NEXT: ret i32 [[SPEC_SELECT]] 13; 14entry: 15 %tobool = icmp eq i32 %cond, 0 16 br i1 %tobool, label %return, label %if.then 17 18if.then: ; preds = %entry 19 %0 = load i32, ptr @g, align 4 20 br label %return 21 22return: ; preds = %entry, %if.then 23 %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] 24 ret i32 %retval 25} 26 27define i32 @TestAsan(i32 %cond) nounwind readonly uwtable sanitize_address { 28; CHECK-LABEL: @TestAsan( 29; CHECK-NEXT: entry: 30; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[COND:%.*]], 0 31; CHECK-NEXT: br i1 [[TOBOOL]], label [[RETURN:%.*]], label [[IF_THEN:%.*]] 32; CHECK: if.then: 33; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @g, align 4 34; CHECK-NEXT: br label [[RETURN]] 35; CHECK: return: 36; CHECK-NEXT: [[RETVAL:%.*]] = phi i32 [ [[TMP0]], [[IF_THEN]] ], [ 0, [[ENTRY:%.*]] ] 37; CHECK-NEXT: ret i32 [[RETVAL]] 38; 39entry: 40 %tobool = icmp eq i32 %cond, 0 41 br i1 %tobool, label %return, label %if.then 42 43if.then: ; preds = %entry 44 %0 = load i32, ptr @g, align 4 45 br label %return 46 47return: ; preds = %entry, %if.then 48 %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] 49 ret i32 %retval 50} 51 52define i32 @TestHWAsan(i32 %cond) nounwind readonly uwtable sanitize_hwaddress { 53; CHECK-LABEL: @TestHWAsan( 54; CHECK-NEXT: entry: 55; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[COND:%.*]], 0 56; CHECK-NEXT: br i1 [[TOBOOL]], label [[RETURN:%.*]], label [[IF_THEN:%.*]] 57; CHECK: if.then: 58; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @g, align 4 59; CHECK-NEXT: br label [[RETURN]] 60; CHECK: return: 61; CHECK-NEXT: [[RETVAL:%.*]] = phi i32 [ [[TMP0]], [[IF_THEN]] ], [ 0, [[ENTRY:%.*]] ] 62; CHECK-NEXT: ret i32 [[RETVAL]] 63; 64entry: 65 %tobool = icmp eq i32 %cond, 0 66 br i1 %tobool, label %return, label %if.then 67 68if.then: ; preds = %entry 69 %0 = load i32, ptr @g, align 4 70 br label %return 71 72return: ; preds = %entry, %if.then 73 %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] 74 ret i32 %retval 75} 76