@@ -7,10 +7,9 @@ target triple = "x86_64-grtev4-linux-gnu"
77define i32 @test_plain (i1 %f , ptr %a , ptr %b ) {
88; CHECK-LABEL: @test_plain(
99; CHECK-NEXT: entry:
10- ; CHECK-NEXT: [[A_VAL:%.*]] = load i32, ptr [[A:%.*]], align 8
11- ; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B:%.*]], align 8
12- ; CHECK-NEXT: [[L:%.*]] = select i1 [[F:%.*]], i32 [[A_VAL]], i32 [[B_VAL]]
13- ; CHECK-NEXT: ret i32 [[L]]
10+ ; CHECK-NEXT: [[B:%.*]] = select i1 [[F:%.*]], ptr [[A:%.*]], ptr [[B1:%.*]]
11+ ; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B]], align 8
12+ ; CHECK-NEXT: ret i32 [[B_VAL]]
1413;
1514entry:
1615 %sel = select i1 %f , ptr %a , ptr %b
@@ -81,10 +80,9 @@ entry:
8180define i32 @test_msan (i1 %f , ptr %a , ptr %b ) sanitize_memory {
8281; CHECK-LABEL: @test_msan(
8382; CHECK-NEXT: entry:
84- ; CHECK-NEXT: [[A_VAL:%.*]] = load i32, ptr [[A:%.*]], align 8
85- ; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B:%.*]], align 8
86- ; CHECK-NEXT: [[L:%.*]] = select i1 [[F:%.*]], i32 [[A_VAL]], i32 [[B_VAL]]
87- ; CHECK-NEXT: ret i32 [[L]]
83+ ; CHECK-NEXT: [[B:%.*]] = select i1 [[F:%.*]], ptr [[A:%.*]], ptr [[B1:%.*]]
84+ ; CHECK-NEXT: [[B_VAL:%.*]] = load i32, ptr [[B]], align 8
85+ ; CHECK-NEXT: ret i32 [[B_VAL]]
8886;
8987entry:
9088 %sel = select i1 %f , ptr %a , ptr %b
0 commit comments