1; RUN: opt -simplifycfg -S %s | FileCheck %s 2; Make sure we don't speculate loads under AddressSanitizer. 3@g = global i32 0, align 4 4 5define i32 @TestNoAsan(i32 %cond) nounwind readonly uwtable { 6entry: 7 %tobool = icmp eq i32 %cond, 0 8 br i1 %tobool, label %return, label %if.then 9 10if.then: ; preds = %entry 11 %0 = load i32, i32* @g, align 4 12 br label %return 13 14return: ; preds = %entry, %if.then 15 %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] 16 ret i32 %retval 17; CHECK-LABEL: @TestNoAsan 18; CHECK: %[[LOAD:[^ ]*]] = load 19; CHECK: select{{.*}}[[LOAD]] 20; CHECK: ret i32 21} 22 23define i32 @TestAsan(i32 %cond) nounwind readonly uwtable sanitize_address { 24entry: 25 %tobool = icmp eq i32 %cond, 0 26 br i1 %tobool, label %return, label %if.then 27 28if.then: ; preds = %entry 29 %0 = load i32, i32* @g, align 4 30 br label %return 31 32return: ; preds = %entry, %if.then 33 %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] 34 ret i32 %retval 35; CHECK-LABEL: @TestAsan 36; CHECK: br i1 37; CHECK: load i32, i32* @g 38; CHECK: br label 39; CHECK: ret i32 40} 41