uint.carbon 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // INCLUDE-FILE: toolchain/testing/testdata/min_prelude/primitives.carbon
  6. //
  7. // AUTOUPDATE
  8. // TIP: To test this file alone, run:
  9. // TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/lower/testdata/builtins/uint.carbon
  10. // TIP: To dump output, run:
  11. // TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/lower/testdata/builtins/uint.carbon
  12. fn Negate(a: u64) -> u64 = "int.unegate";
  13. fn TestNegate(a: u64) -> u64 { return Negate(a); }
  14. fn Add(a: u64, b: u64) -> u64 = "int.uadd";
  15. fn TestAdd(a: u64, b: u64) -> u64 { return Add(a, b); }
  16. fn Sub(a: u64, b: u64) -> u64 = "int.usub";
  17. fn TestSub(a: u64, b: u64) -> u64 { return Sub(a, b); }
  18. fn Mul(a: u64, b: u64) -> u64 = "int.umul";
  19. fn TestMul(a: u64, b: u64) -> u64 { return Mul(a, b); }
  20. fn Div(a: u64, b: u64) -> u64 = "int.udiv";
  21. fn TestDiv(a: u64, b: u64) -> u64 { return Div(a, b); }
  22. fn Mod(a: u64, b: u64) -> u64 = "int.umod";
  23. fn TestMod(a: u64, b: u64) -> u64 { return Mod(a, b); }
  24. fn Complement(a: u64) -> u64 = "int.complement";
  25. fn TestComplement(a: u64) -> u64 { return Complement(a); }
  26. fn And(a: u64, b: u64) -> u64 = "int.and";
  27. fn TestAnd(a: u64, b: u64) -> u64 { return And(a, b); }
  28. fn Or(a: u64, b: u64) -> u64 = "int.or";
  29. fn TestOr(a: u64, b: u64) -> u64 { return Or(a, b); }
  30. fn Xor(a: u64, b: u64) -> u64 = "int.xor";
  31. fn TestXor(a: u64, b: u64) -> u64 { return Xor(a, b); }
  32. fn LeftShift(a: u64, b: u64) -> u64 = "int.left_shift";
  33. fn TestLeftShift(a: u64, b: u64) -> u64 { return LeftShift(a, b); }
  34. fn RightShift(a: u64, b: u64) -> u64 = "int.right_shift";
  35. fn TestRightShift(a: u64, b: u64) -> u64 { return RightShift(a, b); }
  36. fn Eq(a: u64, b: u64) -> bool = "int.eq";
  37. fn TestEq(a: u64, b: u64) -> bool { return Eq(a, b); }
  38. fn Neq(a: u64, b: u64) -> bool = "int.neq";
  39. fn TestNeq(a: u64, b: u64) -> bool { return Neq(a, b); }
  40. fn Less(a: u64, b: u64) -> bool = "int.less";
  41. fn TestLess(a: u64, b: u64) -> bool { return Less(a, b); }
  42. fn LessEq(a: u64, b: u64) -> bool = "int.less_eq";
  43. fn TestLessEq(a: u64, b: u64) -> bool { return LessEq(a, b); }
  44. fn Greater(a: u64, b: u64) -> bool = "int.greater";
  45. fn TestGreater(a: u64, b: u64) -> bool { return Greater(a, b); }
  46. fn GreaterEq(a: u64, b: u64) -> bool = "int.greater_eq";
  47. fn TestGreaterEq(a: u64, b: u64) -> bool { return GreaterEq(a, b); }
  48. // CHECK:STDOUT: ; ModuleID = 'uint.carbon'
  49. // CHECK:STDOUT: source_filename = "uint.carbon"
  50. // CHECK:STDOUT:
  51. // CHECK:STDOUT: ; Function Attrs: nounwind
  52. // CHECK:STDOUT: define i64 @_CTestNegate.Main(i64 %a) #0 !dbg !4 {
  53. // CHECK:STDOUT: entry:
  54. // CHECK:STDOUT: %Negate.call = sub i64 0, %a, !dbg !7
  55. // CHECK:STDOUT: ret i64 %Negate.call, !dbg !8
  56. // CHECK:STDOUT: }
  57. // CHECK:STDOUT:
  58. // CHECK:STDOUT: ; Function Attrs: nounwind
  59. // CHECK:STDOUT: define i64 @_CTestAdd.Main(i64 %a, i64 %b) #0 !dbg !9 {
  60. // CHECK:STDOUT: entry:
  61. // CHECK:STDOUT: %Add.call = add i64 %a, %b, !dbg !10
  62. // CHECK:STDOUT: ret i64 %Add.call, !dbg !11
  63. // CHECK:STDOUT: }
  64. // CHECK:STDOUT:
  65. // CHECK:STDOUT: ; Function Attrs: nounwind
  66. // CHECK:STDOUT: define i64 @_CTestSub.Main(i64 %a, i64 %b) #0 !dbg !12 {
  67. // CHECK:STDOUT: entry:
  68. // CHECK:STDOUT: %Sub.call = sub i64 %a, %b, !dbg !13
  69. // CHECK:STDOUT: ret i64 %Sub.call, !dbg !14
  70. // CHECK:STDOUT: }
  71. // CHECK:STDOUT:
  72. // CHECK:STDOUT: ; Function Attrs: nounwind
  73. // CHECK:STDOUT: define i64 @_CTestMul.Main(i64 %a, i64 %b) #0 !dbg !15 {
  74. // CHECK:STDOUT: entry:
  75. // CHECK:STDOUT: %Mul.call = mul i64 %a, %b, !dbg !16
  76. // CHECK:STDOUT: ret i64 %Mul.call, !dbg !17
  77. // CHECK:STDOUT: }
  78. // CHECK:STDOUT:
  79. // CHECK:STDOUT: ; Function Attrs: nounwind
  80. // CHECK:STDOUT: define i64 @_CTestDiv.Main(i64 %a, i64 %b) #0 !dbg !18 {
  81. // CHECK:STDOUT: entry:
  82. // CHECK:STDOUT: %Div.call = udiv i64 %a, %b, !dbg !19
  83. // CHECK:STDOUT: ret i64 %Div.call, !dbg !20
  84. // CHECK:STDOUT: }
  85. // CHECK:STDOUT:
  86. // CHECK:STDOUT: ; Function Attrs: nounwind
  87. // CHECK:STDOUT: define i64 @_CTestMod.Main(i64 %a, i64 %b) #0 !dbg !21 {
  88. // CHECK:STDOUT: entry:
  89. // CHECK:STDOUT: %Mod.call = urem i64 %a, %b, !dbg !22
  90. // CHECK:STDOUT: ret i64 %Mod.call, !dbg !23
  91. // CHECK:STDOUT: }
  92. // CHECK:STDOUT:
  93. // CHECK:STDOUT: ; Function Attrs: nounwind
  94. // CHECK:STDOUT: define i64 @_CTestComplement.Main(i64 %a) #0 !dbg !24 {
  95. // CHECK:STDOUT: entry:
  96. // CHECK:STDOUT: %Complement.call = xor i64 -1, %a, !dbg !25
  97. // CHECK:STDOUT: ret i64 %Complement.call, !dbg !26
  98. // CHECK:STDOUT: }
  99. // CHECK:STDOUT:
  100. // CHECK:STDOUT: ; Function Attrs: nounwind
  101. // CHECK:STDOUT: define i64 @_CTestAnd.Main(i64 %a, i64 %b) #0 !dbg !27 {
  102. // CHECK:STDOUT: entry:
  103. // CHECK:STDOUT: %And.call = and i64 %a, %b, !dbg !28
  104. // CHECK:STDOUT: ret i64 %And.call, !dbg !29
  105. // CHECK:STDOUT: }
  106. // CHECK:STDOUT:
  107. // CHECK:STDOUT: ; Function Attrs: nounwind
  108. // CHECK:STDOUT: define i64 @_CTestOr.Main(i64 %a, i64 %b) #0 !dbg !30 {
  109. // CHECK:STDOUT: entry:
  110. // CHECK:STDOUT: %Or.call = or i64 %a, %b, !dbg !31
  111. // CHECK:STDOUT: ret i64 %Or.call, !dbg !32
  112. // CHECK:STDOUT: }
  113. // CHECK:STDOUT:
  114. // CHECK:STDOUT: ; Function Attrs: nounwind
  115. // CHECK:STDOUT: define i64 @_CTestXor.Main(i64 %a, i64 %b) #0 !dbg !33 {
  116. // CHECK:STDOUT: entry:
  117. // CHECK:STDOUT: %Xor.call = xor i64 %a, %b, !dbg !34
  118. // CHECK:STDOUT: ret i64 %Xor.call, !dbg !35
  119. // CHECK:STDOUT: }
  120. // CHECK:STDOUT:
  121. // CHECK:STDOUT: ; Function Attrs: nounwind
  122. // CHECK:STDOUT: define i64 @_CTestLeftShift.Main(i64 %a, i64 %b) #0 !dbg !36 {
  123. // CHECK:STDOUT: entry:
  124. // CHECK:STDOUT: %LeftShift.call = shl i64 %a, %b, !dbg !37
  125. // CHECK:STDOUT: ret i64 %LeftShift.call, !dbg !38
  126. // CHECK:STDOUT: }
  127. // CHECK:STDOUT:
  128. // CHECK:STDOUT: ; Function Attrs: nounwind
  129. // CHECK:STDOUT: define i64 @_CTestRightShift.Main(i64 %a, i64 %b) #0 !dbg !39 {
  130. // CHECK:STDOUT: entry:
  131. // CHECK:STDOUT: %RightShift.call = lshr i64 %a, %b, !dbg !40
  132. // CHECK:STDOUT: ret i64 %RightShift.call, !dbg !41
  133. // CHECK:STDOUT: }
  134. // CHECK:STDOUT:
  135. // CHECK:STDOUT: ; Function Attrs: nounwind
  136. // CHECK:STDOUT: define i1 @_CTestEq.Main(i64 %a, i64 %b) #0 !dbg !42 {
  137. // CHECK:STDOUT: entry:
  138. // CHECK:STDOUT: %Eq.call = icmp eq i64 %a, %b, !dbg !43
  139. // CHECK:STDOUT: ret i1 %Eq.call, !dbg !44
  140. // CHECK:STDOUT: }
  141. // CHECK:STDOUT:
  142. // CHECK:STDOUT: ; Function Attrs: nounwind
  143. // CHECK:STDOUT: define i1 @_CTestNeq.Main(i64 %a, i64 %b) #0 !dbg !45 {
  144. // CHECK:STDOUT: entry:
  145. // CHECK:STDOUT: %Neq.call = icmp ne i64 %a, %b, !dbg !46
  146. // CHECK:STDOUT: ret i1 %Neq.call, !dbg !47
  147. // CHECK:STDOUT: }
  148. // CHECK:STDOUT:
  149. // CHECK:STDOUT: ; Function Attrs: nounwind
  150. // CHECK:STDOUT: define i1 @_CTestLess.Main(i64 %a, i64 %b) #0 !dbg !48 {
  151. // CHECK:STDOUT: entry:
  152. // CHECK:STDOUT: %Less.call = icmp ult i64 %a, %b, !dbg !49
  153. // CHECK:STDOUT: ret i1 %Less.call, !dbg !50
  154. // CHECK:STDOUT: }
  155. // CHECK:STDOUT:
  156. // CHECK:STDOUT: ; Function Attrs: nounwind
  157. // CHECK:STDOUT: define i1 @_CTestLessEq.Main(i64 %a, i64 %b) #0 !dbg !51 {
  158. // CHECK:STDOUT: entry:
  159. // CHECK:STDOUT: %LessEq.call = icmp ule i64 %a, %b, !dbg !52
  160. // CHECK:STDOUT: ret i1 %LessEq.call, !dbg !53
  161. // CHECK:STDOUT: }
  162. // CHECK:STDOUT:
  163. // CHECK:STDOUT: ; Function Attrs: nounwind
  164. // CHECK:STDOUT: define i1 @_CTestGreater.Main(i64 %a, i64 %b) #0 !dbg !54 {
  165. // CHECK:STDOUT: entry:
  166. // CHECK:STDOUT: %Greater.call = icmp ugt i64 %a, %b, !dbg !55
  167. // CHECK:STDOUT: ret i1 %Greater.call, !dbg !56
  168. // CHECK:STDOUT: }
  169. // CHECK:STDOUT:
  170. // CHECK:STDOUT: ; Function Attrs: nounwind
  171. // CHECK:STDOUT: define i1 @_CTestGreaterEq.Main(i64 %a, i64 %b) #0 !dbg !57 {
  172. // CHECK:STDOUT: entry:
  173. // CHECK:STDOUT: %GreaterEq.call = icmp uge i64 %a, %b, !dbg !58
  174. // CHECK:STDOUT: ret i1 %GreaterEq.call, !dbg !59
  175. // CHECK:STDOUT: }
  176. // CHECK:STDOUT:
  177. // CHECK:STDOUT: attributes #0 = { nounwind }
  178. // CHECK:STDOUT:
  179. // CHECK:STDOUT: !llvm.module.flags = !{!0, !1}
  180. // CHECK:STDOUT: !llvm.dbg.cu = !{!2}
  181. // CHECK:STDOUT:
  182. // CHECK:STDOUT: !0 = !{i32 7, !"Dwarf Version", i32 5}
  183. // CHECK:STDOUT: !1 = !{i32 2, !"Debug Info Version", i32 3}
  184. // CHECK:STDOUT: !2 = distinct !DICompileUnit(language: DW_LANG_C, file: !3, producer: "carbon", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)
  185. // CHECK:STDOUT: !3 = !DIFile(filename: "uint.carbon", directory: "")
  186. // CHECK:STDOUT: !4 = distinct !DISubprogram(name: "TestNegate", linkageName: "_CTestNegate.Main", scope: null, file: !3, line: 14, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  187. // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
  188. // CHECK:STDOUT: !6 = !{}
  189. // CHECK:STDOUT: !7 = !DILocation(line: 14, column: 39, scope: !4)
  190. // CHECK:STDOUT: !8 = !DILocation(line: 14, column: 32, scope: !4)
  191. // CHECK:STDOUT: !9 = distinct !DISubprogram(name: "TestAdd", linkageName: "_CTestAdd.Main", scope: null, file: !3, line: 17, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  192. // CHECK:STDOUT: !10 = !DILocation(line: 17, column: 44, scope: !9)
  193. // CHECK:STDOUT: !11 = !DILocation(line: 17, column: 37, scope: !9)
  194. // CHECK:STDOUT: !12 = distinct !DISubprogram(name: "TestSub", linkageName: "_CTestSub.Main", scope: null, file: !3, line: 20, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  195. // CHECK:STDOUT: !13 = !DILocation(line: 20, column: 44, scope: !12)
  196. // CHECK:STDOUT: !14 = !DILocation(line: 20, column: 37, scope: !12)
  197. // CHECK:STDOUT: !15 = distinct !DISubprogram(name: "TestMul", linkageName: "_CTestMul.Main", scope: null, file: !3, line: 23, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  198. // CHECK:STDOUT: !16 = !DILocation(line: 23, column: 44, scope: !15)
  199. // CHECK:STDOUT: !17 = !DILocation(line: 23, column: 37, scope: !15)
  200. // CHECK:STDOUT: !18 = distinct !DISubprogram(name: "TestDiv", linkageName: "_CTestDiv.Main", scope: null, file: !3, line: 26, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  201. // CHECK:STDOUT: !19 = !DILocation(line: 26, column: 44, scope: !18)
  202. // CHECK:STDOUT: !20 = !DILocation(line: 26, column: 37, scope: !18)
  203. // CHECK:STDOUT: !21 = distinct !DISubprogram(name: "TestMod", linkageName: "_CTestMod.Main", scope: null, file: !3, line: 29, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  204. // CHECK:STDOUT: !22 = !DILocation(line: 29, column: 44, scope: !21)
  205. // CHECK:STDOUT: !23 = !DILocation(line: 29, column: 37, scope: !21)
  206. // CHECK:STDOUT: !24 = distinct !DISubprogram(name: "TestComplement", linkageName: "_CTestComplement.Main", scope: null, file: !3, line: 32, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  207. // CHECK:STDOUT: !25 = !DILocation(line: 32, column: 43, scope: !24)
  208. // CHECK:STDOUT: !26 = !DILocation(line: 32, column: 36, scope: !24)
  209. // CHECK:STDOUT: !27 = distinct !DISubprogram(name: "TestAnd", linkageName: "_CTestAnd.Main", scope: null, file: !3, line: 35, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  210. // CHECK:STDOUT: !28 = !DILocation(line: 35, column: 44, scope: !27)
  211. // CHECK:STDOUT: !29 = !DILocation(line: 35, column: 37, scope: !27)
  212. // CHECK:STDOUT: !30 = distinct !DISubprogram(name: "TestOr", linkageName: "_CTestOr.Main", scope: null, file: !3, line: 38, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  213. // CHECK:STDOUT: !31 = !DILocation(line: 38, column: 43, scope: !30)
  214. // CHECK:STDOUT: !32 = !DILocation(line: 38, column: 36, scope: !30)
  215. // CHECK:STDOUT: !33 = distinct !DISubprogram(name: "TestXor", linkageName: "_CTestXor.Main", scope: null, file: !3, line: 41, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  216. // CHECK:STDOUT: !34 = !DILocation(line: 41, column: 44, scope: !33)
  217. // CHECK:STDOUT: !35 = !DILocation(line: 41, column: 37, scope: !33)
  218. // CHECK:STDOUT: !36 = distinct !DISubprogram(name: "TestLeftShift", linkageName: "_CTestLeftShift.Main", scope: null, file: !3, line: 44, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  219. // CHECK:STDOUT: !37 = !DILocation(line: 44, column: 50, scope: !36)
  220. // CHECK:STDOUT: !38 = !DILocation(line: 44, column: 43, scope: !36)
  221. // CHECK:STDOUT: !39 = distinct !DISubprogram(name: "TestRightShift", linkageName: "_CTestRightShift.Main", scope: null, file: !3, line: 47, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  222. // CHECK:STDOUT: !40 = !DILocation(line: 47, column: 51, scope: !39)
  223. // CHECK:STDOUT: !41 = !DILocation(line: 47, column: 44, scope: !39)
  224. // CHECK:STDOUT: !42 = distinct !DISubprogram(name: "TestEq", linkageName: "_CTestEq.Main", scope: null, file: !3, line: 50, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  225. // CHECK:STDOUT: !43 = !DILocation(line: 50, column: 44, scope: !42)
  226. // CHECK:STDOUT: !44 = !DILocation(line: 50, column: 37, scope: !42)
  227. // CHECK:STDOUT: !45 = distinct !DISubprogram(name: "TestNeq", linkageName: "_CTestNeq.Main", scope: null, file: !3, line: 53, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  228. // CHECK:STDOUT: !46 = !DILocation(line: 53, column: 45, scope: !45)
  229. // CHECK:STDOUT: !47 = !DILocation(line: 53, column: 38, scope: !45)
  230. // CHECK:STDOUT: !48 = distinct !DISubprogram(name: "TestLess", linkageName: "_CTestLess.Main", scope: null, file: !3, line: 56, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  231. // CHECK:STDOUT: !49 = !DILocation(line: 56, column: 46, scope: !48)
  232. // CHECK:STDOUT: !50 = !DILocation(line: 56, column: 39, scope: !48)
  233. // CHECK:STDOUT: !51 = distinct !DISubprogram(name: "TestLessEq", linkageName: "_CTestLessEq.Main", scope: null, file: !3, line: 59, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  234. // CHECK:STDOUT: !52 = !DILocation(line: 59, column: 48, scope: !51)
  235. // CHECK:STDOUT: !53 = !DILocation(line: 59, column: 41, scope: !51)
  236. // CHECK:STDOUT: !54 = distinct !DISubprogram(name: "TestGreater", linkageName: "_CTestGreater.Main", scope: null, file: !3, line: 62, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  237. // CHECK:STDOUT: !55 = !DILocation(line: 62, column: 49, scope: !54)
  238. // CHECK:STDOUT: !56 = !DILocation(line: 62, column: 42, scope: !54)
  239. // CHECK:STDOUT: !57 = distinct !DISubprogram(name: "TestGreaterEq", linkageName: "_CTestGreaterEq.Main", scope: null, file: !3, line: 65, type: !5, spFlags: DISPFlagDefinition, unit: !2)
  240. // CHECK:STDOUT: !58 = !DILocation(line: 65, column: 51, scope: !57)
  241. // CHECK:STDOUT: !59 = !DILocation(line: 65, column: 44, scope: !57)