1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -codegenprepare -S -mtriple=x86_64-linux < %s | FileCheck %s 3 4define i32 @test1(i8* %d) nounwind { 5; CHECK-LABEL: @test1( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[L:%.*]] = load i8, i8* [[D:%.*]], align 1 8; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[L]], 0 9; CHECK-NEXT: br i1 [[CMP]], label [[EXIT:%.*]], label [[IF_END:%.*]] 10; CHECK: if.end: 11; CHECK-NEXT: br label [[EXIT]] 12; CHECK: exit: 13; CHECK-NEXT: [[TMP0:%.*]] = icmp eq i8 [[L]], 0 14; CHECK-NEXT: [[CONV:%.*]] = zext i1 [[TMP0]] to i32 15; CHECK-NEXT: ret i32 [[CONV]] 16; 17entry: 18 %l = load i8, i8* %d 19 %cmp = icmp eq i8 %l, 0 20 br i1 %cmp, label %exit, label %if.end 21 22if.end: 23 %gep = getelementptr i8, i8* %d, i32 42 24 %call = call i64 @foo(i8* %gep) nounwind readonly 25 %cmp2 = icmp ne i64 %call, 0 26 call void @llvm.assume(i1 %cmp2) 27 br label %exit 28 29exit: 30 %conv = zext i1 %cmp to i32 31 ret i32 %conv 32} 33 34declare i64 @foo(i8*) nounwind readonly 35declare void @llvm.assume(i1 noundef) nounwind willreturn 36