1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=instcombine -S < %s | FileCheck %s 3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" 5target triple = "x86_64-grtev4-linux-gnu" 6 7define i32 @test_plain(i1 %f) { 8; CHECK-LABEL: @test_plain( 9; CHECK-NEXT: entry: 10; CHECK-NEXT: [[A:%.*]] = alloca i32, align 8 11; CHECK-NEXT: [[B:%.*]] = alloca i32, align 8 12; CHECK-NEXT: [[A_VAL:%.*]] = load i32, ptr [[A]], align 8 13; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B]], align 8 14; CHECK-NEXT: [[L:%.*]] = select i1 [[F:%.*]], i32 [[A_VAL]], i32 [[B_VAL]] 15; CHECK-NEXT: ret i32 [[L]] 16; 17entry: 18 %a = alloca i32, align 8 19 %b = alloca i32, align 8 20 %sel = select i1 %f, ptr %a, ptr %b 21 %l = load i32, ptr %sel, align 8 22 ret i32 %l 23} 24 25; Don't speculate as the condition may control which memory is valid from 26; sanitizer perspective. 27define i32 @test_asan(i1 %f) sanitize_address { 28; CHECK-LABEL: @test_asan( 29; CHECK-NEXT: entry: 30; CHECK-NEXT: [[A:%.*]] = alloca i32, align 8 31; CHECK-NEXT: [[B:%.*]] = alloca i32, align 8 32; CHECK-NEXT: [[SEL:%.*]] = select i1 [[F:%.*]], ptr [[A]], ptr [[B]] 33; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[SEL]], align 8 34; CHECK-NEXT: ret i32 [[L]] 35; 36entry: 37 %a = alloca i32, align 8 38 %b = alloca i32, align 8 39 %sel = select i1 %f, ptr %a, ptr %b 40 %l = load i32, ptr %sel, align 8 41 ret i32 %l 42} 43 44 45; Don't speculate as the condition may control which memory is valid from 46; sanitizer perspective. 47define i32 @test_hwasan(i1 %f) sanitize_hwaddress { 48; CHECK-LABEL: @test_hwasan( 49; CHECK-NEXT: entry: 50; CHECK-NEXT: [[A:%.*]] = alloca i32, align 8 51; CHECK-NEXT: [[B:%.*]] = alloca i32, align 8 52; CHECK-NEXT: [[SEL:%.*]] = select i1 [[F:%.*]], ptr [[A]], ptr [[B]] 53; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[SEL]], align 8 54; CHECK-NEXT: ret i32 [[L]] 55; 56entry: 57 %a = alloca i32, align 8 58 %b = alloca i32, align 8 59 %sel = select i1 %f, ptr %a, ptr %b 60 %l = load i32, ptr %sel, align 8 61 ret i32 %l 62} 63 64; Don't speculate as the condition may control which memory is valid from 65; sanitizer perspective. 66define i32 @test_tsan(i1 %f) sanitize_thread { 67; CHECK-LABEL: @test_tsan( 68; CHECK-NEXT: entry: 69; CHECK-NEXT: [[A:%.*]] = alloca i32, align 8 70; CHECK-NEXT: [[B:%.*]] = alloca i32, align 8 71; CHECK-NEXT: [[SEL:%.*]] = select i1 [[F:%.*]], ptr [[A]], ptr [[B]] 72; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[SEL]], align 8 73; CHECK-NEXT: ret i32 [[L]] 74; 75entry: 76 %a = alloca i32, align 8 77 %b = alloca i32, align 8 78 %sel = select i1 %f, ptr %a, ptr %b 79 %l = load i32, ptr %sel, align 8 80 ret i32 %l 81} 82 83; Msan just propagates shadow, even if speculated load accesses uninitialized 84; value, instrumentation will select shadow of the desired value anyway. 85define i32 @test_msan(i1 %f) sanitize_memory { 86; CHECK-LABEL: @test_msan( 87; CHECK-NEXT: entry: 88; CHECK-NEXT: [[A:%.*]] = alloca i32, align 8 89; CHECK-NEXT: [[B:%.*]] = alloca i32, align 8 90; CHECK-NEXT: [[A_VAL:%.*]] = load i32, ptr [[A]], align 8 91; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B]], align 8 92; CHECK-NEXT: [[L:%.*]] = select i1 [[F:%.*]], i32 [[A_VAL]], i32 [[B_VAL]] 93; CHECK-NEXT: ret i32 [[L]] 94; 95entry: 96 %a = alloca i32, align 8 97 %b = alloca i32, align 8 98 %sel = select i1 %f, ptr %a, ptr %b 99 %l = load i32, ptr %sel, align 8 100 ret i32 %l 101} 102