291 lines · plain
1; RUN: llc -regalloc=greedy -verify-coalescing -mtriple=x86_64-unknown-linux-gnu < %s2; Check the live range is updated properly after register coalescing.3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5 6@.str = internal unnamed_addr constant { [17 x i8], [47 x i8] } { [17 x i8] c"0123456789ABCDEF\00", [47 x i8] zeroinitializer }, align 327@b = common local_unnamed_addr global i32 0, align 48@a = common local_unnamed_addr global ptr null, align 89@__sancov_gen_cov = private global [9 x i32] zeroinitializer10 11; Function Attrs: nounwind sanitize_address12define void @fn2(ptr %p1) local_unnamed_addr #0 {13entry:14 %0 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 4) to ptr) monotonic, align 415 %1 = icmp sge i32 0, %016 br i1 %1, label %2, label %317 18; <label>:2: ; preds = %entry19 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 4) to ptr))20 call void asm sideeffect "", ""()21 br label %322 23; <label>:3: ; preds = %entry, %224 br label %while.cond.outer25 26while.cond.outer: ; preds = %75, %327 %e.0.ph = phi ptr [ %e.058, %75 ], [ undef, %3 ]28 %c.0.ph = phi ptr [ %c.059, %75 ], [ undef, %3 ]29 %p1.addr.0.ph = phi ptr [ %incdec.ptr60, %75 ], [ %p1, %3 ]30 %4 = ptrtoint ptr %p1.addr.0.ph to i6431 %5 = lshr i64 %4, 332 %6 = add i64 %5, 214745088033 %7 = inttoptr i64 %6 to ptr34 %8 = load i8, ptr %735 %9 = icmp ne i8 %8, 036 br i1 %9, label %10, label %1537 38; <label>:10: ; preds = %while.cond.outer39 %11 = and i64 %4, 740 %12 = trunc i64 %11 to i841 %13 = icmp sge i8 %12, %842 br i1 %13, label %14, label %1543 44; <label>:14: ; preds = %1045 call void @__asan_report_load1(i64 %4)46 call void asm sideeffect "", ""()47 unreachable48 49; <label>:15: ; preds = %10, %while.cond.outer50 %16 = load i8, ptr %p1.addr.0.ph, align 151 call void @__sanitizer_cov_trace_cmp1(i8 %16, i8 0)52 %cmp57 = icmp eq i8 %16, 053 br i1 %cmp57, label %while.cond.outer.enoent.loopexit96_crit_edge, label %while.body.preheader54 55while.cond.outer.enoent.loopexit96_crit_edge: ; preds = %1556 %17 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 8) to ptr) monotonic, align 457 %18 = icmp sge i32 0, %1758 br i1 %18, label %19, label %2059 60; <label>:19: ; preds = %while.cond.outer.enoent.loopexit96_crit_edge61 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 8) to ptr))62 call void asm sideeffect "", ""()63 br label %2064 65; <label>:20: ; preds = %while.cond.outer.enoent.loopexit96_crit_edge, %1966 br label %enoent.loopexit9667 68while.body.preheader: ; preds = %1569 br label %while.body70 71while.body: ; preds = %56, %while.body.preheader72 %21 = phi i8 [ %52, %56 ], [ %16, %while.body.preheader ]73 %p1.addr.0.ph.pn = phi ptr [ %incdec.ptr60, %56 ], [ %p1.addr.0.ph, %while.body.preheader ]74 %c.059 = phi ptr [ %incdec.ptr18, %56 ], [ %c.0.ph, %while.body.preheader ]75 %e.058 = phi ptr [ %incdec.ptr60, %56 ], [ %e.0.ph, %while.body.preheader ]76 %incdec.ptr60 = getelementptr inbounds i8, ptr %p1.addr.0.ph.pn, i64 177 %conv = sext i8 %21 to i3278 %call = tail call i32 (ptr, i32, ...) @fn3(ptr @.str, i32 %conv) #279 call void @__sanitizer_cov_trace_cmp4(i32 %call, i32 0)80 %tobool = icmp eq i32 %call, 081 br i1 %tobool, label %if.end5, label %cleanup82 83if.end5: ; preds = %while.body84 call void @__sanitizer_cov_trace_cmp1(i8 %21, i8 58)85 %cmp6 = icmp eq i8 %21, 5886 br i1 %cmp6, label %if.end14, label %cleanup.thread4087 88if.end14: ; preds = %if.end589 %lshr1 = lshr i64 ptrtoint (ptr @a to i64), 390 %add1 = add i64 %lshr1, 214745088091 %inttoptr1 = inttoptr i64 %add1 to ptr92 %22 = load i8, ptr %inttoptr193 %23 = icmp ne i8 %22, 094 br i1 %23, label %24, label %2595 96; <label>:24: ; preds = %if.end1497 call void @__asan_report_load8(i64 ptrtoint (ptr @a to i64))98 call void asm sideeffect "", ""()99 unreachable100 101; <label>:25: ; preds = %if.end14102 %26 = load ptr, ptr @a, align 8103 %tobool15 = icmp eq ptr %26, null104 br i1 %tobool15, label %cleanup.thread39, label %cleanup23.loopexit105 106cleanup.thread39: ; preds = %25107 %incdec.ptr18 = getelementptr inbounds i32, ptr %c.059, i64 1108 %27 = ptrtoint ptr %c.059 to i64109 %28 = lshr i64 %27, 3110 %29 = add i64 %28, 2147450880111 %30 = inttoptr i64 %29 to ptr112 %31 = load i8, ptr %30113 %32 = icmp ne i8 %31, 0114 br i1 %32, label %33, label %39115 116; <label>:33: ; preds = %cleanup.thread39117 %34 = and i64 %27, 7118 %35 = add i64 %34, 3119 %36 = trunc i64 %35 to i8120 %37 = icmp sge i8 %36, %31121 br i1 %37, label %38, label %39122 123; <label>:38: ; preds = %33124 call void @__asan_report_store4(i64 %27)125 call void asm sideeffect "", ""()126 unreachable127 128; <label>:39: ; preds = %33, %cleanup.thread39129 store i32 0, ptr %c.059, align 4130 %40 = ptrtoint ptr %incdec.ptr60 to i64131 %41 = lshr i64 %40, 3132 %42 = add i64 %41, 2147450880133 %43 = inttoptr i64 %42 to ptr134 %44 = load i8, ptr %43135 %45 = icmp ne i8 %44, 0136 br i1 %45, label %46, label %51137 138; <label>:46: ; preds = %39139 %47 = and i64 %40, 7140 %48 = trunc i64 %47 to i8141 %49 = icmp sge i8 %48, %44142 br i1 %49, label %50, label %51143 144; <label>:50: ; preds = %46145 call void @__asan_report_load1(i64 %40)146 call void asm sideeffect "", ""()147 unreachable148 149; <label>:51: ; preds = %46, %39150 %52 = load i8, ptr %incdec.ptr60, align 1151 call void @__sanitizer_cov_trace_cmp1(i8 %52, i8 0)152 %cmp = icmp eq i8 %52, 0153 br i1 %cmp, label %enoent.loopexit, label %cleanup.thread39.while.body_crit_edge154 155cleanup.thread39.while.body_crit_edge: ; preds = %51156 %53 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 12) to ptr) monotonic, align 4157 %54 = icmp sge i32 0, %53158 br i1 %54, label %55, label %56159 160; <label>:55: ; preds = %cleanup.thread39.while.body_crit_edge161 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 12) to ptr))162 call void asm sideeffect "", ""()163 br label %56164 165; <label>:56: ; preds = %cleanup.thread39.while.body_crit_edge, %55166 br label %while.body167 168cleanup.thread40: ; preds = %if.end5169 %57 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 16) to ptr) monotonic, align 4170 %58 = icmp sge i32 0, %57171 br i1 %58, label %59, label %60172 173; <label>:59: ; preds = %cleanup.thread40174 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 16) to ptr))175 call void asm sideeffect "", ""()176 br label %60177 178; <label>:60: ; preds = %cleanup.thread40, %59179 %call20 = tail call i32 (ptr, ...) @fn4(ptr %e.058) #2180 br label %enoent181 182cleanup: ; preds = %while.body183 %lshr2 = lshr i64 ptrtoint (ptr @b to i64), 3184 %add2 = add i64 %lshr2, 2147450880185 %inttoptr2 = inttoptr i64 %add2 to ptr186 %61 = load i8, ptr %inttoptr2187 %62 = icmp ne i8 %61, 0188 br i1 %62, label %63, label %66189 190; <label>:63: ; preds = %cleanup191 %and = and i64 ptrtoint (ptr @b to i64), 7192 %add = add i64 %and, 3193 %trunc = trunc i64 %add to i8194 %64 = icmp sge i8 %trunc, %61195 br i1 %64, label %65, label %66196 197; <label>:65: ; preds = %63198 call void @__asan_report_load4(i64 ptrtoint (ptr @b to i64))199 call void asm sideeffect "", ""()200 unreachable201 202; <label>:66: ; preds = %63, %cleanup203 %67 = load i32, ptr @b, align 4204 call void @__sanitizer_cov_trace_cmp4(i32 %67, i32 0)205 %tobool3 = icmp eq i32 %67, 0206 br i1 %tobool3, label %cleanup.while.cond.outer_crit_edge, label %cleanup.enoent.loopexit96_crit_edge207 208cleanup.enoent.loopexit96_crit_edge: ; preds = %66209 %68 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 20) to ptr) monotonic, align 4210 %69 = icmp sge i32 0, %68211 br i1 %69, label %70, label %71212 213; <label>:70: ; preds = %cleanup.enoent.loopexit96_crit_edge214 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 20) to ptr))215 call void asm sideeffect "", ""()216 br label %71217 218; <label>:71: ; preds = %cleanup.enoent.loopexit96_crit_edge, %70219 br label %enoent.loopexit96220 221cleanup.while.cond.outer_crit_edge: ; preds = %66222 %72 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 24) to ptr) monotonic, align 4223 %73 = icmp sge i32 0, %72224 br i1 %73, label %74, label %75225 226; <label>:74: ; preds = %cleanup.while.cond.outer_crit_edge227 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 24) to ptr))228 call void asm sideeffect "", ""()229 br label %75230 231; <label>:75: ; preds = %cleanup.while.cond.outer_crit_edge, %74232 br label %while.cond.outer233 234enoent.loopexit: ; preds = %51235 %76 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 28) to ptr) monotonic, align 4236 %77 = icmp sge i32 0, %76237 br i1 %77, label %78, label %79238 239; <label>:78: ; preds = %enoent.loopexit240 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 28) to ptr))241 call void asm sideeffect "", ""()242 br label %79243 244; <label>:79: ; preds = %enoent.loopexit, %78245 br label %enoent246 247enoent.loopexit96: ; preds = %71, %20248 br label %enoent249 250enoent: ; preds = %enoent.loopexit96, %79, %60251 %call22 = tail call ptr (...) @fn1() #2252 br label %cleanup23253 254cleanup23.loopexit: ; preds = %25255 %80 = load atomic i32, ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 32) to ptr) monotonic, align 4256 %81 = icmp sge i32 0, %80257 br i1 %81, label %82, label %83258 259; <label>:82: ; preds = %cleanup23.loopexit260 call void @__sanitizer_cov(ptr inttoptr (i64 add (i64 ptrtoint (ptr @__sancov_gen_cov to i64), i64 32) to ptr))261 call void asm sideeffect "", ""()262 br label %83263 264; <label>:83: ; preds = %cleanup23.loopexit, %82265 br label %cleanup23266 267cleanup23: ; preds = %83, %enoent268 ret void269}270 271declare i32 @fn3(...) local_unnamed_addr #1272 273declare i32 @fn4(...) local_unnamed_addr #1274 275declare ptr @fn1(...) local_unnamed_addr #1276 277declare void @__sanitizer_cov(ptr)278 279declare void @__sanitizer_cov_trace_cmp1(i8, i8)280 281declare void @__sanitizer_cov_trace_cmp4(i32, i32)282 283declare void @__asan_report_load1(i64)284 285declare void @__asan_report_load4(i64)286 287declare void @__asan_report_load8(i64)288 289declare void @__asan_report_store4(i64)290 291