| ; RUN: opt -simplifycfg -S %s | FileCheck %s |
| ; Make sure we don't speculate loads under AddressSanitizer. |
| @g = global i32 0, align 4 |
| |
| define i32 @TestNoAsan(i32 %cond) nounwind readonly uwtable { |
| entry: |
| %tobool = icmp eq i32 %cond, 0 |
| br i1 %tobool, label %return, label %if.then |
| |
| if.then: ; preds = %entry |
| %0 = load i32, i32* @g, align 4 |
| br label %return |
| |
| return: ; preds = %entry, %if.then |
| %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] |
| ret i32 %retval |
| ; CHECK-LABEL: @TestNoAsan |
| ; CHECK: %[[LOAD:[^ ]*]] = load |
| ; CHECK: select{{.*}}[[LOAD]] |
| ; CHECK: ret i32 |
| } |
| |
| define i32 @TestAsan(i32 %cond) nounwind readonly uwtable sanitize_address { |
| entry: |
| %tobool = icmp eq i32 %cond, 0 |
| br i1 %tobool, label %return, label %if.then |
| |
| if.then: ; preds = %entry |
| %0 = load i32, i32* @g, align 4 |
| br label %return |
| |
| return: ; preds = %entry, %if.then |
| %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] |
| ret i32 %retval |
| ; CHECK-LABEL: @TestAsan |
| ; CHECK: br i1 |
| ; CHECK: load i32, i32* @g |
| ; CHECK: br label |
| ; CHECK: ret i32 |
| } |
| |
| define i32 @TestHWAsan(i32 %cond) nounwind readonly uwtable sanitize_hwaddress { |
| entry: |
| %tobool = icmp eq i32 %cond, 0 |
| br i1 %tobool, label %return, label %if.then |
| |
| if.then: ; preds = %entry |
| %0 = load i32, i32* @g, align 4 |
| br label %return |
| |
| return: ; preds = %entry, %if.then |
| %retval = phi i32 [ %0, %if.then ], [ 0, %entry ] |
| ret i32 %retval |
| ; CHECK-LABEL: @TestHWAsan |
| ; CHECK: br i1 |
| ; CHECK: load i32, i32* @g |
| ; CHECK: br label |
| ; CHECK: ret i32 |
| } |
